History of src/Encoding.thy on 5ccdadce3e9d6b55c645dcb7057b9d5c747f501a

5ccdadce3e feat(cli): disassemble emitted native instruction blocks

james · 26 days ago

44cdd77b15 feat(encoding): prove decoder progress and consumed byte bounds

james · 29 days ago

e43395488e perf(encoding): select compact stack displacement encodings

james · 1 months ago

8e48ea3a9f perf(encoding): select compact signed immediate encodings

james · 1 months ago

cd894bac28 perf(native): eliminate adjacent stack transfers with verified moves

james · 1 months ago

3ac5bae085 feat(compiler): add verified pixel compiler and templeos runner

james · 2 months ago