-
76b7f307a1
feat(live): validate and swap compiled shaders between guest frames
main
james
2026-11-01 04:40:42 +00:00
-
7cb596d931
feat(x86): prove emitted instruction execution and return-frame consumption
james
2026-11-01 03:54:53 +00:00
-
b58768f9b4
feat(branches): compile conditionals to validated forward jumps
james
2026-11-01 03:08:48 +00:00
-
edf26390ae
feat(allocator): retain intermediates in registers and spill nested values
james
2026-11-01 02:59:43 +00:00
-
175b8b22df
test(compiler): exhaustively compare optimised small expressions
james
2026-10-31 12:00:00 +00:00
-
dba8e6d26f
fix(guest): release loaded buffers when execution fails
james
2026-10-30 12:00:00 +00:00
-
5fcf9d2c41
test(native): isolate generated code execution in child processes
james
2026-10-28 12:00:00 +00:00
-
14346e1128
feat(cli): accept source input from standard input
james
2026-10-26 12:00:00 +00:00
-
d3257a26ac
fix(cli): publish binary and vector output atomically
james
2026-10-24 12:00:00 +01:00
-
31d281ada8
feat(checker): validate native stack and register effects
james
2026-10-21 12:00:00 +01:00
-
5ccdadce3e
feat(cli): disassemble emitted native instruction blocks
james
2026-10-18 12:00:00 +01:00
-
44cdd77b15
feat(encoding): prove decoder progress and consumed byte bounds
james
2026-10-15 12:00:00 +01:00
-
e43395488e
perf(encoding): select compact stack displacement encodings
james
2026-10-12 12:00:00 +01:00
-
8e48ea3a9f
perf(encoding): select compact signed immediate encodings
james
2026-10-09 12:00:00 +01:00
-
cd894bac28
perf(native): eliminate adjacent stack transfers with verified moves
james
2026-10-06 12:00:00 +01:00
-
75a5217580
feat(frontend): parameterise checked compiler resource limits
james
2026-10-03 12:00:00 +01:00
-
33c6eac26d
fix(frontend): distinguish syntax failures from resource limits
james
2026-09-30 12:00:00 +01:00
-
9a908c16a9
feat(frontend): report token offsets for parse failures
james
2026-09-27 12:00:00 +01:00
-
a0e486f13b
feat(frontend): support semicolon line comments
james
2026-09-24 12:00:00 +01:00
-
76eb8c0c10
feat(frontend): accept digits after identifier prefixes
james
2026-09-21 12:00:00 +01:00
-
21d77cf288
feat(frontend): parse bounded hexadecimal word literals
james
2026-09-19 12:00:00 +01:00
-
7d99400a08
feat(frontend): prove parsed expressions preserve lexical scope
james
2026-09-16 12:00:00 +01:00
-
72b2edbe20
feat(compiler): prove exact peak stack demand
james
2026-09-13 12:00:00 +01:00
-
a08d052613
perf(optimiser): collapse conditionals with identical branches
james
2026-09-10 12:00:00 +01:00
-
3e3f52cd4b
perf(optimiser): eliminate absorbing arithmetic and bitwise expressions
james
2026-09-08 12:00:00 +01:00
-
0c936dff3a
perf(optimiser): fold neutral arithmetic and bitwise operations
james
2026-09-05 12:00:00 +01:00
-
974b16e2ac
feat(model): prove optimiser idempotence and scope weakening
james
2026-09-02 12:00:00 +01:00
-
3ac5bae085
feat(compiler): add verified pixel compiler and templeos runner
james
2026-08-31 12:00:00 +01:00