tests · span · Tangled

Verified branch relaxing assembler in Isabelle/HOL with provably minimal bytecode layouts

span tests

2 files

james.dad.town · fix(cli): publish binary output atomically and preserve raw input · 1w ago

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

feat(encoding): prove canonical decoding and instruction injectivity