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

Cherrypick Hotfix for NameResolution #135

Closed DavePearce closed 6 years ago

DavePearce commented 6 years ago

We need to cherry pick the hotfix implemented against v0.6.4 into the latest develop branch.

DavePearce commented 6 years ago

Done, was easy.