History of src/Model.thy on a0e486f13b8e3c62454c0192400c1ca5d86a581e

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

974b16e2ac feat(model): prove optimiser idempotence and scope weakening

~james · 2 months ago

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

~james · 2 months ago