Skip to content

Issues: rems-project/cerberus

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

279 Open 271 Closed
279 Open 271 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

[CN] _Noreturn function specifier does not work as expected
#906 opened Mar 4, 2025 by peterohanley
CN: Replace resultWithData with appropriate Result.t cn technical debt Something for internal cleanup
#903 opened Mar 4, 2025 by dc-mak
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
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-exec] Create CN subcommand for instrumenting and running Fulminate
#894 opened Feb 28, 2025 by rbanerjee20
@rbanerjee20
[CN-exec] Make precondition and postcondition assertions fail with different exit codes CN-exec Related to CN executable spec generation, called using `cn instrument`
#893 opened Feb 28, 2025 by rbanerjee20
@rbanerjee20
[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
#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 ui/ux Issue with presentation or user experience
#879 opened Feb 18, 2025 by echoumcp1
[CN-Seq-Test] Move seq_test into own directory cn technical debt Something for internal cleanup
#875 opened Feb 15, 2025 by echoumcp1
[CN] Crash when logging SMT output with --solver-logging bug Something isn't working cn solver Related to the SMT solver backend
#874 opened Feb 15, 2025 by septract
@yav
[CN] segfault with large global array bug Something isn't working cn
#872 opened Feb 14, 2025 by peterohanley
[CN] Predicate type error messages have the wrong source location bug Something isn't working cn ui/ux Issue with presentation or user experience
#862 opened Feb 12, 2025 by peterohanley
Crash when too many statements in requires/ensures? bug Something isn't working cn
#861 opened Feb 12, 2025 by lwli11
3
CN: ampersands are not escaped in HTML output, allowing ampersand escapes in output bug Something isn't working cn ui/ux Issue with presentation or user experience
#860 opened Feb 11, 2025 by peterohanley
[CN-Exec] Don't "leak" memory CN spec testing cn CN-exec Related to CN executable spec generation, called using `cn instrument` technical debt Something for internal cleanup
#859 opened Feb 10, 2025 by ZippeyKeys12
@ZippeyKeys12
[CN-Test-Gen] Move trap to start of function under test CN spec testing cn enhancement New feature or request
#858 opened Feb 10, 2025 by ZippeyKeys12
@ZippeyKeys12
1
Multiplication overflow check slow cn performance
#856 opened Feb 7, 2025 by lwli11
2
[CN] to_bytes and from_bytes crash should display helpful err msg on void pointer cn technical debt Something for internal cleanup ui/ux Issue with presentation or user experience
#851 opened Feb 6, 2025 by peterohanley
1
@dc-mak
2
ProTip! Find all open issues with in progress development work with linked:pr.