1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (351–375 of 688)

Title T P Status Votes Assignee Version Created Updated Actions
#583: factlist parsing is much too slow
bug major resolved
#584: Bug in setting maketrue / setting interpretation
bug major duplicate
#570: Buildbot op TheorySimplifier
MinisatID
bug major resolved
#578: 3.2.0 source archive broken
bug major resolved
#575: ASP printer and quotes
bug major new
#574: ASP printer should remove capitals
bug major new 1
#572: make package should make IDE-compatible file
bug major new
#569: Segmentation fault
bug major resolved
#568: Stackoverflow onder windows
bug major resolved
#567: Unsat core extraction bug
bug major resolved
#297: Veralgemeende - binaire quantificatie
Parser
enhancement major resolved
#558: Issue with generators
bug major resolved
#555: Generating tables with subtyping (Bug in Generatorfactory.cpp)
bug major resolved
#560: fout?
bug major invalid
#557: Bug in UNSAT core extraction
bug major invalid
#554: Memory is not properly freed when grounding is aborted.
bug major new
#530: Option -e does not work if no file is provided
bug major invalid
#500: Missing consistency check because apply to structure is not always performed.
bug major resolved
#549: Remove all symbolic links
bug major resolved
#544: Approximatiefout in unsatcoreextraction
bug major resolved
#542: Builtin functions sometimes need structure to get an interpretation
bug major new
#540: Static lua should be enabled in staticrelease
bug major resolved
#539: theoryquery en configIDP
bug major resolved
#537: lazy grounding tests segfaulting on master
bug major resolved
#428: Issues with infinity
bug major new
  2. 1
  3. 2
  4. …
  5. 13
  6. 14
  7. 15
  8. 16
  9. 17
  10. 18
  11. …
  12. 27
  13. 28