Discussions

• 1 You must be logged in to vote

  🙏

  Parsing interfaces that use external modules with Gospel

  bord-o asked Nov 16, 2025 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  💬

  specifying addition on floating-point values

  mohittkr started Dec 5, 2023 in General

  

  

  1
• 1 You must be logged in to vote

  💬

  Type checking error when using GOSPEL

  mohittkr started Dec 5, 2023 in General

  

  

  1
• 2 You must be logged in to vote

  💬

  Aliasing of exception names

  fpottier started Feb 28, 2022 in General

  

  

  3
• 2 You must be logged in to vote

  💬

  Logical reflection of OCaml values

  fpottier started Feb 16, 2022 in General

  

  

  

  

  8
• 1 You must be logged in to vote

  🙏

  Support for fixed-size integers

  edwintorok asked Jan 17, 2022 in Q&A · Answered

  

  

  

  

  10
• 1 You must be logged in to vote

  💬

  Logical reflection of arrays / treatment of aliasing

  fpottier started Feb 16, 2022 in General

  

  

  

  

  8
• 1 You must be logged in to vote

  🙌

  More constraints for Sys

  edwintorok started Jan 17, 2022 in Show and tell

  

  

  

  

  3
• 💡

  Feature suggestion: allow structured values (of an irrefutable shape) in specification header

  fpottier started Feb 16, 2022 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💡

  Support for strings/bytes and extending Seq

  edwintorok started Jan 17, 2022 in Ideas

  

  

  0