Whiley2Boogie Compiler (WyBoogie) wyboogie

Group	org.whiley
描述	The Whiley2Boogie Compiler is responsible for translating Whiley Intermediate Language (WyIL) files into the Boogie Intermediate Verification Language.
Packaging	jar
Size	196.13 KB
文件	pom jar
网址	http://whiley.org
发布时间	2022-05-25 12:26

dependencies

Group	Artifact	Version
org.whiley	wyc	[0.10.16,0.10.99)
org.junit.jupiter	junit-jupiter-api	5.7.0
org.junit.jupiter	junit-jupiter-engine	5.7.0
org.junit.jupiter	junit-jupiter-params	5.7.0

developers

redjamjar

David J. Pearce

licenses

Apache License, Version 2.0

https://www.apache.org/licenses/LICENSE-2.0.txt