v1.1.12

What's Changed

• feat: reinstate assembly tests by @DavePearce in #944
• feat: enable register splitting by @DavePearce in #946
• feat: support limitless type proofs by @DavePearce in #950
• feat: feature flag for byte decomposition over type proofs by @DavePearce in #952
• fix: crashing when checking with report by @DavePearce in #954

Full Changelog: v1.1.11...v1.1.12

v1.1.11

What's Changed

• feat: refactor to support module local identifiers by @DavePearce in #916
• fix: interleaving constraints by @DavePearce in #923
• fix: support shift as logical expression by @DavePearce in #925
• fix: missing ir node implementations by @DavePearce in #927
• feat: update binary file format version by @DavePearce in #929
• feat: fix for union of all traces by @DavePearce in #930
• fix: externalised constant substitution at AIR by @DavePearce in #932
• Add memory profiling by @DavePearce in #934
• feat: reduce memory footprint by @DavePearce in #937
• feat: implement asm debug output by @DavePearce in #940

Full Changelog: v1.1.9...v1.1.11

v1.1.10

This release is a hotfix for v1.1.9 to resolve issue around trace generation.

Full Changelog: v1.1.9...v1.1.10

v1.1.9

What's Changed

• feat: draft implementation of trace union by @DavePearce in #918

Full Changelog: v1.1.8...v1.1.9

v1.1.8

What's Changed

• feat: converting asm.Compiler to generate corset by @DavePearce in #897
• feat: add complete wcp example by @DavePearce in #901
• feat support trace generation for assembly modules by @DavePearce in #903
• feat: support interface inheritance by @DavePearce in #914

Full Changelog: v1.1.7...v1.1.8

v1.1.7

What's Changed

• feat: support function call syntax by @DavePearce in #884
• feat: add fast and recursive pow examples by @DavePearce in #894
• feat: add missing signatures to trace interface by @DavePearce in #896

Full Changelog: v1.1.6...v1.1.7

v1.1.6

What's Changed

• feat: support interfaces for multiple bin files by @DavePearce in #891

Full Changelog: v1.1.5...v1.1.6

v1.1.5

What's Changed

• fix: trace generation with optional modules by @DavePearce in #880
• feat: support trace diff with differing columns by @DavePearce in #882

Full Changelog: v1.1.4...v1.1.5

v1.1.4

What's Changed

• feat: split micro v macro instructions by @DavePearce in #870
• fix: show proper perspective names for constraint failures by @DavePearce in #874
• feat: remove legacy binfile format by @DavePearce in #877
• feat: support lisp formatter by @DavePearce in #875
• feat: conditional modules by @DavePearce in #878

Full Changelog: v1.1.3...v1.1.4

v1.1.3

What's Changed

• feat: support vector instructions by @DavePearce in #862
• feat: inspect add option to show hide interleaved columns by @DavePearce in #869
• fix: name clashes for perspective columns by @DavePearce in #868

Full Changelog: v1.1.2...v1.1.3