Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) #10481
tautschnigpull-request-checks.yaml
on: pull_request
check-ubuntu-20_04-make-gcc
1m 31s
check-ubuntu-20_04-make-clang
2m 19s
check-ubuntu-20_04-make-clang-smt-z3
1m 0s
check-ubuntu-20_04-cmake-gcc
2m 58s
check-ubuntu-22_04-make-clang
1m 15s
check-ubuntu-22_04-cmake-gcc
1m 54s
check-ubuntu-24_04-cmake-gcc-14
37s
check-ubuntu-22_04-cmake-gcc-32bit
1m 46s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
47s
check-ubuntu-20_04-cmake-gcc-THOROUGH
1m 49s
check-macos-13-make-clang
2m 20s
check-macos-12-cmake-clang
1m 32s
check-vs-2019-cmake-build-and-test
4m 56s
check-vs-2022-make-build-and-test
2m 28s
windows-msi-package
3m 17s
check-string-table
2m 9s
check-docker-image
9m 50s
include-what-you-use
23m 9s
Annotations
16 errors and 4 warnings
|
check-ubuntu-24_04-cmake-gcc-14
Process completed with exit code 1.
|
|
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
Process completed with exit code 1.
|
|
check-ubuntu-20_04-make-clang-smt-z3
Process completed with exit code 2.
|
|
check-ubuntu-22_04-make-clang
Process completed with exit code 2.
|
|
check-ubuntu-20_04-make-gcc
Process completed with exit code 2.
|
|
check-macos-12-cmake-clang
Process completed with exit code 1.
|
|
check-ubuntu-22_04-cmake-gcc-32bit
Process completed with exit code 1.
|
|
check-ubuntu-20_04-cmake-gcc-THOROUGH
Process completed with exit code 1.
|
|
check-ubuntu-22_04-cmake-gcc
Process completed with exit code 1.
|
|
check-ubuntu-20_04-make-clang
Process completed with exit code 2.
|
|
check-macos-13-make-clang
Process completed with exit code 2.
|
|
check-vs-2022-make-build-and-test
Process completed with exit code 1.
|
|
check-ubuntu-20_04-cmake-gcc
Process completed with exit code 1.
|
|
windows-msi-package
Process completed with exit code 1.
|
|
check-vs-2019-cmake-build-and-test
Process completed with exit code 1.
|
|
check-docker-image
Process completed with exit code 1.
|
|
check-macos-12-cmake-clang
Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag.
|
|
check-macos-12-cmake-clang
cmake 3.30.3 is already installed and up-to-date.
To reinstall 3.30.3, run:
brew reinstall cmake
|
|
check-macos-12-cmake-clang
maven 3.9.9 is already installed and up-to-date.
To reinstall 3.9.9, run:
brew reinstall maven
|
|
check-macos-12-cmake-clang
You are using macOS 12.
We (and Apple) do not provide support for this old version.
It is expected behaviour that some formulae will fail to build in this old version.
It is expected behaviour that Homebrew will be buggy and slow.
Do not create any issues about this on Homebrew's GitHub repositories.
Do not create any issues even if you think this message is unrelated.
Any opened issues will be immediately closed without response.
Do not ask for help from Homebrew or its maintainers on social media.
You may ask for help in Homebrew's discussions but are unlikely to receive a response.
Try to figure out the problem yourself and submit a fix as a pull request.
We will review it but may or may not accept it.
|