ProofScriptParser issueshttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues2018-04-29T20:54:14+02:00https://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/51Savepoint2018-04-29T20:54:14+02:00uudmkSavepoint- Implementation as a Built-in Command
- add to UI: Combobox to select between different savepoints, UI has to be updated after selection
- Reset to old proof state
- Jump to save command/savepoint in the script
- load saved KeY proof
- ...- Implementation as a Built-in Command
- add to UI: Combobox to select between different savepoints, UI has to be updated after selection
- Reset to old proof state
- Jump to save command/savepoint in the script
- load saved KeY proof
- when starting the interpreter skip all commands till save command/savepointhttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/36Option for clicking on script statement with contextmenu results in a new pro...2017-08-25T10:35:32+02:00sarah.grebingOption for clicking on script statement with contextmenu results in a new prostmortem tab with the selected statehttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/28Implement: show postmortem state for Interpreted script2017-09-01T08:54:00+02:00sarah.grebingImplement: show postmortem state for Interpreted script1. For this highlight line in ScritpAreaTab needs to be generalized
2. Model for InspectionViewTab needs to be used1. For this highlight line in ScritpAreaTab needs to be generalized
2. Model for InspectionViewTab needs to be usedFeature Complete 1.0https://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/19Implement Filter for List of Goals2018-09-25T03:44:00+02:00tk5165Implement Filter for List of GoalsImplementation of the filter functionality of the `ListView` for current `GoalNode`.
(see the current `ListGoalViewMenu`)
* [ ] Input Dialog for Terms and Strings
* [ ] reuse the KeyMatcherAPI
* [ ] show hint beside the list, that a fi...Implementation of the filter functionality of the `ListView` for current `GoalNode`.
(see the current `ListGoalViewMenu`)
* [ ] Input Dialog for Terms and Strings
* [ ] reuse the KeyMatcherAPI
* [ ] show hint beside the list, that a filter is activated.