Skip to content

Actions: diffblue/cbmc

Actions

Run CSmith

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
csmith.yaml
778 workflow runs
778 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support reordered pointer operands in local_bitvector_analysis Run CSmith #9691: Pull request #8785 opened by tautschnig
5m 16s tautschnig:fix-2689-pointer-sum-ops
tautschnig:fix-2689-pointer-sum-ops
5m 16s
goto-instrument: add early output file validation Run CSmith #9690: Pull request #8784 opened by tautschnig
5m 14s tautschnig:fix-2593-goto-instrument-args
tautschnig:fix-2593-goto-instrument-args
5m 14s
Remove undefined-function-is-assume-false from goto-instrument Run CSmith #9689: Pull request #8783 opened by tautschnig
2m 47s tautschnig:fix-2070-undefined-function
tautschnig:fix-2070-undefined-function
2m 47s
Refactor entry point validation towards symex-callers Run CSmith #9688: Pull request #8782 opened by tautschnig
1m 39s tautschnig:fix-1847-entry-point-logic
tautschnig:fix-1847-entry-point-logic
1m 39s
Refactor basic block detection into standalone utility module Run CSmith #9687: Pull request #8781 opened by tautschnig
5m 9s tautschnig:fix-1686-basic-block-refactor
tautschnig:fix-1686-basic-block-refactor
5m 9s
Refine symex pointer unsoundness Run CSmith #9686: Pull request #8780 opened by tautschnig
6m 52s tautschnig:refine-symex-pointer-unsoundness
tautschnig:refine-symex-pointer-unsoundness
6m 52s
Fix handling of empty intervals in interval_template.h Run CSmith #9685: Pull request #8779 opened by tautschnig
3h 37m 43s tautschnig:fix-8144-empty-interval
tautschnig:fix-8144-empty-interval
3h 37m 43s
Fix array_exprt handling in incremental SMT2 procedure Run CSmith #9684: Pull request #8778 opened by tautschnig
3h 33m 46s tautschnig:fix-8080-inc-smt-array
tautschnig:fix-8080-inc-smt-array
3h 33m 46s
Implement incremental SMT2 support for bswap_exprt Run CSmith #9683: Pull request #8777 opened by tautschnig
3h 23m 8s tautschnig:fix-8064-inc-smt-bswap
tautschnig:fix-8064-inc-smt-bswap
3h 23m 8s
Implement SMT2 incremental support for arithmetic integers Run CSmith #9682: Pull request #8776 opened by tautschnig
3h 16m 6s tautschnig:fix-8074-inc-smt-integer
tautschnig:fix-8074-inc-smt-integer
3h 16m 6s
C front-end: recognize __builtin_inff() as constant expression Run CSmith #9681: Pull request #8775 opened by tautschnig
2h 56m 42s tautschnig:fix-8710-builtin_inff
tautschnig:fix-8710-builtin_inff
2h 56m 42s
Add saturating arithmetic support to SMT2 incremental solver Run CSmith #9680: Pull request #8774 opened by tautschnig
2h 54m 15s tautschnig:fix-8070-inc-smt-saturating
tautschnig:fix-8070-inc-smt-saturating
2h 54m 15s
Fix _Generic selection for pointer-to-array types Run CSmith #9679: Pull request #8749 synchronize by tautschnig
2h 43m 30s tautschnig:fix-8690-_Generic
tautschnig:fix-8690-_Generic
2h 43m 30s
C front-end: reject invalid array declarators Run CSmith #9678: Pull request #8773 opened by tautschnig
2h 40m 30s tautschnig:fix-132-array-decl
tautschnig:fix-132-array-decl
2h 40m 30s
Float constant propagation must observe rounding modes Run CSmith #9677: Pull request #8772 opened by tautschnig
2h 36m 22s tautschnig:fix-350-float-constant-prop
tautschnig:fix-350-float-constant-prop
2h 36m 22s
Improve function pointer optimization for constant pointers Run CSmith #9676: Pull request #8771 opened by tautschnig
2h 38m 32s tautschnig:fix-476-const-function-ptr
tautschnig:fix-476-const-function-ptr
2h 38m 32s
C++ front-end: fix global constructor and member initialization Run CSmith #9675: Pull request #8770 opened by tautschnig
2h 15m 6s tautschnig:fix-537-cpp-init
tautschnig:fix-537-cpp-init
2h 15m 6s
Add TweetNaCl constant-time verification regression test Run CSmith #9674: Pull request #8769 opened by tautschnig
1h 56m 11s tautschnig:fix-366-dep-graph-test
tautschnig:fix-366-dep-graph-test
1h 56m 11s
Add tests of unicode character support in Java class file names Run CSmith #9673: Pull request #8768 opened by tautschnig
2h 2m 22s tautschnig:fix-628-unicode
tautschnig:fix-628-unicode
2h 2m 22s
Remove dubious module dependencies in goto-programs Run CSmith #9672: Pull request #8767 opened by tautschnig
1h 50m 7s tautschnig:fix-571-unwanted-deps
tautschnig:fix-571-unwanted-deps
1h 50m 7s
Add comprehensive Java modeling constructs documentation Run CSmith #9671: Pull request #8766 opened by tautschnig
1h 50m 47s tautschnig:fix-448-java-modeling-doc
tautschnig:fix-448-java-modeling-doc
1h 50m 47s
Catch out-of-memory exceptions during propositional reduction Run CSmith #9670: Pull request #8765 opened by tautschnig
1h 41m 1s tautschnig:fix-727-better-oom-handling
tautschnig:fix-727-better-oom-handling
1h 41m 1s
Java bytecode front-end: do not crash upon invalid class names Run CSmith #9669: Pull request #8764 opened by tautschnig
1h 45m 42s tautschnig:fix-728-jbmc-core-dump
tautschnig:fix-728-jbmc-core-dump
1h 45m 42s
Java bytecode front-end: fix main method detection Run CSmith #9668: Pull request #8763 opened by tautschnig
1h 26m 4s tautschnig:fix-759-ambiguous-main
tautschnig:fix-759-ambiguous-main
1h 26m 4s
Java bytecode front-end: fix static field is_static_lifetime flag Run CSmith #9667: Pull request #8762 opened by tautschnig
1h 18m 39s tautschnig:fix-851-static
tautschnig:fix-851-static
1h 18m 39s