Whiley Compiler (WyC) wyc

Group	org.whiley
描述	The Whiley Compiler is a component of the Whiley Compiler Collection which is responsible for compiling Whiley source files into binary WyIL files. The compiler supports compile-time verification of source files.
Packaging	jar
Size	609.31 KB
文件	pom jar
网址	http://whiley.org
发布时间	2019-08-07 12:30

dependencies

Group	Artifact	Version
org.whiley	wycc	0.7.11
org.whiley	wytp	0.6.18
org.whiley	jmodelgen	0.4.0
ant	ant	1.7.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