Skip to content

Actions: diffblue/cbmc

Actions

Build Linux partially with CPROVER tools

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-test-Linux.yaml
831 workflow runs
831 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

goto-analyzer: fix reachable-functions analysis for inline functions Build Linux partially with CPROVER tools #8461: Pull request #8788 opened by tautschnig
5m 34s tautschnig:fix-5173-goto-analyzer
tautschnig:fix-5173-goto-analyzer
5m 34s
Add remove_java_new pass to jdiff and janalyzer tools Build Linux partially with CPROVER tools #8460: Pull request #8787 opened by tautschnig
5m 35s tautschnig:fix-3094-remove_java_new
tautschnig:fix-3094-remove_java_new
5m 35s
Fix misleading error message for --generate-function-body on existing bodies Build Linux partially with CPROVER tools #8459: Pull request #8786 opened by tautschnig
9m 34s tautschnig:fix-2974-generate-function-body-warning
tautschnig:fix-2974-generate-function-body-warning
9m 34s
Support reordered pointer operands in local_bitvector_analysis Build Linux partially with CPROVER tools #8458: Pull request #8785 opened by tautschnig
5m 44s tautschnig:fix-2689-pointer-sum-ops
tautschnig:fix-2689-pointer-sum-ops
5m 44s
goto-instrument: add early output file validation Build Linux partially with CPROVER tools #8457: Pull request #8784 opened by tautschnig
4m 26s tautschnig:fix-2593-goto-instrument-args
tautschnig:fix-2593-goto-instrument-args
4m 26s
Remove undefined-function-is-assume-false from goto-instrument Build Linux partially with CPROVER tools #8456: Pull request #8783 opened by tautschnig
4m 34s tautschnig:fix-2070-undefined-function
tautschnig:fix-2070-undefined-function
4m 34s
Refactor entry point validation towards symex-callers Build Linux partially with CPROVER tools #8455: Pull request #8782 opened by tautschnig
1m 40s tautschnig:fix-1847-entry-point-logic
tautschnig:fix-1847-entry-point-logic
1m 40s
Refactor basic block detection into standalone utility module Build Linux partially with CPROVER tools #8454: Pull request #8781 opened by tautschnig
4m 18s tautschnig:fix-1686-basic-block-refactor
tautschnig:fix-1686-basic-block-refactor
4m 18s
Refine symex pointer unsoundness Build Linux partially with CPROVER tools #8453: Pull request #8780 opened by tautschnig
5m 20s tautschnig:refine-symex-pointer-unsoundness
tautschnig:refine-symex-pointer-unsoundness
5m 20s
Fix handling of empty intervals in interval_template.h Build Linux partially with CPROVER tools #8452: Pull request #8779 opened by tautschnig
3h 31m 41s tautschnig:fix-8144-empty-interval
tautschnig:fix-8144-empty-interval
3h 31m 41s
Fix array_exprt handling in incremental SMT2 procedure Build Linux partially with CPROVER tools #8451: Pull request #8778 opened by tautschnig
3h 24m 24s tautschnig:fix-8080-inc-smt-array
tautschnig:fix-8080-inc-smt-array
3h 24m 24s
Implement incremental SMT2 support for bswap_exprt Build Linux partially with CPROVER tools #8450: Pull request #8777 opened by tautschnig
3h 21m 15s tautschnig:fix-8064-inc-smt-bswap
tautschnig:fix-8064-inc-smt-bswap
3h 21m 15s
Implement SMT2 incremental support for arithmetic integers Build Linux partially with CPROVER tools #8449: Pull request #8776 opened by tautschnig
3h 10m 38s tautschnig:fix-8074-inc-smt-integer
tautschnig:fix-8074-inc-smt-integer
3h 10m 38s
C front-end: recognize __builtin_inff() as constant expression Build Linux partially with CPROVER tools #8448: Pull request #8775 opened by tautschnig
2h 57m 19s tautschnig:fix-8710-builtin_inff
tautschnig:fix-8710-builtin_inff
2h 57m 19s
Add saturating arithmetic support to SMT2 incremental solver Build Linux partially with CPROVER tools #8447: Pull request #8774 opened by tautschnig
2h 51m 45s tautschnig:fix-8070-inc-smt-saturating
tautschnig:fix-8070-inc-smt-saturating
2h 51m 45s
Fix _Generic selection for pointer-to-array types Build Linux partially with CPROVER tools #8446: Pull request #8749 synchronize by tautschnig
2h 47m 22s tautschnig:fix-8690-_Generic
tautschnig:fix-8690-_Generic
2h 47m 22s
C front-end: reject invalid array declarators Build Linux partially with CPROVER tools #8445: Pull request #8773 opened by tautschnig
2h 35m 7s tautschnig:fix-132-array-decl
tautschnig:fix-132-array-decl
2h 35m 7s
Float constant propagation must observe rounding modes Build Linux partially with CPROVER tools #8444: Pull request #8772 opened by tautschnig
2h 30m 54s tautschnig:fix-350-float-constant-prop
tautschnig:fix-350-float-constant-prop
2h 30m 54s
Improve function pointer optimization for constant pointers Build Linux partially with CPROVER tools #8443: Pull request #8771 opened by tautschnig
2h 34m 48s tautschnig:fix-476-const-function-ptr
tautschnig:fix-476-const-function-ptr
2h 34m 48s
C++ front-end: fix global constructor and member initialization Build Linux partially with CPROVER tools #8442: Pull request #8770 opened by tautschnig
2h 30m 28s tautschnig:fix-537-cpp-init
tautschnig:fix-537-cpp-init
2h 30m 28s
Add TweetNaCl constant-time verification regression test Build Linux partially with CPROVER tools #8441: Pull request #8769 opened by tautschnig
2h 3m 16s tautschnig:fix-366-dep-graph-test
tautschnig:fix-366-dep-graph-test
2h 3m 16s
Add tests of unicode character support in Java class file names Build Linux partially with CPROVER tools #8440: Pull request #8768 opened by tautschnig
1h 55m 0s tautschnig:fix-628-unicode
tautschnig:fix-628-unicode
1h 55m 0s
Remove dubious module dependencies in goto-programs Build Linux partially with CPROVER tools #8439: Pull request #8767 opened by tautschnig
1h 47m 17s tautschnig:fix-571-unwanted-deps
tautschnig:fix-571-unwanted-deps
1h 47m 17s
Add comprehensive Java modeling constructs documentation Build Linux partially with CPROVER tools #8438: Pull request #8766 opened by tautschnig
1h 44m 0s tautschnig:fix-448-java-modeling-doc
tautschnig:fix-448-java-modeling-doc
1h 44m 0s
Catch out-of-memory exceptions during propositional reduction Build Linux partially with CPROVER tools #8437: Pull request #8765 opened by tautschnig
1h 41m 55s tautschnig:fix-727-better-oom-handling
tautschnig:fix-727-better-oom-handling
1h 41m 55s