~james/remy log

~james/remy

3

test(compiler): exhaustively compare optimised small expressions

james · 13 days ago

fix(guest): release loaded buffers when execution fails

james · 14 days ago

test(native): isolate generated code execution in child processes

james · 16 days ago

feat(cli): accept source input from standard input

james · 18 days ago

fix(cli): publish binary and vector output atomically

james · 20 days ago

feat(checker): validate native stack and register effects

james · 23 days ago

feat(cli): disassemble emitted native instruction blocks

james · 26 days ago

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

james · 29 days ago

perf(encoding): select compact stack displacement encodings

james · 1 months ago

perf(encoding): select compact signed immediate encodings

james · 1 months ago

perf(native): eliminate adjacent stack transfers with verified moves

james · 1 months ago

feat(frontend): parameterise checked compiler resource limits

james · 1 months ago

fix(frontend): distinguish syntax failures from resource limits

james · 1 months ago

feat(frontend): report token offsets for parse failures

james · 1 months ago

feat(frontend): support semicolon line comments

james · 1 months ago

feat(frontend): accept digits after identifier prefixes

james · 1 months ago

feat(frontend): parse bounded hexadecimal word literals

james · 1 months ago

feat(frontend): prove parsed expressions preserve lexical scope

james · 1 months ago

feat(compiler): prove exact peak stack demand

james · 2 months ago

perf(optimiser): collapse conditionals with identical branches

james · 2 months ago

perf(optimiser): eliminate absorbing arithmetic and bitwise expressions

james · 2 months ago

perf(optimiser): fold neutral arithmetic and bitwise operations

james · 2 months ago

feat(model): prove optimiser idempotence and scope weakening

james · 2 months ago

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

james · 2 months ago