Skip to content
GitLab
Explore
Sign in
Open
0
Merged
15
Closed
0
All
15
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
Test and codereview consistencychecker
!40
· created
Sep 10, 2018
by
Wolfgang Schmid
0.1.8.BETA
Merge Request
Merged
updated
Sep 10, 2018
Resolve "Add Testcase Axioms (Positive,Negative)"
!21
· created
Dec 15, 2017
by
Wolfgang Schmid
0.1.5.BETA
Merge Request
Merged
updated
Dec 15, 2017
Resolve "Repair feature implementation"
!18
· created
Nov 24, 2017
by
Wolfgang Schmid
0.1.5.BETA
Merge Request
Merged
updated
Nov 24, 2017
Closes #56
!17
· created
Jun 08, 2017
by
Wolfgang Schmid
0.1.5.BETA
Merge Request
Merged
updated
Jun 08, 2017
Resolve "Reactivation of Star Module Extraction"
!16
· created
May 29, 2017
by
Wolfgang Schmid
0.1.5.BETA
Merge Request
Merged
updated
May 29, 2017
Resolve "Creating Diagnosis Models of Ontologies with certain properties can be expensive"
!13
· created
Nov 18, 2016
by
Wolfgang Schmid
0.1.2.BETA
Merge Request
Merged
updated
Nov 18, 2016
Resolve "Sync Diagnosis Model with Ontology Changes"
!12
· created
Nov 16, 2016
by
Wolfgang Schmid
0.1.2.BETA
Merge Request
Merged
updated
Nov 16, 2016
finished implementation of issue #51
!11
· created
Oct 22, 2016
by
Wolfgang Schmid
Merge Request
Merged
updated
Oct 22, 2016
Resolve "Debugger Preferences disappear when invalid values are set"
!10
· created
Oct 20, 2016
by
Wolfgang Schmid
0.1.2.BETA
Merge Request
Merged
updated
Oct 20, 2016
Resolve "Search for possible faulty axioms"
!9
· created
Oct 12, 2016
by
Wolfgang Schmid
0.1.2.BETA
Merge Request
Merged
updated
Oct 12, 2016
Resolve "Generate anonymous ontologies only when starting new debugging sessions"
!7
· created
Sep 02, 2016
by
Wolfgang Schmid
0.1.1.BETA
Merge Request
Merged
updated
Sep 02, 2016
- Implementation of #41
!6
· created
Aug 26, 2016
by
Wolfgang Schmid
0.1.1.BETA
Merge Request
Merged
updated
Aug 26, 2016
- dispose method to clean up things when stopping a debugging session, such as d…
!5
· created
Aug 25, 2016
by
Wolfgang Schmid
0.1.1.BETA
Merge Request
Merged
updated
Aug 25, 2016
Resolve "Redesign Lifecycle for Debugging Session"
!4
· created
Aug 18, 2016
by
Wolfgang Schmid
0.1.1.BETA
Merge Request
Merged
updated
Aug 18, 2016
Debugging session feature
!1
· created
Jun 28, 2016
by
Wolfgang Schmid
Merge Request
Merged
updated
Jun 28, 2016
