ProofScriptParser merge requestshttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests2018-07-09T21:55:35+02:00https://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/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/28Grebing luong workbranch2019-03-11T16:33:04+01:00sarah.grebingGrebing luong workbranchhttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/29Luong compact interactive2019-01-29T17:08:58+01:00uudmkLuong compact interactive