- 31 Aug, 2017 4 commits
-
-
Sarah Grebing authored -
Sarah Grebing authored
bug fix: now possible to evalute "case true:", Ignored one testcase for try, beacuse it is not handeld properly yet
-
Sarah Grebing authored
-
Sarah Grebing authored
-
- 30 Aug, 2017 2 commits
-
-
Sarah Grebing authored
-
Sarah Grebing authored
-
- 29 Aug, 2017 4 commits
-
-
Alexander Weigl authored
-
Alexander Weigl authored
-
Sarah Grebing authored
-
Sarah Grebing authored
-
- 28 Aug, 2017 3 commits
-
-
Alexander Weigl authored
-
Alexander Weigl authored
-
Alexander Weigl authored
-
- 27 Aug, 2017 2 commits
-
-
Alexander Weigl authored
* but PositionTable is incompatible
-
Alexander Weigl authored
* Facade instances into MatcherImpl * Simpler Implementation * Ordering of Matchings * Catch anonymous (not bounded) matches
-
- 24 Aug, 2017 3 commits
-
-
Alexander Weigl authored
-
Alexander Weigl authored
-
Alexander Weigl authored
-
- 22 Aug, 2017 4 commits
-
-
Sarah Grebing authored
-
Sarah Grebing authored
-
Sarah Grebing authored
-
Sarah Grebing authored
-
- 21 Aug, 2017 12 commits
-
-
Alexander Weigl authored
* 'master' of git.scc.kit.edu:xt9634/ProofScriptParser: BUGFIX IndexOutOfRange+NullPointerExc merge Bugfix for emptyMatch on sequent
-
Alexander Weigl authored
* small bug fixes
-
Sarah Grebing authored
-
Sarah Grebing authored
-
Sarah Grebing authored
# Conflicts: # src/main/java/edu/kit/formal/psdb/termmatcher/MatcherImpl.java
-
Sarah Grebing authored
-
Alexander Weigl authored
-
Alexander Weigl authored
-
Alexander Weigl authored
-
Alexander Weigl authored
-
Sarah Grebing authored
-
Sarah Grebing authored
-
- 20 Aug, 2017 3 commits
-
-
Sarah Grebing authored
-
Sarah Grebing authored
-
Sarah Grebing authored
-
- 18 Aug, 2017 3 commits
-
-
Sarah Grebing authored
Interim state: some minor modifications at DebuggerMain and first part of semiseq matching, next part follows tomorrow
-
Alexander Weigl authored
-
Alexander Weigl authored
-