Commits · f9f89ef1d110dcdfdb805cb083decffe1ab7606b · sarah.grebing / ProofScriptParser

30 Apr, 2017 2 commits
- fix pom.xml for license plugin · f9f89ef1
  Alexander Weigl authored Apr 30, 2017
  
  f9f89ef1
- Update pom.xml · 13e81139
  alexander.weigl authored Apr 30, 2017
  
  13e81139
28 Apr, 2017 7 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
- changes to the grammar · 51bc8891
  Alexander Weigl authored Apr 28, 2017
```
in preparation for an visitor
```
  51bc8891
- add a facade · 588a76d2
  Alexander Weigl authored Apr 28, 2017
  
  588a76d2
- increase antlr to version 4.7 and active visitor · 0c920dff
  Alexander Weigl authored Apr 28, 2017
  
  0c920dff
27 Apr, 2017 2 commits
- Added antlr dependency for build · f30d6b53
  Sarah Grebing authored Apr 27, 2017
  
  f30d6b53
- init ProofScriptLanguage and Maven Project · 39738b60
  Sarah Grebing authored Apr 27, 2017
  
  39738b60