gitpocket
explore
Log in
—
Register
~james
/remy
☆ 1
summary
tree
log
refs
pull requests
issues
History of
src/Examples.thy
on main
changes its count
diff matches regex
Search history ▸
e43395488e
perf(encoding): select compact stack displacement encodings
Verified ~james
james
·
1 months ago
8e48ea3a9f
perf(encoding): select compact signed immediate encodings
Verified ~james
james
·
1 months ago
cd894bac28
perf(native): eliminate adjacent stack transfers with verified moves
Verified ~james
james
·
1 months ago
33c6eac26d
fix(frontend): distinguish syntax failures from resource limits
Verified ~james
james
·
1 months ago
9a908c16a9
feat(frontend): report token offsets for parse failures
Verified ~james
james
·
1 months ago
a0e486f13b
feat(frontend): support semicolon line comments
Verified ~james
james
·
1 months ago
76eb8c0c10
feat(frontend): accept digits after identifier prefixes
Verified ~james
james
·
1 months ago
21d77cf288
feat(frontend): parse bounded hexadecimal word literals
Verified ~james
james
·
1 months ago
72b2edbe20
feat(compiler): prove exact peak stack demand
Verified ~james
james
·
2 months ago
a08d052613
perf(optimiser): collapse conditionals with identical branches
Verified ~james
james
·
2 months ago
3e3f52cd4b
perf(optimiser): eliminate absorbing arithmetic and bitwise expressions
Verified ~james
james
·
2 months ago
0c936dff3a
perf(optimiser): fold neutral arithmetic and bitwise operations
Verified ~james
james
·
2 months ago
3ac5bae085
feat(compiler): add verified pixel compiler and templeos runner
Verified ~james
james
·
2 months ago