Skip to content

GitLab

Projects
Groups
Snippets
Help

Loading...
Help
Sign in

ProofScriptParser

Project overview
Repository
Issues 24
Merge Requests 4
- Merge Requests 4
CI / CD
Operations
Analytics
Wiki
- Wiki
Snippets
- Snippets
Members
- Members

Collapse sidebar

Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards

sarah.grebing
ProofScriptParser
Milestones
Feature Complete 1.0

Open

Milestone

Feature Complete 1.0

Issues 18
Merge Requests 0
Participants 1
Labels 4

Unstarted Issues (open and unassigned)

6

Synchronization of ProofTree with Prostmortem Tabs
#35
Bug: Rule Application in Antecedent not working
#34 Requirement
Implement: show postmortem state for Interpreted script
#28 Feature To Do
Getting the CodeAreas right
#20 Requirement To Do
Make a Difference between selected goal node in the interpreter and UI
#14 Requirement To Do
Concept of Editing and Restart a Proof Script
#12 Doing

Ongoing Issues (open and assigned)

2

Cases: Reimplement ordering and Listener notification
#42 Doing Requirement
Cases: Selection of goals to be matched should be possible for the user
#40 Doing

Completed Issues (closed)

10

Highlighting Bug in Stepping
#41 Requirement
subtree view for step into
#39
House-Keeping
#25 To Do
Better Visible State
#21 Requirement To Do
Labels for KeyData
#18 Requirement To Do
Tabs for ScriptArea
#16 Feature To Do
Step Over
#15 Requirement To Do
Proof Restart
#13 Doing Requirement
Marker for the current executing line in ScriptArea
#11 Doing Requirement To Do
Progress Indicator during Loading
#10 Requirement To Do

55% complete

55%

Start date

No start date

None

Due date

No due date

18

Issues 18 New issue

Open: 8 Closed: 10

0

Merge requests 0

Open: 0 Closed: 0 Merged: 0

0

Releases

None

Reference: xt9634/ProofScriptParser%"Feature Complete 1.0"