Skip to content

Issues: model-checking/cbmc-starter-kit

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

33 Open 20 Closed
33 Open 20 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

Add proof runtime to GITHUB_STEP_SUMMARY
#221 opened Nov 6, 2024 by hanno-becker
--object-bits and --unwind flag missing at checking safety properties and coverage step
#209 opened Jul 15, 2024 by QinyuanWu
20
Mis-leading error message on missing submodule in verification of s2n-tls
#206 opened Jun 18, 2024 by rod-chapman
Remove reference to deleted repository.litani_root() from setup.py
#205 opened May 24, 2024 by hanno-becker
@karkhaz
aws-c-common - run_cbmc_proofs failing at "Install latest CBMC" stage
#200 opened Sep 7, 2023 by jaisnan
2
How to prove a static (file scope) function using the starter kit? documentation Improvements or additions to documentation
#199 opened Jun 8, 2023 by rod-chapman
@feliperodri
4
Noisy errors and warnings on simple function verification clean up Removing/updating outdated code enhancement New feature or request
#198 opened Jun 8, 2023 by rod-chapman
@remi-delmas-3000 @feliperodri
2
Better error message for missing dependencies
#196 opened Apr 13, 2023 by feliperodri
@karkhaz
1
Migrate data from all AWS accounts
#189 opened Jan 12, 2023 by karkhaz
Suspend all AWS accounts
#188 opened Jan 12, 2023 by karkhaz
Add GH workflow to FreeRTOS central repository
#181 opened Jan 12, 2023 by karkhaz
1 task
Initial Proof CI integration
@karkhaz
2
Documentation is behind and hasn't been updating since v2.0.3 documentation Improvements or additions to documentation
#172 opened Jan 6, 2023 by angelonakos
Address intermittent failures encountered within CI workflows when latest CBMC is installed easy
#162 opened Dec 20, 2022 by angelonakos
Refactor Makefile.common to reduce complexity clean up Removing/updating outdated code
#160 opened Dec 19, 2022 by feliperodri
Document how to make a release of the starter-kit documentation Improvements or additions to documentation
#155 opened Dec 10, 2022 by jimgrundy
Integrate parallel-properties.py into starter kit
#146 opened Nov 10, 2022 by jimgrundy
Changes required by the new dynamic frame condition checking system enhancement New feature or request help wanted Extra attention is needed
#145 opened Nov 10, 2022 by remi-delmas-3000
@remi-delmas-3000 @feliperodri @markrtuttle
We must merge contracts instrumentation in Makefile.common bug Something isn't working
#144 opened Nov 8, 2022 by feliperodri
@remi-delmas-3000 @feliperodri
Add missing documentation on environment variables.
#143 opened Nov 7, 2022 by jimgrundy
Allow users to only replace calls to "proved" functions with contracts enhancement New feature or request
#142 opened Oct 5, 2022 by feliperodri
@feliperodri
Add an explanation about cbmc-viewer.json and cbmc-viewer.txt documentation Improvements or additions to documentation
#138 opened Sep 26, 2022 by feliperodri
Makefile silent when addone function doesn't exist bug Something isn't working
#134 opened Jul 18, 2022 by pennyan
@markrtuttle
5
Ease use of starter-kit for "hello world" type explorations enhancement New feature or request
#129 opened Jul 11, 2022 by jimgrundy
2
Remove dependency on git to use starter-kit bug Something isn't working
#128 opened Jul 11, 2022 by jimgrundy
@markrtuttle
3
Regression testing testing Anything related to testing
#85 opened Dec 7, 2021 by markrtuttle
@markrtuttle
ProTip! Find all open issues with in progress development work with linked:pr.