descriptionThe proof for the abstract semantics
ownerLaurent Georget
last changeWed, 21 Jun 2017 15:53:09 +0000 (17:53 +0200)
shortlog
2017-06-21 Laurent GeorgetRevamp master origin/HEAD origin/master
2016-06-01 Laurent GeorgetAdd cases for one more node
2016-05-27 Laurent GeorgetStart the proof of soundness
2016-05-22 Laurent GeorgetDefine the satisfiability
2016-05-19 Laurent GeorgetStart the definition of the valuation
2016-05-19 Laurent GeorgetFinish the definition of the abstract semantics and...
2016-05-19 Laurent GeorgetAdd cases for Phi nodes
2016-05-19 Laurent GeorgetFinish all mem cases
2016-05-18 Laurent GeorgetAdd case mem6
2016-05-18 Laurent GeorgetAdd one difficult case (mem5)
2016-05-18 Laurent GeorgetRelieve some restrictions in lemmas
2016-05-18 Laurent GeorgetAdd a few cases in the abstract semantics
2016-05-17 Laurent GeorgetThrow some proofs and a partial left-totalness
heads
3 years ago master