Commits · 96b8eecaa65b2ff71ce10fcf69ca3366c0c26b75 · sarah.grebing / ProofScriptParser

07 Feb, 2018 1 commit
- $LULUDBR\Lulu's avatar$
  contraposition skript angepasst · 9398d9ba
  LULUDBR\Lulu authored Feb 07, 2018
```
multiple Open Goals Fix
```
  9398d9ba
03 Feb, 2018 1 commit
- Bugfix repeat · 6b3f4efe
  Sarah Grebing authored Feb 03, 2018
  
  6b3f4efe
02 Feb, 2018 1 commit
- Bugfix for variable decllaration and assignment · 4ba1944a
  Sarah Grebing authored Feb 02, 2018
  
  4ba1944a
31 Jan, 2018 1 commit
- Bugfix variablehooks · 02be8c3b
  Sarah Grebing authored Jan 31, 2018
  
  02be8c3b
22 Jan, 2018 2 commits
- Added new Dilaogtype for end of script · 0c852f45
  Sarah Grebing authored Jan 22, 2018
  
  0c852f45
- Bugfixes from friday: Leere Liste der offenen Ziele · 445f6a6d
  Sarah Grebing authored Jan 22, 2018
  
  445f6a6d
21 Jan, 2018 1 commit
- website is ready · 1e0289cf
  Alexander Weigl authored Jan 21, 2018
  
  1e0289cf
18 Jan, 2018 6 commits
- bugfix context in stepOverreverse · 3675c5ae
  Sarah Grebing authored Jan 18, 2018
  
  3675c5ae
- interim · 07008761
  Sarah Grebing authored Jan 18, 2018
  
  07008761
- fixes and images · 93bd3ef3
  Alexander Weigl authored Jan 18, 2018
  
  93bd3ef3
- StepInverseInto should work now · 2978eada
  Sarah Grebing authored Jan 18, 2018
  
  2978eada
- fix to step into · b1f5abcc
  Alexander Weigl authored Jan 18, 2018
  
  b1f5abcc
- graph for easier debugging · e8e9b298
  Alexander Weigl authored Jan 18, 2018
  
  e8e9b298
17 Jan, 2018 2 commits
- fix stepping into last command · e840f22b
  Alexander Weigl authored Jan 17, 2018
  
  e840f22b
- interim term · 71831907
  Sarah Grebing authored Jan 17, 2018
  
  71831907
16 Jan, 2018 3 commits
- fixes for interactive mode · bd990c81
  Alexander Weigl authored Jan 16, 2018
  
  bd990c81
- Fixed first bug for step into proof tree, still not working properly yet · 96e41055
  Sarah Grebing authored Jan 16, 2018
  
  96e41055
- ContinueCommand; Grammar for quantifiermatch · a027d3f9
  Sarah Grebing authored Jan 16, 2018
  
  a027d3f9
03 Dec, 2017 1 commit
- fix bugs from lulu · 4dbfb023
  Alexander Weigl authored Dec 03, 2017
  
  4dbfb023
30 Nov, 2017 1 commit
- ... · 76c6ac67
  Alexander Weigl authored Nov 30, 2017
  
  76c6ac67
18 Nov, 2017 1 commit
- multiple enhancements · 29689be8
  Alexander Weigl authored Nov 18, 2017
```
* Open in Key
* repair matching of updates
* assignment hooks
```
  29689be8
13 Nov, 2017 1 commit
- sysoiuts · 553a1d6a
  Sarah Grebing authored Nov 13, 2017
  
  553a1d6a
11 Nov, 2017 1 commit
- fix compiler error · c8a6f61a
  Alexander Weigl authored Nov 11, 2017
  
  c8a6f61a
10 Nov, 2017 2 commits
- function: parser, ast, evaluator · 5a85236f
  Alexander Weigl authored Nov 10, 2017
  
  5a85236f
- Bugfix that removed/expanded nodes were still in state due to selectedGoalNode field · e9617e80
  Sarah Grebing authored Nov 10, 2017
  
  e9617e80
08 Nov, 2017 1 commit
- interim · 70d8749a
  Sarah Grebing authored Nov 08, 2017
  
  70d8749a
05 Nov, 2017 2 commits
- StepInto for Atomic Calls! · 1da9d234
  Alexander Weigl authored Nov 05, 2017
  
  1da9d234
- Context Menu for ProofTree, Formatting, · b9e750f0
  Alexander Weigl authored Nov 05, 2017
```
* Menu entries for debugging
```
  b9e750f0
03 Nov, 2017 2 commits
- ProofTree changes · fe351689
  Alexander Weigl authored Nov 03, 2017
  
  fe351689
- better status bar · 4ed3bd10
  Alexander Weigl authored Nov 03, 2017
  
  4ed3bd10
02 Nov, 2017 1 commit
- Bugfix: matching expressions over state variables was not working; two minor... · 450ad8d1
  Sarah Grebing authored Nov 02, 2017
```
Bugfix: matching expressions over state variables was not working; two minor issues fiexd because it did not compile
```
  450ad8d1
01 Nov, 2017 3 commits
- fixing StateWrapper and Exception in handling calls · 5bd02453
  Alexander Weigl authored Nov 01, 2017
  
  5bd02453
- fixing repeat · 9cbd801f
  Alexander Weigl authored Nov 01, 2017
  
  9cbd801f
- Renaming/refactoring trying to make things easier · 90894510
  Alexander Weigl authored Nov 01, 2017
  
  90894510
31 Oct, 2017 2 commits
- add function for post mortem debugging · 6d63218c
  Alexander Weigl authored Oct 31, 2017
  
  6d63218c
- it starts running, again! · 014a9c1a
  Alexander Weigl authored Oct 31, 2017
```
* fixes of NPE
* connect UI to DebuggerFramework
* add frames combobox and context analysis
  * including bugs

Now, testing the big things!
```
  014a9c1a
30 Oct, 2017 1 commit
- Fixing UI, tommorrow NPE hunting · 4f5faf1f
  Alexander Weigl authored Oct 30, 2017
  
  4f5faf1f
29 Oct, 2017 1 commit
- DebuggerFramework Alpha Version · bc93a6d2
  Alexander Weigl authored Oct 29, 2017
  
  bc93a6d2
28 Oct, 2017 1 commit
- syncing to desktop · b765012c
  Alexander Weigl authored Oct 28, 2017
  
  b765012c
27 Oct, 2017 1 commit
- minor bugfix for wrapper · 704840d3
  Sarah Grebing authored Oct 27, 2017
  
  704840d3