ProofScriptParser merge requestshttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests2017-05-01T22:24:32+02:00https://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/1Add .gitlab-ci.yml2017-05-01T22:24:32+02:00tk5165Add .gitlab-ci.ymltk5165tk5165https://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/2Mvnlicense2017-05-01T00:14:55+02:00tk5165Mvnlicensefor #6for #6https://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/3WIP: embedd a docking framework2017-07-08T16:00:07+02:00tk5165WIP: embedd a docking framework* works, but needed some adaptions or fixes* works, but needed some adaptions or fixeshttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/4Everything new! Everything Better Now!!2017-11-03T02:42:06+01:00tk5165Everything new! Everything Better Now!!https://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/5Lulus sequent matcher2018-01-09T16:46:50+01:00tk5165Lulus sequent matcheruudmkuudmkhttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/6Lulu sequent matcher22018-01-19T13:34:10+01:00sarah.grebingLulu sequent matcher2Added implementation of Sequentmatcher and undo in interactive mode and quicksort exampleAdded implementation of Sequentmatcher and undo in interactive mode and quicksort examplesarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/7View of Matching results of Sequentmatcher changed2018-01-22T16:47:04+01:00uudmkView of Matching results of Sequentmatcher changedsarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/8Master to merge2018-01-29T13:23:22+01:00sarah.grebingMaster to mergeBugfixes from FM VersionBugfixes from FM Versiontk5165tk5165https://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/9Master to merge2018-01-31T08:24:03+01:00sarah.grebingMaster to mergeMinor fixes for Lulu, interactive cases not working yet.Minor fixes for Lulu, interactive cases not working yet.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 infrastructurehttps://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/12Cinew2018-02-13T22:28:19+01:00tk5165Cinewhttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/13Gradle2018-02-15T11:28:05+01:00sarah.grebingGradlehttps://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/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/16Weigl jdk102018-05-16T23:45:35+02:00tk5165Weigl jdk10sarah.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/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/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/20Luong workbranch2018-06-08T09:59:35+02:00uudmkLuong workbranchsarah.grebingsarah.grebing