Discussions

• 1 You must be logged in to vote

  💬

  drop and negative indexes

  RyanGlScott started Feb 12, 2026 in General

  

  

  0
• 1 You must be logged in to vote

  📣

  [ANN] Copilot 4.6.1

  ivanperez-keera announced Jan 8, 2026 in Announcements

  

  

  0
• 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

  

  

  11
• 1 You must be logged in to vote

  💬

  Planning for Copilot 4.7

  ivanperez-keera started Jan 9, 2026 in General

  

  

  

  

  14
• 1 You must be logged in to vote

  🙏

  Constrains on Crucible to be able to install Copilot

  ivanperez-keera asked Jan 9, 2026 in Q&A · Unanswered

  

  

  3
• 1 You must be logged in to vote

  💬

  copilot-verifier - support for latest crux-llvm package

  strikef started Jan 12, 2026 in General

  

  

  1
• 1 You must be logged in to vote

  💬

  Planning for Copilot 4.6.1

  ivanperez-keera started Nov 13, 2025 in General

  

  

  

  

  25
• 1 You must be logged in to vote

  🙏

  copilot-bluespec: Tests failing on hackage

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

  

  

  

  

  14
• 1 You must be logged in to vote

  💡

  Adding a state machine module to copilot-libraries

  ivanperez-keera started Nov 26, 2025 in Ideas

  

  

  5
• 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

  

  

  

  

  13
• 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

  💡

  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

  💬

  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 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