4.0.0 edu.kit.iti.formal.psdbg psdbg 1.0-FM pom ProofScriptParser A parser and AST for the proof script language. https://git.scc.kit.edu/sarah.grebing/ProofScriptParser Sarah Grebing sarah.grebing@kit.edu Karlsruhe Institute of Technology Alexander Weigl weigl@kit.edu Karlsruhe Institute of Technology Application-oriented Formal Verification https://formal.iti.kit.edu 2017 gpl_v3 UTF-8 1.8 1.8 true lang rt rt-key ui DockFX lint keydeps matcher bwcloud-ssh scp://141.52.38.245:/var/www/html/psdbg/ bwcloud-ssh scp://141.52.38.245:/var/www/html/psdbg-devel/ org.apache.maven.wagon wagon-ssh 2.12 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 Sarah Grebing, Alexander Weigl maven-compiler-plugin 3.6.2 1.8 1.8 true true false org.apache.maven.plugins maven-javadoc-plugin 2.9 attach-javadocs jar -Xdoclint:none org.apache.maven.plugins maven-site-plugin 3.3 org.apache.maven.plugins maven-javadoc-plugin -Xdoclint:none junit junit 4.12 test org.projectlombok lombok 1.16.16 provided commons-cli commons-cli 1.4 com.google.guava guava 22.0 commons-io commons-io 2.5 commons-lang commons-lang 2.6 org.apache.logging.log4j log4j-api 2.6 org.apache.logging.log4j log4j-core 2.6 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