Discussions

• 2 You must be logged in to vote

  🙏

  How to go from encdec mapping to JSON docs

  Timmmm asked Jul 19, 2024 in Q&A · Unanswered

  

  

  0
• 2 You must be logged in to vote

  🙏

  How to initialise big vector?

  Timmmm asked Jul 2, 2024 in Q&A · Answered

  

  

  3
• 1 You must be logged in to vote

  🙏

  Ocaml-lsp can't find the generated OCaml code (e.g. _build/default/src/lib/ast.ml)

  Timmmm asked May 6, 2024 in Q&A · Unanswered

  

  

  

  

  7
• 1 You must be logged in to vote

  💬

  Meaning of signed and unsigned

  martinberger started Oct 10, 2023 in General

  

  

  2
• 1 You must be logged in to vote

  🙏

  Zero width bitfield field

  Timmmm asked Jan 23, 2024 in Q&A · Closed · Unanswered

  

  

  4
• 2 You must be logged in to vote

  🙏

  Modules and scattered definitions

  algr asked Dec 18, 2023 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  How to fix coq error in riscv_duopod?

  nazar-codethink asked Oct 25, 2023 in Q&A · Closed · Answered

  

  

  

  

  2
• 1 You must be logged in to vote

  🙏

  What is the type of the index-expression in bit-vector indexing?

  rsnikhil asked Oct 31, 2023 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  💬

  Why is unit an alias of int in sail.h

  martinberger started Oct 27, 2023 in General

  

  

  

  

  4
• 1 You must be logged in to vote

  🙏

  How to generate coq sail library files?

  nazar-codethink asked Oct 20, 2023 in Q&A · Closed · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Can constraints be placed on type definitions?

  rsnikhil asked Oct 10, 2023 in Q&A · Closed · Answered

  

  

  9
• 1 You must be logged in to vote

  📣

  Welcome to sail Discussions!

  PeterSewell announced Oct 10, 2023 in Announcements

  

  

  1