Add SfLib
Add Imp
Add ImpParser
33% of Imperative
First attempt on optimized evaluator
Small progress on imp
Working on Imp (still!)
Merged Imp conflicts
More work on Imp
Woo! Finish (almost! -- some TODO notes left) Imp.v
Add Equiv
Work on Equiv (~20%)
Work on Equiv (just ripping through havoc!)
Sort of finish Equiv (left a couple of 5-star luxury unsolved!)
Add Hoare (pt.1)
Work on Hoare Logic
Small updates in Hoare
Around 90% of Hoare logic (and counting:P)
Finalize first pass of Hoare
Add second hoare