History of src 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

b58768f9b4 feat(branches): compile conditionals to validated forward jumps

~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

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

~james · 1 months 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

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

~james · 1 months ago

33c6eac26d fix(frontend): distinguish syntax failures from resource limits

~james · 1 months ago

9a908c16a9 feat(frontend): report token offsets for parse failures

~james · 1 months ago

a0e486f13b feat(frontend): support semicolon line comments

~james · 1 months ago

76eb8c0c10 feat(frontend): accept digits after identifier prefixes

~james · 1 months ago

21d77cf288 feat(frontend): parse bounded hexadecimal word literals

~james · 1 months ago

7d99400a08 feat(frontend): prove parsed expressions preserve lexical scope

~james · 1 months ago

72b2edbe20 feat(compiler): prove exact peak stack demand

~james · 2 months ago

a08d052613 perf(optimiser): collapse conditionals with identical branches

~james · 2 months ago

3e3f52cd4b perf(optimiser): eliminate absorbing arithmetic and bitwise expressions

~james · 2 months ago

0c936dff3a perf(optimiser): fold neutral arithmetic and bitwise operations

~james · 2 months ago

974b16e2ac feat(model): prove optimiser idempotence and scope weakening

~james · 2 months ago

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

~james · 2 months ago