Skip to content

Actions: tautschnig/cbmc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
957 workflow runs
957 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Contracts: always remove spurious do {... } while(0) loops Publish CBMC documentation #1771: Commit 0639fac pushed by tautschnig
September 17, 2024 12:58 6m 58s contracts-remove-do-while-0
contracts-remove-do-while-0
September 17, 2024 12:58 6m 58s
Contracts/DFCC: split conjunctions in loop invariants Publish CBMC documentation #1770: Commit b47bb51 pushed by tautschnig
September 17, 2024 11:49 7m 5s loop-invariants-conjunction-splitting
loop-invariants-conjunction-splitting
September 17, 2024 11:49 7m 5s
Mark constant_exprt::value_is_zero_string protected Publish CBMC documentation #1769: Commit 497b7e3 pushed by tautschnig
September 13, 2024 15:49 7m 1s protect-value_is_zero_string
protect-value_is_zero_string
September 13, 2024 15:49 7m 1s
Deprecate make_and in favour of conjunction(expr, expr) Publish CBMC documentation #1768: Commit 8ca6411 pushed by tautschnig
September 13, 2024 15:31 7m 24s no-make_and
no-make_and
September 13, 2024 15:31 7m 24s
Use boolean_negate for immediate simplification Publish CBMC documentation #1767: Commit f63dfa9 pushed by tautschnig
September 13, 2024 15:27 7m 21s use-boolean_negate
use-boolean_negate
September 13, 2024 15:27 7m 21s
C front-end: fix processing of alignment and packing attributes Publish CBMC documentation #1766: Commit 5eea045 pushed by tautschnig
September 13, 2024 15:25 7m 39s fix-8443-attributes
fix-8443-attributes
September 13, 2024 15:25 7m 39s
Deprecate make_and in favour of conjunction(expr, expr) Publish CBMC documentation #1765: Commit 9f9f6c0 pushed by tautschnig
September 13, 2024 12:21 7m 7s use-boolean_negate
use-boolean_negate
September 13, 2024 12:21 7m 7s
Deprecate make_and in favour of conjunction(expr, expr) Publish CBMC documentation #1764: Commit 92d7376 pushed by tautschnig
September 13, 2024 10:02 7m 20s use-boolean_negate
use-boolean_negate
September 13, 2024 10:02 7m 20s
Move make_with_expr to update_exprt Publish CBMC documentation #1763: Commit 1aa2d83 pushed by tautschnig
September 13, 2024 09:56 7m 25s move-make_with_expr
move-make_with_expr
September 13, 2024 09:56 7m 25s
Remove renamedt from symex_targett interface Publish CBMC documentation #1762: Commit 132fe24 pushed by tautschnig
September 10, 2024 14:59 7m 30s no-renamedt
no-renamedt
September 10, 2024 14:59 7m 30s
is_null_pointer: remove code path that is no longer necessary Publish CBMC documentation #1761: Commit 7b47e9f pushed by tautschnig
September 10, 2024 14:56 7m 15s move-is_null_pointer
move-is_null_pointer
September 10, 2024 14:56 7m 15s
Move is_null_pointer to constant_exprt Publish CBMC documentation #1760: Commit 42b70b2 pushed by tautschnig
September 10, 2024 14:53 7m 16s move-is_null_pointer
move-is_null_pointer
September 10, 2024 14:53 7m 16s
Cleanup ieee_floatt interface Publish CBMC documentation #1759: Commit f09a19b pushed by tautschnig
September 10, 2024 14:42 7m 57s cleanup-expr
cleanup-expr
September 10, 2024 14:42 7m 57s
Deprecate make_and in favour of conjunction(expr, expr) Publish CBMC documentation #1758: Commit eb098bb pushed by tautschnig
September 10, 2024 14:33 7m 3s no-make_and
no-make_and
September 10, 2024 14:33 7m 3s
Use boolean_negate for immediate simplification Publish CBMC documentation #1757: Commit 24abb5e pushed by tautschnig
September 10, 2024 14:30 7m 25s use-boolean_negate
use-boolean_negate
September 10, 2024 14:30 7m 25s
Move make_with_expr to update_exprt Publish CBMC documentation #1756: Commit 63701a7 pushed by tautschnig
September 10, 2024 14:29 7m 27s move-make_with_expr
move-make_with_expr
September 10, 2024 14:29 7m 27s
Remove renamedt from symex_targett interface Publish CBMC documentation #1755: Commit 447e986 pushed by tautschnig
September 10, 2024 14:28 7m 36s no-renamedt
no-renamedt
September 10, 2024 14:28 7m 36s
Move is_null_pointer to constant_exprt Publish CBMC documentation #1754: Commit f2a0d98 pushed by tautschnig
September 10, 2024 13:41 7m 22s move-is_null_pointer
move-is_null_pointer
September 10, 2024 13:41 7m 22s
Goto conversion: fix missing source locations Publish CBMC documentation #1753: Commit 68c39bd pushed by tautschnig
September 10, 2024 13:28 7m 4s fix-missing-locs
fix-missing-locs
September 10, 2024 13:28 7m 4s
Goto conversion: fix missing source locations Publish CBMC documentation #1752: Commit 8f15e3f pushed by tautschnig
September 10, 2024 13:27 7m 18s fix-missing-locs
fix-missing-locs
September 10, 2024 13:27 7m 18s
goto-symex: move level1 map to goto_statet Publish CBMC documentation #1751: Commit c463693 pushed by tautschnig
September 5, 2024 14:50 7m 4s fix-8437-level1-merge
fix-8437-level1-merge
September 5, 2024 14:50 7m 4s
Fix Python syntax error in doxygen markdown preprocessor Publish CBMC documentation #1750: Commit 1575214 pushed by tautschnig
September 5, 2024 12:50 7m 36s fix-python-syntax-error
fix-python-syntax-error
September 5, 2024 12:50 7m 36s
Fix Alpine's assert-statement conversion special case Publish CBMC documentation #1749: Commit 4b5fae8 pushed by tautschnig
September 5, 2024 12:36 6m 57s fix-8436-conversion
fix-8436-conversion
September 5, 2024 12:36 6m 57s
Fix Python syntax error in doxygen markdown preprocessor Publish CBMC documentation #1748: Commit 953fedf pushed by tautschnig
September 4, 2024 12:11 7m 57s fix-python-syntax-error
fix-python-syntax-error
September 4, 2024 12:11 7m 57s
goto-symex: move level1 map to goto_statet Publish CBMC documentation #1747: Commit 997384d pushed by tautschnig
September 3, 2024 20:28 6m 56s fix-8437-level1-merge
fix-8437-level1-merge
September 3, 2024 20:28 6m 56s