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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Replace nonstd::optional by C++17 std::optional Build and Test the Rust API #1878: Pull request #8034 synchronize by tautschnig
November 17, 2023 15:23 1h 18m 19s tautschnig:cleanup/optionalt
tautschnig:cleanup/optionalt
November 17, 2023 15:23 1h 18m 19s
Merge pull request #8044 from thomasspriggs/tas/fix_count_trailing_ze… Build and Test the Rust API #1877: Commit bf6d759 pushed by thomasspriggs
November 17, 2023 15:10 1h 12m 27s develop
develop
November 17, 2023 15:10 1h 12m 27s
Symex guards: avoid unnecessary duplicate negation Build and Test the Rust API #1876: Pull request #8041 synchronize by tautschnig
November 17, 2023 15:09 18m 16s tautschnig:cleanup/symex-duplicate-neg
tautschnig:cleanup/symex-duplicate-neg
November 17, 2023 15:09 18m 16s
DFCC instrumentation: ensure programs are well-formed Build and Test the Rust API #1875: Pull request #8045 opened by tautschnig
November 17, 2023 14:27 57m 52s tautschnig:bugfixes/7866-bounds
tautschnig:bugfixes/7866-bounds
November 17, 2023 14:27 57m 52s
Symex guards: avoid unnecessary duplicate negation Build and Test the Rust API #1874: Pull request #8041 synchronize by tautschnig
November 17, 2023 13:49 15m 56s tautschnig:cleanup/symex-duplicate-neg
tautschnig:cleanup/symex-duplicate-neg
November 17, 2023 13:49 15m 56s
Fix the invariant message for unimplemented SMT count trailing zeros conversion. Build and Test the Rust API #1873: Pull request #8044 synchronize by thomasspriggs
November 17, 2023 13:47 16m 30s thomasspriggs:tas/fix_count_trailing_zeros_invariant
thomasspriggs:tas/fix_count_trailing_zeros_invariant
November 17, 2023 13:47 16m 30s
Fix the invariant message for unimplemented SMT count trailing zeros conversion. Build and Test the Rust API #1872: Pull request #8044 opened by thomasspriggs
November 17, 2023 13:46 13m 0s thomasspriggs:tas/fix_count_trailing_zeros_invariant
thomasspriggs:tas/fix_count_trailing_zeros_invariant
November 17, 2023 13:46 13m 0s
Make componentt::{base,pretty}_name comments Build and Test the Rust API #1871: Pull request #5815 synchronize by tautschnig
November 17, 2023 11:00 20m 26s tautschnig:componentt
tautschnig:componentt
November 17, 2023 11:00 20m 26s
Higher radix multiplier encoding Build and Test the Rust API #1870: Pull request #7991 synchronize by tautschnig
November 17, 2023 08:34 13m 35s tautschnig:feature/multiplier-encoding
tautschnig:feature/multiplier-encoding
November 17, 2023 08:34 13m 35s
Symex guards: avoid unnecessary duplicate negation Build and Test the Rust API #1869: Pull request #8041 synchronize by tautschnig
November 16, 2023 15:06 2m 53s tautschnig:cleanup/symex-duplicate-neg
tautschnig:cleanup/symex-duplicate-neg
November 16, 2023 15:06 2m 53s
Symex guards: avoid unnecessary duplicate negation Build and Test the Rust API #1868: Pull request #8041 synchronize by tautschnig
November 16, 2023 12:30 2m 26s tautschnig:cleanup/symex-duplicate-neg
tautschnig:cleanup/symex-duplicate-neg
November 16, 2023 12:30 2m 26s
Permit re-setting --object-bits Build and Test the Rust API #1867: Pull request #7858 synchronize by tautschnig
November 16, 2023 09:41 1h 23m 42s tautschnig:features/objects-bits-set-up
tautschnig:features/objects-bits-set-up
November 16, 2023 09:41 1h 23m 42s
C library: Refine and improve stdio models Build and Test the Rust API #1866: Pull request #8043 opened by tautschnig
November 16, 2023 09:25 1h 3m 33s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
November 16, 2023 09:25 1h 3m 33s
Build and infrastructure fixes for FreeBSD Build and Test the Rust API #1865: Pull request #7924 synchronize by tautschnig
November 16, 2023 09:24 27m 40s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
November 16, 2023 09:24 27m 40s
Mimic GCC/Clang simplification behaviour when type checking ?: Build and Test the Rust API #1864: Pull request #7959 synchronize by tautschnig
November 16, 2023 09:20 15m 25s tautschnig:features/gcc-clang-ite-simp
tautschnig:features/gcc-clang-ite-simp
November 16, 2023 09:20 15m 25s
Symex guards: avoid unnecessary duplicate negation Build and Test the Rust API #1863: Pull request #8041 synchronize by tautschnig
November 16, 2023 08:53 12m 48s tautschnig:cleanup/symex-duplicate-neg
tautschnig:cleanup/symex-duplicate-neg
November 16, 2023 08:53 12m 48s
Conditionally simplify use of if-then-else conditions Build and Test the Rust API #1862: Pull request #8042 synchronize by tautschnig
November 15, 2023 19:33 2m 10s tautschnig:features/simplify-if-then-else
tautschnig:features/simplify-if-then-else
November 15, 2023 19:33 2m 10s
Cleanup USE_STD_STRING/USE_DSTRING configuration option Build and Test the Rust API #1861: Pull request #8040 synchronize by tautschnig
November 15, 2023 19:29 1m 43s tautschnig:cleanup/dstring
tautschnig:cleanup/dstring
November 15, 2023 19:29 1m 43s
Conditionally simplify use of if-then-else conditions Build and Test the Rust API #1860: Pull request #8042 opened by tautschnig
November 15, 2023 16:37 27m 55s tautschnig:features/simplify-if-then-else
tautschnig:features/simplify-if-then-else
November 15, 2023 16:37 27m 55s
Symex guards: avoid unnecessary duplicate negation Build and Test the Rust API #1859: Pull request #8041 opened by tautschnig
November 15, 2023 16:26 2m 12s tautschnig:cleanup/symex-duplicate-neg
tautschnig:cleanup/symex-duplicate-neg
November 15, 2023 16:26 2m 12s
Compact propositional encoding of OBJECT_SIZE(ptr) Build and Test the Rust API #1858: Pull request #7702 synchronize by tautschnig
November 15, 2023 16:20 2m 31s tautschnig:cleanup/object-size-encoding
tautschnig:cleanup/object-size-encoding
November 15, 2023 16:20 2m 31s
Cleanup USE_STD_STRING/USE_DSTRING configuration option Build and Test the Rust API #1857: Pull request #8040 opened by tautschnig
November 15, 2023 16:11 14m 47s tautschnig:cleanup/dstring
tautschnig:cleanup/dstring
November 15, 2023 16:11 14m 47s
Introduce nodiscard warning/errorr (develop) [do not review] Build and Test the Rust API #1856: Pull request #8039 opened by thomasspriggs
November 15, 2023 12:41 1m 53s thomasspriggs:tas/check_nodiscard_errors
thomasspriggs:tas/check_nodiscard_errors
November 15, 2023 12:41 1m 53s
Introduce nodiscared warning/error [do not review] Build and Test the Rust API #1855: Pull request #8038 opened by thomasspriggs
November 15, 2023 12:18 4m 9s thomasspriggs:tas/nonodiscard_error
thomasspriggs:tas/nonodiscard_error
November 15, 2023 12:18 4m 9s
Merge pull request #8037 from thomasspriggs/tas/result_of_deprecated Build and Test the Rust API #1854: Commit 74075ec pushed by thomasspriggs
November 15, 2023 00:44 3m 55s develop
develop
November 15, 2023 00:44 3m 55s
ProTip! You can narrow down the results and go further in time using created:<2023-11-15 or the other filters available.