Repository navigation

Fix side condition in new simplification for mcd-structured - #2830

Merged

jberthold merged 3 commits into

fix-mcd-structured-simplification

Dec 16, 2025

Commits on Dec 15, 2025
- Adjust side condition (X <Int 2^numbits not X <=Int)
  jberthold
  committed
  2067584
- add length condition and preserves-definedness
  jberthold
  committed
  76d6d3d
Commits on Dec 16, 2025
- remove accidentally-committed json file
  jberthold
  committed
  73bcbe1