Download wyboogie JAR file with all dependencies
wyboogie from group org.whiley (version 0.4.3)
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.4.3
Last update 22. April 2022
Tags: into translating wyil whiley whiley2boogie responsible intermediate files language boogie compiler verification
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.4.3
Last update 22. April 2022
Tags: into translating wyil whiley whiley2boogie responsible intermediate files language boogie compiler verification
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)