Code

Full correctness#3044

Code

Open

traiansf wants to merge 9 commits intoruntimeverification:masterruntimeverification/haskell-backend:masterfrom traiansf:full-correctnesstraiansf/kore:full-correctnessCopy head branch name to clipboard

+793

Commits

Commits on Nov 29, 2022

• Sketch of Full correctness algorithm

  traiansf

  committed
  4f6a151

  Copy full SHA for 4f6a151

• Some updates

  traiansf

  committed
  ae8c673

  Copy full SHA for ae8c673

• Addressing review comments

  traiansf

  committed
  08ab519

  Copy full SHA for 08ab519

• More proofs

  traiansf

  committed
  edef26b

  Copy full SHA for edef26b

• Typos

  traiansf

  committed
  7e659e8

  Copy full SHA for 7e659e8

• Refactoring

  traiansf

  committed
  8510629

  Copy full SHA for 8510629

Commits on Dec 13, 2022

• Reorganizing; using a well-founded relation instead of <Int

  traiansf

  committed
  711ea10

  Copy full SHA for 711ea10

Commits on Dec 15, 2022

• Progress

  traiansf

  committed
  a2948d1

  Copy full SHA for a2948d1

Commits on Dec 16, 2022

• rules of inference for AF claims

  traiansf

  committed
  c50215c

  Copy full SHA for c50215c