WYIL: wyil2wycs file builder is now doing something ...
WYIL: wycs files are being compiled, but not written anywhere??
WYIL: Ok, now we're cooking.
WYIL: having some trouble with a builder nightmare ...
WYIL: well, generating wycs files is starting to work.
WYAUTL: bug fix.
WYBS: Created another kind of filesystem root.  Unlike other roots, this one is "virtual" in that it is not backed by e.g. the file system.
WYCS: almost got it so that both wyil and wycs files are only written disk upon request.
WYBS: ok, virtual roots are working quite nicely now.
WYC: minor tweak
WYCS: minor bug fix for reporting whiley source-level errors.
WYIL: lots of tweaks to the wyil2wycs builder
WYIL: debugging problem with broken verification conditions being generated.
WYCS: bug fix for subtyping.
WYIL: working on ensuring that wycs files generated from wyil files are, in fact, valid.
WYIL: more fixes to ensure that Wycs files generated from Wyil files are valid.
WYIL: minor bug fix for generating wycs files.
WYC: minor tweak for checking that files being compiled actually exist.
WYCS: working on a structured printer for wycs logical conditions.
WYCS: various tweaks to the way that structured VCs are generated.