8000 Issues · rems-project/cerberus · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Issues: rems-project/cerberus

Beta
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

256 Open 314 Closed
256 Open 314 Closed
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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Empty provenance does not lead to more UB/adding provenance info introduces UB
#954 opened May 15, 2025 by dc-mak
1
Exclude unused builtins from Core file technical debt Something for internal cleanup
#945 opened Apr 2, 2025 by dc-mak
Support skipping variadic functions blocking cn
#943 opened Mar 26, 2025 by r-ross
5
Include specified directories before system directories blocking cn
#942 opened Mar 26, 2025 by r-ross
4
[CN] Cannot mark preexisting variable as not changing value in a loop bug Something isn't working cn
#938 opened Mar 17, 2025 by peterohanley
2
Tidy up #866 technical debt Something for internal cleanup
#928 opened Mar 10, 2025 by dc-mak
@yav
1
[CN-Exec] Struct initializer issues blocking bug Something isn't working CN spec testing cn CN-exec Related to CN executable spec generation, called using `cn instrument`
#925 opened Mar 10, 2025 by ZippeyKeys12
@rbanerjee20
4
CN: Make assert optional cn language Related to design of the CN language ui/ux Issue with presentation or user experience
#922 opened Mar 8, 2025 by dc-mak
@dc-mak
4
CN: Fix source location in resourceInference.ml cn ui/ux Issue with presentation or user experience
#914 opened Mar 6, 2025 by dc-mak
@dc-mak
1
CN: Potential bug in loop/focus related resource reasoning bug Something isn't working cn resource reasoning Related to reasources in specs
#913 opened Mar 6, 2025 by dc-mak
@cp526
1
Record not found in map bug Something isn't working CN-exec Related to CN executable spec generation, called using `cn instrument`
#912 opened Mar 6, 2025 by yav
[CN-Test-Gen] Automatically compile and verify bug counterexample code. CN spec testing cn enhancement New feature or request
#911 opened Mar 5, 2025 by ZippeyKeys12
CN: Implement translation validation of resource inference steps in Rocq lemmas/prover
#909 opened Mar 5, 2025 by vzaliva
@vzaliva
[CN] _Noreturn function specifier does not work as expected
#906 opened Mar 4, 2025 by peterohanley
CN: Simplify arguments to provable(withUnknown) cn solver Related to the SMT solver backend technical debt Something for internal cleanup
#902 opened Mar 4, 2025 by dc-mak
@dc-mak @cassiatorczon
Handle quantified predicates and basetype variables in check_pred cn enhancement New feature or request
#901 opened Mar 4, 2025 by cassiatorczon
@cassiatorczon
Update check_pred display based on feedback cn ui/ux Issue with presentation or user experience
#900 opened Mar 4, 2025 by cassiatorczon
@cassiatorczon
Change label to its own datatype in report.ml cn technical debt Something for internal cleanup
#899 opened Mar 4, 2025 by cassiatorczon
Grammar railroad diagram
#897 opened Mar 2, 2025 by mingodad
1
[CN-Test-Gen] Flag to toggle using builtin malloc versus cn_fl_malloc CN spec testing cn enhancement New feature or request
#891 opened Feb 26, 2025 by ZippeyKeys12
[CN-Test-Gen] Update pointer bookkeeping to use new allocator CN spec testing cn technical debt Something for internal cleanup
#890 opened Feb 26, 2025 by ZippeyKeys12
[CN] misleading error message concerning undefined struct arguments cn ui/ux Issue with presentation or user experience
#888 opened Feb 25, 2025 by peterohanley
1
[CN] Call reset_solver from make cn solver Related to the SMT solver backend technical debt Something for internal cleanup
#886 opened Feb 25, 2025 by dc-mak
Add a Windows CI runner for Cerberus / CN CI Related to CI infrastructure
#883 opened Feb 20, 2025 by septract
[CN-Seq-Test] running seq_test --with-static-check causes duplicate symbol errors bug Something isn't working cn 3C06 ui/ux Issue with presentation or user experience
#879 opened Feb 18, 2025 by echoumcp1
ProTip! Add no:assignee to see everything that’s not assigned.
0