1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (1–24 of 24)

Title T P Status Votes Assignee Version Created Updated Actions
#802: Compile all necessary XSB built-in files during IDP's compilation process
bug minor open
#844: Put XSB on as default
XSB
task minor resolved
#845: Bootstrapping disable function
proposal minor resolved
#839: Running XSB tests shows big memory leak
bug minor new
#804: Add removal of xsbinstall directory to make clean command
bug minor resolved
#789: Approxdefs crashes
bug minor new
#795: Currently xsb_compiler.P's built-in type for char returns too much
task minor new
#713: Ctrl-c no longer interrupts MinisatID
bug minor resolved
#468: XSB getFacts should check "builtin" correctly
bug minor resolved
#699: WITHXSB=off does not disable xsb tests
bug minor resolved
#369: Delay modelexpansion for symbols that only occur in the head of definitions
Inferences
task minor resolved
#659: approximating definitions generates TRUE/FALSE atoms multiple times
enhancement minor new
#402: Prolog interface not smart enough to generate 0=<x=<4
bug minor resolved
#439: Splitdefinitions is O(n^3) instead of O(n)
XSB
enhancement minor wontfix
#147: Complete code for generating approximating definitions
enhancement minor resolved
#457: XSB aggregate unnesting bug
bug minor resolved
#446: Querying could be done with XSB
XSB
enhancement minor new
#387: Transform equivalences into definitions
XSB
enhancement minor new
#277: Segmentation fault when using nested namespaces
Garbage collection
bug minor open
#404: Adapt documentation to include XSB
task minor resolved
#415: Unwanted "Removing incomplete tables..." messages
XSB
bug minor resolved
#405: Provide verbosity for XSB
task minor resolved
#370: XSB Range predicates are ambiguous
XSB
bug minor resolved
#92: vector<InternalArgument>* should become shared_pointers
Garbage collection
bug minor new