search

Whiley / WhileyTheoremProver

The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated by the Whiley Compiler. WyTP operates over a variant of first-order logic which includes integer arithmetic, arrays and quantification.
Apache License 2.0
8 stars 2 forks source link

Remove StructurallyEquivalentHeap #122

Closed DavePearce closed 7 years ago

DavePearce commented 7 years ago

I believe this should now be merged into AbstractSyntacticHeap.

DavePearce commented 7 years ago

No, actually, I'm not so sure about that. Because otherwise we would have a problem. For example, attributes wouldn't be uniquely associated with items.