Skip to content

Pull requests: rems-project/cn

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

[Testing] Rustify harness CN spec testing Related to Bennet, Darcy, or the shared infrastructure for running spec-based random testing.
#463 opened Nov 21, 2025 by ZippeyKeys12 Draft
work towards integer mode
#443 opened Nov 10, 2025 by cp526 Loading…
[CN-exec] Only use _Bool in runtime library
#380 opened Oct 22, 2025 by rbanerjee20 Loading…
Add instructions for local Rocq testing
#307 opened Jul 29, 2025 by dimecon Loading…
Add ASan to Fulminate CI CI Related to CI infrastructure Fulminate Related to CN executable spec generation, called using `cn instrument`
#242 opened Jul 2, 2025 by ZippeyKeys12 Loading…
Basic MCP server (cn mcp)
#172 opened Jun 4, 2025 by ZippeyKeys12 Draft
ProTip! no:milestone will show everything without a milestone.