Batch Z3 model value requests and validate responses

9c37b16

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Sign in for the full log view

Performance Benchmarking on: pull_request

perf-benchcomp

Build Xen with CPROVER tools on: pull_request

CompileXen

CodeQL on: pull_request 6

Analyze (cpp)

Analyze (java)

Analyze (javascript)

Analyze (python)

Build and Test the Rust API on: pull_request

check-ubuntu-22_04-cmake-clang-rust

check-macos-15-intel-cmake-clang-rust

Build and Test on *BSD on: pull_request 3

FreeBSD

OpenBSD

NetBSD

Build and Test CBMC on: pull_request 6

check-ubuntu-24_04-make-gcc

check-ubuntu-24_04-make-clang

check-ubuntu-24_04-make-clang-smt-z3

check-ubuntu-24_04-cmake-gcc

check-ubuntu-22_04-make-clang

check-ubuntu-22_04-cmake-gcc

check-ubuntu-24_04-cmake-gcc-14

check-ubuntu-24_04-arm-cmake-gcc

check-ubuntu-22_04-cmake-gcc-32bit

check-macos-15-intel-make-clang

check-macos-14-cmake-clang

check-vs-2026-cmake-build-and-test

check-vs-2022-make-build-and-test

windows-msi-package

check-string-table

check-docker-image

include-what-you-use

check-ubuntu-24_04-cmake-gcc-KNOWNBUG

check-ubuntu-24_04-cmake-gcc-THOROUGH

Codecov coverage report on: pull_request

Linux

Build Doxygen Documentation on: pull_request 1

check-doxygen

Publish CBMC documentation on: pull_request 1

publish

Profiling on: pull_request

profile-pr

profile-develop

Run CSmith on: pull_request

run-10-random-tests

Syntactic checks on: pull_request 3

check-clang-format

check-cpplint

check-rustfmt

Build Linux partially with CPROVER tools on: pull_request 1

CompileLinux

Code scanning results

CodeQL

Codecov

codecov/patch

codecov/project

perf-benchcomp

succeeded Oct 3, 2026 in 14m 26s

Loading

Re-running jobs...