span
Verified branch relaxing assembler in Isabelle/HOL with provably minimal bytecode layouts
Star 5
Fork 0
Watch

Commits on main

james.dad.town
Merge pull request #1 from ecstasygg/improvements
committed
james.dad.town
fix(cli): publish binary output atomically and preserve raw input
committed
james.dad.town
perf(cli): compile binary output and assembly report once
committed
james.dad.town
perf(frontend): use verified tail recursive parsing and resolution
committed
james.dad.town
feat(encoding): prove canonical decoding and instruction injectivity
committed
james.dad.town
initial commit
committed