Skip to content

Actions: diffblue/cbmc

Actions

Build and Test CBMC

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull-request-checks.yaml
1,400 workflow runs
1,400 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Warn when --outfile produces an empty formula Build and Test CBMC #12425: Pull request #8949 synchronize by tautschnig
6h 0m 17s tautschnig:empty-outfile-warning
tautschnig:empty-outfile-warning
6h 0m 17s
Add empty_namespacet for unit tests Build and Test CBMC #12424: Pull request #8996 synchronize by tautschnig
4h 11m 47s tautschnig:empty_namespacet
tautschnig:empty_namespacet
4h 11m 47s
Replace deprecated save-always with cache/restore + cache/save Build and Test CBMC #12423: Pull request #8891 synchronize by tautschnig
3h 21m 44s tautschnig:ci-save-restore
tautschnig:ci-save-restore
3h 21m 44s
Add CMake option to auto-detect and link tcmalloc or jemalloc Build and Test CBMC #12422: Pull request #8973 synchronize by tautschnig
3h 49m 47s tautschnig:tcmalloc
tautschnig:tcmalloc
3h 49m 47s
Simplify (x * n) % n Build and Test CBMC #12421: Pull request #8947 synchronize by tautschnig
3h 5m 39s tautschnig:simplify/mod-mult
tautschnig:simplify/mod-mult
3h 5m 39s
Remove deprecated add_axioms_for_copy method Build and Test CBMC #12420: Pull request #8914 synchronize by tautschnig
2h 36m 34s tautschnig:fix-8018-add_axioms_for_copy
tautschnig:fix-8018-add_axioms_for_copy
2h 36m 34s
dump-c: sign-extend signed bit-field temporaries Build and Test CBMC #12419: Pull request #9013 opened by tautschnig
1h 46m 27s tautschnig:dump-c-bitfield-chained-assign
tautschnig:dump-c-bitfield-chained-assign
1h 46m 27s
Extract map_theoryt base class from arrayst Build and Test CBMC #12418: Pull request #8992 synchronize by tautschnig
1h 35m 21s tautschnig:map_theoryt
tautschnig:map_theoryt
1h 35m 21s
Merge pull request #8886 from tautschnig/update-cvc5 Build and Test CBMC #12417: Commit 808dae2 pushed by tautschnig
3h 5m 37s develop
develop
3h 5m 37s
Merge pull request #8977 from tautschnig/profiling-verbosity Build and Test CBMC #12416: Commit 90fdfd1 pushed by tautschnig
2h 22m 1s develop
develop
2h 22m 1s
Message handler: add quote_begin, quote_end commands Build and Test CBMC #12415: Pull request #5696 synchronize by tautschnig
2h 1m 38s tautschnig:quote-command
tautschnig:quote-command
2h 1m 38s
Extract map_theoryt base class from arrayst Build and Test CBMC #12414: Pull request #8992 synchronize by tautschnig
3h 57m 39s tautschnig:map_theoryt
tautschnig:map_theoryt
3h 57m 39s
Fix profiling: use --verbosity 8 instead of 10 Build and Test CBMC #12413: Pull request #8977 synchronize by tautschnig
1h 56m 25s tautschnig:profiling-verbosity
tautschnig:profiling-verbosity
1h 56m 25s
Upgrade cvc5 from 1.2.1 to 1.3.4 Build and Test CBMC #12412: Pull request #8886 synchronize by tautschnig
1h 9m 24s tautschnig:update-cvc5
tautschnig:update-cvc5
1h 9m 24s
Extract map_theoryt base class from arrayst Build and Test CBMC #12411: Pull request #8992 synchronize by tautschnig
6h 0m 17s tautschnig:map_theoryt
tautschnig:map_theoryt
6h 0m 17s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Build and Test CBMC #12410: Pull request #8465 synchronize by yvizel
Action required yvizel:develop
yvizel:develop
Action required
Merge pull request #9012 from rod-chapman/array_ite_fix Build and Test CBMC #12409: Commit 7c0ce54 pushed by tautschnig
1h 59m 19s develop
develop
1h 59m 19s
Fix typing of array expressions within an C ternary ? : operator Build and Test CBMC #12408: Pull request #9012 synchronize by tautschnig
1h 11m 52s rod-chapman:array_ite_fix
rod-chapman:array_ite_fix
1h 11m 52s
Fix typing of array expressions within an C ternary ? : operator Build and Test CBMC #12407: Pull request #9012 synchronize by tautschnig
1h 57m 1s rod-chapman:array_ite_fix
rod-chapman:array_ite_fix
1h 57m 1s
Fix typing of array expressions within an C ternary ? : operator Build and Test CBMC #12406: Pull request #9012 opened by rod-chapman
1h 27m 30s rod-chapman:array_ite_fix
rod-chapman:array_ite_fix
1h 27m 30s
Do not use as const with Z3 due to soundness issue Build and Test CBMC #12405: Pull request #9011 opened by tautschnig
1h 30m 40s tautschnig:z3-workaround
tautschnig:z3-workaround
1h 30m 40s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Build and Test CBMC #12404: Pull request #8465 synchronize by yvizel
Action required yvizel:develop
yvizel:develop
Action required
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Build and Test CBMC #12403: Pull request #8465 synchronize by yvizel
Action required yvizel:develop
yvizel:develop
Action required
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build and Test CBMC #12402: Pull request #8878 synchronize by tautschnig
2h 26m 50s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
2h 26m 50s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build and Test CBMC #12401: Pull request #8878 synchronize by tautschnig
2h 54m 14s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
2h 54m 14s