ProofScriptParser merge requestshttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests2019-01-29T17:08:58+01:00https://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/29Luong compact interactive2019-01-29T17:08:58+01:00uudmkLuong compact interactivehttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/28Grebing luong workbranch2019-03-11T16:33:04+01:00sarah.grebingGrebing luong workbranchhttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/27Luonng variable assignment2019-01-24T08:41:46+01:00uudmkLuonng variable assignmentAlready merged master into this branchAlready merged master into this branchsarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/26intermediate merge2018-11-24T15:10:54+01:00sarah.grebingintermediate mergehttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/25Reverse Merge Request2018-11-22T14:42:56+01:00sarah.grebingReverse Merge Requesthttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/24Resolve "Compact script after exiting interactive mode"2019-01-31T12:58:26+01:00uudmkResolve "Compact script after exiting interactive mode"Closes #56Closes #56sarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/23Resolve "Add Variable View to GoalOptionsView"2018-11-23T15:46:40+01:00uudmkResolve "Add Variable View to GoalOptionsView"Closes #55Closes #55sarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/22WIP: Fix for isDerivable2018-11-13T10:38:49+01:00tk5165WIP: Fix for isDerivablehttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/21Luong mastermerge2018-10-09T06:42:38+02:00uudmkLuong mastermergeBugfixes for masterBugfixes for mastersarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/20Luong workbranch2018-06-08T09:59:35+02:00uudmkLuong workbranchsarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/19Luong savepoint2018-05-22T14:12:08+02:00sarah.grebingLuong savepointSavepoint Implementation Version 1Savepoint Implementation Version 1sarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/18Luong savepoint2018-05-22T14:10:49+02:00sarah.grebingLuong savepointChanges to handle savepoints in scripts, 1. VersionChanges to handle savepoints in scripts, 1. Versionsarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/17Persistence of interpreter state2018-05-16T23:57:02+02:00tk5165Persistence of interpreter state@uudmk@uudmksarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/16Weigl jdk102018-05-16T23:45:35+02:00tk5165Weigl jdk10sarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/15Matcher re implementation2018-04-27T08:18:11+02:00sarah.grebingMatcher re implementationReimplementation of Matcher, which also includes a reimplementation of the matching in KeYReimplementation of Matcher, which also includes a reimplementation of the matching in KeYtk5165tk5165https://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/14Minus in Identifier2018-07-09T21:55:35+02:00tk5165Minus in IdentifierThis patch add "-" as a regular char in identifier, e.g. a rule name can be `update-heap`.
For expressions, this clashes with arithmetic operator `MINUS`. `TransformAST::splitIdentifier`
repairs this:
```
-a == (- a)
-a-b == (- a) -...This patch add "-" as a regular char in identifier, e.g. a rule name can be `update-heap`.
For expressions, this clashes with arithmetic operator `MINUS`. `TransformAST::splitIdentifier`
repairs this:
```
-a == (- a)
-a-b == (- a) - b
```
It also repairs a bug that `- a - b` is interpreted as `- (a - b)`
The error check for assignments is missing, e.g. "a-b := 1", and is left to reader.sarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/13Gradle2018-02-15T11:28:05+01:00sarah.grebingGradlehttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/12Cinew2018-02-13T22:28:19+01:00tk5165Cinewhttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/11Now copy to clipboard contains parsable string2018-02-13T14:56:24+01:00sarah.grebingNow copy to clipboard contains parsable string(cherry picked from commit 28c13f04e1eefd1ef9c9aa4a536bc6b8a85b55f4)(cherry picked from commit 28c13f04e1eefd1ef9c9aa4a536bc6b8a85b55f4)https://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/10Recent changes into new build infrastructure2018-02-12T08:21:23+01:00sarah.grebingRecent changes into new build infrastructure