Commits · 7ce02ad05ac7884958a190068e7aeb266c1af533 · sarah.grebing / ProofScriptParser

19 May, 2017 4 commits
- pom update · 7ce02ad0
  Sarah Grebing authored May 19, 2017
  
  7ce02ad0
- pom update · c9e35fde
  Sarah Grebing authored May 19, 2017
  
  c9e35fde
- jars · b6aaae2b
  Sarah Grebing authored May 19, 2017
  
  b6aaae2b
- further bug fixes in variable assignments, added key.core.jar and dependencies · 667d3340
  Sarah Grebing authored May 19, 2017
  
  667d3340
17 May, 2017 3 commits
- error correction · d346acc2
  Sarah Grebing authored May 17, 2017
  
  d346acc2
- minor improevment in interpreter and fixed bug in grammar · fbb4f8e4
  Sarah Grebing authored May 17, 2017
  
  fbb4f8e4
- matcher api and bugfixes · 90c10929
  Alexander Weigl authored May 17, 2017
  
  90c10929
16 May, 2017 4 commits
- Fixing a lot of errors found by EvaluatorTest · db98546f
  Alexander Weigl authored May 16, 2017
```
* 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
```
  db98546f
- DummyInterpreter will be completed · 3476df23
  Sarah Grebing authored May 16, 2017
  
  3476df23
- First Part of Interpreter · 7117e3ef
  Sarah Grebing authored May 16, 2017
  
  7117e3ef
- change to existing classes for evaluating expressions · 097ab47e
  Sarah Grebing authored May 16, 2017
  
  097ab47e
04 May, 2017 2 commits
- add fileheaders, clone() -> copy() · f3d39151
  Alexander Weigl authored May 04, 2017
  
  f3d39151
- relax checkstyle, add comments to grammar · 9f9ffbe3
  Alexander Weigl authored May 04, 2017
```
fix #1
```
  9f9ffbe3
01 May, 2017 15 commits
- Merge branch 'testci' into 'master' · 76030bd7
  alexander.weigl authored May 01, 2017
```
Add .gitlab-ci.yml

See merge request !1
```
  76030bd7
- Add license · 7d142e48
  alexander.weigl authored May 01, 2017
  
  7d142e48
- Update .gitlab-ci.yml · 0bd714d5
  alexander.weigl authored May 01, 2017
  
  0bd714d5
- Update .gitlab-ci.yml · c9c4a1c8
  alexander.weigl authored May 01, 2017
  
  c9c4a1c8
- Update .gitlab-ci.yml · 7d9ffb72
  alexander.weigl authored May 01, 2017
  
  7d9ffb72
- Update .gitlab-ci.yml · ca5c474a
  alexander.weigl authored May 01, 2017
  
  ca5c474a
- Update .gitlab-ci.yml · 3a99a6f9
  alexander.weigl authored May 01, 2017
  
  3a99a6f9
- added reports · fe1e3f41
  Alexander Weigl authored May 01, 2017
  
  fe1e3f41
- Documentation · 89dee988
  Alexander Weigl authored May 01, 2017
  
  89dee988
- fixes on getType · 679d8b10
  Alexander Weigl authored May 01, 2017
  
  679d8b10
- typo in package · 9f439f6c
  Alexander Weigl authored May 01, 2017
  
  9f439f6c
- fix the merge errors · 78c231fe
  Alexander Weigl authored May 01, 2017
  
  78c231fe
- introducing lombok and type safety · 16848e62
  Alexander Weigl authored May 01, 2017
  
  16848e62
- more work done · 8f3b3882
  Alexander Weigl authored Apr 30, 2017
```
* PrettyPrinter feature complete
* AST fully created
* small changes on Grammar
```
  8f3b3882
- Merge branch 'mvnlicense' into 'master' · f0616b65
  alexander.weigl authored May 01, 2017
```
Mvnlicense

See merge request !2
```
  f0616b65
30 Apr, 2017 8 commits
- variable assignment · 5d754ed2
  Sarah Grebing authored Apr 30, 2017
  
  5d754ed2
- added unary Expressions · c2c8707a
  Sarah Grebing authored Apr 30, 2017
  
  c2c8707a
- added reapet · 6a6706ef
  Sarah Grebing authored Apr 30, 2017
  
  6a6706ef
- cleanup · f50163ae
  Alexander Weigl authored Apr 30, 2017
  
  f50163ae
- fix pom.xml for license plugin · f9f89ef1
  Alexander Weigl authored Apr 30, 2017
  
  f9f89ef1
- work on ast · 3c196318
  Alexander Weigl authored Apr 30, 2017
  
  3c196318
- Update pom.xml · 13e81139
  alexander.weigl authored Apr 30, 2017
  
  13e81139
- Add .gitlab-ci.yml · 7950844e
  alexander.weigl authored Apr 30, 2017
  
  7950844e
28 Apr, 2017 4 commits
- started pretty printing · 3f132b86
  Alexander Weigl authored Apr 28, 2017
```
* cleanin up and introducing some new AST nodes
```
  3f132b86
- some bug fixes and relaxation in the grammar · cef9b784
  Alexander Weigl authored Apr 28, 2017
  
  cef9b784
- starting the boring work on an AST · 903f952b
  Alexander Weigl authored Apr 28, 2017
  
  903f952b
- test facilities · dbf48761
  Alexander Weigl authored Apr 28, 2017
```
just a parsable expression in goodexpr.txt
and not parsable in badexpr.txt and they are tested

similar for complete scripts
```
  dbf48761