Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cogsys
Dare2Del
Demonstrator - Reasoning WebAPI
Issues
Open
4
Closed
58
All
62
New issue
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
Title
Priority
Created date
Updated date
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Integrate PLDoc server
#42
· created
Dec 04, 2020
by
Siebers, Michael
nice-to-have
CLOSED
0
updated
Dec 10, 2020
irrelevant/file result not satisfactory
#19
· created
Nov 16, 2020
by
Syed Mamoon Ahmed
CLOSED
5
updated
Dec 04, 2020
Map http_reply exceptions to JSON reply
#22
· created
Nov 16, 2020
by
Siebers, Michael
Version 1.0
doing
priority-medium
CLOSED
1
updated
Dec 01, 2020
No content in 204 response in /bg endpoint
#16
· created
Nov 16, 2020
by
Syed Mamoon Ahmed
CLOSED
4
updated
Nov 23, 2020
No count in /bg response
#15
· created
Nov 16, 2020
by
Syed Mamoon Ahmed
documentation
CLOSED
2
updated
Nov 23, 2020
Number headers only for documentation
#57
· created
Dec 13, 2020
by
Siebers, Michael
discussion
documentation
nice-to-have
CLOSED
1
updated
Dec 13, 2020
POST Request with negative Content-Length leads to 500 status
#36
· created
Dec 02, 2020
by
Siebers, Michael
priority-low
CLOSED
2
updated
Dec 04, 2020
Refactor endpoints
#37
· created
Dec 02, 2020
by
Siebers, Michael
Version 1.0
doing
CLOSED
0
updated
Dec 13, 2020
review readme.md
#54
· created
Dec 08, 2020
by
Siebers, Michael
Version 1.0
documentation
CLOSED
0
updated
Dec 19, 2020
revise API endpoint documentation
#52
· created
Dec 08, 2020
by
Siebers, Michael
Version 1.0
documentation
CLOSED
1
updated
Jun 12, 2021
Setting Content-Length header too high results in Server Error
#61
· created
Jun 08, 2021
by
Siebers, Michael
discussion
priority-medium
CLOSED
0
updated
Jun 14, 2021
Startup parameters
#26
· created
Nov 24, 2020
by
Siebers, Michael
Version 1.0
documentation
priority-low
CLOSED
2
updated
Nov 26, 2020
Support for running as daemon under *nix
#58
· created
May 17, 2021
by
Sebastian Seufert
discussion
info-needed
CLOSED
1
updated
Jun 02, 2021
Test common theory predicates
#8
· created
Nov 07, 2020
by
Siebers, Michael
CLOSED
1
updated
Nov 07, 2020
Undocumented edge case for adding background knowledge
#35
· created
Dec 02, 2020
by
Siebers, Michael
Version 1.0
priority-medium
CLOSED
1
updated
Dec 02, 2020
Validate JSON input and throw exceptions
6 of 10 tasks completed
#33
· created
Nov 28, 2020
by
Siebers, Michael
Version 1.0
documentation
priority-high
CLOSED
5
updated
Dec 04, 2020
write documentation overview
#46
· created
Dec 08, 2020
by
Siebers, Michael
Version 1.0
documentation
CLOSED
0
updated
May 13, 2021
Write module description for web_api
#43
· created
Dec 08, 2020
by
Siebers, Michael
Version 1.0
documentation
CLOSED
0
updated
May 13, 2021
Prev
1
2
3
Next