A variety of bugfixes and improved errors, including:
Sterling will disable the evaluator in old instances, to avoid confusion (the evaluator only works on the latest instance produced);
examples and other inst blocks will forbid some pathological cases that had previously silently failed, producing unsat;
bitwidth can now be set in inst blocks and thus in examples (thanks, @tdelv!)
several places that would previously give an unhelpful Racket error now point to the correct issue in the Forge model (e.g., writing an expression like #{all a: Animal | a in Wolf}, where before Forge would try to handle the inner expression as a formula)
fixed an error with implicit conversion between integer <---> expression that could produce a Racket error.
A variety of bugfixes and improved errors, including:
instblocks will forbid some pathological cases that had previously silently failed, producing unsat;instblocks and thus in examples (thanks, @tdelv!)#{all a: Animal | a in Wolf}, where before Forge would try to handle the inner expression as a formula)