ProofScriptParser issueshttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues2017-08-28T13:36:39+02:00https://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/27Implement SetMainScript2017-08-28T13:36:39+02:00sarah.grebingImplement SetMainScriptThis functionality should:
1. mark the scriptname, that is set as main script
2. set the scripttab as activeTab
3. show the state of this script in the active goalTabThis functionality should:
1. mark the scriptname, that is set as main script
2. set the scripttab as activeTab
3. show the state of this script in the active goalTabhttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/26Implementation of isClosable2017-08-02T14:34:24+02:00sarah.grebingImplementation of isClosableThe API method is closable need to be implemented.
Needed for #22 The API method is closable need to be implemented.
Needed for #22 sarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/25House-Keeping2017-08-28T16:12:26+02:00tk5165House-KeepingAn issue to reduce the technical dept.
* [x] put the system under a common name, suggest: `edu.kit.iti.formal.proofscripts`
* [x] align the resources (fxml/css) with their Java file.An issue to reduce the technical dept.
* [x] put the system under a common name, suggest: `edu.kit.iti.formal.proofscripts`
* [x] align the resources (fxml/css) with their Java file.Feature Complete 1.0https://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/21Better Visible State2017-11-05T06:49:07+01:00tk5165Better Visible StateThe mainframe should inform the user better of his state:
* better status line!
* progress indicator?!
* what is the next action?
* what is the current contract?The mainframe should inform the user better of his state:
* better status line!
* progress indicator?!
* what is the next action?
* what is the current contract?Feature Complete 1.0https://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/18Labels for KeyData2017-08-02T14:35:48+02:00tk5165Labels for KeyDataImplement the getter of the labels in `KeyData`
* [x] public String getRuleLabel()
* [x] public String getBranchingLabel()
* [x] public String getNameLabel()
* [x] public String getProgramLinesLabel()
* [x] public String getProgramS...Implement the getter of the labels in `KeyData`
* [x] public String getRuleLabel()
* [x] public String getBranchingLabel()
* [x] public String getNameLabel()
* [x] public String getProgramLinesLabel()
* [x] public String getProgramStatementsLabel()Feature Complete 1.0https://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/17Support Interaction in Sequent View2018-09-25T03:40:29+02:00tk5165Support Interaction in Sequent View* [x] Support the user by showing the applicable rules for a selected term in the sequent
* [x] Create an appropriate `RuleCommand` call for a selected applicable rule in the script area.* [x] Support the user by showing the applicable rules for a selected term in the sequent
* [x] Create an appropriate `RuleCommand` call for a selected applicable rule in the script area.https://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/16Tabs for ScriptArea2017-11-03T02:37:24+01:00tk5165Tabs for ScriptAreaDuring debugging, a jump into a different is possible.
For support of this event, e.g. `Step Into`, a tabbed pane or
accordion is necessary (maybe `DockFX` or `AnchorFX`).
There should be a concept for the entry point script, (e.g. t...During debugging, a jump into a different is possible.
For support of this event, e.g. `Step Into`, a tabbed pane or
accordion is necessary (maybe `DockFX` or `AnchorFX`).
There should be a concept for the entry point script, (e.g. the first script from the tab).
In connection to #15Feature Complete 1.0https://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/15Step Over2017-11-05T06:48:58+01:00tk5165Step OverImplement Step Into
* distinguish between script call and atomic command call
* for script call, jump into the sub script.
* for atomic command call, execute the call and capture all nodes in between.Implement Step Into
* distinguish between script call and atomic command call
* for script call, jump into the sub script.
* for atomic command call, execute the call and capture all nodes in between.Feature Complete 1.0sarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/11Marker for the current executing line in ScriptArea2017-11-03T02:38:20+01:00tk5165Marker for the current executing line in ScriptArea`class ScriptArea` should have the functionality to mark the current active line or statement.`class ScriptArea` should have the functionality to mark the current active line or statement.Feature Complete 1.0sarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/10Progress Indicator during Loading2017-11-03T02:37:58+01:00tk5165Progress Indicator during LoadingAdd a indication of the background loading of key files.Add a indication of the background loading of key files.Feature Complete 1.0