History of src/Export.thy on 76b7f307a15ad03540da2628a3e26ef75bbc1bef

76b7f307a1 feat(live): validate and swap compiled shaders between guest frames

james · 13 days ago

7cb596d931 feat(x86): prove emitted instruction execution and return-frame consumption

james · 13 days ago

edf26390ae feat(allocator): retain intermediates in registers and spill nested values

james · 13 days ago

31d281ada8 feat(checker): validate native stack and register effects

james · 24 days ago

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

james · 27 days ago

75a5217580 feat(frontend): parameterise checked compiler resource limits

james · 1 months ago

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

james · 2 months ago