Merge fix/cvc5-counterexamples into fix/smt2-dumps.

dde5bd6

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Labelling new pull requests on: pull_request_target 1

greeter

automate-prs-labels

Labelling new pull requests on: pull_request_target 1

greeter

automate-prs-labels

Add buildbot information to first PRs from new contributors on: pull_request_target 1

buildbot_comment

Labelling new pull requests on: pull_request_target 1

greeter

automate-prs-labels

CI Checks on: pull_request

Build and Test Linux${{ (((startsWith(matrix.runs-on, 'depot-ubuntu-24.04-arm') && ' AArch64')) || '') }}

Build and Test Windows

MacOS Premerge Checks

Check code formatting on: pull_request

code_formatter

Check LLVM ABI annotations on: pull_request

Check LLVM_ABI annotations with ids

CppVerify CI on: pull_request 7

Linux (release)

Linux (assertions)

macOS (fresh clone, setup.sh)

Windows (fresh clone, setup.ps1)

CppVerify documentation on: pull_request 1

CI Checks on: pull_request

Build and Test Linux${{ (((startsWith(matrix.runs-on, 'depot-ubuntu-24.04-arm') && ' AArch64')) || '') }}

Build and Test Windows

MacOS Premerge Checks

Check LLVM ABI annotations on: pull_request

Check LLVM_ABI annotations with ids

CI Checks on: pull_request

Build and Test Linux${{ (((startsWith(matrix.runs-on, 'depot-ubuntu-24.04-arm') && ' AArch64')) || '') }}

Build and Test Windows

MacOS Premerge Checks

Check LLVM ABI annotations on: pull_request

Check LLVM_ABI annotations with ids

CI Checks on: pull_request

Build and Test Linux${{ (((startsWith(matrix.runs-on, 'depot-ubuntu-24.04-arm') && ' AArch64')) || '') }}

Build and Test Windows

MacOS Premerge Checks

Add buildbot information to first PRs from new contributors on: pull_request_target 1

buildbot_comment

CI Checks on: pull_request

Build and Test Linux${{ (((startsWith(matrix.runs-on, 'depot-ubuntu-24.04-arm') && ' AArch64')) || '') }}

Build and Test Windows

MacOS Premerge Checks

Merge fix/cvc5-counterexamples into fix/smt2-dumps.

Uh oh!

Select a check to view from the sidebar