Download wyboogie JAR file with all dependencies
wyboogie from group org.whiley (version 0.2.0)
The Whiley2Boogie Compiler is responsible for translating Whiley
Intermediate Language (WyIL) files into the Boogie Intermediate
Verification Language.
Artifact wyboogie
Group org.whiley
Version 0.2.0
Last update 02. March 2021
Tags: whiley boogie files responsible verification wyil into compiler whiley2boogie intermediate language translating
Organization not specified
URL http://whiley.org
License Apache License, Version 2.0
Dependencies amount 1
Dependencies wyc,
There are maybe transitive dependencies!
Group org.whiley
Version 0.2.0
Last update 02. March 2021
Tags: whiley boogie files responsible verification wyil into compiler whiley2boogie intermediate language translating
Organization not specified
URL http://whiley.org
License Apache License, Version 2.0
Dependencies amount 1
Dependencies wyc,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)