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 #7947 from tautschnig/bugfixes/vector-constant Build and Test the Rust API #1724: Commit 09236f9 pushed by kroening
October 18, 2023 08:03 3m 16s develop
develop
October 18, 2023 08:03 3m 16s
Use goto-analyzer to add assumptions, assertions and code contracts Build and Test the Rust API #1723: Pull request #7964 synchronize by martin-cs
October 17, 2023 08:04 12m 4s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 08:04 12m 4s
Use goto-analyzer to add assumptions, assertions and code contracts Build and Test the Rust API #1722: Pull request #7964 opened by martin-cs
October 17, 2023 07:51 11m 40s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 07:51 11m 40s
Merge pull request #7933 from tautschnig/features/simplify-be-bu Build and Test the Rust API #1720: Commit c1ef4df pushed by tautschnig
October 16, 2023 21:08 14m 54s develop
develop
October 16, 2023 21:08 14m 54s
Merge pull request #7962 from thomasspriggs/tas/const_cast_fixes Build and Test the Rust API #1719: Commit db9c799 pushed by tautschnig
October 16, 2023 21:07 16m 52s develop
develop
October 16, 2023 21:07 16m 52s
Fix a pair of issues where const was (unintentionally) cast away Build and Test the Rust API #1718: Pull request #7962 opened by thomasspriggs
October 16, 2023 18:18 31m 38s thomasspriggs:tas/const_cast_fixes
thomasspriggs:tas/const_cast_fixes
October 16, 2023 18:18 31m 38s
Merge pull request #7961 from thomasspriggs/tas/smt_union_member Build and Test the Rust API #1716: Commit 05ccb75 pushed by thomasspriggs
October 16, 2023 09:18 37m 15s develop
develop
October 16, 2023 09:18 37m 15s
Build and infrastructure fixes for FreeBSD Build and Test the Rust API #1715: Pull request #7924 synchronize by tautschnig
October 13, 2023 22:35 2m 11s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
October 13, 2023 22:35 2m 11s
Build and infrastructure fixes for FreeBSD Build and Test the Rust API #1714: Pull request #7924 synchronize by tautschnig
October 13, 2023 21:03 2m 4s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
October 13, 2023 21:03 2m 4s
Build and infrastructure fixes for FreeBSD Build and Test the Rust API #1713: Pull request #7924 synchronize by tautschnig
October 13, 2023 21:00 2m 10s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
October 13, 2023 21:00 2m 10s
Add support for union member expressions in incremental smt2 decision procedure Build and Test the Rust API #1712: Pull request #7961 opened by thomasspriggs
October 13, 2023 20:08 28m 31s thomasspriggs:tas/smt_union_member
thomasspriggs:tas/smt_union_member
October 13, 2023 20:08 28m 31s
Adds an over-approximation for syscall function Build and Test the Rust API #1711: Pull request #7937 synchronize by feliperodri
October 13, 2023 18:25 18m 49s feliperodri:add-model-syscall
feliperodri:add-model-syscall
October 13, 2023 18:25 18m 49s
Build and infrastructure fixes for FreeBSD Build and Test the Rust API #1710: Pull request #7924 synchronize by tautschnig
October 13, 2023 13:45 2m 40s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
October 13, 2023 13:45 2m 40s
Build and infrastructure fixes for FreeBSD Build and Test the Rust API #1709: Pull request #7924 synchronize by tautschnig
October 13, 2023 13:27 3m 56s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
October 13, 2023 13:27 3m 56s
Build and infrastructure fixes for FreeBSD Build and Test the Rust API #1708: Pull request #7924 synchronize by tautschnig
October 13, 2023 12:17 24m 5s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
October 13, 2023 12:17 24m 5s
Build and infrastructure fixes for FreeBSD Build and Test the Rust API #1707: Pull request #7924 synchronize by tautschnig
October 13, 2023 11:24 33m 32s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
October 13, 2023 11:24 33m 32s
Mimic GCC/Clang simplification behaviour when type checking ?: Build and Test the Rust API #1706: Pull request #7959 opened by tautschnig
October 13, 2023 10:30 36m 45s tautschnig:features/gcc-clang-ite-simp
tautschnig:features/gcc-clang-ite-simp
October 13, 2023 10:30 36m 45s
Simplify byte_extract(byte_update(...)) when extracting from update Build and Test the Rust API #1705: Pull request #7933 synchronize by tautschnig
October 13, 2023 09:57 32m 50s tautschnig:features/simplify-be-bu
tautschnig:features/simplify-be-bu
October 13, 2023 09:57 32m 50s
Restrict memory-analyzer build to Linux x86_64/i386 Build and Test the Rust API #1704: Pull request #7958 opened by tautschnig
October 13, 2023 09:28 34m 14s tautschnig:bugfixes/memory-analyzer-config
tautschnig:bugfixes/memory-analyzer-config
October 13, 2023 09:28 34m 14s
C front-end: typecheck conditional operator over string literal and 0 Build and Test the Rust API #1703: Pull request #7946 synchronize by tautschnig
October 13, 2023 09:07 35m 19s tautschnig:bugfixes/null-ptr
tautschnig:bugfixes/null-ptr
October 13, 2023 09:07 35m 19s
Merge pull request #7956 from tautschnig/bugfixes/7949-comparison Build and Test the Rust API #1701: Commit a531056 pushed by tautschnig
October 12, 2023 19:13 20m 11s develop
develop
October 12, 2023 19:13 20m 11s
std::sort requires strict weak ordering Build and Test the Rust API #1700: Pull request #7956 opened by tautschnig
October 12, 2023 14:32 2m 10s tautschnig:bugfixes/7949-comparison
tautschnig:bugfixes/7949-comparison
October 12, 2023 14:32 2m 10s
Merge pull request #7955 from diffblue/20231012-CHANGELOG-update Build and Test the Rust API #1699: Commit a997e32 pushed by TGWDB
October 12, 2023 13:44 2m 24s develop
develop
October 12, 2023 13:44 2m 24s
update CHANGELOG for last minute bug fixes Build and Test the Rust API #1698: Pull request #7955 opened by TGWDB
October 12, 2023 11:47 24m 3s 20231012-CHANGELOG-update
20231012-CHANGELOG-update
October 12, 2023 11:47 24m 3s
Merge pull request #7948 from diffblue/20231011-cbmc-5.94.0 Build and Test the Rust API #1697: Commit 2833356 pushed by TGWDB
October 12, 2023 11:42 5m 30s develop
develop
October 12, 2023 11:42 5m 30s
ProTip! You can narrow down the results and go further in time using created:<2023-10-12 or the other filters available.