Code

Add trace constraint GUI#433

Code

Merged

jim-carciofini merged 16 commits intomasterGaloisInc/pate:masterfrom jcc/trace-constraint-guiGaloisInc/pate:jcc/trace-constraint-guiCopy head branch name to clipboardAug 15, 2024

+464-152

Commits

Commits on Aug 7, 2024

• Initial dialog for specifying trace constraint.

  jim-carciofini

  committed
  122d0fe

Commits on Aug 8, 2024

• Initial code to process trace variables JSON.

  jim-carciofini

  committed
  19a8ae6

Commits on Aug 9, 2024

• Merge branch 'dm/traceconstraints' into jcc/trace-constraint-gui

  jim-carciofini

  committed
  dd039e6

• Add plumbing to track trace constraint data in gui for transmission to verifier.

  jim-carciofini

  committed
  da4068c

• Merge branch 'dm/traceconstraints' into jcc/trace-constraint-gui

  jim-carciofini

  committed
  b5e8f4f

Commits on Aug 10, 2024

• Now using pate arg --add-trace-constraints. Next start sending trace constraints to pate.

  jim-carciofini

  committed
  348bcb6

Commits on Aug 12, 2024

• Merge branch 'master' into jcc/trace-constraint-gui

  jim-carciofini

  committed
  89dea40

• GUI constraint editor turning over. Rough edges to work on, but functional.

  jim-carciofini

  committed
  48926d7

Commits on Aug 13, 2024

• GUI: A bit of cleanup.

  jim-carciofini

  committed
  d7c1b35

• GUI: updating the equivalence condition display per #398

  jim-carciofini

  committed
  0fa6e6d

• GUI: disable trace constraints button in replay mode as stop gap till they can be handled properly (see #398)

  jim-carciofini

  committed
  f96fe00

• Merge branch 'master' into jcc/trace-constraint-gui

  jim-carciofini

  committed
  a620bd4

Commits on Aug 14, 2024

• gui: handling unsat trace constraints, improved replay, some cleanup yet to do

  jim-carciofini

  committed
  b134f18

• Merge branch 'master' into jcc/trace-constraint-gui

  jim-carciofini

  committed
  94b214f

• gui: handle unsat trace display

  jim-carciofini

  committed
  55d94d8

Commits on Aug 15, 2024

• gui: comment debug prints

  jim-carciofini

  committed
  8d86c62