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

Clear current search query, filters, and sorts
213 Open 212 Closed
213 Open 212 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

Member shift fails inside resource predicates bug Something isn't working cn
#615 opened Oct 7, 2024 by thatplguy
[CN] Extreme performance hit from simple change to struct
#613 opened Oct 7, 2024 by peterohanley
1
[CN] Crash on mismatch function and spec declarations bug Something isn't working cn
#607 opened Oct 2, 2024 by septract
[CHERI] cheri_perms_and bit values
#584 opened Sep 19, 2024 by vzaliva
@vzaliva
[CN] feature request: only warn for experimental features once, or a flag or something cn ui/ux Issue with presentation or user experience
#574 opened Sep 12, 2024 by peterohanley
Add a flag to allow using multiple solvers at the same time cn solver Related to the SMT solver backend
#572 opened Sep 11, 2024 by yav
Specify explicit theory in SMT solver backend cn solver Related to the SMT solver backend
#571 opened Sep 11, 2024 by yav
[CN] crash if a resource is required on a void pointer cn technical debt Something for internal cleanup ui/ux Issue with presentation or user experience
#568 opened Sep 11, 2024 by peterohanley
[CN] Splitting and merging arrays does not work cn resource reasoning Related to reasources in specs
#567 opened Sep 11, 2024 by peterohanley
7
Documentation on available types cn documentation Improvements or additions to documentation
#562 opened Sep 5, 2024 by lwli11
[CN-exec] Prune flags used in executable spec subcommand cn ui/ux Issue with presentation or user experience
#555 opened Sep 3, 2024 by rbanerjee20
@rbanerjee20
[CN] Terms should be printed with location information cn
#550 opened Aug 30, 2024 by dc-mak
1
[CN-exec] Explain how to run and debug CI failiures in ONBOARDING.md cn documentation Improvements or additions to documentation
#546 opened Aug 28, 2024 by dc-mak
@rbanerjee20
[CN] Delete operators in indexTerms.ml cn technical debt Something for internal cleanup
#543 opened Aug 28, 2024 by dc-mak
[CN] Infer disjointness for each (u64 i; guard) { Owned(array_shift(p,i)) }; cn resource reasoning Related to reasources in specs
#541 opened Aug 27, 2024 by peterohanley
9
CN: add ghost arguments cn feature request language Related to design of the CN language
#540 opened Aug 27, 2024 by cassiatorczon
1
[CN] countermodels don't always satisify requires constraints/predicates/definitions cn ui/ux Issue with presentation or user experience
#539 opened Aug 27, 2024 by cassiatorczon
@cassiatorczon
[CN] Executable spec int literal warnings cn
#536 opened Aug 27, 2024 by dc-mak
@rbanerjee20
[CN] Add support for float/double in CN cn feature request
#531 opened Aug 23, 2024 by dtlam01
5
[CN] global ghost state and enforcing call protocols cn feature request language Related to design of the CN language
#529 opened Aug 23, 2024 by peterohanley
2
[CN] More flexible --skip command cn ui/ux Issue with presentation or user experience
#528 opened Aug 23, 2024 by peterohanley
1
[CN] cn verify silently ignores multiple files cn ui/ux Issue with presentation or user experience
#527 opened Aug 23, 2024 by thatplguy
1
[CN] Consider renaming predicate keyword cn language Related to design of the CN language
#525 opened Aug 23, 2024 by dc-mak
1
[CN] Consider replacing Owned or Block with ReadWrite and WriteOnly (and/or shorter aliases) cn language Related to design of the CN language ui/ux Issue with presentation or user experience
#524 opened Aug 23, 2024 by dc-mak
[CN] Print resource "output arguments" is a more helpful way cn ui/ux Issue with presentation or user experience
#519 opened Aug 20, 2024 by dc-mak
ProTip! Exclude everything labeled bug with -label:bug.