Commits · grebing_luong_workbranch · sarah.grebing / ProofScriptParser

11 Mar, 2019 1 commit
- Test added (dualsplit) · d468eb6b
  Lulu Luong authored Mar 11, 2019
  
  d468eb6b
05 Mar, 2019 1 commit
- Test added · 77c2828e
  Lulu Luong authored Mar 05, 2019
  
  77c2828e
01 Mar, 2019 2 commits
- savepoint bug found · 56c45cf6
  Lulu Luong authored Mar 01, 2019
  
  56c45cf6
- BigInteger now as an example · 774a7df3
  Sarah Grebing authored Mar 01, 2019
  
  774a7df3
28 Feb, 2019 2 commits
- added test cases · 361e39ae
  Lulu Luong authored Feb 28, 2019
```
changed IndistintWindow to IndistinctInformation, because we'll be using dialogs instead of seperate windows
added Countdownlatch for synchronziation
Bug fixes for the ScriptTree
```
  361e39ae
- New KeY Version and modification of interface acc. to new version; corrected Sysouts; · 6d75608b
  Sarah Grebing authored Feb 28, 2019
  
  6d75608b
27 Feb, 2019 2 commits
- minor · 824f45f9
  Sarah Grebing authored Feb 27, 2019
  
  824f45f9
- Added quisort as test case in case we want to change java versions · ed20e7d0
  Sarah Grebing authored Feb 27, 2019
  
  ed20e7d0
19 Feb, 2019 1 commit
- Bugfix with services object and contract loading+ added test cases · f5e20a42
  Sarah Grebing authored Feb 19, 2019
  
  f5e20a42
14 Feb, 2019 1 commit
- settings + testcase · 8d3a8c76
  Sarah Grebing authored Feb 14, 2019
  
  8d3a8c76
12 Feb, 2019 1 commit
- dialogpane changes · dcf6b8b5
  Sarah Grebing authored Feb 12, 2019
  
  dcf6b8b5
11 Feb, 2019 1 commit
- Cyclicbarrier + userinteraction UI · 6b02ec1c
  Lulu Luong authored Feb 11, 2019
```
Contextmenu for watches
varass sync
```
  6b02ec1c
05 Feb, 2019 2 commits
- fixed test case by adding the method to keys library · c8b796af
  Sarah Grebing authored Feb 05, 2019
  
  c8b796af
- fixed one testcase and updated key version · 44cbd4c5
  Sarah Grebing authored Feb 05, 2019
  
  44cbd4c5
31 Jan, 2019 1 commit
- fixed testcase · 5c27d73f
  Sarah Grebing authored Jan 31, 2019
  
  5c27d73f
30 Jan, 2019 1 commit
- + tacletapp as scriptcommand · 62844d6d
  Lulu Luong authored Jan 30, 2019
```
+ evaluator in Varas + History
```
  62844d6d
24 Jan, 2019 4 commits
- Merge remote-tracking branch 'origin/grebing_luong_workbranch' into grebing_luong_workbranch · 58e94ba2
  Sarah Grebing authored Jan 24, 2019
  
  58e94ba2
- fixed testcase · 54952861
  Sarah Grebing authored Jan 24, 2019
  
  54952861
- buggy impl. of IndistinctWindow · d9989cfc
  Lulu Luong authored Jan 24, 2019
  
  d9989cfc
- Merge remote-tracking branch 'origin/grebing_luong_workbranch' into grebing_luong_workbranch · afb7ec68
  Sarah Grebing authored Jan 24, 2019
  
  afb7ec68
22 Jan, 2019 1 commit
- bug fix of script Tree (java simple) + System in · 47be55f7
  Lulu Luong authored Jan 22, 2019
  
  47be55f7
15 Jan, 2019 1 commit
- Userinteraction Draft · b7c7dac6
  Lulu Luong authored Jan 15, 2019
  
  b7c7dac6
11 Jan, 2019 2 commits
- VarWindow upd · 40a7ec15
  Lulu Luong authored Jan 11, 2019
  
  40a7ec15
- Merge branch 'master' into grebing_luong_workbranch · 50c4ec7e
  Lulu Luong authored Jan 11, 2019
  
  50c4ec7e
11 Dec, 2018 3 commits
- View Settings implemented · b64e83ad
  Lulu Luong authored Dec 11, 2018
  
  b64e83ad
- added help.html to Examples (applyEq + impLeft) · b005da8a
  Lulu Luong authored Dec 11, 2018
  
  b005da8a
- added ImpLeft Example (indistinct application of impLeft) · 9a5acb67
  Lulu Luong authored Dec 11, 2018
  
  9a5acb67
04 Dec, 2018 1 commit

Merge remote-tracking branch 'origin/grebing_luong_workbranch' into grebing_luong_workbranch · 67adb6bb

Sarah Grebing authored Dec 04, 2018

# Conflicts:
#	keydeps/lib/components/key.core.jar
#	keydeps/lib/components/key.ui.jar
#	keydeps/lib/components/key.util.jar
#	ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/ProofTree.java
#	ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/contraposition/script.kps

67adb6bb

03 Dec, 2018 1 commit
- added Matcher to VariableAssigmentWindow · 01085d16
  Lulu Luong authored Dec 03, 2018
  
  01085d16
29 Nov, 2018 4 commits
- Merge remote-tracking branch 'remotes/origin/luonng_variableAssignment' into... · b9ee6cc2
  Lulu Luong authored Nov 29, 2018
```
Merge remote-tracking branch 'remotes/origin/luonng_variableAssignment' into grebing_luong_workbranch
```
  b9ee6cc2
- merge with master · 8346bfc8
  Lulu Luong authored Nov 29, 2018
  
  8346bfc8
- merge with master · fbfe9ac5
  Lulu Luong authored Nov 29, 2018
  
  fbfe9ac5
- added ScriptTree statistics (accessible via Contextmenu) + · 7e12bf82
  Lulu Luong authored Nov 29, 2018
```
cleaned code + bug fixes
```
  7e12bf82
28 Nov, 2018 1 commit
- updated ScriptTreeContextMenu · 24e7bad0
  Lulu Luong authored Nov 28, 2018
  
  24e7bad0
27 Nov, 2018 1 commit
- added collapse in ScriptTreeContextMenu · 6621e07a
  Lulu Luong authored Nov 27, 2018
  
  6621e07a
26 Nov, 2018 3 commits
- merge with master · 19df8932
  Lulu Luong authored Nov 26, 2018
  
  19df8932
- merge with master · 42f19000
  Lulu Luong authored Nov 26, 2018
  
  42f19000
- Merge branch 'grebing_luong_workbranch' of... · 4fbb71f4
  Lulu Luong authored Nov 26, 2018
```
Merge branch 'grebing_luong_workbranch' of C:\Users\Lulu\Desktop\Bachelor\ProofScriptParser with conflicts.
```
  4fbb71f4
23 Nov, 2018 2 commits
- Merge branch '55-add-variable-view-to-goaloptionsview' into 'master' · 36832366
  sarah.grebing authored Nov 23, 2018
```
Resolve "Add Variable View to GoalOptionsView"

Closes #55

See merge request !23
```
  36832366
- if/else · 981d8bff
  Sarah Grebing authored Nov 23, 2018
  
  981d8bff