KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–4 of 4)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#912: two valued extensions voor constructed types werken niet
bug
major
closed
2016-03-11
2016-06-24
#882: partial forward continuation segfault
XSB
bug
major
closed
Joachim Jansen
2015-04-21
2015-04-23
#794: Releasing: dynamic linking for linux???
bug
major
closed
2014-08-07
2014-11-19
#730: Maketrue/false/unknown do not check arity
bug
major
closed
2014-04-04
2014-11-18