Skip to content

Actions: diffblue/cbmc

Actions

Build Linux partially with CPROVER tools

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-test-Linux.yaml
1,435 workflow runs
1,435 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Replace nonstd::optional by C++17 std::optional Build Linux partially with CPROVER tools #6541: Pull request #8034 synchronize by tautschnig
November 17, 2023 15:29 49m 3s tautschnig:cleanup/optionalt
tautschnig:cleanup/optionalt
November 17, 2023 15:29 49m 3s
Remove util_make_unique Build Linux partially with CPROVER tools #6540: Pull request #8032 synchronize by tautschnig
November 17, 2023 15:28 35m 37s tautschnig:cleanup/make_unique
tautschnig:cleanup/make_unique
November 17, 2023 15:28 35m 37s
Replace file_util.{h,cpp} by std::filesystem Build Linux partially with CPROVER tools #6539: Pull request #8033 synchronize by tautschnig
November 17, 2023 15:28 21m 4s tautschnig:cleanup/filesystem
tautschnig:cleanup/filesystem
November 17, 2023 15:28 21m 4s
Symex guards: avoid unnecessary duplicate negation Build Linux partially with CPROVER tools #6538: Pull request #8041 synchronize by tautschnig
November 17, 2023 15:25 15m 14s tautschnig:cleanup/symex-duplicate-neg
tautschnig:cleanup/symex-duplicate-neg
November 17, 2023 15:25 15m 14s
Replace nonstd::optional by C++17 std::optional Build Linux partially with CPROVER tools #6537: Pull request #8034 synchronize by tautschnig
November 17, 2023 15:23 14m 7s tautschnig:cleanup/optionalt
tautschnig:cleanup/optionalt
November 17, 2023 15:23 14m 7s
Symex guards: avoid unnecessary duplicate negation Build Linux partially with CPROVER tools #6536: Pull request #8041 synchronize by tautschnig
November 17, 2023 15:09 3m 59s tautschnig:cleanup/symex-duplicate-neg
tautschnig:cleanup/symex-duplicate-neg
November 17, 2023 15:09 3m 59s
DFCC instrumentation: ensure programs are well-formed Build Linux partially with CPROVER tools #6535: Pull request #8045 opened by tautschnig
November 17, 2023 14:27 13m 59s tautschnig:bugfixes/7866-bounds
tautschnig:bugfixes/7866-bounds
November 17, 2023 14:27 13m 59s
Symex guards: avoid unnecessary duplicate negation Build Linux partially with CPROVER tools #6534: Pull request #8041 synchronize by tautschnig
November 17, 2023 13:49 3m 56s tautschnig:cleanup/symex-duplicate-neg
tautschnig:cleanup/symex-duplicate-neg
November 17, 2023 13:49 3m 56s
Fix the invariant message for unimplemented SMT count trailing zeros conversion. Build Linux partially with CPROVER tools #6533: Pull request #8044 synchronize by thomasspriggs
November 17, 2023 13:47 14m 28s thomasspriggs:tas/fix_count_trailing_zeros_invariant
thomasspriggs:tas/fix_count_trailing_zeros_invariant
November 17, 2023 13:47 14m 28s
Fix the invariant message for unimplemented SMT count trailing zeros conversion. Build Linux partially with CPROVER tools #6532: Pull request #8044 opened by thomasspriggs
November 17, 2023 13:46 14m 14s thomasspriggs:tas/fix_count_trailing_zeros_invariant
thomasspriggs:tas/fix_count_trailing_zeros_invariant
November 17, 2023 13:46 14m 14s
ProTip! You can narrow down the results and go further in time using created:<2023-11-17 or the other filters available.