Commits · 511a856a0306851a30434207813e2bfb72f7e95f · sarah.grebing / ProofScriptParser

28 May, 2018 2 commits
- New KeY Version · 511a856a
  Sarah Grebing authored May 28, 2018
  
  511a856a
- added privacy link · 72f657b2
  Sarah Grebing authored May 28, 2018
  
  72f657b2
24 May, 2018 11 commits
- auto reload of clean files. · c73bf4f5
  Alexander Weigl authored May 24, 2018
```
... useful for external editors.
... title = fielpath + dirty flag
```
  c73bf4f5
- bug fixing, a framework for script trees · cad71758
  Alexander Weigl authored May 24, 2018
  
  cad71758
- working on new ProofTree view · 591415cf
  Alexander Weigl authored May 24, 2018
  
  591415cf
- magic variables for rule command · 35f07285
  Alexander Weigl authored May 23, 2018
  
  35f07285
- bind statement · 26e50bd5
  Alexander Weigl authored May 23, 2018
  
  26e50bd5
- fix some test cases, clean up a little bit · 1c4e67af
  Alexander Weigl authored May 22, 2018
  
  1c4e67af
- Removal of NamespaceSetExpression · 68ec6cce
  Alexander Weigl authored May 22, 2018
  
  68ec6cce
- Removal of using clause in match expressions. · 2c4d4929
  Alexander Weigl authored May 22, 2018
  
  2c4d4929
- Using clause removed from match expression · ef3ebf59
  Alexander Weigl authored May 22, 2018
  
  ef3ebf59
- Persistence of interpreter state · b56fc44e
  Alexander Weigl authored May 22, 2018
  
  b56fc44e
- Repair test cases · 32c3a995
  Alexander Weigl authored May 22, 2018
  
  32c3a995
23 May, 2018 2 commits
- Added confirmation box · d1c3fb76
  Sarah Grebing authored May 23, 2018
  
  d1c3fb76
- Merge remote-tracking branch 'origin/master' · 15b00201
  Sarah Grebing authored May 23, 2018
  
  15b00201
22 May, 2018 7 commits
- Merge branch 'luongSavepoint' into 'master' · 15bc40a0
  sarah.grebing authored May 22, 2018
```
Luong savepoint

See merge request !19
```
  15bc40a0
- Merge remote-tracking branch 'remotes/origin/master' into luongSavepointTemp · 1465934b
  Sarah Grebing authored May 22, 2018
```
# Conflicts:
#	ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.java
```
  1465934b
- Merge remote-tracking branch 'remotes/origin/master' into luongSavepointTemp · 6dbcf7e6
  Sarah Grebing authored May 22, 2018
```
# Conflicts:
#	ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.java
```
  6dbcf7e6
- Merge remote-tracking branch 'origin/luongSavepoint' into luongSavepointTemp · 439ada64
  Sarah Grebing authored May 22, 2018
```
# Conflicts:
#	ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.java
```
  439ada64
- Merge remote-tracking branch 'remotes/origin/master' into luongSavepointTemp · cbbe59a2
  Sarah Grebing authored May 22, 2018
```
# Conflicts:
#	ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.java
```
  cbbe59a2
- interim · fefcf60b
  Sarah Grebing authored May 22, 2018
  
  fefcf60b
- Gutter + Underline SP · affd4938
  Lulu Luong authored May 22, 2018
  
  affd4938
18 May, 2018 3 commits
- Added logger to matcher for infos about reductions · 70b1cff1
  Sarah Grebing authored May 18, 2018
  
  70b1cff1
- Extracted ScriptExecution to own class and replaced calls in DebuggerMain · f8c23cfd
  Sarah Grebing authored May 18, 2018
  
  f8c23cfd
- Bugfix in Script · 231b05db
  Sarah Grebing authored May 18, 2018
  
  231b05db
17 May, 2018 3 commits
- Bugfix in SaveCommandhandling · f5cfd41e
  Sarah Grebing authored May 17, 2018
  
  f5cfd41e
- cleaning up save point · 58789c46
  Alexander Weigl authored May 17, 2018
```
* consolelogger
* fixes ... change to #save
```
  58789c46
- adaption to the changed apis · 71bb8873
  Alexander Weigl authored May 17, 2018
```
* NPE and IndexOutOfBound
```
  71bb8873
16 May, 2018 7 commits
- Merge branch 'weiglStatePersistence' into 'master' · fe6b04ac
  alexander.weigl authored May 16, 2018
```
Persistence of interpreter state

See merge request !17
```
  fe6b04ac
- Persistence of interpreter state · caab9b9a
  alexander.weigl authored May 16, 2018
  
  caab9b9a
- Merge branch 'weiglJDK10' into 'master' · 9f895c89
  alexander.weigl authored May 16, 2018
```
Weigl jdk10

See merge request !16
```
  9f895c89
- Weigl jdk10 · 352d07c6
  alexander.weigl authored May 16, 2018
  
  352d07c6
- bugfix in type handling · bb3d81e0
  Sarah Grebing authored May 16, 2018
  
  bb3d81e0
- bugfix in type handling · bdab4f23
  Sarah Grebing authored May 16, 2018
  
  bdab4f23
- First sketch implementation for statelessly handling parameter evaluation. The... · 910d46fa
  Sarah Grebing authored May 16, 2018
```
First sketch implementation for statelessly handling parameter evaluation. The evaluateParameterStateLess method needs to be modified. At the moment this implementation is not working correctly.
```
  910d46fa
15 May, 2018 1 commit
- save without selectors · 8d73503b
  Lulu Luong authored May 15, 2018
  
  8d73503b
13 May, 2018 1 commit
- $LULUDBR\Lulu's avatar$
  
  Savepoints loadable in Contraposition · 7c503d34
  LULUDBR\Lulu authored May 13, 2018
  
  7c503d34
07 May, 2018 1 commit
- $LULUDBR\Lulu's avatar$
  recognizing and saving of Savepoints + updating combobox · bc6fe5ad
  LULUDBR\Lulu authored May 07, 2018
```
missing: saving of Proofs in SaveCommand -> need access from SaveCommand to DebuggerMain
```
  bc6fe5ad
01 May, 2018 2 commits
- $LULUDBR\Lulu's avatar$
  
  Savepoints ground + adding Info + Warning dialog + expansion of goalmatcher · a2b1fa2f
  LULUDBR\Lulu authored May 01, 2018
  
  a2b1fa2f
- $LULUDBR\Lulu's avatar$
  
  Merge remote-tracking branch 'origin/master' · e141acf7
  LULUDBR\Lulu authored May 01, 2018
  
  e141acf7