search

Whiley / WhileyCompiler

The Whiley Compiler (WyC)
http://whiley.org
Apache License 2.0
217 stars 36 forks source link

Link Unresolved #1054

Closed DavePearce closed 3 years ago

DavePearce commented 3 years ago

See: https://github.com/Whiley/Whiley2Boogie/issues/90