~james/remy

☆ 1

History of src/Export.thy on main

76b7f307a1 feat(live): validate and swap compiled shaders between guest framesVerified ~james
james · 12 days ago
7cb596d931 feat(x86): prove emitted instruction execution and return-frame consumptionVerified ~james
james · 12 days ago
edf26390ae feat(allocator): retain intermediates in registers and spill nested valuesVerified ~james
james · 12 days ago
31d281ada8 feat(checker): validate native stack and register effectsVerified ~james
james · 23 days ago
5ccdadce3e feat(cli): disassemble emitted native instruction blocksVerified ~james
james · 26 days ago
75a5217580 feat(frontend): parameterise checked compiler resource limitsVerified ~james
james · 1 months ago
3ac5bae085 feat(compiler): add verified pixel compiler and templeos runnerVerified ~james
james · 2 months ago