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
1,048 workflow runs
1,048 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Xen integration test Docker image Build and Test the Rust API #3075: Pull request #8381 opened by tautschnig
July 12, 2024 15:12 1m 28s tautschnig:bugfixes/recent-ubuntu-8193
tautschnig:bugfixes/recent-ubuntu-8193
July 12, 2024 15:12 1m 28s
C front-end: place requires and ensures in designated scope Build and Test the Rust API #3074: Pull request #8380 synchronize by tautschnig
July 12, 2024 14:18 1m 41s tautschnig:bugfixes/contract-scope-8337
tautschnig:bugfixes/contract-scope-8337
July 12, 2024 14:18 1m 41s
C front-end: place requires and ensures in designated scope Build and Test the Rust API #3073: Pull request #8380 opened by tautschnig
July 12, 2024 14:09 3m 1s tautschnig:bugfixes/contract-scope-8337
tautschnig:bugfixes/contract-scope-8337
July 12, 2024 14:09 3m 1s
Merge pull request #8376 from tautschnig/bugfixes/complex-8375 Build and Test the Rust API #3072: Commit 3dcc1c7 pushed by tautschnig
July 12, 2024 13:42 11m 13s develop
develop
July 12, 2024 13:42 11m 13s
SMT2 back-end: report error when invoking solver fails Build and Test the Rust API #3071: Pull request #8378 synchronize by tautschnig
July 12, 2024 12:13 21m 32s tautschnig:bugfixes/smt2-error-8362
tautschnig:bugfixes/smt2-error-8362
July 12, 2024 12:13 21m 32s
SMT2 back-end: detect when solver returns unexpected model Build and Test the Rust API #3070: Pull request #8379 synchronize by tautschnig
July 12, 2024 11:42 19m 27s tautschnig:bugfixes/smt2-value-check-8365
tautschnig:bugfixes/smt2-value-check-8365
July 12, 2024 11:42 19m 27s
Quantifier instantiation via simplistic E-matching Build and Test the Rust API #3069: Pull request #8224 synchronize by tautschnig
July 12, 2024 11:38 15m 42s tautschnig:features/quantifiers-elimination
tautschnig:features/quantifiers-elimination
July 12, 2024 11:38 15m 42s
SMT2 back-end: detect when solver returns unexpected model Build and Test the Rust API #3068: Pull request #8379 synchronize by tautschnig
July 12, 2024 11:27 1m 51s tautschnig:bugfixes/smt2-value-check-8365
tautschnig:bugfixes/smt2-value-check-8365
July 12, 2024 11:27 1m 51s
Fix multiplication and division of complex numbers Build and Test the Rust API #3067: Pull request #8376 synchronize by tautschnig
July 12, 2024 11:10 1m 49s tautschnig:bugfixes/complex-8375
tautschnig:bugfixes/complex-8375
July 12, 2024 11:10 1m 49s
SMT2 back-end: detect when solver returns unexpected model Build and Test the Rust API #3066: Pull request #8379 opened by tautschnig
July 12, 2024 11:05 12m 55s tautschnig:bugfixes/smt2-value-check-8365
tautschnig:bugfixes/smt2-value-check-8365
July 12, 2024 11:05 12m 55s
SMT2 back-end: report error when invoking solver fails Build and Test the Rust API #3065: Pull request #8378 opened by tautschnig
July 12, 2024 10:06 11m 52s tautschnig:bugfixes/smt2-error-8362
tautschnig:bugfixes/smt2-error-8362
July 12, 2024 10:06 11m 52s
Fix multiplication and division of complex numbers Build and Test the Rust API #3064: Pull request #8376 synchronize by tautschnig
July 12, 2024 09:37 2m 5s tautschnig:bugfixes/complex-8375
tautschnig:bugfixes/complex-8375
July 12, 2024 09:37 2m 5s
Fix multiplication and division of complex numbers Build and Test the Rust API #3063: Pull request #8376 synchronize by tautschnig
July 12, 2024 08:52 2m 46s tautschnig:bugfixes/complex-8375
tautschnig:bugfixes/complex-8375
July 12, 2024 08:52 2m 46s
Add documentation to loop contracts, __CPROVER_loop_entry Build and Test the Rust API #3062: Pull request #8377 synchronize by QinyuanWu
July 12, 2024 00:42 54m 0s QinyuanWu:develop
QinyuanWu:develop
July 12, 2024 00:42 54m 0s
Fix multiplication and division of complex numbers Build and Test the Rust API #3060: Pull request #8376 synchronize by tautschnig
July 11, 2024 20:10 1m 58s tautschnig:bugfixes/complex-8375
tautschnig:bugfixes/complex-8375
July 11, 2024 20:10 1m 58s
Fix multiplication and division of complex numbers Build and Test the Rust API #3059: Pull request #8376 synchronize by tautschnig
July 11, 2024 16:36 2m 5s tautschnig:bugfixes/complex-8375
tautschnig:bugfixes/complex-8375
July 11, 2024 16:36 2m 5s
Fix multiplication and division of complex numbers Build and Test the Rust API #3058: Pull request #8376 synchronize by tautschnig
July 11, 2024 11:08 2m 6s tautschnig:bugfixes/complex-8375
tautschnig:bugfixes/complex-8375
July 11, 2024 11:08 2m 6s
Fix multiplication and division of complex numbers Build and Test the Rust API #3057: Pull request #8376 opened by tautschnig
July 11, 2024 10:43 2m 25s tautschnig:bugfixes/complex-8375
tautschnig:bugfixes/complex-8375
July 11, 2024 10:43 2m 25s
GOTO conversion: create temporaries with minimal scope Build and Test the Rust API #3056: Pull request #8363 synchronize by tautschnig
July 11, 2024 09:46 2m 55s tautschnig:temporaries-minimal-scope
tautschnig:temporaries-minimal-scope
July 11, 2024 09:46 2m 55s
Merge pull request #8370 from tautschnig/endianness-tests Build and Test the Rust API #3055: Commit 629dbcd pushed by kroening
July 11, 2024 00:02 2m 10s develop
develop
July 11, 2024 00:02 2m 10s
Merge pull request #8361 from qinheping/issue/8329 Build and Test the Rust API #3054: Commit 8ccc168 pushed by qinheping
July 10, 2024 22:13 2m 49s develop
develop
July 10, 2024 22:13 2m 49s
Merge pull request #7857 from tautschnig/cleanup/no-winbug Build and Test the Rust API #3053: Commit f02b7bf pushed by kroening
July 10, 2024 18:45 1m 47s develop
develop
July 10, 2024 18:45 1m 47s
Make sure free symbols are declared in SMT2_conv after quantifier rewriting Build and Test the Rust API #3052: Pull request #8361 synchronize by tautschnig
July 10, 2024 17:25 2m 23s qinheping:issue/8329
qinheping:issue/8329
July 10, 2024 17:25 2m 23s
Purge winbug from regression tests Build and Test the Rust API #3051: Pull request #7857 synchronize by tautschnig
July 10, 2024 16:58 1m 46s tautschnig:cleanup/no-winbug
tautschnig:cleanup/no-winbug
July 10, 2024 16:58 1m 46s
Merge pull request #8369 from tautschnig/fix-cleanup Build and Test the Rust API #3050: Commit b3f1e71 pushed by kroening
July 10, 2024 16:14 12m 13s develop
develop
July 10, 2024 16:14 12m 13s
ProTip! You can narrow down the results and go further in time using created:<2024-07-10 or the other filters available.