Skip to content
GitLab
Explore
Sign in
Open
1
Merged
11
Closed
6
All
18
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Resolve "Keyword Probability Slider"
!57
· created
Aug 06, 2019
by
Wolfgang Schmid
0.2.2
Layout
Usability
Merged
updated
Aug 06, 2019
Resolve "Add a feedback feature for error reports"
!48
· created
Oct 22, 2018
by
Wolfgang Schmid
0.1.9.RC
Feature request
Layout
Research
Usability
Merged
updated
Oct 22, 2018
Resolve "Implement toString() for all list items and list headers"
!46
· created
Oct 22, 2018
by
Wolfgang Schmid
0.1.9.RC
Feature request
Usability
Merged
updated
Oct 22, 2018
Resolve "Redesign of Explanation in Repair Interface"
!45
· created
Oct 16, 2018
by
Wolfgang Schmid
0.1.9.RC
Feature request
Layout
Usability
Merged
updated
Oct 18, 2018
Resolve "Redesign the evaluation results for saved test cases"
!42
· created
Oct 15, 2018
by
Wolfgang Schmid
0.1.9.RC
Feature request
Layout
Usability
Merged
updated
Oct 15, 2018
Resolve "Remove success notification after storing testcases"
!33
· created
Jul 30, 2018
by
Wolfgang Schmid
0.1.8.BETA
Usability
Merged
updated
Jul 30, 2018
Resolve "Asynchronous entailment checks for saved testcases"
!32
· created
May 28, 2018
by
Wolfgang Schmid
0.1.8.BETA
Feature request
Layout
Research
Usability
Merged
updated
Jul 30, 2018
Resolve "Add an explanation text to the repair interface"
!31
· created
Apr 30, 2018
by
Wolfgang Schmid
0.1.7.BETA
Feature request
Layout
Usability
Merged
1
updated
May 04, 2018
Resolve "Add help text to test case editor"
!30
· created
Apr 27, 2018
by
Wolfgang Schmid
0.1.7.BETA
Documentation
Layout
Usability
Merged
1
updated
Apr 30, 2018
Resolve "Add Searchfilter for Axiomtype"
!29
· created
Apr 23, 2018
by
Wolfgang Schmid
0.1.7.BETA
Feature request
Layout
Usability
Merged
2
updated
Apr 27, 2018
Resolve "Retain axioms in background knowledge beyond the debugging session life cycle"
!28
· created
Apr 05, 2018
by
Wolfgang Schmid
0.1.7.BETA
Feature request
Usability
Merged
updated
Apr 19, 2018