History of src/Native.thy on dba8e6d26f3995a03c1c6766135e705d3045ebec

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