wyc-0.5.5-sources.jar

<dependency>
	<groupId>org.whiley</groupId>
	<artifactId>wyc</artifactId>
	<version>0.5.5</version>
	<classifier>sources</classifier>
	<type>java-source</type>
</dependency>

org.whiley:wyc:0.5.5

META-INF/MANIFEST.MF
wyc/Activator.java
wyc/check/DefiniteAssignmentCheck.java
wyc/check/DefiniteUnassignmentCheck.java
wyc/check/FlowTypeCheck.java
wyc/check/FunctionalCheck.java
wyc/check/package-info.java
wyc/check/StaticVariableCheck.java
wyc/command/Compile.java
wyc/command/Decompile.java
wyc/command/package-info.java
wyc/command/Run.java
wyc/io/package-info.java
wyc/io/WhileyFileLexer.java
wyc/io/WhileyFileParser.java
wyc/io/WhileyFilePrinter.java
wyc/lang/package-info.java
wyc/lang/WhileyFile.java
wyc/package-info.java
wyc/task/CompileTask.java
wyc/task/DecompileTask.java
wyc/task/package-info.java
wyc/task/Wyil2WyalBuilder.java
wyc/util/AbstractConsumer.java
wyc/util/AbstractFunction.java
wyc/util/AbstractProjectCommand.java
wyc/util/AbstractVisitor.java
wyc/util/AntTask.java
wyc/util/ErrorMessages.java
wyc/util/package-info.java
wyc/util/TestUtils.java
wyc/util/WhileyFileResolver.java
wyil/interpreter/AbstractSemantics.java
wyil/interpreter/ConcreteSemantics.java
wyil/interpreter/Interpreter.java
wyil/interpreter/package-info.java
wyil/io/package-info.java
wyil/io/WyilFileReader.java
wyil/io/WyilFileWriter.java
wyil/package-info.java
wyil/stage/MoveAnalysis.java
wyil/stage/package-info.java
wyil/stage/PreconditionGenerator.java
wyil/stage/VerificationConditionGenerator.java
wyil/type/extractors/AbstractTypeExtractor.java
wyil/type/extractors/package-info.java
wyil/type/extractors/ReadableLambdaExtractor.java
wyil/type/extractors/ReadableTypeExtractor.java
wyil/type/extractors/WriteableTypeExtractor.java
wyil/type/package-info.java
wyil/type/rewriters/AbstractTypeRewriter.java
wyil/type/rewriters/AlgebraicTypeSimplifier.java
wyil/type/rewriters/package-info.java
wyil/type/SubtypeOperator.java
wyil/type/subtyping/package-info.java
wyil/type/subtyping/RelaxedSubtypeOperator.java
wyil/type/subtyping/StrictSubtypeOperator.java
wyil/type/TypeExtractor.java
wyil/type/TypeRewriter.java
wyil/type/TypeSystem.java