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	155.62 KB
文件	pom jar
网址	http://whiley.org
发布时间	2021-03-04 09:20

dependencies

Group	Artifact	Version
org.whiley	wyc	[0.8.2,0.9.0)
junit	junit	4.12

developers

redjamjar

David J. Pearce

licenses

Apache License, Version 2.0

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