WYRL: well that's a bug fix which sadly relies on copying the automaton to check for identity.
Minor tweaks.
More minor tweaks.
Playing around
WYRL: working on putting patterns back.
WYRL: working on static dispatch writer.
Updated example to use the new static dispatch rewriter.
WYRL: lots of fixes to benchmarks to provide option to try different rewriters.
WYCS: updated verification check to support different rewriters.
WYRL: working on a) simplifing the process of creating different rewriters; b) getting rid of some performance issues in my existing rewriters.
WYRL: working on formalising and documenting the abstract approach to implementing rewriters.
WYRL: ok, fixes appear to be working now.
Minor tweak
WYCS: added yet another test case.
WYCS: working, thinking.
WYCS: bug fix for the way that case statements are parsed out of source wyal files.
WYIL: a bug fix for the way that assertions are translated.
WYC: minor tweaks
WYCS: a bunch of very minor little tweaks.
WYCS: minor bug fix
Going through and classifying all outstanding verification errors.