Code

Delete dead code2#468

Code

Merged

danmatichuk merged 9 commits intomasterGaloisInc/pate:masterfrom deleteDeadCode2GaloisInc/pate:deleteDeadCode2Copy head branch name to clipboardFeb 12, 2025

+22-1,623

Commits

Commits on Feb 8, 2025

• error out functions that use datatypes defined in Pate.Proof

  jn80842

  committed
  392f78f

  Copy full SHA for 392f78f

Commits on Feb 11, 2025

• remove JSONReport.hs

  jn80842

  committed
  c30f3cb

  Copy full SHA for c30f3cb

• remove everything Event imports from Proof

  jn80842

  committed
  7149e8f

  Copy full SHA for 7149e8f

• remove Pate.Proof import from Metrics

  jn80842

  committed
  ffbb6ff

  Copy full SHA for ffbb6ff

• remove Pate.Proof import from Pate.Proof.Verification

  jn80842

  committed
  dcd6748

  Copy full SHA for dcd6748

• remove import of Pate.Proof.Instances from Pate.Verification.Widening

  jn80842

  committed
  970b670

  Copy full SHA for 970b670

• remove dead code from Pate.Proof.Instances

  jn80842

  committed
  fb8caa1

  Copy full SHA for fb8caa1

• remove dead code from Pate.Proof.Instances

  jn80842

  committed
  16026e7

  Copy full SHA for 16026e7

• remove deprecated Pate.Proof modules

  danmatichuk

  committed
  62a53cc

  Copy full SHA for 62a53cc