1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

  • All
  • Open
Advanced search

Issues (1–5 of 5)

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
#640: Model invalidation is incorrect in case of functions in the output vocabulary and cpsupport on
bug minor closed
2014-01-16
2014-07-27