History of src/Examples.thy on 76eb8c0c102b513568343ee91839bb0ab21e49d4

76eb8c0c10 feat(frontend): accept digits after identifier prefixes

~james · 1 months ago

21d77cf288 feat(frontend): parse bounded hexadecimal word literals

~james · 1 months ago

72b2edbe20 feat(compiler): prove exact peak stack demand

~james · 2 months ago

a08d052613 perf(optimiser): collapse conditionals with identical branches

~james · 2 months ago

3e3f52cd4b perf(optimiser): eliminate absorbing arithmetic and bitwise expressions

~james · 2 months ago

0c936dff3a perf(optimiser): fold neutral arithmetic and bitwise operations

~james · 2 months ago

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

~james · 2 months ago