Full correctness - #3044

Open

traiansf wants to merge 9 commits into

runtimeverification:masterfrom

traiansf:full-correctness

Commits on Nov 29, 2022

Sketch of Full correctness algorithm
traiansf
committed
4f6a151
Some updates
traiansf
committed
ae8c673
Addressing review comments
traiansf
committed
08ab519
More proofs
traiansf
committed
edef26b
Typos
traiansf
committed
7e659e8
Refactoring
traiansf
committed
8510629

Commits on Dec 13, 2022

Reorganizing; using a well-founded relation instead of <Int
traiansf
committed
711ea10

Commits on Dec 15, 2022

Progress
traiansf
committed
a2948d1

Commits on Dec 16, 2022

rules of inference for AF claims
traiansf
committed
c50215c