Merge branch 'devel' of github.com:DavePearce/Whiley
Merge branch 'devel' of github.com:DavePearce/Whiley
WYAUTL: a few little documentation tweaks.
Attempting to figure out how to make the rewrite system work properly.
WYRL: working on improving the abstract rewrite rule.
Tweak
WYRL: still trying to get the matching to work.
Damn it.  This is still not F*cking right.:wq
g
Possibly, finally figured out how to do this.
WYRL: after a major earthquake, and a somewhat sleepless night ... I think I figured out how to make the rule probing work.
WYRL: ok, making some quite useful progress I think.  In particular, in minimising the work done in probing for activations.
WYRL: a little tweak
WYRL: added support for matching lists.
WYRL: still working on making pattern matching working.
WYRL: working on non-deterministic pattern matching.
WYRL: still working on non-deterministic pattern matching.
WYRL: making progress.  A long way to go though.
Working on the state unpacking.
WYRL: ok, it's unpacking the state now and basically everything seems to be working.  I just need to finished unpacking state for sets/bags.
WYRL: making useful progress.  I think it's actually working (modulo bugs) now.