Skip to content

Issues: rems-project/cn

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

23 Open 12 Closed
23 Open 12 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

run-single-test.sh printf warning CI Related to CI infrastructure CN spec testing
#118 opened May 1, 2025 by dc-mak
CN presumably enters an infinite loop during CEX generation in Explain.state bug Something isn't working
#115 opened Apr 29, 2025 by moratorium08
2
Type inference fatal error due to SMT type mismatch in CN bug Something isn't working
#113 opened Apr 28, 2025 by moratorium08
@moratorium08
Inserting additional checks in IndexTerms technical debt Something for internal cleanup
#106 opened Apr 25, 2025 by moratorium08
Revisit whether the ArrayShift simplification is still necessary given smt.relevancy = 0 is set technical debt Something for internal cleanup
#105 opened Apr 25, 2025 by moratorium08
@dc-mak
Inserting casts appropriately for ArrayShift technical debt Something for internal cleanup
#104 opened Apr 25, 2025 by moratorium08
@dc-mak
Very high memory usage on "simple" file
#101 opened Apr 24, 2025 by peterohanley-galois
2
[CN-Exec] run-cn-exec.sh catches ^C CN-exec Related to CN executable spec generation, called using `cn instrument`
#99 opened Apr 23, 2025 by peterohanley-galois
Overall issue for fulminate robustness CN-exec Related to CN executable spec generation, called using `cn instrument`
#98 opened Apr 23, 2025 by peterohanley-galois
6
Integer generation improvements for extremes CN spec testing
#97 opened Apr 23, 2025 by ZippeyKeys12
Flaky sequence testing CI CI Related to CI infrastructure CN sequence testing
#96 opened Apr 23, 2025 by ZippeyKeys12
1
Shrinking for generator-based testing CN spec testing enhancement New feature or request
#95 opened Apr 23, 2025 by ZippeyKeys12
Generate test suites using current generators CN spec testing
#93 opened Apr 23, 2025 by ZippeyKeys12
1
Mutation testing CN spec testing enhancement New feature or request
#92 opened Apr 22, 2025 by ZippeyKeys12
Flags for CN modes CN spec testing CN-exec Related to CN executable spec generation, called using `cn instrument` enhancement New feature or request
#91 opened Apr 22, 2025 by ZippeyKeys12
counterexample array elements should be printed in order CN spec testing
#83 opened Apr 18, 2025 by jwshii
@ZippeyKeys12
[CN-exec] Clean up arguments to cn_to_ail_expr in Cn_to_ail CN-exec Related to CN executable spec generation, called using `cn instrument`
#79 opened Apr 16, 2025 by rbanerjee20
@rbanerjee20
README: Mention Docker images? documentation Improvements or additions to documentation
#47 opened Apr 9, 2025 by langston-barrett
1
[CN-exec] Support for-loops CN-exec Related to CN executable spec generation, called using `cn instrument`
#46 opened Apr 9, 2025 by rbanerjee20
@rbanerjee20
cn test asserts when processing a file containing nested structs bug Something isn't working CN-exec Related to CN executable spec generation, called using `cn instrument`
#39 opened Apr 8, 2025 by peterohanley-galois
[CN-exec] Get CN tutorial part of CI to run on tests onmain CI Related to CI infrastructure CN-exec Related to CN executable spec generation, called using `cn instrument`
#33 opened Apr 1, 2025 by rbanerjee20
@rbanerjee20
No built-in way to refer to a general multidimensional array
#24 opened Mar 21, 2025 by peterohanley
1
[CN-Exec] Overflow and underflow UB bug Something isn't working CN spec testing CN-exec Related to CN executable spec generation, called using `cn instrument`
#21 opened Mar 20, 2025 by ZippeyKeys12
@ZippeyKeys12
2
ProTip! Adding no:label will show everything without a label.