SyGuS, match concrete size array

GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs

617 stars 42 forks source link

Closed RyanGlScott closed 2 months ago

RyanGlScott commented 5 months ago

This is a consolidation of the changes in #1074 and #1166. This also bumps the what4 submodule to bring in the changes from https://github.com/GaloisInc/what4/pull/256.