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

30 Open 19 Closed
30 Open 19 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

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
Go on PR campaign to add FreeRTOS central repository workflow to each repo
#182 opened Jan 12, 2023 by karkhaz
15 tasks done
Initial Proof CI integration
@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
Proof readme files are out of date bug Something isn't working
#81 opened Nov 18, 2021 by markrtuttle
3
Remove all instances of CBMC_MAX_OBJECT_SIZE from the starter kit enhancement New feature or request
#79 opened Oct 28, 2021 by feliperodri
@feliperodri
Makefile priority order bug Something isn't working
#74 opened Oct 5, 2021 by markrtuttle
ProTip! Add no:assignee to see everything that’s not assigned.