KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(51–61 of 61)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#220: Reparsing same file should throw exception
bug
minor
resolved
Broes De Cat
2012-08-29
2013-01-14
#283: Double includes
Parser
bug
major
resolved
Broes De Cat
2012-11-26
2013-01-14
#313: Should turn all our tostring operations into << operators taking a stream!
bug
major
resolved
Broes De Cat
2013-01-09
2013-01-11
#289: Segfault when minizing over a term of another vocabulary
bug
major
resolved
Broes De Cat
2012-12-05
2013-01-07
#246: Empty function interpretations
Parser
bug
major
resolved
Broes De Cat
2012-10-18
2012-11-30
#263: runidp script should also change path
bug
minor
resolved
Broes De Cat
2012-11-08
2012-11-08
#247: ecnf printer prints sets with id 0, which is not valid ecnf
bug
minor
resolved
Broes De Cat
2012-10-18
2012-11-08
#262: uint in fobddterm.hpp is not defined under windows
bug
minor
resolved
Broes De Cat
2012-11-07
2012-11-08
#205: make check does not report segfaults
Testing
bug
major
resolved
Broes De Cat
2012-07-20
2012-07-24
#198: Insert segfauls on an enumset where some predicate symbol is not declared
bug
major
resolved
Broes De Cat
2012-06-28
2012-06-28
#1: Print and printgrounding are bugged
bug
major
resolved
Broes De Cat
2011-12-06
2011-12-08
1
2
3