Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) #10570
This workflow is awaiting approval from a maintainer in #8465
Triggered via pull request
November 10, 2024 12:48
yvizel
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #8465
pull-request-checks.yaml
on: pull_request
check-docker-image
check-macos-13-make-clang
check-macos-14-cmake-clang
check-string-table
check-ubuntu-20_04-cmake-gcc
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
check-ubuntu-20_04-cmake-gcc-THOROUGH
check-ubuntu-20_04-make-clang
check-ubuntu-20_04-make-clang-smt-z3
check-ubuntu-20_04-make-gcc
check-ubuntu-22_04-cmake-gcc
check-ubuntu-22_04-cmake-gcc-32bit
check-ubuntu-22_04-make-clang
check-ubuntu-24_04-cmake-gcc-14
check-vs-2019-cmake-build-and-test
check-vs-2022-make-build-and-test
include-what-you-use
windows-msi-package