Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
P
ProofScriptParser
Project overview
Project overview
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
24
Issues
24
List
Boards
Labels
Milestones
Merge Requests
4
Merge Requests
4
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
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
To Do
Feature
Getting the CodeAreas right
#20
To Do
Requirement
Make a Difference between selected goal node in the interpreter and UI
#14
To Do
Requirement
Concept of Editing and Restart a Proof Script
#12
Doing
Ongoing Issues (open and assigned)
2
Cases: Reimplement ordering and Listener notification
#42
Requirement
Doing
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
To Do
Requirement
Labels for KeyData
#18
To Do
Requirement
Tabs for ScriptArea
#16
To Do
Feature
Step Over
#15
To Do
Requirement
Proof Restart
#13
Doing
Requirement
Marker for the current executing line in ScriptArea
#11
Doing
To Do
Requirement
Progress Indicator during Loading
#10
To Do
Requirement
