4.0.0
edu.kit.formal
proofscriptparser
1.0-SNAPSHOT
jar
ProofScriptParser
A parser and AST for the proof script language.
https://git.scc.kit.edu/sarah.grebing/ProofScriptParser
Sarah Grebing
sarah.grebing@ira.uka.de
Karlruhe Institute of Technology
Alexander Weigl
weigl@kit.edu
Karlruhe Institute of Technology
Application-oriented Formal Verification
http://formal.iti.kit.edu
2017
gpl_v3
UTF-8
1.8
1.8
org.apache.maven.plugins
maven-checkstyle-plugin
2.17
com.puppycrawl.tools
checkstyle
7.6.1
.checkstyle_rules.xml
org.codehaus.mojo
license-maven-plugin
1.12
gpl_v3
org.antlr
antlr4-maven-plugin
4.7
antlr
antlr4
true
junit
junit
4.12
test
org.antlr
antlr4
4.7
org.projectlombok
lombok
1.16.16
provided
org.key-project
key.core
2.7
system
${basedir}/lib/key.core.jar
org.antlr
antlr
3.5.2
antlr
antlr
2.7.7
net.java.dev.javacc
javacc
4.0
org.key-project
recoderKey
1.0.0
system
${basedir}/lib/recoderKey.jar
org.apache.maven.plugins
maven-jxr-plugin
2.5
org.apache.maven.plugins
maven-checkstyle-plugin
2.17
checkstyle
org.codehaus.mojo
findbugs-maven-plugin
3.0.4
org.codehaus.mojo
jdepend-maven-plugin
2.0