WYCS: working on transformation into prefix normal form.
Merge branch 'devel' of github.com:DavePearce/Whiley into devel
WYCS: working on negation normal form
WYCS: continuing to add support for negation normal form
WYCS: working on prefix normal form now.
WYCS: prenex normal is almost working now!!
WYCS: working on the prenex normal form, which is now basically working.
WYCS: making progress on pushing through the syntactic changes I've made to the wycs language, as well as testing the new PNF approach.
WYCS: making good progress with updating wycs
WYCS: updated stdlib
WYCS: i think that's converted all of the valid test cases now.
WYCS: minor tweaks.
WYCS: minor tweaks
WYCS: minor tweak
WYCS: making progres on invalid tests
WYCS: lots of tweaks to bring the invalid test cases up to scratch with the new syntax.
WYCS: tweaks
WYIL: verification now fixed up with the various changes that I've made to wycs.  However, there are some outstanding issues related to bounded quantifiers [which no longer exist].
WYIL: very minor tweaks
WYIL: various bug fixes for translating for loops into the unbounded quantifiers we now have.