4.0.0 org.whiley wycc jar Apache License, Version 2.0 https://www.apache.org/licenses/LICENSE-2.0.txt repo org.whiley wyc-all 0.9.9 Whiley Compiler Collection A compiler framework for managing the Whiley Compiler and related tooling. http://whiley.org/ https://github.com/Whiley/WhileyCompilerCollection redjamjar David J. Pearce david.pearce@ecs.vuw.ac.nz http://www.ecs.vuw.ac.nz/~djp