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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #7951 from thomasspriggs/tas/smt_struct_of_struct Build and Test the Rust API #1696: Commit 79ece0b pushed by thomasspriggs
October 12, 2023 10:50 33m 41s develop
develop
October 12, 2023 10:50 33m 41s
Merge pull request #7954 from tautschnig/bugfixes/7953-interval-simp Build and Test the Rust API #1695: Commit 16e4cf1 pushed by TGWDB
October 12, 2023 10:36 31m 26s develop
develop
October 12, 2023 10:36 31m 26s
Simplification towards singleton intervals requires single variable Build and Test the Rust API #1694: Pull request #7954 opened by tautschnig
October 12, 2023 08:56 27m 49s tautschnig:bugfixes/7953-interval-simp
tautschnig:bugfixes/7953-interval-simp
October 12, 2023 08:56 27m 49s
20231011 cbmc 5.94.0 Build and Test the Rust API #1692: Pull request #7948 synchronize by TGWDB
October 11, 2023 22:55 26m 29s 20231011-cbmc-5.94.0
20231011-cbmc-5.94.0
October 11, 2023 22:55 26m 29s
20231011 cbmc 5.94.0 Build and Test the Rust API #1691: Pull request #7948 synchronize by TGWDB
October 11, 2023 22:54 2m 23s 20231011-cbmc-5.94.0
20231011-cbmc-5.94.0
October 11, 2023 22:54 2m 23s
Add missing lowering of symbol values in new SMT backend Build and Test the Rust API #1690: Pull request #7952 opened by thomasspriggs
October 11, 2023 20:37 2m 22s thomasspriggs:tas/smt_lower_symbol_values
thomasspriggs:tas/smt_lower_symbol_values
October 11, 2023 20:37 2m 22s
Fix SMT encoding of structs which contain a single struct field Build and Test the Rust API #1689: Pull request #7951 opened by thomasspriggs
October 11, 2023 19:50 2m 31s thomasspriggs:tas/smt_struct_of_struct
thomasspriggs:tas/smt_struct_of_struct
October 11, 2023 19:50 2m 31s
Merge pull request #7950 from thomasspriggs/tas/fix_book_examples_smt Build and Test the Rust API #1688: Commit e798cbb pushed by thomasspriggs
October 11, 2023 19:45 2m 35s develop
develop
October 11, 2023 19:45 2m 35s
Fix book regression tests handling of smt test runs Build and Test the Rust API #1687: Pull request #7950 opened by thomasspriggs
October 11, 2023 18:13 33m 53s thomasspriggs:tas/fix_book_examples_smt
thomasspriggs:tas/fix_book_examples_smt
October 11, 2023 18:13 33m 53s
20231011 cbmc 5.94.0 Build and Test the Rust API #1686: Pull request #7948 opened by TGWDB
October 11, 2023 14:36 34m 6s 20231011-cbmc-5.94.0
20231011-cbmc-5.94.0
October 11, 2023 14:36 34m 6s
C front-end: support vector expressions as compile-time constants Build and Test the Rust API #1685: Pull request #7947 opened by tautschnig
October 11, 2023 10:27 33m 8s tautschnig:bugfixes/vector-constant
tautschnig:bugfixes/vector-constant
October 11, 2023 10:27 33m 8s
C front-end: typecheck conditional operator over string literal and 0 Build and Test the Rust API #1684: Pull request #7946 opened by tautschnig
October 11, 2023 09:44 33m 17s tautschnig:bugfixes/null-ptr
tautschnig:bugfixes/null-ptr
October 11, 2023 09:44 33m 17s
Define coverage blocks so as to be terminated by all assumptions Build and Test the Rust API #1682: Pull request #7944 synchronize by thomasspriggs
October 10, 2023 15:24 2m 7s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 15:24 2m 7s
Define coverage blocks so as to be terminated by all assumptions Build and Test the Rust API #1681: Pull request #7944 opened by thomasspriggs
October 10, 2023 14:23 33m 21s thomasspriggs:tas/cover_assume_blocks_v2
thomasspriggs:tas/cover_assume_blocks_v2
October 10, 2023 14:23 33m 21s
Merge pull request #7809 from NlightNFotis/address_of_field Build and Test the Rust API #1680: Commit cf380d5 pushed by thomasspriggs
October 10, 2023 13:54 2m 43s develop
develop
October 10, 2023 13:54 2m 43s
Merge pull request #7939 from esteffin/esteffin/shadow-memory-docs-an… Build and Test the Rust API #1678: Commit 0838c70 pushed by esteffin
October 6, 2023 16:13 3m 10s develop
develop
October 6, 2023 16:13 3m 10s
Enable all struct tests under regression/cbmc/ for new SMT backend Build and Test the Rust API #1677: Pull request #7809 synchronize by NlightNFotis
October 6, 2023 15:01 3m 3s NlightNFotis:address_of_field
NlightNFotis:address_of_field
October 6, 2023 15:01 3m 3s
Non functional improvements to shadow memory utility functions Build and Test the Rust API #1676: Pull request #7939 synchronize by esteffin
October 6, 2023 14:25 2m 49s esteffin:esteffin/shadow-memory-docs-and-tests
esteffin:esteffin/shadow-memory-docs-and-tests
October 6, 2023 14:25 2m 49s
Enable all struct tests under regression/cbmc/ for new SMT backend Build and Test the Rust API #1675: Pull request #7809 synchronize by NlightNFotis
October 6, 2023 14:03 32m 57s NlightNFotis:address_of_field
NlightNFotis:address_of_field
October 6, 2023 14:03 32m 57s
Non functional improvements to shadow memory utility functions Build and Test the Rust API #1674: Pull request #7939 synchronize by esteffin
October 6, 2023 11:08 3m 33s esteffin:esteffin/shadow-memory-docs-and-tests
esteffin:esteffin/shadow-memory-docs-and-tests
October 6, 2023 11:08 3m 33s
Non functional improvements to shadow memory utility functions Build and Test the Rust API #1673: Pull request #7939 synchronize by esteffin
October 6, 2023 10:17 2m 47s esteffin:esteffin/shadow-memory-docs-and-tests
esteffin:esteffin/shadow-memory-docs-and-tests
October 6, 2023 10:17 2m 47s
Non functional improvements to shadow memory utility functions Build and Test the Rust API #1672: Pull request #7939 synchronize by esteffin
October 6, 2023 10:13 25m 44s esteffin:esteffin/shadow-memory-docs-and-tests
esteffin:esteffin/shadow-memory-docs-and-tests
October 6, 2023 10:13 25m 44s
ProTip! You can narrow down the results and go further in time using created:<2023-10-06 or the other filters available.