Der neue Dienst "GitLab am KIT" ist unter
gitlab.kit.edu
erreichbar.
Skip to content
GitLab
Explore
Sign in
sarah.grebing
ProofScriptParser
Wiki
linting
linting
· History
Page version
Author
Changes
Last updated
72be57d5
Alexander Weigl
add conditional breakpoints dialog
Jun 26, 2017
8b94d3aa
Alexander Weigl
Update linting
May 23, 2017
573f2759
Alexander Weigl
Fixing a lot of errors found by EvaluatorTest * BUG: Operator `not` hidden by `ID` in ScriptLanguage.g4 * BUG: Evaluator evaluation of binary * BUG: TransformAst.java copy paste, BooleanLiteral for TRUE * IMPROVE: Facade new method for creating parser * BUG: Value equals/hashcode, wrong type for STRING * IMPROVE: add test cases for Evaluator.java
May 16, 2017