krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Version	Created	Updated
#78: using in lua	bug	major	resolved		2.1	2011-12-21	2013-01-30
#113: SortTable->first() and ->last() should not be called on empty tables	bug	major	resolved		2.1	2012-03-05	2013-01-30
#109: Satsolver should not write search progress on stdout MinisatID	bug	major	resolved			2012-02-23	2013-01-30
#88: Trace	bug	major	resolved			2012-01-06	2013-01-30
#77: Introduced Variables	bug	major	resolved	Stef De Pooter	2.0	2011-12-21	2013-01-30
#97: Equivalence splitting	enhancement	major	resolved		2.1	2012-01-26	2013-01-30
#66: Incorrect wellfoundedness check MinisatID	bug	major	resolved	Broes De Cat	2.0	2011-12-15	2013-01-30
#101: Empty sets are handled incorrectly MinisatID	bug	major	resolved			2012-02-01	2013-01-30
#64: Parser introduceert nieuwe domeinelementen Parser	bug	major	resolved		2.0	2011-12-15	2013-01-30
#100: Tests do not check correctness of solutions	bug	major	duplicate		2.1	2012-02-01	2013-01-30
#41: Calculating known definitions Testing	task	major	resolved	Bart Bogaerts	2.0	2011-12-09	2013-01-30
#43: Symmetry breaking Testing	task	major	resolved	JoD	2.1	2011-12-09	2013-01-30
#31: Weights changed by aggrounder Grounding	bug	major	resolved		2.0	2011-12-08	2013-01-30
#174: Parsing enumeration as range	task	major	resolved			2012-05-24	2013-01-30
#6: AssertionException in UNSATagg.idp	bug	major	resolved	Broes De Cat	2.0	2011-12-08	2013-01-30
#5: tab completion	proposal	major	resolved		2.1	2011-12-08	2013-01-30
#76: Commands changing input	bug	major	resolved	Bart Bogaerts	2.0	2011-12-20	2013-01-30
#49: Querying Inferences	task	major	resolved		2.1	2011-12-09	2013-01-30
#96: Segfault in invalidfiletest	bug	major	invalid			2012-01-26	2013-01-30
#8: pf complement of ct?	bug	major	resolved		2.0	2011-12-08	2013-01-30
#61: Licences and project layout	task	major	resolved		2.0	2011-12-14	2013-01-30
#294: constructoren, UNA, DCA	proposal	major	new			2012-12-06	2013-01-30
#47: Propagatie Testing	task	major	resolved	Bart Bogaerts	2.0	2011-12-09	2013-01-30
#24: Negative and zero weights in product sets Grounding	bug	major	resolved	Bart Bogaerts	2.0	2011-12-08	2013-01-30
#54: InstChecker vs Instancechecker	bug	major	resolved			2011-12-09	2013-01-30

#78: using in lua

bug

major

resolved

2.1

2011-12-21

2013-01-30

#113: SortTable->first() and ->last() should not be called on empty tables

bug

major

resolved

2.1

2012-03-05

2013-01-30

#109: Satsolver should not write search progress on stdout

MinisatID

bug

major

resolved

2012-02-23

2013-01-30

#88: Trace

bug

major

resolved

2012-01-06

2013-01-30

#77: Introduced Variables

bug

major

resolved

Stef De Pooter

2.0

2011-12-21

2013-01-30

#97: Equivalence splitting

enhancement

major

resolved

2.1

2012-01-26

2013-01-30

#66: Incorrect wellfoundedness check

MinisatID

bug

major

resolved

Broes De Cat

2.0

2011-12-15

2013-01-30

#101: Empty sets are handled incorrectly

MinisatID

bug

major

resolved

2012-02-01

2013-01-30

#64: Parser introduceert nieuwe domeinelementen

Parser

bug

major

resolved

2.0

2011-12-15

2013-01-30

#100: Tests do not check correctness of solutions

bug

major

duplicate

2.1

2012-02-01

2013-01-30

#41: Calculating known definitions

Testing

task

major

resolved

Bart Bogaerts

2.0

2011-12-09

2013-01-30

#43: Symmetry breaking

Testing

task

major

resolved

JoD

2.1

2011-12-09

2013-01-30

#31: Weights changed by aggrounder

Grounding

bug

major

resolved

2.0

2011-12-08

2013-01-30

#174: Parsing enumeration as range

task

major

resolved

2012-05-24

2013-01-30

#6: AssertionException in UNSATagg.idp

bug

major

resolved

Broes De Cat

2.0

2011-12-08

2013-01-30

#5: tab completion

proposal

major

resolved

2.1

2011-12-08

2013-01-30

#76: Commands changing input

bug

major

resolved

Bart Bogaerts

2.0

2011-12-20

2013-01-30

#49: Querying

Inferences

task

major

resolved

2.1

2011-12-09

2013-01-30

#96: Segfault in invalidfiletest

bug

major

invalid

2012-01-26

2013-01-30

#8: pf complement of ct?

bug

major

resolved

2.0

2011-12-08

2013-01-30

#61: Licences and project layout

task

major

resolved

2.0

2011-12-14

2013-01-30

#294: constructoren, UNA, DCA

proposal

major

new

2012-12-06

2013-01-30

#47: Propagatie

Testing

task

major

resolved

Bart Bogaerts

2.0

2011-12-09

2013-01-30

#24: Negative and zero weights in product sets

Grounding

bug

major

resolved

Bart Bogaerts

2.0

2011-12-08

2013-01-30

#54: InstChecker vs Instancechecker

bug

major

resolved

2011-12-09

2013-01-30

Issues

Issues (551–575 of 688)