WYIL: bug fix for modified operands being invalidated.
WYJC: bug fix for test harness.
WYJC: Bug fix for #255
WYIL: another bug fix for LiveVariablesAnalysis which is related to #249
WYIL: bug fix for back propagation identified during investigation for #249
WYIL: bug fix for #249
WYJC: removed debugging code for #249:
WYCS: bug fix for constants and the new set type.
WYCS: minor bug fix
WYCS: working on understanding why Whiley_Valid_3 fails.
WYCS: bug fix for #282
WYCS: well I did some binding.
WYCS: working on generic binding
WYCS: working on fixing this very freaking wierd bug.
WYCS: ok, bug fix for #282
WYCS: a little bit of refactoring to locate the bind function more appropriately.
WYCS: Crikey, trying to diagnose the problems with ConstrainedList_Valid_14
WYCS: added support for parsing list update expressions.
WYCS: minor tweak.
WYRL: working on the fundamental issue of rewrite rules for automaton.
Working on the new rewriting mechanism.