Skip to content

Actions: diffblue/cbmc

Actions

Build Xen with CPROVER tools

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-test-Xen.yaml
1,476 workflow runs
1,476 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Higher radix multiplier encoding Build Xen with CPROVER tools #8424: Pull request #7991 synchronize by tautschnig
November 17, 2023 08:34 18m 13s tautschnig:feature/multiplier-encoding
tautschnig:feature/multiplier-encoding
November 17, 2023 08:34 18m 13s
Symex guards: avoid unnecessary duplicate negation Build Xen with CPROVER tools #8423: Pull request #8041 synchronize by tautschnig
November 16, 2023 15:06 8m 1s tautschnig:cleanup/symex-duplicate-neg
tautschnig:cleanup/symex-duplicate-neg
November 16, 2023 15:06 8m 1s
Symex guards: avoid unnecessary duplicate negation Build Xen with CPROVER tools #8422: Pull request #8041 synchronize by tautschnig
November 16, 2023 12:30 8m 5s tautschnig:cleanup/symex-duplicate-neg
tautschnig:cleanup/symex-duplicate-neg
November 16, 2023 12:30 8m 5s
Permit re-setting --object-bits Build Xen with CPROVER tools #8421: Pull request #7858 synchronize by tautschnig
November 16, 2023 09:41 24m 53s tautschnig:features/objects-bits-set-up
tautschnig:features/objects-bits-set-up
November 16, 2023 09:41 24m 53s
C library: Refine and improve stdio models Build Xen with CPROVER tools #8420: Pull request #8043 opened by tautschnig
November 16, 2023 09:25 30m 45s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
November 16, 2023 09:25 30m 45s
Build and infrastructure fixes for FreeBSD Build Xen with CPROVER tools #8419: Pull request #7924 synchronize by tautschnig
November 16, 2023 09:24 20m 8s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
November 16, 2023 09:24 20m 8s
Mimic GCC/Clang simplification behaviour when type checking ?: Build Xen with CPROVER tools #8418: Pull request #7959 synchronize by tautschnig
November 16, 2023 09:20 18m 17s tautschnig:features/gcc-clang-ite-simp
tautschnig:features/gcc-clang-ite-simp
November 16, 2023 09:20 18m 17s
Symex guards: avoid unnecessary duplicate negation Build Xen with CPROVER tools #8417: Pull request #8041 synchronize by tautschnig
November 16, 2023 08:53 18m 37s tautschnig:cleanup/symex-duplicate-neg
tautschnig:cleanup/symex-duplicate-neg
November 16, 2023 08:53 18m 37s
Conditionally simplify use of if-then-else conditions Build Xen with CPROVER tools #8416: Pull request #8042 synchronize by tautschnig
November 15, 2023 19:33 9m 19s tautschnig:features/simplify-if-then-else
tautschnig:features/simplify-if-then-else
November 15, 2023 19:33 9m 19s
Cleanup USE_STD_STRING/USE_DSTRING configuration option Build Xen with CPROVER tools #8415: Pull request #8040 synchronize by tautschnig
November 15, 2023 19:29 8m 6s tautschnig:cleanup/dstring
tautschnig:cleanup/dstring
November 15, 2023 19:29 8m 6s
Conditionally simplify use of if-then-else conditions Build Xen with CPROVER tools #8414: Pull request #8042 opened by tautschnig
November 15, 2023 16:37 8m 26s tautschnig:features/simplify-if-then-else
tautschnig:features/simplify-if-then-else
November 15, 2023 16:37 8m 26s
Symex guards: avoid unnecessary duplicate negation Build Xen with CPROVER tools #8413: Pull request #8041 opened by tautschnig
November 15, 2023 16:26 8m 48s tautschnig:cleanup/symex-duplicate-neg
tautschnig:cleanup/symex-duplicate-neg
November 15, 2023 16:26 8m 48s
Compact propositional encoding of OBJECT_SIZE(ptr) Build Xen with CPROVER tools #8412: Pull request #7702 synchronize by tautschnig
November 15, 2023 16:20 8m 33s tautschnig:cleanup/object-size-encoding
tautschnig:cleanup/object-size-encoding
November 15, 2023 16:20 8m 33s
Cleanup USE_STD_STRING/USE_DSTRING configuration option Build Xen with CPROVER tools #8411: Pull request #8040 opened by tautschnig
November 15, 2023 16:11 14m 25s tautschnig:cleanup/dstring
tautschnig:cleanup/dstring
November 15, 2023 16:11 14m 25s
Introduce nodiscard warning/errorr (develop) [do not review] Build Xen with CPROVER tools #8410: Pull request #8039 opened by thomasspriggs
November 15, 2023 12:41 51s thomasspriggs:tas/check_nodiscard_errors
thomasspriggs:tas/check_nodiscard_errors
November 15, 2023 12:41 51s
Introduce nodiscared warning/error [do not review] Build Xen with CPROVER tools #8409: Pull request #8038 opened by thomasspriggs
November 15, 2023 12:18 3m 14s thomasspriggs:tas/nonodiscard_error
thomasspriggs:tas/nonodiscard_error
November 15, 2023 12:18 3m 14s
Replace usage of std::result_of with std::invoke_result Build Xen with CPROVER tools #8408: Pull request #8037 opened by thomasspriggs
November 14, 2023 18:16 10m 18s thomasspriggs:tas/result_of_deprecated
thomasspriggs:tas/result_of_deprecated
November 14, 2023 18:16 10m 18s
Use the C++17 standard [[nodiscard]] attribute directly Build Xen with CPROVER tools #8407: Pull request #8036 synchronize by thomasspriggs
November 14, 2023 17:45 9m 33s thomasspriggs:tas/nonodiscard
thomasspriggs:tas/nonodiscard
November 14, 2023 17:45 9m 33s
Use the C++17 standard [[nodiscard]] attribute directly Build Xen with CPROVER tools #8406: Pull request #8036 opened by thomasspriggs
November 14, 2023 16:59 15m 21s thomasspriggs:tas/nonodiscard
thomasspriggs:tas/nonodiscard
November 14, 2023 16:59 15m 21s
Refactor smt_function_application_termt::indices using C++17 feature Build Xen with CPROVER tools #8405: Pull request #8035 opened by thomasspriggs
November 14, 2023 15:02 8m 19s thomasspriggs:tas/constexpr_indices
thomasspriggs:tas/constexpr_indices
November 14, 2023 15:02 8m 19s
[CI] Minor fixes to CI accompanying C++17 version change Build Xen with CPROVER tools #8404: Pull request #8028 synchronize by NlightNFotis
November 14, 2023 14:27 8m 24s NlightNFotis:fix_rust_ci
NlightNFotis:fix_rust_ci
November 14, 2023 14:27 8m 24s
Add support for MergeSat Build Xen with CPROVER tools #8403: Pull request #6439 synchronize by tautschnig
November 14, 2023 13:15 58m 14s tautschnig:mergesat
tautschnig:mergesat
November 14, 2023 13:15 58m 14s
Replace nonstd::optional by C++17 std::optional Build Xen with CPROVER tools #8402: Pull request #8034 opened by tautschnig
November 14, 2023 13:08 59m 33s tautschnig:cleanup/optionalt
tautschnig:cleanup/optionalt
November 14, 2023 13:08 59m 33s
Replace file_util.{h,cpp} by std::filesystem Build Xen with CPROVER tools #8401: Pull request #8033 opened by tautschnig
November 14, 2023 13:07 32m 53s tautschnig:cleanup/filesystem
tautschnig:cleanup/filesystem
November 14, 2023 13:07 32m 53s
Remove util_make_unique Build Xen with CPROVER tools #8400: Pull request #8032 opened by tautschnig
November 14, 2023 13:05 14m 50s tautschnig:cleanup/make_unique
tautschnig:cleanup/make_unique
November 14, 2023 13:05 14m 50s
ProTip! You can narrow down the results and go further in time using created:<2023-11-14 or the other filters available.