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
962 workflow runs
962 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix --cover help Build and Test CBMC #11428: Pull request #8793 opened by tautschnig
7h 33m 18s tautschnig:fix-cover-help
tautschnig:fix-cover-help
7h 33m 18s
Refine symex pointer unsoundness Build and Test CBMC #11427: Pull request #8780 synchronize by tautschnig
19h 14m 54s tautschnig:refine-symex-pointer-unsoundness
tautschnig:refine-symex-pointer-unsoundness
19h 14m 54s
Fix basic block coverage with unsatisfiable ASSUME statements Build and Test CBMC #11426: Pull request #8791 synchronize by tautschnig
17h 40m 57s tautschnig:fix-826-basic-block-assumes
tautschnig:fix-826-basic-block-assumes
17h 40m 57s
Fix C++ ternary operator type checking for bitfield operands Build and Test CBMC #11425: Pull request #8792 opened by tautschnig
9h 44m 53s tautschnig:fix-933-ternary-cpp
tautschnig:fix-933-ternary-cpp
9h 44m 53s
Fix basic block coverage with unsatisfiable ASSUME statements Build and Test CBMC #11424: Pull request #8791 opened by tautschnig
16h 52m 55s tautschnig:fix-826-basic-block-assumes
tautschnig:fix-826-basic-block-assumes
16h 52m 55s
Implement fixedbv/floatbv conversions in SAT and SMT2 back-ends Build and Test CBMC #11423: Pull request #8790 opened by tautschnig
18h 25m 6s tautschnig:fix-2158-fixedbv-floatbv
tautschnig:fix-2158-fixedbv-floatbv
18h 25m 6s
Refine symex pointer unsoundness Build and Test CBMC #11422: Pull request #8780 synchronize by tautschnig
20h 0m 52s tautschnig:refine-symex-pointer-unsoundness
tautschnig:refine-symex-pointer-unsoundness
20h 0m 52s
Fix Xen CI job by moving to GitHub mirror Build and Test CBMC #11421: Pull request #8789 opened by tautschnig
1d 0h 16m 49s tautschnig:use-github-xen-mirror
tautschnig:use-github-xen-mirror
1d 0h 16m 49s
goto-analyzer: fix reachable-functions analysis for inline functions Build and Test CBMC #11420: Pull request #8788 opened by tautschnig
9h 31m 10s tautschnig:fix-5173-goto-analyzer
tautschnig:fix-5173-goto-analyzer
9h 31m 10s
Add remove_java_new pass to jdiff and janalyzer tools Build and Test CBMC #11419: Pull request #8787 opened by tautschnig
18h 15m 27s tautschnig:fix-3094-remove_java_new
tautschnig:fix-3094-remove_java_new
18h 15m 27s
Fix misleading error message for --generate-function-body on existing bodies Build and Test CBMC #11418: Pull request #8786 opened by tautschnig
7h 15m 47s tautschnig:fix-2974-generate-function-body-warning
tautschnig:fix-2974-generate-function-body-warning
7h 15m 47s
Support reordered pointer operands in local_bitvector_analysis Build and Test CBMC #11417: Pull request #8785 opened by tautschnig
20h 23m 40s tautschnig:fix-2689-pointer-sum-ops
tautschnig:fix-2689-pointer-sum-ops
20h 23m 40s
goto-instrument: add early output file validation Build and Test CBMC #11416: Pull request #8784 opened by tautschnig
15h 4m 57s tautschnig:fix-2593-goto-instrument-args
tautschnig:fix-2593-goto-instrument-args
15h 4m 57s
Remove undefined-function-is-assume-false from goto-instrument Build and Test CBMC #11415: Pull request #8783 opened by tautschnig
7h 37m 20s tautschnig:fix-2070-undefined-function
tautschnig:fix-2070-undefined-function
7h 37m 20s
Refactor entry point validation towards symex-callers Build and Test CBMC #11414: Pull request #8782 opened by tautschnig
20h 52m 32s tautschnig:fix-1847-entry-point-logic
tautschnig:fix-1847-entry-point-logic
20h 52m 32s
Refactor basic block detection into standalone utility module Build and Test CBMC #11413: Pull request #8781 opened by tautschnig
9h 24m 28s tautschnig:fix-1686-basic-block-refactor
tautschnig:fix-1686-basic-block-refactor
9h 24m 28s
Refine symex pointer unsoundness Build and Test CBMC #11412: Pull request #8780 opened by tautschnig
18h 0m 34s tautschnig:refine-symex-pointer-unsoundness
tautschnig:refine-symex-pointer-unsoundness
18h 0m 34s
Fix handling of empty intervals in interval_template.h Build and Test CBMC #11411: Pull request #8779 opened by tautschnig
9h 50m 22s tautschnig:fix-8144-empty-interval
tautschnig:fix-8144-empty-interval
9h 50m 22s
Fix array_exprt handling in incremental SMT2 procedure Build and Test CBMC #11410: Pull request #8778 opened by tautschnig
11h 57m 2s tautschnig:fix-8080-inc-smt-array
tautschnig:fix-8080-inc-smt-array
11h 57m 2s
Implement incremental SMT2 support for bswap_exprt Build and Test CBMC #11409: Pull request #8777 opened by tautschnig
16h 34m 26s tautschnig:fix-8064-inc-smt-bswap
tautschnig:fix-8064-inc-smt-bswap
16h 34m 26s
Implement SMT2 incremental support for arithmetic integers Build and Test CBMC #11408: Pull request #8776 opened by tautschnig
17h 56m 55s tautschnig:fix-8074-inc-smt-integer
tautschnig:fix-8074-inc-smt-integer
17h 56m 55s
C front-end: recognize __builtin_inff() as constant expression Build and Test CBMC #11407: Pull request #8775 opened by tautschnig
17h 13m 46s tautschnig:fix-8710-builtin_inff
tautschnig:fix-8710-builtin_inff
17h 13m 46s
Add saturating arithmetic support to SMT2 incremental solver Build and Test CBMC #11406: Pull request #8774 opened by tautschnig
1d 0h 36m 55s tautschnig:fix-8070-inc-smt-saturating
tautschnig:fix-8070-inc-smt-saturating
1d 0h 36m 55s
Fix _Generic selection for pointer-to-array types Build and Test CBMC #11405: Pull request #8749 synchronize by tautschnig
9h 25m 17s tautschnig:fix-8690-_Generic
tautschnig:fix-8690-_Generic
9h 25m 17s
C front-end: reject invalid array declarators Build and Test CBMC #11404: Pull request #8773 opened by tautschnig
1d 0h 0m 2s tautschnig:fix-132-array-decl
tautschnig:fix-132-array-decl
1d 0h 0m 2s