4.0.0 de.rwth.i2 LTLParser 0.0.2 jar ${project.artifactId} LTL parser for attestor. https://github.com/cmatheja/LTLParser/ GNU General Public License, version 3 https://opensource.org/licenses/GPL-3.0 Christoph Matheja matheja@cs.rwth-aachen.de Software Modeling and Verification Group - RWTH Aachen University https://moves.rwth-aachen.de/ Dr. Christina Jansen christina.jansen@cs.rwth-aachen.de Software Modeling and Verification Group - RWTH Aachen University https://moves.rwth-aachen.de/ Hannah Arndt hannah.arndt@rwth-aachen.de Software Modeling and Verification Group - RWTH Aachen University https://moves.rwth-aachen.de/ scm:git:git://github.com/cmatheja/LTLParser.git scm:git:ssh://github.com/cmatheja/LTLParser.git https://github.com/cmatheja/LTLParser/tree/master UTF-8 UTF-8 1.8 1.8 ossrh https://oss.sonatype.org/content/repositories/snapshots org.sonatype.plugins nexus-staging-maven-plugin 1.6.8 true ossrh https://oss.sonatype.org/ true org.apache.maven.plugins maven-source-plugin 3.0.1 attach-sources jar-no-fork org.apache.maven.plugins maven-javadoc-plugin 3.0.0 attach-javadocs jar org.apache.maven.plugins maven-gpg-plugin 1.6 sign-artifacts verify sign maven-resources-plugin 3.0.2 copy-lexer compile copy-resources ${basedir}/target/classes/de/rwth/i2/attestor/generated/lexer/ ${basedir}/src/main/java/de/rwth/i2/attestor/generated/lexer lexer.dat copy-parser compile copy-resources ${basedir}/target/classes/de/rwth/i2/attestor/generated/parser/ ${basedir}/src/main/java/de/rwth/i2/attestor/generated/parser parser.dat org.codehaus.mojo exec-maven-plugin 1.6.0 generate-sources generate-sources exec java -classpath org.sablecc.sablecc.SableCC ${basedir}/src/main/java/ltl.sable org.apache.maven.plugins maven-install-plugin 2.5.2 ${project.groupId} ${project.artifactId} ${project.version} jar ${basedir}/target/${project.artifactId}-${project.version}.jar ${basedir}/../dependencies/maven-repo/ true install-jar-lib install-file install junit junit 4.12 test hamcrest-core org.hamcrest com.google.guava guava 21.0 org.hamcrest hamcrest-all 1.3 test com.peterlavalle sablecc-maven.sablecc 3.7