Invariants#388

Open

idoru wants to merge 8 commits into

Commits on Apr 25, 2016

James C - added tests for invariants

James Cooper
authored and
idoru
committed
James C - invariants now work (first draft)

James Cooper
authored and
idoru
committed
James C - added a few more tests

James Cooper
authored and
idoru
committed
James C - made invariants not fire in pending blocks, nor count towards being pending

James Cooper
authored and
idoru
committed
James C - Added test to ensure inheritance of invariants is transitive

James Cooper
authored and
idoru
committed
James C - added a useful invariant just as an example

James Cooper
authored and
idoru
committed
James C - added invariant synonyms, invariant subtypes (finv and ximv) but have not made invariant focusing work yet

James Cooper
authored and
idoru
committed
James C - invariants now treat focus properly

James Cooper
authored and
idoru
committed