Skip to content

Actions: diffblue/cbmc

Actions

Syntactic checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
syntax-checks.yaml
1,674 workflow runs
1,674 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add documentation to loop contracts, __CPROVER_loop_entry Syntactic checks #2623: Pull request #8377 synchronize by QinyuanWu
July 16, 2024 16:28 1m 18s QinyuanWu:develop
QinyuanWu:develop
July 16, 2024 16:28 1m 18s
C++ front-end fixes Syntactic checks #2622: Pull request #8275 synchronize by tautschnig
July 16, 2024 10:42 1m 25s tautschnig:bugfixes/cpp-constexpr
tautschnig:bugfixes/cpp-constexpr
July 16, 2024 10:42 1m 25s
Add documentation to loop contracts, __CPROVER_loop_entry Syntactic checks #2621: Pull request #8377 synchronize by QinyuanWu
July 16, 2024 00:21 1m 37s QinyuanWu:develop
QinyuanWu:develop
July 16, 2024 00:21 1m 37s
CI jobs: upgrade CVC5 from 1.0.0 to 1.1.2 Syntactic checks #2617: Pull request #8383 synchronize by tautschnig
July 15, 2024 10:25 1m 27s tautschnig:upgrade-cvc5
tautschnig:upgrade-cvc5
July 15, 2024 10:25 1m 27s
CI jobs: upgrade CVC5 from 1.0.0 to 1.1.2 Syntactic checks #2616: Pull request #8383 synchronize by tautschnig
July 15, 2024 09:55 1m 25s tautschnig:upgrade-cvc5
tautschnig:upgrade-cvc5
July 15, 2024 09:55 1m 25s
CI jobs: upgrade CVC5 from 1.0.0 to 1.1.2 Syntactic checks #2615: Pull request #8383 synchronize by tautschnig
July 15, 2024 09:48 2m 8s tautschnig:upgrade-cvc5
tautschnig:upgrade-cvc5
July 15, 2024 09:48 2m 8s
CI jobs: upgrade CVC5 from 1.0.0 to 1.1.2 Syntactic checks #2614: Pull request #8383 synchronize by tautschnig
July 15, 2024 09:43 1m 20s tautschnig:upgrade-cvc5
tautschnig:upgrade-cvc5
July 15, 2024 09:43 1m 20s
CI jobs: upgrade CVC5 from 1.0.0 to 1.1.2 Syntactic checks #2613: Pull request #8383 synchronize by tautschnig
July 15, 2024 09:35 1m 31s tautschnig:upgrade-cvc5
tautschnig:upgrade-cvc5
July 15, 2024 09:35 1m 31s
CI jobs: upgrade CVC5 from 1.0.0 to 1.1.2 Syntactic checks #2612: Pull request #8383 opened by tautschnig
July 15, 2024 09:33 1m 21s tautschnig:upgrade-cvc5
tautschnig:upgrade-cvc5
July 15, 2024 09:33 1m 21s
SMT2 back-end: detect when solver returns unexpected model Syntactic checks #2610: Pull request #8379 synchronize by tautschnig
July 12, 2024 16:19 1m 18s tautschnig:bugfixes/smt2-value-check-8365
tautschnig:bugfixes/smt2-value-check-8365
July 12, 2024 16:19 1m 18s
CI: add macos-14 (macOS on M1) job Syntactic checks #2609: Pull request #8382 opened by tautschnig
July 12, 2024 15:53 1m 26s tautschnig:macos-14
tautschnig:macos-14
July 12, 2024 15:53 1m 26s
Update Xen integration test Docker image Syntactic checks #2608: Pull request #8381 opened by tautschnig
July 12, 2024 15:12 8m 16s tautschnig:bugfixes/recent-ubuntu-8193
tautschnig:bugfixes/recent-ubuntu-8193
July 12, 2024 15:12 8m 16s
C front-end: place requires and ensures in designated scope Syntactic checks #2607: Pull request #8380 synchronize by tautschnig
July 12, 2024 14:18 5m 53s tautschnig:bugfixes/contract-scope-8337
tautschnig:bugfixes/contract-scope-8337
July 12, 2024 14:18 5m 53s
C front-end: place requires and ensures in designated scope Syntactic checks #2606: Pull request #8380 opened by tautschnig
July 12, 2024 14:09 1m 17s tautschnig:bugfixes/contract-scope-8337
tautschnig:bugfixes/contract-scope-8337
July 12, 2024 14:09 1m 17s
SMT2 back-end: report error when invoking solver fails Syntactic checks #2605: Pull request #8378 synchronize by tautschnig
July 12, 2024 12:13 1m 15s tautschnig:bugfixes/smt2-error-8362
tautschnig:bugfixes/smt2-error-8362
July 12, 2024 12:13 1m 15s
SMT2 back-end: detect when solver returns unexpected model Syntactic checks #2604: Pull request #8379 synchronize by tautschnig
July 12, 2024 11:42 8m 50s tautschnig:bugfixes/smt2-value-check-8365
tautschnig:bugfixes/smt2-value-check-8365
July 12, 2024 11:42 8m 50s
Quantifier instantiation via simplistic E-matching Syntactic checks #2603: Pull request #8224 synchronize by tautschnig
July 12, 2024 11:38 1m 16s tautschnig:features/quantifiers-elimination
tautschnig:features/quantifiers-elimination
July 12, 2024 11:38 1m 16s
SMT2 back-end: detect when solver returns unexpected model Syntactic checks #2602: Pull request #8379 synchronize by tautschnig
July 12, 2024 11:27 1m 28s tautschnig:bugfixes/smt2-value-check-8365
tautschnig:bugfixes/smt2-value-check-8365
July 12, 2024 11:27 1m 28s
Fix multiplication and division of complex numbers Syntactic checks #2601: Pull request #8376 synchronize by tautschnig
July 12, 2024 11:10 1m 25s tautschnig:bugfixes/complex-8375
tautschnig:bugfixes/complex-8375
July 12, 2024 11:10 1m 25s
SMT2 back-end: detect when solver returns unexpected model Syntactic checks #2600: Pull request #8379 opened by tautschnig
July 12, 2024 11:05 1m 18s tautschnig:bugfixes/smt2-value-check-8365
tautschnig:bugfixes/smt2-value-check-8365
July 12, 2024 11:05 1m 18s
SMT2 back-end: report error when invoking solver fails Syntactic checks #2599: Pull request #8378 opened by tautschnig
July 12, 2024 10:06 1m 20s tautschnig:bugfixes/smt2-error-8362
tautschnig:bugfixes/smt2-error-8362
July 12, 2024 10:06 1m 20s
Fix multiplication and division of complex numbers Syntactic checks #2598: Pull request #8376 synchronize by tautschnig
July 12, 2024 09:37 1m 20s tautschnig:bugfixes/complex-8375
tautschnig:bugfixes/complex-8375
July 12, 2024 09:37 1m 20s
Fix multiplication and division of complex numbers Syntactic checks #2597: Pull request #8376 synchronize by tautschnig
July 12, 2024 08:52 1m 18s tautschnig:bugfixes/complex-8375
tautschnig:bugfixes/complex-8375
July 12, 2024 08:52 1m 18s
Add documentation to loop contracts, __CPROVER_loop_entry Syntactic checks #2596: Pull request #8377 synchronize by QinyuanWu
July 12, 2024 00:42 13m 35s QinyuanWu:develop
QinyuanWu:develop
July 12, 2024 00:42 13m 35s
Fix multiplication and division of complex numbers Syntactic checks #2594: Pull request #8376 synchronize by tautschnig
July 11, 2024 20:10 3m 30s tautschnig:bugfixes/complex-8375
tautschnig:bugfixes/complex-8375
July 11, 2024 20:10 3m 30s