Skip to content

Actions: tautschnig/cbmc

Actions

Publish CBMC documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
publish.yaml
914 workflow runs
914 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Library functions: mark them as compiled Publish CBMC documentation #1696: Commit 40727c3 pushed by tautschnig
August 13, 2024 15:20 7m 14s library-is-compiled
library-is-compiled
August 13, 2024 15:20 7m 14s
Solver factory: make_satcheck_prop does not require dynamic_cast Publish CBMC documentation #1695: Commit 5e08a81 pushed by tautschnig
August 7, 2024 11:06 7m 2s solver-factory-no-dynamic_cast3
solver-factory-no-dynamic_cast3
August 7, 2024 11:06 7m 2s
Solver factory: set_decision_procedure_time_limit does not require dy… Publish CBMC documentation #1694: Commit 27aa454 pushed by tautschnig
August 7, 2024 10:25 6m 55s solver-factory-no-dynamic_cast2
solver-factory-no-dynamic_cast2
August 7, 2024 10:25 6m 55s
Solver factory: all solvers are stack_decision_proceduret Publish CBMC documentation #1693: Commit 7072fd0 pushed by tautschnig
August 7, 2024 09:56 6m 47s solver-factory-no-dynamic_cast
solver-factory-no-dynamic_cast
August 7, 2024 09:56 6m 47s
Remove Java's unnecessary languaget::parse peculiarity Publish CBMC documentation #1692: Commit 92799f0 pushed by tautschnig
August 7, 2024 07:57 7m 21s java-no-dynamic_cast
java-no-dynamic_cast
August 7, 2024 07:57 7m 21s
Remove dynamic_cast from bv_dimacst Publish CBMC documentation #1691: Commit 30ff419 pushed by tautschnig
August 6, 2024 20:26 7m 7s dimacs_cnft-no-dynamic_cast
dimacs_cnft-no-dynamic_cast
August 6, 2024 20:26 7m 7s
Remove uses of dynamic_cast from qualifierst hierarchy Publish CBMC documentation #1690: Commit 02ae48e pushed by tautschnig
August 6, 2024 17:23 7m 11s qualifiers-no-dynamic_cast
qualifiers-no-dynamic_cast
August 6, 2024 17:23 7m 11s
Promote set_all_frozen to decision_proceduret to remove a dynamic_cast Publish CBMC documentation #1689: Commit a6af37b pushed by tautschnig
August 6, 2024 17:19 6m 56s freeze-no-dynamic_cast
freeze-no-dynamic_cast
August 6, 2024 17:19 6m 56s
Remove uses of dynamic_cast from qualifierst hierarchy Publish CBMC documentation #1688: Commit 940e633 pushed by tautschnig
August 6, 2024 17:10 6m 57s qualifiers-no-dynamic_cast
qualifiers-no-dynamic_cast
August 6, 2024 17:10 6m 57s
Contracts/dynamic frames: do not attempt to instrument typedefs Publish CBMC documentation #1687: Commit 6a37de3 pushed by tautschnig
August 6, 2024 12:56 7m 15s fix-dfcc-typedef
fix-dfcc-typedef
August 6, 2024 12:56 7m 15s
SMT2 back-end: fix inconsistent array flattening Publish CBMC documentation #1686: Commit af46479 pushed by tautschnig
August 1, 2024 10:50 7m 25s bugfixes/smt2-8399
bugfixes/smt2-8399
August 1, 2024 10:50 7m 25s
SMT2 back-end: fix inconsistent array flattening Publish CBMC documentation #1685: Commit d75e3d7 pushed by tautschnig
July 30, 2024 20:53 7m 4s bugfixes/smt2-8399
bugfixes/smt2-8399
July 30, 2024 20:53 7m 4s
Release CBMC 6.1.1 Publish CBMC documentation #1684: Commit 5eaa8ed pushed by tautschnig
July 29, 2024 11:20 7m 21s release-6.1.1
release-6.1.1
July 29, 2024 11:20 7m 21s
Compile CaDiCaL with -DNDEBUG Publish CBMC documentation #1683: Commit c0fd50b pushed by tautschnig
July 29, 2024 09:37 7m 4s cadical-NDEBUG
cadical-NDEBUG
July 29, 2024 09:37 7m 4s
Compile CaDiCaL with -DNDEBUG Publish CBMC documentation #1682: Commit bc8a56a pushed by tautschnig
July 29, 2024 08:34 7m 35s cadical-NDEBUG
cadical-NDEBUG
July 29, 2024 08:34 7m 35s
DEBUG: partial revert of "Compile CaDiCaL with -DNDEBUG" Publish CBMC documentation #1681: Commit 1ad4c6d pushed by tautschnig
July 29, 2024 07:39 6m 54s cadical-NDEBUG
cadical-NDEBUG
July 29, 2024 07:39 6m 54s
Revert "Compile CaDiCaL with -DNDEBUG" Publish CBMC documentation #1680: Commit 6f57942 pushed by tautschnig
July 29, 2024 07:19 7m 19s cadical-NDEBUG
cadical-NDEBUG
July 29, 2024 07:19 7m 19s
Compile CaDiCaL with -DNDEBUG Publish CBMC documentation #1679: Commit bc8a56a pushed by tautschnig
July 26, 2024 21:10 7m 14s cadical-NDEBUG
cadical-NDEBUG
July 26, 2024 21:10 7m 14s
Don't generate unnecessary fresh symbols for the GOTO trace Publish CBMC documentation #1678: Commit c7f67c6 pushed by tautschnig
July 24, 2024 14:36 2m 14s cleanup/no-unnecessry-fresh-symbols
cleanup/no-unnecessry-fresh-symbols
July 24, 2024 14:36 2m 14s
Use propt::lcnf when cnf_handled_well is true Publish CBMC documentation #1677: Commit 2a0c726 pushed by tautschnig
July 24, 2024 14:34 2m 15s feature/use-lcnf
feature/use-lcnf
July 24, 2024 14:34 2m 15s
CI: add macos-14 (macOS on M1) job Publish CBMC documentation #1676: Commit 09a2bd8 pushed by tautschnig
July 24, 2024 13:18 2m 54s macos-14
macos-14
July 24, 2024 13:18 2m 54s
Enable higher verbosity for benchmarking Publish CBMC documentation #1675: Commit 16a5e31 pushed by tautschnig
July 24, 2024 10:32 2m 5s benchcomp-ci-fix
benchcomp-ci-fix
July 24, 2024 10:32 2m 5s
Release CBMC version 6.1.0 Publish CBMC documentation #1674: Commit 542c428 pushed by tautschnig
July 22, 2024 10:24 2m 20s release-6.1.0
release-6.1.0
July 22, 2024 10:24 2m 20s
Release CBMC version 6.1.0 Publish CBMC documentation #1673: Commit b8fecf6 pushed by tautschnig
July 22, 2024 08:45 2m 23s release-6.1.0
release-6.1.0
July 22, 2024 08:45 2m 23s
GOTO conversion: move out-only clean_expr parameter to return value Publish CBMC documentation #1672: Commit cb2e20c pushed by tautschnig
July 18, 2024 12:24 2m 21s temporaries-minimal-scope
temporaries-minimal-scope
July 18, 2024 12:24 2m 21s