Skip to content

Actions: diffblue/cbmc

Actions

Build Doxygen Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doxygen-check.yaml
781 workflow runs
781 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add string type support to SMT back-end Build Doxygen Documentation #10116: Pull request #8838 synchronize by tautschnig
1m 30s tautschnig:smt-strings
tautschnig:smt-strings
1m 30s
Handle unsized array element types in bounds_check_index Build Doxygen Documentation #10115: Pull request #8843 opened by tautschnig
1m 53s tautschnig:bounds-check-integer
tautschnig:bounds-check-integer
1m 53s
Fix array refinement: use actual SAT model values in get() Build Doxygen Documentation #10114: Pull request #8842 synchronize by tautschnig
1m 33s tautschnig:arrays/refine-get
tautschnig:arrays/refine-get
1m 33s
Skip Ackermann constraints for derived arrays (weak equivalence) Build Doxygen Documentation #10113: Pull request #8841 synchronize by tautschnig
1m 38s tautschnig:arrays/weak-eq
tautschnig:arrays/weak-eq
1m 38s
Skip Ackermann constraints for derived arrays (weak equivalence) Build Doxygen Documentation #10112: Pull request #8841 synchronize by tautschnig
33m 51s tautschnig:arrays/weak-eq
tautschnig:arrays/weak-eq
33m 51s
Use array comprehension for large byte_extract lowering Build Doxygen Documentation #10111: Pull request #8840 synchronize by tautschnig
26m 18s tautschnig:arrays/comprehension
tautschnig:arrays/comprehension
26m 18s
Use array comprehension for large byte_extract lowering Build Doxygen Documentation #10110: Pull request #8840 synchronize by tautschnig
18m 31s tautschnig:arrays/comprehension
tautschnig:arrays/comprehension
18m 31s
Fix array refinement: use actual SAT model values in get() Build Doxygen Documentation #10109: Pull request #8842 opened by tautschnig
1h 13m 14s tautschnig:arrays/refine-get
tautschnig:arrays/refine-get
1h 13m 14s
Skip Ackermann constraints for derived arrays (weak equivalence) Build Doxygen Documentation #10108: Pull request #8841 opened by tautschnig
38m 3s tautschnig:arrays/weak-eq
tautschnig:arrays/weak-eq
38m 3s
Use array comprehension for large byte_extract lowering Build Doxygen Documentation #10107: Pull request #8840 opened by tautschnig
1m 38s tautschnig:arrays/comprehension
tautschnig:arrays/comprehension
1m 38s
Quantifier instantiation via simplistic E-matching Build Doxygen Documentation #10106: Pull request #8224 synchronize by tautschnig
1m 35s tautschnig:features/quantifiers-elimination
tautschnig:features/quantifiers-elimination
1m 35s
New option --mmio-region to specify memory regions Build Doxygen Documentation #10105: Pull request #6747 synchronize by tautschnig
1m 22s tautschnig:feature/mmio-cmdline
tautschnig:feature/mmio-cmdline
1m 22s
Quantifier instantiation via simplistic E-matching Build Doxygen Documentation #10104: Pull request #8224 synchronize by tautschnig
1m 37s tautschnig:features/quantifiers-elimination
tautschnig:features/quantifiers-elimination
1m 37s
New option --mmio-region to specify memory regions Build Doxygen Documentation #10103: Pull request #6747 synchronize by tautschnig
1m 43s tautschnig:feature/mmio-cmdline
tautschnig:feature/mmio-cmdline
1m 43s
Quantifier instantiation via simplistic E-matching Build Doxygen Documentation #10102: Pull request #8224 synchronize by tautschnig
1m 37s tautschnig:features/quantifiers-elimination
tautschnig:features/quantifiers-elimination
1m 37s
Add string type support to SMT back-end Build Doxygen Documentation #10101: Pull request #8838 synchronize by tautschnig
4m 2s tautschnig:smt-strings
tautschnig:smt-strings
4m 2s
Make scripts/diff-filter.pl portable to macOS Build Doxygen Documentation #10100: Pull request #8839 opened by tautschnig
1m 32s tautschnig:diff-filter-portability
tautschnig:diff-filter-portability
1m 32s
Add string type support to SMT back-end Build Doxygen Documentation #10099: Pull request #8838 opened by tautschnig
1m 26s tautschnig:smt-strings
tautschnig:smt-strings
1m 26s
Simplify pointer casts of pointer arithmetic Build Doxygen Documentation #10098: Pull request #8836 opened by tautschnig
1m 37s tautschnig:simp-tc-pointer-arith
tautschnig:simp-tc-pointer-arith
1m 37s
Add SARIF output support via --sarif-ui option Build Doxygen Documentation #10097: Pull request #8835 opened by tautschnig
1m 45s tautschnig:sarif-ui
tautschnig:sarif-ui
1m 45s
SMT-LIB2: shifts with wider shift distances Build Doxygen Documentation #10096: Pull request #8834 synchronize by kroening
1m 37s smt2-shift
smt2-shift
1m 37s
SMT-LIB2: shifts with wider shift distances Build Doxygen Documentation #10095: Pull request #8834 synchronize by kroening
1m 41s smt2-shift
smt2-shift
1m 41s
SMT-LIB2: shifts with wider shift distances Build Doxygen Documentation #10094: Pull request #8834 synchronize by kroening
4m 57s smt2-shift
smt2-shift
4m 57s
SMT-LIB2: shifts with wider shift distances Build Doxygen Documentation #10093: Pull request #8834 synchronize by kroening
1m 33s smt2-shift
smt2-shift
1m 33s
SMT-LIB2: shifts with wider shift distances Build Doxygen Documentation #10092: Pull request #8834 synchronize by kroening
1m 43s smt2-shift
smt2-shift
1m 43s