Working through trying to make sense of it all.
WYIL: plugged new style of numerics rewrites into verification check.
WYONE: various bug fixes for the theorem prover.
WYONE: Brought examples up to date with WYIL solver.
WYONE: added specific notion of an equation to the theorem prover logic.
WYONE: begun the process of adding real support.
WYONE: added support for real arithmetic, and pushed through to WYIL solver.
WYONE: update examples to support the real arithmetic for testing purposes.
WYIL: bug fix for solver code.
WYONE: mirroed bug fix in wyone examples.
WYIL: various minor bug fixes to the constraint solver logic.
WYIL: added support for elimination of linear inequalities.
WYONE: updating examples.
WYONE: some minor tweaks to collections theory.
WYONE: minor tweak
Made wycc_obj pool, stoppped freeing unused objects.
Improved performance of Fibinocci benchmark by 1/3.
JUnit results: 6 errors, 8 failures, 51 ignored, out of 441.
Yield: 376 tests passing
WYIL: thinking about how to properly deal with type information.
WYONE: added (limited) support for casts.
WYONE: working on typing constructor expressions properly.
WYONE: some minor tweaks to the type checking stuff.