History of src/Frontend.thy on a0e486f13b8e3c62454c0192400c1ca5d86a581e

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

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

~james · 2 months ago