4.0.0edu.kit.iti.formal.psdbgpsdbg1.0-FMpomProofScriptParser
A parser and AST for the proof script language.
https://git.scc.kit.edu/sarah.grebing/ProofScriptParserSarah Grebingsarah.grebing@kit.eduKarlsruhe Institute of TechnologyAlexander Weiglweigl@kit.eduKarlsruhe Institute of TechnologyApplication-oriented Formal Verificationhttps://formal.iti.kit.edu2017gpl_v3UTF-81.81.8truelangrtrt-keyuiDockFXlintkeydepsmatcherbwcloud-sshscp://141.52.38.245:/var/www/html/psdbg/bwcloud-sshscp://141.52.38.245:/var/www/html/psdbg-devel/org.apache.maven.wagonwagon-ssh2.12org.apache.maven.pluginsmaven-checkstyle-plugin2.17com.puppycrawl.toolscheckstyle7.6.1.checkstyle_rules.xmlorg.codehaus.mojolicense-maven-plugin1.12gpl_v3
Sarah Grebing, Alexander Weigl
maven-compiler-plugin3.6.21.81.8truetruefalseorg.apache.maven.pluginsmaven-javadoc-plugin2.9attach-javadocsjar-Xdoclint:noneorg.apache.maven.pluginsmaven-site-plugin3.3org.apache.maven.pluginsmaven-javadoc-plugin-Xdoclint:nonejunitjunit4.12testorg.projectlomboklombok1.16.16providedcommons-clicommons-cli1.4com.google.guavaguava22.0commons-iocommons-io2.5commons-langcommons-lang2.6org.apache.logging.log4jlog4j-api2.6org.apache.logging.log4jlog4j-core2.6org.apache.maven.pluginsmaven-jxr-plugin2.5org.apache.maven.pluginsmaven-checkstyle-plugin2.17checkstyleorg.codehaus.mojofindbugs-maven-plugin3.0.4org.codehaus.mojojdepend-maven-plugin2.0