Repository navigation

CBMC: Add CaDiCaL as a second solver for polyvec_matrix_expand(_serial) - #1515

Closed

mkannwischer wants to merge 2 commits into

mainfrom

cbmc-matrix-expand-unroll

Closed

CBMC: Add CaDiCaL as a second solver for polyvec_matrix_expand(_serial)#1515
mkannwischer wants to merge 2 commits into
mainfrom
cbmc-matrix-expand-unroll

Commits on Nov 3, 2026
- CBMC: Patch CBMC to optionally keep asserted quantifiers
  mkannwischer
  committed
  e314b59
- CBMC: Add CaDiCaL as a second solver for polyvec_matrix_expand(_serial)
  mkannwischer
  committed
  95244a5