1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (1–25 of 102)

Title T P Status Votes Assignee Version Created Updated Actions
#961: XSB and constructed types
bug major new
#903: cardinality in non-recursive definition goes wrong
bug major open
#940: Parser tries to parse strings as numbers for no reason
bug major resolved
#869: Partial functions in definitions behave differently with xsb on or off
bug major resolved
#901: XSB doesn't respect the right order relation
bug major resolved
#935: Bugs in XSB with outputvoc
bug major new
#934: Converting string -> double should be disabled
bug major resolved
#936: XSB does not fully check type validity of constructed types
XSB
bug major resolved
#932: Grounder incorrectly simplifies definitions.
Grounding
bug major new
#908: Oefenzitting 5 oefening 2
bug major invalid
#902: XSB bites the dust again
bug major resolved
#802: Compile all necessary XSB built-in files during IDP's compilation process
bug minor open
#882: partial forward continuation segfault
XSB
bug major closed
#881: Missing function check when XSB is on
bug major duplicate
#864: Definition isn't postprocessed
bug major invalid
#861: Calculating definitions results in three-valued structure
bug major invalid
#857: Bug in XSB: recursion over negation
bug major resolved
#855: XSB generators fail
bug major new
#437: XSB support for recursion over negation
XSB
task major resolved
#339: Definitions with negative recursion leads to incorrect Prolog program
XSB
task major duplicate
#635: Approxdef fails
XSB
bug major resolved
#844: Put XSB on as default
XSB
task minor resolved
#726: Constness problems in definition evaluation
bug major resolved
#845: Bootstrapping disable function
proposal minor resolved
#826: XSB prevents calculation of definition
bug major resolved
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5