Skip to content

Actions: diffblue/cbmc

Actions

Build and Test the Rust API

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull-request-check-rust-api.yaml
2,111 workflow runs
2,111 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
SMT2 parser with explicit stack Build and Test the Rust API #3150: Pull request #8415 opened by kroening
August 15, 2024 00:10 15m 14s smt2_parser_with_stack
smt2_parser_with_stack
August 15, 2024 00:10 15m 14s
Contracts (DFCC) regression tests: use CaDiCaL Build and Test the Rust API #3149: Pull request #8414 opened by tautschnig
August 14, 2024 10:54 15m 24s tautschnig:contracts-dfcc-cadical
tautschnig:contracts-dfcc-cadical
August 14, 2024 10:54 15m 24s
Library functions: mark them as compiled Build and Test the Rust API #3148: Pull request #8412 synchronize by tautschnig
August 14, 2024 09:48 15m 6s tautschnig:library-is-compiled
tautschnig:library-is-compiled
August 14, 2024 09:48 15m 6s
Library functions: mark them as compiled Build and Test the Rust API #3147: Pull request #8412 synchronize by tautschnig
August 13, 2024 20:43 2m 15s tautschnig:library-is-compiled
tautschnig:library-is-compiled
August 13, 2024 20:43 2m 15s
Library functions: mark them as compiled Build and Test the Rust API #3146: Pull request #8412 synchronize by tautschnig
August 13, 2024 20:11 2m 42s tautschnig:library-is-compiled
tautschnig:library-is-compiled
August 13, 2024 20:11 2m 42s
Dynamic frames: do not add trivial properties Build and Test the Rust API #3145: Pull request #8413 synchronize by tautschnig
August 13, 2024 15:36 26m 34s tautschnig:dfcc-no-unnecessary-check
tautschnig:dfcc-no-unnecessary-check
August 13, 2024 15:36 26m 34s
Dynamic frames: do not add trivial properties Build and Test the Rust API #3144: Pull request #8413 opened by tautschnig
August 13, 2024 15:25 12m 19s tautschnig:dfcc-no-unnecessary-check
tautschnig:dfcc-no-unnecessary-check
August 13, 2024 15:25 12m 19s
Library functions: mark them as compiled Build and Test the Rust API #3143: Pull request #8412 opened by tautschnig
August 13, 2024 15:21 17m 10s tautschnig:library-is-compiled
tautschnig:library-is-compiled
August 13, 2024 15:21 17m 10s
Merge pull request #8410 from tautschnig/solver-factory-no-dynamic_cast3 Build and Test the Rust API #3142: Commit 0760cd7 pushed by kroening
August 8, 2024 01:18 2m 22s develop
develop
August 8, 2024 01:18 2m 22s
Merge pull request #8409 from tautschnig/solver-factory-no-dynamic_cast2 Build and Test the Rust API #3141: Commit 7db3d8b pushed by kroening
August 7, 2024 18:41 2m 19s develop
develop
August 7, 2024 18:41 2m 19s
Merge pull request #8407 from tautschnig/java-no-dynamic_cast Build and Test the Rust API #3140: Commit 068d963 pushed by tautschnig
August 7, 2024 18:40 2m 15s develop
develop
August 7, 2024 18:40 2m 15s
Solver factory: make_satcheck_prop does not require dynamic_cast Build and Test the Rust API #3139: Pull request #8410 opened by tautschnig
August 7, 2024 11:06 16m 12s tautschnig:solver-factory-no-dynamic_cast3
tautschnig:solver-factory-no-dynamic_cast3
August 7, 2024 11:06 16m 12s
Solver factory: set_decision_procedure_time_limit does not require dynamic_cast Build and Test the Rust API #3138: Pull request #8409 opened by tautschnig
August 7, 2024 10:26 3m 2s tautschnig:solver-factory-no-dynamic_cast2
tautschnig:solver-factory-no-dynamic_cast2
August 7, 2024 10:26 3m 2s
Solver factory: all solvers are stack_decision_proceduret Build and Test the Rust API #3137: Pull request #8408 opened by tautschnig
August 7, 2024 09:57 3m 17s tautschnig:solver-factory-no-dynamic_cast
tautschnig:solver-factory-no-dynamic_cast
August 7, 2024 09:57 3m 17s
Remove Java's unnecessary languaget::parse peculiarity Build and Test the Rust API #3136: Pull request #8407 opened by tautschnig
August 7, 2024 07:58 1m 43s tautschnig:java-no-dynamic_cast
tautschnig:java-no-dynamic_cast
August 7, 2024 07:58 1m 43s
Merge pull request #8405 from tautschnig/qualifiers-no-dynamic_cast Build and Test the Rust API #3135: Commit d635850 pushed by kroening
August 7, 2024 07:46 3m 1s develop
develop
August 7, 2024 07:46 3m 1s
Merge pull request #8406 from tautschnig/dimacs_cnft-no-dynamic_cast Build and Test the Rust API #3134: Commit f244575 pushed by kroening
August 7, 2024 03:17 2m 27s develop
develop
August 7, 2024 03:17 2m 27s
Remove dynamic_cast from bv_dimacst Build and Test the Rust API #3133: Pull request #8406 opened by tautschnig
August 6, 2024 20:27 11m 33s tautschnig:dimacs_cnft-no-dynamic_cast
tautschnig:dimacs_cnft-no-dynamic_cast
August 6, 2024 20:27 11m 33s
Remove uses of dynamic_cast from qualifierst hierarchy Build and Test the Rust API #3132: Pull request #8405 synchronize by tautschnig
August 6, 2024 17:23 1m 58s tautschnig:qualifiers-no-dynamic_cast
tautschnig:qualifiers-no-dynamic_cast
August 6, 2024 17:23 1m 58s
Remove uses of dynamic_cast from qualifierst hierarchy Build and Test the Rust API #3131: Pull request #8405 opened by tautschnig
August 6, 2024 17:21 1m 44s tautschnig:qualifiers-no-dynamic_cast
tautschnig:qualifiers-no-dynamic_cast
August 6, 2024 17:21 1m 44s
Promote set_all_frozen to decision_proceduret to remove a dynamic_cast Build and Test the Rust API #3130: Pull request #8404 opened by tautschnig
August 6, 2024 17:20 14m 21s tautschnig:freeze-no-dynamic_cast
tautschnig:freeze-no-dynamic_cast
August 6, 2024 17:20 14m 21s
Merge pull request #8403 from tautschnig/fix-dfcc-typedef Build and Test the Rust API #3129: Commit 5ef19c8 pushed by feliperodri
August 6, 2024 16:02 2m 15s develop
develop
August 6, 2024 16:02 2m 15s
Contracts/dynamic frames: do not attempt to instrument typedefs Build and Test the Rust API #3128: Pull request #8403 opened by tautschnig
August 6, 2024 12:57 13m 43s tautschnig:fix-dfcc-typedef
tautschnig:fix-dfcc-typedef
August 6, 2024 12:57 13m 43s
SMT2 back-end: fix inconsistent array flattening Build and Test the Rust API #3127: Pull request #8400 synchronize by tautschnig
August 1, 2024 10:50 2m 59s tautschnig:bugfixes/smt2-8399
tautschnig:bugfixes/smt2-8399
August 1, 2024 10:50 2m 59s
SMT2 back-end: fix inconsistent array flattening Build and Test the Rust API #3126: Pull request #8400 opened by tautschnig
July 30, 2024 20:54 2m 13s tautschnig:bugfixes/smt2-8399
tautschnig:bugfixes/smt2-8399
July 30, 2024 20:54 2m 13s