Code

Dm/eqcond traces#364

Code

Merged

danmatichuk merged 8 commits intomasterGaloisInc/pate:masterfrom dm/eqcond-tracesGaloisInc/pate:dm/eqcond-tracesCopy head branch name to clipboardMar 1, 2024

+184-44

Commits

Commits on Feb 29, 2024

• Add example traces that demonstrate assuming the node conditions and their negation

  danmatichuk

  committed
  2eca343

• Apply simplification step before printing out final equivalence conditions

  danmatichuk

  committed
  97e0c2e

• Add single result that summarizes the final results

  Show description for d85bf09
  danmatichuk

  committed
  d85bf09

• Factor out duplicated code for generated assumed/negated traces

  danmatichuk

  committed
  6375152

• Fixup: JSON field renaming "traces_" -> "trace_" in toplevel result

  danmatichuk

  committed
  017393b

Commits on Mar 1, 2024

• Ensure that a fresh simplifier is used when simplifying the final equivalence conditions

  Show description for 411ed4f
  danmatichuk

  committed
  411ed4f

• Don't attempt to produce traces for trivial assumptions/assertions

  danmatichuk

  committed
  33d1b9d

• Merge remote-tracking branch 'origin/master' into dm/eqcond-traces

  danmatichuk

  committed
  197cbdc