1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (476–500 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#585: progression: implement verification
proposal minor new
#584: Bug in setting maketrue / setting interpretation
bug major duplicate
#570: Buildbot op TheorySimplifier
MinisatID
bug major resolved
#581: Progression: error messages
bug minor new
#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
#565: Parsen van machten (ambiguity)
Parser
bug minor 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
#561: MX generates too many models
bug minor resolved
#560: fout?
bug major invalid
#548: Bug in Mac
bug critical duplicate
#559: Sat method should call mx with empty output vocabulary
enhancement minor new
#545: Implement MX assumption improvements
enhancement minor new
#552: Option blocks are useless
enhancement trivial new
#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
  2. 1
  3. 2
  4. …
  5. 18
  6. 19
  7. 20
  8. 21
  9. 22
  10. 23
  11. …
  12. 39
  13. 40