Merge branch 'master' of github.com:DavePearce/Whiley into devel
Nout
Added some debugging code, since I've found a very *wierd* bug!
Minor thoughts.
Merge branch 'devel' of github.com:DavePearce/Whiley into devel
Change to rule for inequalities.
Added another test
TCP Socket

first version, to be improved
TCP Socket

first version, to be improved
Removed debugging output.
WYCS: added another test case.
Fixed test case ;)
WYCS: trying to figure out why ListAppend generates so many disjunctions.
Trying to improve constraint inline and figure out what's going on.
Need to go over the whole thing in detail.
Thinking, pondering, thinking some more.
WYCS: working hard to figure out what's going on ...
BUILD: Minor fixes to build files in preperation for release.
BUILD: release is currently stalled until I can fix wyjc-all-*.jar, which doesn't include a compiled version of the standard library!!
WYJC: various fixes for the build system which wasn't building class files from wyil files.