Skip to content
GitLab
Explore
Sign in
Open
0
Merged
6
Closed
4
All
10
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 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
Test and codereview consistencychecker
!40
· created
Sep 10, 2018
by
Wolfgang Schmid
0.1.8.BETA
Merge Request
Merged
updated
Sep 10, 2018
Resolve "Better message for inconsistent background along with test cases"
!38
· created
Aug 31, 2018
by
Wolfgang Schmid
0.1.8.BETA
Feature request
Minor Bug
Merged
updated
Sep 05, 2018
Resolve "Module extraction does not take into account manually added negative test cases"
!34
· created
Jul 30, 2018
by
Wolfgang Schmid
0.1.8.BETA
Major Bug
Merged
updated
Aug 03, 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
