- 11 Mar, 2019 1 commit
-
-
Lulu Luong authored
-
- 05 Mar, 2019 1 commit
-
-
Lulu Luong authored
-
- 01 Mar, 2019 2 commits
-
-
Lulu Luong authored
-
Sarah Grebing authored
-
- 28 Feb, 2019 2 commits
-
-
Lulu Luong authored
changed IndistintWindow to IndistinctInformation, because we'll be using dialogs instead of seperate windows added Countdownlatch for synchronziation Bug fixes for the ScriptTree
-
Sarah Grebing authored
-
- 27 Feb, 2019 2 commits
-
-
Sarah Grebing authored
-
Sarah Grebing authored
-
- 19 Feb, 2019 1 commit
-
-
Sarah Grebing authored
-
- 14 Feb, 2019 1 commit
-
-
Sarah Grebing authored
-
- 12 Feb, 2019 1 commit
-
-
Sarah Grebing authored
-
- 11 Feb, 2019 1 commit
-
-
Lulu Luong authored
Contextmenu for watches varass sync
-
- 05 Feb, 2019 2 commits
-
-
Sarah Grebing authored
-
Sarah Grebing authored
-
- 31 Jan, 2019 1 commit
-
-
Sarah Grebing authored
-
- 30 Jan, 2019 1 commit
-
-
Lulu Luong authored
+ evaluator in Varas + History
-
- 24 Jan, 2019 4 commits
-
-
Sarah Grebing authored
-
Sarah Grebing authored
-
Lulu Luong authored
-
Sarah Grebing authored
-
- 22 Jan, 2019 1 commit
-
-
Lulu Luong authored
-
- 15 Jan, 2019 1 commit
-
-
Lulu Luong authored
-
- 11 Jan, 2019 2 commits
-
-
Lulu Luong authored
-
Lulu Luong authored
-
- 11 Dec, 2018 3 commits
-
-
Lulu Luong authored
-
Lulu Luong authored
-
Lulu Luong authored
-
- 04 Dec, 2018 1 commit
-
-
Sarah Grebing authored
# 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
-
- 03 Dec, 2018 1 commit
-
-
Lulu Luong authored
-
- 29 Nov, 2018 4 commits
-
-
Lulu Luong authored
Merge remote-tracking branch 'remotes/origin/luonng_variableAssignment' into grebing_luong_workbranch
-
Lulu Luong authored
-
Lulu Luong authored
-
Lulu Luong authored
cleaned code + bug fixes
-
- 28 Nov, 2018 1 commit
-
-
Lulu Luong authored
-
- 27 Nov, 2018 1 commit
-
-
Lulu Luong authored
-
- 26 Nov, 2018 3 commits
-
-
Lulu Luong authored
-
Lulu Luong authored
-
Lulu Luong authored
Merge branch 'grebing_luong_workbranch' of C:\Users\Lulu\Desktop\Bachelor\ProofScriptParser with conflicts.
-
- 23 Nov, 2018 2 commits
-
-
sarah.grebing authored
Resolve "Add Variable View to GoalOptionsView" Closes #55 See merge request !23
-
Sarah Grebing authored
-