History of cli/driver.ML on 175b8b22df89336d3a03eb1209d760f6f426315b

14346e1128 feat(cli): accept source input from standard input

~james · 19 days ago

d3257a26ac fix(cli): publish binary and vector output atomically

~james · 21 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

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

~james · 1 months ago

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

~james · 2 months ago