Skip to content
GitLab
Explore
Sign in
Open
1
Merged
3
Closed
3
All
7
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 "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 "Add positive test cases to ontology which are not entailed anymore after a repair"
!41
· created
Sep 17, 2018
by
Wolfgang Schmid
0.1.8.BETA
Feature request
Research
Merged
updated
Oct 12, 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