Skip to content

Actions: diffblue/cbmc

Actions

Syntactic checks

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

copy constructors for exception classes Syntactic checks #2629: Pull request #8391 opened by kroening
July 20, 2024 13:18 1m 20s exception-constructors
exception-constructors
July 20, 2024 13:18 1m 20s
GOTO conversion: create temporaries with minimal scope Syntactic checks #2628: Pull request #8363 synchronize by tautschnig
July 18, 2024 12:24 1m 22s tautschnig:temporaries-minimal-scope
tautschnig:temporaries-minimal-scope
July 18, 2024 12:24 1m 22s
SMT2 back-end: Bitwuzla does not support lambda expressions Syntactic checks #2627: Pull request #8387 opened by tautschnig
July 17, 2024 08:15 1m 34s tautschnig:bugfixes/bitwuzla-no-lambda
tautschnig:bugfixes/bitwuzla-no-lambda
July 17, 2024 08:15 1m 34s
C++ front-end: support constexpr Syntactic checks #2626: Pull request #8386 opened by tautschnig
July 17, 2024 07:50 8m 51s tautschnig:features/cpp-constexpr
tautschnig:features/cpp-constexpr
July 17, 2024 07:50 8m 51s
C++ front-end: support explicit type conversion with braced-init-list Syntactic checks #2625: Pull request #8385 opened by tautschnig
July 17, 2024 07:47 1m 18s tautschnig:bugfixes/cpp-brace-init-list
tautschnig:bugfixes/cpp-brace-init-list
July 17, 2024 07:47 1m 18s
C++ front-end fixes Syntactic checks #2624: Pull request #8275 synchronize by tautschnig
July 17, 2024 07:43 1m 24s tautschnig:bugfixes/cpp-constexpr
tautschnig:bugfixes/cpp-constexpr
July 17, 2024 07:43 1m 24s
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
ProTip! You can narrow down the results and go further in time using created:<2024-07-12 or the other filters available.