Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / model-checking/cbmc-starter-kit issues and pull requests
#217 - Make sure no information fetched from secrets manager is logged
Pull Request -
State: open - Opened by tautschnig 28 days ago
#216 - Bump JamesIves/github-pages-deploy-action from 4.1.4 to 4.6.3
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies
#215 - Bump actions/setup-python from 4 to 5
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies
#214 - Bump actions/checkout from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies
#213 - Use AWS Secrets Manager to store secrets
Pull Request -
State: closed - Opened by tautschnig about 1 month ago
#212 - Enable dependabot for GitHub actions
Pull Request -
State: closed - Opened by tautschnig about 1 month ago
#211 - Fix typo in Makefile.common comment
Pull Request -
State: closed - Opened by tautschnig about 1 month ago
#210 - Bump version to 2.11
Pull Request -
State: closed - Opened by tautschnig about 1 month ago
#209 - `--object-bits` and `--unwind` flag missing at checking safety properties and coverage step
Issue -
State: open - Opened by QinyuanWu 2 months ago
- 20 comments
#208 - Make Makefile.common compatible with CBMC v6
Pull Request -
State: closed - Opened by tautschnig 3 months ago
#207 - Fix off-by-one error in proof summary count
Pull Request -
State: closed - Opened by tautschnig 3 months ago
#206 - Mis-leading error message on missing submodule in verification of s2n-tls
Issue -
State: open - Opened by rod-chapman 3 months ago
#205 - Remove reference to deleted `repository.litani_root()` from `setup.py`
Issue -
State: open - Opened by hanno-becker 4 months ago
#204 - Make EXPENSIVE/pools work even without run-cbmc-proofs.py
Pull Request -
State: closed - Opened by tautschnig 7 months ago
#203 - Add -Werror flag in the build process
Pull Request -
State: closed - Opened by feliperodri 8 months ago
#202 - Add -Werror to Makefile.common
Issue -
State: closed - Opened by feliperodri 8 months ago
Labels: bug
#201 - Fix "result" target
Pull Request -
State: closed - Opened by tautschnig 9 months ago
#200 - aws-c-common - run_cbmc_proofs failing at "Install latest CBMC" stage
Issue -
State: open - Opened by jaisnan about 1 year ago
- 2 comments
#199 - How to prove a static (file scope) function using the starter kit?
Issue -
State: open - Opened by rod-chapman over 1 year ago
- 4 comments
Labels: documentation
#198 - Noisy errors and warnings on simple function verification
Issue -
State: open - Opened by rod-chapman over 1 year ago
- 2 comments
Labels: enhancement, clean up
#197 - Bump to version 2.10
Pull Request -
State: closed - Opened by feliperodri over 1 year ago
#196 - Better error message for missing dependencies
Issue -
State: open - Opened by feliperodri over 1 year ago
- 1 comment
#195 - Only unwind loops without contracts in DFCC mode
Pull Request -
State: closed - Opened by feliperodri over 1 year ago
- 1 comment
Labels: enhancement
#194 - Advance version to 2.9
Pull Request -
State: closed - Opened by karkhaz over 1 year ago
#193 - Check repo visibility before uploading report
Pull Request -
State: closed - Opened by karkhaz over 1 year ago
- 3 comments
#192 - Do not upload report artifacts for private repositories
Issue -
State: closed - Opened by karkhaz over 1 year ago
#191 - Implement centralized definition of GitHub Action
Issue -
State: closed - Opened by karkhaz over 1 year ago
#190 - Direct users to GitHub Actions summary page
Pull Request -
State: closed - Opened by karkhaz over 1 year ago
- 1 comment
#189 - Migrate data from all AWS accounts
Issue -
State: open - Opened by karkhaz over 1 year ago
#188 - Suspend all AWS accounts
Issue -
State: open - Opened by karkhaz over 1 year ago
#187 - Add cloudfront to all Crypto repos
Issue -
State: closed - Opened by karkhaz over 1 year ago
#186 - Add cloudfront to all FreeRTOS repositories
Issue -
State: closed - Opened by karkhaz over 1 year ago
- 1 comment
#185 - Go on PR campaign for crypto repos
Issue -
State: closed - Opened by karkhaz over 1 year ago
- 2 comments
#184 - Enable large runners
Issue -
State: closed - Opened by karkhaz over 1 year ago
- 1 comment
#183 - Print text directing users to "Summary" just before checking for proof failure
Issue -
State: closed - Opened by karkhaz over 1 year ago
#182 - Go on PR campaign to add FreeRTOS central repository workflow to each repo
Issue -
State: closed - Opened by karkhaz over 1 year ago
- 1 comment
#181 - Add GH workflow to FreeRTOS central repository
Issue -
State: open - Opened by karkhaz over 1 year ago
- 2 comments
#180 - Add pull_request_target to GitHub workflow file
Issue -
State: closed - Opened by karkhaz over 1 year ago
#179 - Write documentation indicating that users should not allow outside collaborators to trigger PRs
Issue -
State: closed - Opened by karkhaz over 1 year ago
#178 - Develop feature that makes uploading to S3; hosting on cloudfront; and uploading to GitHub orthogonal
Issue -
State: closed - Opened by karkhaz over 1 year ago
#177 - Do not print print_tool_versions in summary table
Issue -
State: closed - Opened by karkhaz over 1 year ago
#176 - Use GOTO-style numbering for goto binaries
Pull Request -
State: closed - Opened by karkhaz over 1 year ago
#175 - Enable execution of ProofCI GItHub Action for more events
Pull Request -
State: closed - Opened by angelonakos over 1 year ago
- 1 comment
#174 - Version GitHub Actions workflow file
Pull Request -
State: closed - Opened by angelonakos over 1 year ago
- 1 comment
#173 - Add versioning to ProofCI GitHub Actions workflow file
Issue -
State: closed - Opened by angelonakos over 1 year ago
- 2 comments
#172 - Documentation is behind and hasn't been updating since v2.0.3
Issue -
State: open - Opened by angelonakos over 1 year ago
Labels: documentation
#171 - Revert github action used to create the release
Pull Request -
State: closed - Opened by markrtuttle over 1 year ago
#170 - Update workflows
Pull Request -
State: closed - Opened by markrtuttle over 1 year ago
#169 - Replace set output
Pull Request -
State: closed - Opened by markrtuttle over 1 year ago
#168 - Set brew python to 3.10 again
Pull Request -
State: closed - Opened by markrtuttle over 1 year ago
#167 - Correct brew python 3.10
Pull Request -
State: closed - Opened by markrtuttle over 1 year ago
#166 - Set brew python to 3.10
Pull Request -
State: closed - Opened by markrtuttle over 1 year ago
#165 - Advance version to 2.8.2
Pull Request -
State: closed - Opened by markrtuttle over 1 year ago
#164 - Print tool versions by calling script directly
Pull Request -
State: closed - Opened by angelonakos over 1 year ago
#163 - Debug: Advance to 2.8.1
Pull Request -
State: closed - Opened by markrtuttle over 1 year ago
#162 - Address intermittent failures encountered within CI workflows when latest CBMC is installed
Issue -
State: open - Opened by angelonakos over 1 year ago
Labels: easy
#161 - Add kissat to list of tools whose version can be printed out
Pull Request -
State: closed - Opened by angelonakos over 1 year ago
#160 - Refactor Makefile.common to reduce complexity
Issue -
State: open - Opened by feliperodri almost 2 years ago
Labels: clean up
#159 - [GitHub Actions CI] Enable uploading and online browsing of CBMC proof artifacts
Pull Request -
State: closed - Opened by angelonakos almost 2 years ago
- 1 comment
#158 - Update version 2.7->2.8
Pull Request -
State: closed - Opened by markrtuttle almost 2 years ago
- 1 comment
#157 - Update loop unwinding order
Pull Request -
State: closed - Opened by feliperodri almost 2 years ago
- 3 comments
Labels: enhancement
#156 - Print versions of all tools to front Litani page
Pull Request -
State: closed - Opened by karkhaz almost 2 years ago
- 1 comment
Labels: enhancement
#155 - Document how to make a release of the starter-kit
Issue -
State: open - Opened by jimgrundy almost 2 years ago
Labels: documentation
#154 - Fix README commands for installation
Pull Request -
State: closed - Opened by feliperodri almost 2 years ago
#153 - Add feature enabling GitHub Actions CI workflow to upload, serve CBMC proof artifacts
Pull Request -
State: closed - Opened by angelonakos almost 2 years ago
#152 - Add `cbmc-starter-kit-setup-ci` command
Pull Request -
State: closed - Opened by angelonakos almost 2 years ago
- 1 comment
#151 - Fix test that hasn't been running in CI for recent PRs
Pull Request -
State: closed - Opened by angelonakos almost 2 years ago
#150 - Apply contracts using DFCC as an optional mode
Pull Request -
State: closed - Opened by feliperodri almost 2 years ago
- 5 comments
Labels: enhancement
#149 - Remove flags from update submcommand
Pull Request -
State: closed - Opened by angelonakos almost 2 years ago
#148 - Remove migrate-license subcommand
Pull Request -
State: closed - Opened by angelonakos almost 2 years ago
#147 - Add `documentation` to `master`
Pull Request -
State: closed - Opened by angelonakos almost 2 years ago
#146 - Integrate parallel-properties.py into starter kit
Issue -
State: open - Opened by jimgrundy almost 2 years ago
#145 - Changes required by the new dynamic frame condition checking system
Issue -
State: open - Opened by remi-delmas-3000 almost 2 years ago
Labels: enhancement, help wanted
#144 - We must merge contracts instrumentation in `Makefile.common`
Issue -
State: open - Opened by feliperodri almost 2 years ago
Labels: bug
#143 - Add missing documentation on environment variables.
Issue -
State: open - Opened by jimgrundy almost 2 years ago
#142 - Allow users to only replace calls to "proved" functions with contracts
Issue -
State: open - Opened by feliperodri almost 2 years ago
Labels: enhancement
#141 - Advance starter kit version 2.6 -> 2.7
Pull Request -
State: closed - Opened by markrtuttle almost 2 years ago
#140 - Switch update-pr job in release brew from ubuntu to macos
Pull Request -
State: closed - Opened by ronakfof almost 2 years ago
#139 - Advance version to 2.6
Pull Request -
State: closed - Opened by markrtuttle almost 2 years ago
#138 - Add an explanation about cbmc-viewer.json and cbmc-viewer.txt
Issue -
State: open - Opened by feliperodri almost 2 years ago
Labels: documentation
#137 - Install dependencies in makefile-test workflow using apt-get
Pull Request -
State: closed - Opened by ronakfof almost 2 years ago
#136 - Remove support for cbmc-viewer 1.0
Pull Request -
State: closed - Opened by markrtuttle almost 2 years ago
- 2 comments
#135 - Remove macOS 10.15 in GitHub Actions "build-bottle" job
Pull Request -
State: closed - Opened by angelonakos about 2 years ago
#134 - Makefile silent when addone function doesn't exist
Issue -
State: open - Opened by pennyan about 2 years ago
- 5 comments
Labels: bug
#133 - Add `--unwinding-assertions` flag only once during safety checks
Pull Request -
State: closed - Opened by angelonakos about 2 years ago
- 1 comment
#132 - Fix typo in epilog of cbmc-starter-kit-migrate-license command
Pull Request -
State: closed - Opened by angelonakos about 2 years ago
#131 - Advance version to 2.5
Pull Request -
State: closed - Opened by markrtuttle about 2 years ago
#130 - Update a comment to reflect the possible values for the LITANI environment variable
Pull Request -
State: closed - Opened by angelonakos about 2 years ago
- 1 comment
#129 - Ease use of starter-kit for "hello world" type explorations
Issue -
State: open - Opened by jimgrundy about 2 years ago
- 2 comments
Labels: enhancement
#128 - Remove dependency on git to use starter-kit
Issue -
State: open - Opened by jimgrundy about 2 years ago
- 3 comments
Labels: bug
#127 - Remove cbmc-batch and report1 from Makefile.common
Issue -
State: closed - Opened by markrtuttle about 2 years ago
- 1 comment
#126 - Better type + doxygen comment for harness
Pull Request -
State: closed - Opened by jimgrundy about 2 years ago
#125 - Print summary table even when some proofs fail
Pull Request -
State: closed - Opened by karkhaz about 2 years ago
#124 - Print error messsage if litani not installed
Pull Request -
State: closed - Opened by mianowill about 2 years ago
- 1 comment
#123 - Advance version to 2.4
Pull Request -
State: closed - Opened by markrtuttle over 2 years ago
#122 - Add test for CBMC starter kit and update subprocess command that runs individual proofs
Pull Request -
State: closed - Opened by angelonakos over 2 years ago
- 2 comments
#121 - Add optional flag to Python run-script that summarizes CBMC proofs results
Pull Request -
State: closed - Opened by angelonakos over 2 years ago
- 2 comments
#120 - Summarize execution of CBMC proofs by printing a JSON object to stdout
Pull Request -
State: closed - Opened by angelonakos over 2 years ago
- 2 comments
#118 - Enable debug output in run-cbmc-proofs.py script
Pull Request -
State: closed - Opened by angelonakos over 2 years ago
#117 - Remove .litani_cache_dir from individual directory before considering proof
Pull Request -
State: closed - Opened by angelonakos over 2 years ago