krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Version	Created	Updated
#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
#74: Wrtiting translation information Grounding	bug	minor	resolved		2.1	2011-12-16	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
#36: Float, string Testing	task	blocker	resolved	Bart Bogaerts	2.0	2011-12-09	2013-01-30
#87: runidp script cannot handle whitespaces in arguments	bug	minor	resolved		2.1	2012-01-02	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
#35: Documentation	task	blocker	resolved		2.0	2011-12-09	2013-01-30
#37: Release version	task	critical	resolved	Broes De Cat	2.0	2011-12-09	2013-01-30
#73: Debug Janhunen transformation and write out theory in cnf MinisatID	enhancement	minor	resolved	Broes De Cat		2011-12-16	2013-01-30
#33: Testing of basic commands	task	blocker	resolved	Broes De Cat	2.0	2011-12-09	2013-01-30
#86: needmoremodels assertion	bug	minor	resolved		2.1	2012-01-02	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

#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

#74: Wrtiting translation information

Grounding

bug

minor

resolved

2.1

2011-12-16

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

#36: Float, string

Testing

task

blocker

resolved

Bart Bogaerts

2.0

2011-12-09

2013-01-30

#87: runidp script cannot handle whitespaces in arguments

bug

minor

resolved

2.1

2012-01-02

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

#35: Documentation

task

blocker

resolved

2.0

2011-12-09

2013-01-30

#37: Release version

task

critical

resolved

Broes De Cat

2.0

2011-12-09

2013-01-30

#73: Debug Janhunen transformation and write out theory in cnf

MinisatID

enhancement

minor

resolved

Broes De Cat

2011-12-16

2013-01-30

#33: Testing of basic commands

task

blocker

resolved

Broes De Cat

2.0

2011-12-09

2013-01-30

#86: needmoremodels assertion

bug

minor

resolved

2.1

2012-01-02

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

Issues

Issues (801–825 of 994)