WYCS: added another test case.
WYCS: profiling the solver rewrite rules, looking at which ones are really significant.
WYCS: a minor performance improvement to the solver, by splitting out the reduction rules for conjuncts involving boolean values.
WYCS: also split out reduction rule for disjuncts.
Minor tweak for eclipse plugin.
Minor tweaks for eclipse plugin.
WYC: discovered a test which now passes!!
WYCS: added a new test case which fails.
WYCS: working through classifying all outstanding test cases.
WYCS: making good progress classifying all test cases.
WYC: classifying test cases still.
More work refactoring.
WYCS: added new test case.
More classification of tests.
WYJC: removing wyjvm and replacing with jasm linkage.
WYJC: now compiles with Jasm!
Updated README
WYCS: More work on classifying the outstanding issues.  Seems like there are quite a few Wycs tests which fail because they timeout, but not so many of the whiley tests.
Working on some analysis of outstanding bugs.
Very minor tweaks
WYCS: working on adding support for substitution of general equations #231