- change instructions `read_mem` and `write_mem` (#179) (022245b7)
    - `read_mem` now pushes to stack instead of overwriting
    - `write_mem` now pops the written element from stack
- move to Tip5 hash function (#161) (#182) (d40f0b62)
    - this greatly boosts overall prover performance
- replace Instruction Table by Lookup Argument (#171) (543327a0)
- rework U32 Table (#181) (09a4c277)
    - link to processor using Lookup Argument (27190307)
- improve clock jump differences check (#177) (04bb5c48 and 9c2f3c0b)
- improve parsing of Triton assembly
    - remove old parser (bbe4aa87)
    - introduce `ParsedInstruction`, simplifying parsing (8602892f)
    - fix bug in property test (9e4fcb7d)
- improve on constant folding in multicircuits (#183) (c1be5bb9)
- update to twenty-first v0.18 (#184) (ff972ff8)
- improve specification and documentation
    - explain the various cross-table arguments (567efc00)
    - more and better links (a66b20dd and 9386878c)
- various simplifications and readability improvements