lean-mlir

blase/chore: add bail out code for solvers when problems are outside fragment. (#1978)

feat: implement missing multi -> single width translations (#1977)

feat/blase: implement SMT2 int semantics in our model by adding width precondition checks (#1976)

feat/blase: align parser semantics to parse sext/zext into extended widths from SMT-LIB. (#1975)

chore: iterate on widths starting from 1