wytp-0.6.6-sources.jar

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

org.whiley:wytp:0.6.6

META-INF/MANIFEST.MF
wyal/Activator.java
wyal/commands/VerifyCommand.java
wyal/heap/StructurallyEquivalentHeap.java
wyal/heap/SyntacticHeaps.java
wyal/io/WyalFileLexer.java
wyal/io/WyalFileParser.java
wyal/io/WyalFilePrinter.java
wyal/lang/Domain.java
wyal/lang/WyalFile.java
wyal/tasks/CompileTask.java
wyal/util/AbstractProjectCommand.java
wyal/util/Interpreter.java
wyal/util/SmallWorldDomain.java
wyal/util/TypeChecker.java
wyal/util/WyalFileResolver.java
wyal/WyalMain.java
wytp/proof/Formula.java
wytp/proof/io/ProofPrinter.java
wytp/proof/Proof.java
wytp/proof/rules/arithmetic/InequalityIntroduction.java
wytp/proof/rules/array/ArrayEqualityCaseAnalysis.java
wytp/proof/rules/array/ArrayIndexAxiom.java
wytp/proof/rules/array/ArrayIndexCaseAnalysis.java
wytp/proof/rules/array/ArrayLengthAxiom.java
wytp/proof/rules/CongruenceClosure.java
wytp/proof/rules/EqualityCaseAnalysis.java
wytp/proof/rules/function/FunctionCallAxiom.java
wytp/proof/rules/function/MacroExpansion.java
wytp/proof/rules/logic/AndElimination.java
wytp/proof/rules/logic/OrElimination.java
wytp/proof/rules/quantifier/ExhaustiveQuantifierInstantiation.java
wytp/proof/rules/quantifier/ExistentialElimination.java
wytp/proof/rules/record/RecordEqualityCaseAnalysis.java
wytp/proof/rules/Simplification.java
wytp/proof/rules/type/TypeTestClosure.java
wytp/proof/rules/type/TypeTestNormalisation.java
wytp/proof/util/AbstractClosureRule.java
wytp/proof/util/AbstractProof.java
wytp/proof/util/AbstractProofRule.java
wytp/proof/util/Arithmetic.java
wytp/proof/util/DeltaProof.java
wytp/proof/util/FastDelta.java
wytp/proof/util/Formulae.java
wytp/provers/AutomatedTheoremProver.java
wytp/types/extractors/ReadableArrayExtractor.java
wytp/types/extractors/ReadableRecordExtractor.java
wytp/types/extractors/ReadableReferenceExtractor.java
wytp/types/extractors/TypeInvariantExtractor.java
wytp/types/SubtypeOperator.java
wytp/types/subtyping/CoerciveSubtypeOperator.java
wytp/types/TypeExtractor.java
wytp/types/TypeInferer.java
wytp/types/TypeRewriter.java
wytp/types/TypeSystem.java
wytp/types/util/AbstractTypeExtractor.java
wytp/types/util/AbstractTypeRewriter.java
wytp/types/util/StdTypeEnvironment.java
wytp/types/util/StdTypeInfererence.java
wytp/types/util/StdTypeRewriter.java