v1.1.0
What's Changed
- feat: support mir equations by @DavePearce in #776
- feat: remove deprecated stdlib functions by @DavePearce in #800
- feat: add multiplier example by @DavePearce in #804
- fix: constant datatypes in trace generation by @DavePearce in #807
- fix: translation pathway by @DavePearce in #809
- feat: further optimise constraints by @DavePearce in #810
- fix: missing constraints by @DavePearce in #817
- fix: missing case in hir.substituteTerm by @DavePearce in #823
- fix: handling of debug constraints by @DavePearce in #825
Full Changelog: v1.0.8...v1.1.0