Code

Invariant support [#289, #81557010]#294

Code

Closed

xtreme-james-cooper wants to merge 8 commits intocedarbdd:mastercedarbdd/cedar:masterfrom xtreme-james-cooper:masterCopy head branch name to clipboard

+443-4

Commits

Commits on Oct 30, 2014

• James C - added tests for invariants

  

  James Cooper

  committed
  e2e3501

  Copy full SHA for e2e3501

• James C - invariants now work (first draft)

  

  James Cooper

  committed
  5884d2a

  Copy full SHA for 5884d2a

• James C - added a few more tests

  

  James Cooper

  committed
  3867fb5

  Copy full SHA for 3867fb5

• James C - made invariants not fire in pending blocks, nor count towards being pending

  

  James Cooper

  committed
  ec16b88

  Copy full SHA for ec16b88

• James C - Added test to ensure inheritance of invariants is transitive

  

  James Cooper

  committed
  df3eeb4

  Copy full SHA for df3eeb4

Commits on Oct 31, 2014

• James C - added a useful invariant just as an example

  

  James Cooper

  committed
  bba6ec0

  Copy full SHA for bba6ec0

Commits on Nov 5, 2014

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

  

  James Cooper

  committed
  7b5f7b8

  Copy full SHA for 7b5f7b8

• James C - invariants now treat focus properly

  

  James Cooper

  committed
  e2920f2

  Copy full SHA for e2920f2