8943376 Update README icons

~ymherklotz pushed to ~ymherklotz/vericert git

1f1b5c6 Update github workflows

~ymherklotz pushed to ~ymherklotz/vericert git

120dd8b Work on Docker image

~ymherklotz pushed to ~ymherklotz/vericert git

2bba481 Make efficient again

~ymherklotz pushed to ~ymherklotz/vericert git

0a15dc1 Remove some commented Admitted lemmas

~ymherklotz pushed to ~ymherklotz/vericert git

edbd370 Remove all dead code from the project

~ymherklotz pushed to ~ymherklotz/vericert git

c0546d2 Merge branch 'dev/scheduling'

~ymherklotz pushed to ~ymherklotz/vericert git

cadc0f2 Start working on implementation of case elim

~ymherklotz pushed to ~ymherklotz/vericert git

e5a0592 Unverified implementation of case statements

~ymherklotz pushed to ~ymherklotz/vericert git

59eef9f Compiles

~ymherklotz pushed to ~ymherklotz/vericert git

b724e60 Final changes to scheduler

~ymherklotz pushed to ~ymherklotz/vericert git

bffcdee Support predicated loads and stores

~ymherklotz pushed to ~ymherklotz/vericert git

8d599ff Fix tseyting optimisation for SAT solver

~ymherklotz pushed to ~ymherklotz/vericert git

a1aad4b Finish top-level proof without any admitted theorems

~ymherklotz pushed to ~ymherklotz/vericert git

c5574d8 Finish ClockMemoryproof

~ymherklotz pushed to ~ymherklotz/vericert git