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

233 Open 254 Closed
233 Open 254 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-Test-Gen] CLI flag for hack to test static functions CN spec testing cn
#785 opened Dec 23, 2024 by ZippeyKeys12
@ZippeyKeys12
[CN-Exec] Preprocessor directives for better testing support CN spec testing cn CN-exec Related to CN executable spec generation, called using `cn instrument` enhancement New feature or request
#784 opened Dec 23, 2024 by ZippeyKeys12
4 tasks
@rbanerjee20
1
[CN-Exec/CN-Test-Gen] Configuring traces for runtime errors CN spec testing cn CN-exec Related to CN executable spec generation, called using `cn instrument`
#783 opened Dec 23, 2024 by ZippeyKeys12
2 tasks
[CN] stack overflow in lexer on array of size -1u bug Something isn't working cn
#778 opened Dec 20, 2024 by peterohanley
1
[CN] crash if array size expression evaluates to a negative number bug Something isn't working cn
#777 opened Dec 20, 2024 by peterohanley
[CN-Exec] Supporting VIP in instrumentation CN spec testing cn CN-exec Related to CN executable spec generation, called using `cn instrument`
#776 opened Dec 19, 2024 by ZippeyKeys12
@rbanerjee20
[CN-Test-Gen] Generate Makefile for building and running tests CN spec testing cn
#774 opened Dec 19, 2024 by ZippeyKeys12
@ZippeyKeys12
CN: Race solvers cn performance
#770 opened Dec 17, 2024 by dc-mak
4
CN: Improve benchmarking cn performance
#769 opened Dec 17, 2024 by dc-mak
CN: Remove noisy and inaccurate u64 index warning for extra (revert #616) base typing cn language Related to design of the CN language technical debt Something for internal cleanup ui/ux Issue with presentation or user experience
#768 opened Dec 17, 2024 by dc-mak
Optimise treatment of local variables whose address has not been taken cn performance
#766 opened Dec 17, 2024 by cp526
[CN-Exec] enums not copied over bug Something isn't working CN spec testing cn CN-exec Related to CN executable spec generation, called using `cn instrument`
#765 opened Dec 13, 2024 by podhrmic
@rbanerjee20
1
[docker] CN version is uknown in the docker container CI Related to CI infrastructure cn
#764 opened Dec 12, 2024 by podhrmic
CN: Can sandbox be replaced with pure? cn technical debt Something for internal cleanup
#752 opened Dec 10, 2024 by dc-mak
2
[CN-Test-Gen] Better ordering for sized generation CN spec testing cn enhancement New feature or request
#749 opened Dec 10, 2024 by ZippeyKeys12
@ZippeyKeys12
Try Yices2 SMT solver cn solver Related to the SMT solver backend
#739 opened Dec 5, 2024 by cp526
[CN] VIP: adjust constraints carefully in the presence of non. det. pointer equality cn
#738 opened Dec 4, 2024 by dc-mak
@dc-mak
1
Left shift limits
#731 opened Dec 2, 2024 by lwli11
6
[CN] Consider using non-det. monad instead of explicit continuations cn technical debt Something for internal cleanup
#730 opened Dec 2, 2024 by dc-mak
[CN] Destroying and recreating an iterated Owned loses self-equality / Lemma backend should export range constraints for all SMT arrays bug Something isn't working cn lemmas/prover resource reasoning Related to reasources in specs
#729 opened Nov 29, 2024 by dc-mak
[CN] Allow member_shift<ctype> as a syntax cn language Related to design of the CN language
#728 opened Nov 27, 2024 by dc-mak
[CN-Exec] Incorrect Redundant patterns error for nested patterns bug Something isn't working CN spec testing cn CN-exec Related to CN executable spec generation, called using `cn instrument`
#727 opened Nov 26, 2024 by ZippeyKeys12
@rbanerjee20
CN: Array shift should not crash on void* pointer base typing cn ui/ux Issue with presentation or user experience
#716 opened Nov 12, 2024 by dc-mak
[CN-Exec] Source injection error for single-line if statements with local variables bug Something isn't working CN spec testing cn CN-exec Related to CN executable spec generation, called using `cn instrument`
#714 opened Nov 11, 2024 by ZippeyKeys12
@rbanerjee20
2
[CN] cannot mention extern arrays without size cn
#708 opened Nov 8, 2024 by peterohanley
ProTip! What’s not been updated in a month: updated:<2024-11-24.