History of tests on 868a68649c220302cb07a07563b4111f1fb392d9

20c77b9771 fix(cli): publish binary output atomically and preserve raw input

~james · 14 days ago

de502ca765 perf(cli): compile binary output and assembly report once

~james · 14 days ago

dd6b9d1661 perf(frontend): use verified tail recursive parsing and resolution

~james · 14 days ago

a3a9eb2664 feat(encoding): prove canonical decoding and instruction injectivity

~james · 14 days ago

a68ad347f4 initial commit

~james · 14 days ago