登录注册

Jar文件详情内容

wytp-0.6.18.jar

所在目录：/org/whiley/wytp/0.6.18 查看wytp所有版本文件

组织ID:	org.whiley
项目ID:	wytp
版本:	0.6.18
最后修改时间:	2019-09-04 13:45:05
包类型:	jar
标题:	Apache License, Version 2.0
描述:	This provides a simple implementation of an automated theorem prover, designed specifically for use with the Whiley Compiler.
大小:	365.04KB

Maven引入代码:	`<dependency> <groupId>org.whiley</groupId> <artifactId>wytp</artifactId> <version>0.6.18</version> </dependency>`
Gradle引入代码:	`org.whiley:wytp:0.6.18`
下载Jar包:	wytp-0.6.18.jar
POM文件内容:	展开复制 <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"> <modelVersion>4.0.0</modelVersion> <!-- ============================================== --> <!-- Configuration --> <!-- ============================================== --> <groupId>org.whiley</groupId> <artifactId>wytp</artifactId> <version>0.6.18</version> <packaging>jar</packaging> <licenses> <license> <name>Apache License, Version 2.0</name> <url>https://www.apache.org/licenses/LICENSE-2.0.txt</url> <distribution>repo</distribution> </license> </licenses> <!-- ============================================== --> <!-- Description --> <!-- ============================================== --> <name>Whiley Theorem Prover (WyTP)</name> <description> This provides a simple implementation of an automated theorem prover, designed specifically for use with the Whiley Compiler. </description> <url>http://whiley.org</url> <scm> <url>https://github.com/Whiley/WhileyCompiler</url> </scm> <developers> <developer> <id>redjamjar</id> <name>David J. Pearce</name> <email>david.pearce@ecs.vuw.ac.nz</email> <url>http://www.ecs.vuw.ac.nz/~djp</url> </developer> </developers> <!-- ============================================== --> <!-- Dependencies --> <!-- ============================================== --> <dependencies> <dependency> <groupId>org.whiley</groupId> <artifactId>wycc</artifactId> <version>0.7.11</version> </dependency> <dependency> <groupId>ant</groupId> <artifactId>ant</artifactId> <version>1.7.0</version> </dependency> <dependency> <groupId>junit</groupId> <artifactId>junit</artifactId> <version>4.12</version> <scope>test</scope> </dependency> </dependencies> <!-- ============================================== --> <!-- Deployment --> <!-- ============================================== --> <distributionManagement> <snapshotRepository> <id>ossrh</id> <url>https://oss.sonatype.org/content/repositories/snapshots</url> </snapshotRepository> <repository> <id>ossrh</id> <url>https://oss.sonatype.org/service/local/staging/deploy/maven2/</url> </repository> </distributionManagement> <!-- ============================================== --> <!-- Build Config --> <!-- ============================================== --> <build> <plugins> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-compiler-plugin</artifactId> <version>3.5.1</version> <configuration> <source>1.8</source> <target>1.8</target> </configuration> </plugin> <!-- ============================================== --> <!-- Sources Attachment --> <!-- ============================================== --> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-source-plugin</artifactId> <version>2.2.1</version> <executions> <execution> <id>attach-sources</id> <goals> <goal>jar-no-fork</goal> </goals> </execution> </executions> </plugin> <!-- ============================================== --> <!-- JavaDoc Attachment --> <!-- ============================================== --> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-javadoc-plugin</artifactId> <version>2.9.1</version> <executions> <execution> <id>attach-javadocs</id> <goals> <goal>jar</goal> </goals> <configuration> <additionalparam>-Xdoclint:none</additionalparam> </configuration> </execution> </executions> </plugin> <!-- ============================================== --> <!-- GPG Signing --> <!-- ============================================== --> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-gpg-plugin</artifactId> <version>1.5</version> <executions> <execution> <id>sign-artifacts</id> <phase>verify</phase> <goals> <goal>sign</goal> </goals> </execution> </executions> </plugin> <!-- ============================================== --> <!-- Deployment --> <!-- ============================================== --> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-release-plugin</artifactId> <version>2.5</version> <configuration> <useReleaseProfile>false</useReleaseProfile> <releaseProfiles>release</releaseProfiles> <goals>deploy</goals> </configuration> </plugin> <plugin> <groupId>org.sonatype.plugins</groupId> <artifactId>nexus-staging-maven-plugin</artifactId> <version>1.6.7</version> <extensions>true</extensions> <configuration> <serverId>ossrh</serverId> <nexusUrl>https://oss.sonatype.org/</nexusUrl> <autoReleaseAfterClose>true</autoReleaseAfterClose> </configuration> </plugin> </plugins> </build> </project>
Jar包内容:	展开复制 META-INF/MANIFEST.MF wytp.proof.Formula$Is.class wytp.proof.Proof$LinearRule.class wytp.proof.Formula$Equality.class wytp.proof.Formula$Quantifier.class wytp.proof.Formula$Truth.class wytp.proof.util.FastDelta.class wytp.proof.util.AbstractProof.class wytp.proof.util.Arithmetic.class wytp.proof.util.FastDelta$Set.class wytp.proof.util.AbstractClosureRule.class wytp.proof.util.DeltaProof.class wytp.proof.util.Arithmetic$Polynomial.class wytp.proof.util.AbstractProofRule.class wytp.proof.util.DeltaProof$State.class wytp.proof.util.Arithmetic$Polynomial$Term.class wytp.proof.util.AbstractProof$AbstractState.class wytp.proof.util.Formulae.class wytp.proof.rules.EqualityCaseAnalysis.class wytp.proof.rules.CongruenceClosure.class wytp.proof.rules.Simplification.class wytp.proof.rules.record.RecordEqualityCaseAnalysis.class wytp.proof.rules.quantifier.ExistentialElimination.class wytp.proof.rules.quantifier.ExhaustiveQuantifierInstantiation.class wytp.proof.rules.quantifier.ExhaustiveQuantifierInstantiation$Match.class wytp.proof.rules.arithmetic.InequalityIntroduction.class wytp.proof.rules.type.TypeTestNormalisation.class wytp.proof.rules.type.TypeTestClosure.class wytp.proof.rules.function.FunctionCallAxiom.class wytp.proof.rules.function.MacroExpansion.class wytp.proof.rules.logic.OrElimination.class wytp.proof.rules.logic.AndElimination.class wytp.proof.rules.CongruenceClosure$Assignment.class wytp.proof.rules.array.ArrayEqualityCaseAnalysis.class wytp.proof.rules.array.ArrayLengthAxiom.class wytp.proof.rules.array.ArrayIndexAxiom$Match.class wytp.proof.rules.array.ArrayIndexAxiom.class wytp.proof.rules.array.ArrayIndexCaseAnalysis.class wytp.proof.Proof$Delta$Set.class wytp.proof.Formula.class wytp.proof.Formula$ArithmeticEquation.class wytp.proof.Formula$Invoke.class wytp.proof.Formula$Equation.class wytp.proof.io.ProofPrinter.class wytp.proof.Formula$Inequality.class wytp.proof.Formula$Conjunct.class wytp.proof.Proof$Rule.class wytp.proof.Proof$Delta.class wytp.proof.Proof$State.class wytp.proof.Formula$Disjunct.class wytp.proof.Proof$NonLinearRule.class wytp.proof.Formula$ArithmeticEquality.class wytp.proof.Proof.class wytp.provers.AutomatedTheoremProver.class wytp.types.TypeInferer$Environment.class wytp.types.TypeInferer.class wytp.types.util.AbstractTypeExtractor$Conjunct.class wytp.types.util.AbstractTypeExtractor$Signed.class wytp.types.util.StdTypeEnvironment.class wytp.types.util.AbstractTypeExtractor$Disjunct.class wytp.types.util.StdTypeInfererence.class wytp.types.util.AbstractTypeExtractor.class wytp.types.util.StdTypeRewriter.class wytp.types.util.AbstractTypeRewriter.class wytp.types.extractors.ReadableRecordExtractor.class wytp.types.extractors.ReadableReferenceExtractor.class wytp.types.extractors.TypeInvariantExtractor.class wytp.types.extractors.ReadableArrayExtractor.class wytp.types.TypeSystem.class wytp.types.SubtypeOperator$Result.class wytp.types.TypeRewriter.class wytp.types.SubtypeOperator.class wytp.types.subtyping.CoerciveSubtypeOperator$BitSetAssumptions.class wytp.types.subtyping.CoerciveSubtypeOperator$HashSetAssumptions.class wytp.types.subtyping.CoerciveSubtypeOperator$Term.class wytp.types.subtyping.CoerciveSubtypeOperator$Atom.class wytp.types.subtyping.CoerciveSubtypeOperator$Assumptions.class wytp.types.subtyping.CoerciveSubtypeOperator.class wytp.types.subtyping.CoerciveSubtypeOperator$Worklist.class wytp.types.subtyping.CoerciveSubtypeOperator$1.class wytp.types.TypeExtractor.class wyal.tasks.CompileTask.class wyal.heap.StructurallyEquivalentHeap.class wyal.heap.SyntacticHeaps.class wyal.Activator$1$1.class wyal.util.Interpreter$Environment$2.class wyal.util.Interpreter$Record.class wyal.util.NameResolver$NameNotFoundError.class wyal.util.Interpreter$Result.class wyal.util.SmallWorldDomain$ArrayGenerator.class wyal.util.Interpreter.class wyal.util.Interpreter$Environment$Iterator.class wyal.util.Interpreter$1.class wyal.util.Interpreter$UndefinedException.class wyal.util.SmallWorldDomain$UnionGenerator.class wyal.util.SmallWorldDomain$EmptyGenerator.class wyal.util.SmallWorldDomain$IntGenerator.class wyal.util.WyalFileResolver.class wyal.util.TypeChecker.class wyal.util.TestUtils$1.class wyal.util.NameResolver$AmbiguousNameError.class wyal.util.SmallWorldDomain$NullGenerator.class wyal.util.NameResolver$ResolutionError.class wyal.util.SmallWorldDomain$1.class wyal.util.TestUtils.class wyal.util.TestUtils$2.class wyal.util.SmallWorldDomain.class wyal.util.NameResolver.class wyal.util.Interpreter$Environment$1.class wyal.util.Interpreter$Environment.class wyal.util.SmallWorldDomain$BoolGenerator.class wyal.util.Interpreter$2.class wyal.util.SmallWorldDomain$RecordGenerator.class wyal.WyalMain.class wyal.Activator.class wyal.Activator$2.class wyal.Activator$1.class wyal.io.WyalFileLexer$Token$Kind$72.class wyal.io.WyalFileLexer$Token$Kind$26.class wyal.io.WyalFileParser.class wyal.io.WyalFileLexer$Token$Kind$42.class wyal.io.WyalFileLexer$Token$Kind$78.class wyal.io.WyalFileLexer$Token$Kind$54.class wyal.io.WyalFileLexer$Token$Kind$63.class wyal.io.WyalFileLexer$Token$Kind$52.class wyal.io.WyalFileLexer$Token$Kind$69.class wyal.io.WyalFileLexer$Token$Kind$11.class wyal.io.WyalFileLexer$Token$Kind$37.class wyal.io.WyalFileLexer$Token$Kind$36.class wyal.io.WyalFileLexer$Token$Kind$80.class wyal.io.WyalFileLexer$Token$Kind$1.class wyal.io.WyalFileLexer$Token$Kind$21.class wyal.io.WyalFileLexer$Token$Kind$67.class wyal.io.WyalFileLexer$Token$Kind$10.class wyal.io.WyalFileLexer$Token$Kind$59.class wyal.io.WyalFileLexer$Token$Kind$55.class wyal.io.WyalFileLexer$Token$Kind$32.class wyal.io.WyalFileLexer$Token$Kind$7.class wyal.io.WyalFilePrinter.class wyal.io.WyalFileLexer$Token$Kind$44.class wyal.io.WyalFileLexer$Token$Kind$14.class wyal.io.WyalFileLexer$Token$Kind$2.class wyal.io.WyalFileLexer$Token$Kind$17.class wyal.io.WyalFileLexer$Token$Kind$66.class wyal.io.WyalFileLexer$Token$Kind$39.class wyal.io.WyalFileLexer$Token$Kind$71.class wyal.io.WyalFileLexer$Token$Kind$30.class wyal.io.WyalFileLexer$Token.class wyal.io.WyalFileParser$Indent.class wyal.io.WyalFileLexer$Token$Kind$68.class wyal.io.WyalFileLexer$Token$Kind$74.class wyal.io.WyalFileLexer$Token$Kind$8.class wyal.io.WyalFileLexer$Token$Kind$48.class wyal.io.WyalFileLexer$1.class wyal.io.WyalFileLexer$Token$Kind$31.class wyal.io.WyalFileLexer$Token$Kind$9.class wyal.io.WyalFileLexer$Token$Kind$51.class wyal.io.WyalFileLexer$Token$Kind$15.class wyal.io.WyalFileLexer$Token$Kind$79.class wyal.io.WyalFileLexer$Token$Kind$43.class wyal.io.WyalFileLexer$Token$Kind$53.class wyal.io.WyalFileLexer$Token$Kind$5.class wyal.io.WyalFileLexer$Token$Kind$47.class wyal.io.WyalFileLexer$Token$Kind$4.class wyal.io.WyalFileLexer$Token$Kind$35.class wyal.io.WyalFileLexer$Token$Kind$75.class wyal.io.WyalFileLexer$Token$Kind$13.class wyal.io.WyalFileLexer$Token$Kind$62.class wyal.io.WyalFileLexer$Token$Kind.class wyal.io.WyalFileLexer$Token$Kind$29.class wyal.io.WyalFileLexer$Token$Kind$60.class wyal.io.WyalFileLexer$Token$Kind$24.class wyal.io.WyalFileLexer$Token$Kind$28.class wyal.io.WyalFileLexer$Token$Kind$40.class wyal.io.WyalFileLexer$Token$Kind$22.class wyal.io.WyalFileLexer$Token$Kind$16.class wyal.io.WyalFileLexer$Token$Kind$20.class wyal.io.WyalFileLexer$Token$Kind$34.class wyal.io.WyalFileLexer$Token$Kind$64.class wyal.io.WyalFileLexer$Token$Kind$19.class wyal.io.WyalFileLexer.class wyal.io.WyalFileLexer$Token$Kind$73.class wyal.io.WyalFileLexer$Token$Kind$33.class wyal.io.WyalFileLexer$Token$Kind$38.class wyal.io.WyalFileLexer$Token$Kind$41.class wyal.io.WyalFileLexer$Token$Kind$49.class wyal.io.WyalFileLexer$Token$Kind$46.class wyal.io.WyalFileLexer$Token$Kind$61.class wyal.io.WyalFileParser$1.class wyal.io.WyalFileLexer$Token$Kind$27.class wyal.io.WyalFileLexer$Token$Kind$70.class wyal.io.WyalFileLexer$Token$Kind$18.class wyal.io.WyalFileLexer$Token$Kind$77.class wyal.io.WyalFileLexer$Token$Kind$76.class wyal.io.WyalFileLexer$Token$Kind$45.class wyal.io.WyalFileLexer$Token$Kind$58.class wyal.io.WyalFileLexer$Token$Kind$50.class wyal.io.WyalFileParser$EnclosingScope.class wyal.io.WyalFileLexer$Token$Kind$25.class wyal.io.WyalFileLexer$Token$Kind$57.class wyal.io.WyalFileLexer$Token$Kind$12.class wyal.io.WyalFileLexer$Token$Kind$6.class wyal.io.WyalFileLexer$Token$Kind$3.class wyal.io.WyalFileLexer$Token$Kind$65.class wyal.io.WyalFileLexer$Token$Kind$23.class wyal.io.WyalFileLexer$Token$Kind$56.class wyal.lang.WyalFile$Stmt.class wyal.lang.WyalFile$Stmt$Quantifier.class wyal.lang.WyalFile$Expr$VariableAccess.class wyal.lang.WyalFile$Type$FunctionOrMacroOrInvariant.class wyal.lang.WyalFile$Type.class wyal.lang.WyalFile$Expr$LogicalImplication.class wyal.lang.WyalFile$Type$Primitive.class wyal.lang.WyalFile$Expr$Invoke.class wyal.lang.WyalFile$Type$Reference.class wyal.lang.WyalFile$Expr$Equal.class wyal.lang.WyalFile$Expr$UniversalQuantifier.class wyal.lang.Domain$Value$Record.class wyal.lang.WyalFile$Type$Union.class wyal.lang.WyalFile$Type$Any.class wyal.lang.WyalFile$Expr$LessThanOrEqual.class wyal.lang.WyalFile$Type$Method.class wyal.lang.WyalFile$Stmt$CaseOf.class wyal.lang.WyalFile$Type$Nominal.class wyal.lang.WyalFile$Type$Bool.class wyal.lang.WyalFile$Expr$Division.class wyal.lang.WyalFile$Declaration$Named$FunctionOrMacro.class wyal.lang.WyalFile$Expr$RecordAccess.class wyal.lang.WyalFile$Expr$RecordUpdate.class wyal.lang.WyalFile$VariableDeclaration.class wyal.lang.WyalFile$Type$Byte.class wyal.lang.WyalFile$Expr$Cast.class wyal.lang.WyalFile$FieldDeclaration.class wyal.lang.WyalFile$Declaration.class wyal.lang.WyalFile$Declaration$Named$Type.class wyal.lang.WyalFile$Type$Function.class wyal.lang.WyalFile$Type$Invariant.class #内容未全部加载，请点击展开加载全部代码(NowJava.com)
依赖Jar:	wycc-0.7.11.jar /org.whiley/wycc/0.7.11 查看wycc所有版本文件 ant-1.7.0.jar /ant/ant/1.7.0 查看ant所有版本文件 junit-4.12.jar /junit/junit/4.12 查看junit所有版本文件