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 24 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 2 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