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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove useless steps from Rust CI pipeline Build and Test the Rust API #1827: Pull request #8030 opened by esteffin
November 13, 2023 20:41 21m 14s esteffin:esteffin/simplify-rust-build-ci-job
esteffin:esteffin/simplify-rust-build-ci-job
November 13, 2023 20:41 21m 14s
[DO NOT MERGE] [EXPERIMENTAL] Check if C++ 17 was the cause of the rust failures Build and Test the Rust API #1826: Pull request #8029 opened by esteffin
November 13, 2023 17:52 20m 38s esteffin:esteffin/amend-cpp-17-for-rust
esteffin:esteffin/amend-cpp-17-for-rust
November 13, 2023 17:52 20m 38s
[CI] Minor fixes to CI accompanying C++17 version change Build and Test the Rust API #1825: Pull request #8028 opened by NlightNFotis
November 13, 2023 17:16 22m 55s NlightNFotis:fix_rust_ci
NlightNFotis:fix_rust_ci
November 13, 2023 17:16 22m 55s
Add support for MergeSat Build and Test the Rust API #1824: Pull request #6439 synchronize by tautschnig
November 13, 2023 16:07 46m 21s tautschnig:mergesat
tautschnig:mergesat
November 13, 2023 16:07 46m 21s
Use C++17 Build and Test the Rust API #1823: Pull request #6749 synchronize by tautschnig
November 13, 2023 15:59 23m 59s tautschnig:version-6/c++-17
tautschnig:version-6/c++-17
November 13, 2023 15:59 23m 59s
Merge pull request #7989 from esteffin/esteffin/cpp-17 Build and Test the Rust API #1822: Commit ea34799 pushed by esteffin
November 13, 2023 15:28 23m 51s develop
develop
November 13, 2023 15:28 23m 51s
Merge pull request #7987 from NlightNFotis/v6_release_process Build and Test the Rust API #1821: Commit e0fa9e3 pushed by NlightNFotis
November 13, 2023 14:50 35m 17s develop
develop
November 13, 2023 14:50 35m 17s
Enable default flags on for checks Build and Test the Rust API #1820: Pull request #8006 opened by NlightNFotis
November 10, 2023 16:47 30m 4s NlightNFotis:flags_on_default
NlightNFotis:flags_on_default
November 10, 2023 16:47 30m 4s
Restore post-order simplification of byte_extract(c ? a : b, ...) Build and Test the Rust API #1819: Pull request #8005 opened by tautschnig
November 10, 2023 14:47 22m 27s tautschnig:fixup-simp
tautschnig:fixup-simp
November 10, 2023 14:47 22m 27s
Perform simplification of not_exprt as preorder step Build and Test the Rust API #1817: Pull request #7996 synchronize by tautschnig
November 9, 2023 22:17 2m 40s tautschnig:simplify-not-preorder
tautschnig:simplify-not-preorder
November 9, 2023 22:17 2m 40s
Delete string_constantt::get_value and string_constantt::set_value functions Build and Test the Rust API #1816: Pull request #8003 opened by NlightNFotis
November 9, 2023 16:40 25m 22s NlightNFotis:delete_get_set_value
NlightNFotis:delete_get_set_value
November 9, 2023 16:40 25m 22s
Refactor string_constantt::get_value and string_constantt::set_value call sites. Build and Test the Rust API #1815: Pull request #7999 synchronize by NlightNFotis
November 9, 2023 16:36 32m 29s NlightNFotis:cleanup_string_constantt
NlightNFotis:cleanup_string_constantt
November 9, 2023 16:36 32m 29s
Perform simplification of not_exprt as preorder step Build and Test the Rust API #1814: Pull request #7996 synchronize by tautschnig
November 8, 2023 12:55 54m 11s tautschnig:simplify-not-preorder
tautschnig:simplify-not-preorder
November 8, 2023 12:55 54m 11s
Merge pull request #6118 from tautschnig/simplify-resultt Build and Test the Rust API #1813: Commit b836b4f pushed by tautschnig
November 8, 2023 12:39 31m 24s develop
develop
November 8, 2023 12:39 31m 24s
Replace new-smt-backend tag with inverted no-new-smt tag Build and Test the Rust API #1811: Pull request #8002 opened by thomasspriggs
November 7, 2023 20:14 25m 28s thomasspriggs:tas/smt-test-flip
thomasspriggs:tas/smt-test-flip
November 7, 2023 20:14 25m 28s
Fix failed coverage in if then else with return statements Build and Test the Rust API #1810: Pull request #8001 opened by esteffin
November 7, 2023 16:27 31m 39s esteffin:esteffin/fix-failed-coverage-if-then-else
esteffin:esteffin/fix-failed-coverage-if-then-else
November 7, 2023 16:27 31m 39s
Refactor string_constantt::get_value and string_constantt::set_value call sites. Build and Test the Rust API #1809: Pull request #7999 synchronize by NlightNFotis
November 7, 2023 15:40 3m 35s NlightNFotis:cleanup_string_constantt
NlightNFotis:cleanup_string_constantt
November 7, 2023 15:40 3m 35s
Refactor string_constantt::get_value and string_constantt::set_value call sites. Build and Test the Rust API #1808: Pull request #7999 opened by NlightNFotis
November 7, 2023 10:57 26m 7s NlightNFotis:cleanup_string_constantt
NlightNFotis:cleanup_string_constantt
November 7, 2023 10:57 26m 7s
Change C++ version to C++17 Build and Test the Rust API #1807: Pull request #7989 synchronize by esteffin
November 6, 2023 13:39 24m 37s esteffin:esteffin/cpp-17
esteffin:esteffin/cpp-17
November 6, 2023 13:39 24m 37s
Perform simplification of not_exprt as preorder step Build and Test the Rust API #1806: Pull request #7996 opened by tautschnig
November 6, 2023 11:46 20m 48s tautschnig:simplify-not-preorder
tautschnig:simplify-not-preorder
November 6, 2023 11:46 20m 48s
Use simplify_exprtt::resultt in pre-order simplification steps Build and Test the Rust API #1805: Pull request #6118 synchronize by tautschnig
November 6, 2023 11:01 19m 43s tautschnig:simplify-resultt
tautschnig:simplify-resultt
November 6, 2023 11:01 19m 43s
ProTip! You can narrow down the results and go further in time using created:<2023-11-06 or the other filters available.