Discussions

• 1 You must be logged in to vote

  💡

  Stuttering

  ivanperez-keera started Nov 18, 2025 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💡

  Adding a state machine module to copilot-libraries

  ivanperez-keera started Nov 26, 2025 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💡

  Support nominally distinct Haskell types with identical copilot types

  feature request Request or advice for a feature

  avieth started Mar 26, 2020 in Ideas

  

  

  

  

  12
• 1 You must be logged in to vote

  💬

  Planning for Copilot 4.7

  ivanperez-keera started Nov 13, 2025 in General

  

  

  

  

  24
• 1 You must be logged in to vote

  💡

  copilot-{bluespec,theorem}: Special floating-point values are translated incorrectly

  RyanGlScott started Sep 18, 2025 in Ideas · Closed

  

  

  

  

  9
• 1 You must be logged in to vote

  💬

  Give more graceful error message when compiling Array 0 to C99?

  RyanGlScott started Jul 17, 2025 in General · Closed

  

  

  

  

  7
• 1 You must be logged in to vote

  💬

  copilot-theorem: Copilot.Theorem.Prover.Z3 is dead code

  RyanGlScott started Jun 27, 2025 in General

  

  

  5
• 1 You must be logged in to vote

  🙏

  Recreating the test coverage results reported on Hackage

  ivanperez-keera asked Nov 16, 2025 in Q&A · Unanswered

  

  

  10
• 1 You must be logged in to vote

  💬

  Warnings when uploading packages

  ivanperez-keera started Nov 18, 2025 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  Where are copilot tests located?

  yaitskov started Nov 15, 2025 in General

  

  

  1
• 1 You must be logged in to vote

  💬

  25 verifier tests fails with 'instruction code 62 is unknown'

  yaitskov started Nov 14, 2025 in General · Closed

  

  

  9
• 1 You must be logged in to vote

  📣

  [ANN] Copilot 4.6

  ivanperez-keera announced Nov 8, 2025 in Announcements

  

  

  0
• 1 You must be logged in to vote

  💡

  copilot-c99: support other C compilers than gcc in test suite

  sternenseemann started Nov 8, 2025 in Ideas

  

  

  5
• 1 You must be logged in to vote

  💡

  A new, more hardware-friendly design for copilot-bluespec

  RyanGlScott started Aug 8, 2025 in Ideas · Closed

  

  

  13
• 1 You must be logged in to vote

  💬

  Why doesn't the C99 backend place the resulting C code in the same directory as the original spec?

  ivanperez-keera started Aug 18, 2025 in General

  

  

  

  

  3
• 1 You must be logged in to vote

  💬

  copilot: please support optparse-applicative-0.19

  juhp started Sep 18, 2025 in General

  

  

  1
• 1 You must be logged in to vote

  🙏

  copilot-bluespec: Tests failing on hackage

  ivanperez-keera asked Jul 8, 2025 in Q&A · Unanswered

  

  

  9
• 1 You must be logged in to vote

  💬

  copilot-bluespec miscompiles negative zero, infinite, and NaN Float values

  RyanGlScott started Jun 27, 2025 in General · Closed

  

  

  7
• 1 You must be logged in to vote

  📣

  [ANN] Copilot 4.5.1

  ivanperez-keera announced Sep 8, 2025 in Announcements

  

  

  0
• 1 You must be logged in to vote

  💬

  Does it make sense for copilot-core to offer extractProp?

  ivanperez-keera started Sep 9, 2025 in General

  

  

  6
• 1 You must be logged in to vote

  📣

  [ANN] Copilot 4.5

  ivanperez-keera announced Jul 8, 2025 in Announcements

  

  

  0
• 1 You must be logged in to vote

  💬

  Installing copilot-verifier

  ivanperez-keera started Sep 7, 2025 in General

  

  

  4
• 1 You must be logged in to vote

  💬

  Do we need a custom openTempFile?

  ivanperez-keera started Sep 7, 2025 in General

  

  

  2
• 1 You must be logged in to vote

  💬

  NondecreasingIndentation extension

  ivanperez-keera started Sep 7, 2025 in General

  

  

  2
• 1 You must be logged in to vote

  💡

  Fun idea: Dynamically generated structs

  ivanperez-keera started Jan 24, 2025 in Ideas

  

  

  6