Merge requests · interactive-KB-debugging / debugger · GitLab

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
Resolve "Incorrect disposal of reasoner in debugging session life cycle"

!27 · created Apr 03, 2018 by Wolfgang Schmid 0.1.7.BETA
Feature request Major Bug
- Merged
updated Apr 05, 2018
Resolve "Change the license from Apache 2.0 to GNU LGPL Version 3.0 for the module protege-plugin"

!26 · created Mar 23, 2018 by Wolfgang Schmid 0.1.7.BETA
To Do
- Merged
updated Apr 03, 2018
Resolve "Comply with the Apache License Appendix in the modules diagnosis, owl-plugin and excel-plugin"

!25 · created Mar 23, 2018 by Wolfgang Schmid 0.1.7.BETA
To Do
- Merged
updated Mar 23, 2018
Resolve "Return result of consistency and coherency check to avoid diagnosis calculation"

!24 · created Feb 15, 2018 by Wolfgang Schmid 0.1.7.BETA
Performance
- Merged
updated Feb 26, 2018
WIP: Resolve "Return result of consistency and coherency check to avoid diagnosis calculation"

!23 · created Feb 15, 2018 by Wolfgang Schmid 0.1.7.BETA
Performance
- Closed
updated Feb 15, 2018