Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
P
ProofScriptParser
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
24
Issues
24
List
Boards
Labels
Milestones
Merge Requests
4
Merge Requests
4
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Analytics
Analytics
CI / CD
Repository
Value Stream
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
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
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
