Fix array theory: add with-constraints for SSA-renamed indices

ed378e6

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Performance Benchmarking on: pull_request

perf-benchcomp

Build Linux partially with CPROVER tools on: pull_request 3

CompileLinux

Build Xen with CPROVER tools on: pull_request 2

CompileXen

Build and Test on *BSD on: pull_request 7

FreeBSD

OpenBSD

NetBSD

Build and Test CBMC on: pull_request 31

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-ubuntu-24_04-cmake-gcc-KNOWNBUG

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

check-macos-15-intel-make-clang

check-macos-14-cmake-clang

check-vs-2025-cmake-build-and-test

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

windows-msi-package

check-string-table

check-docker-image

include-what-you-use

Build Doxygen Documentation on: pull_request

check-doxygen

Build and Test the Rust API on: pull_request 6

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

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

Run CSmith on: pull_request 2

run-10-random-tests

Publish CBMC documentation on: pull_request

publish

Codecov coverage report on: pull_request 2

Linux

CodeQL on: pull_request 5

Analyze (cpp)

Analyze (java)

Analyze (javascript)

Analyze (python)

Syntactic checks on: pull_request 1

check-clang-format

check-cpplint

check-rustfmt

Profiling on: pull_request

profile-pr

profile-develop

Code scanning results

CodeQL

GitHub Advanced Security / CodeQL succeeded Apr 8, 2026 in 4s

No new alerts in code changed by this pull request

View all branch alerts.

Loading

Re-running checks...