krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Version	Created	Updated
#26: Document and unit-test create-translation option Testing	enhancement	minor	new	Broes De Cat		2011-12-08	2013-02-03
#133: Assign sort to the interpretation of another sort. Parser	enhancement	minor	new	Broes De Cat	2.1	2012-03-22	2013-01-30
#135: Lazy grounding bug for definition	bug	major	invalid	Broes De Cat		2012-03-22	2013-01-30
#45: Lazy grounding Grounding	task	major	invalid	Broes De Cat		2011-12-09	2013-01-30
#69: Remove lua source and add build dependency	enhancement	minor	wontfix	Broes De Cat	2.1	2011-12-15	2013-01-30
#204: Empty domains for CP variables	bug	major	resolved	Broes De Cat		2012-07-20	2013-01-30
#193: Running onemodel returns structure over internal voc	bug	minor	resolved	Broes De Cat		2012-06-22	2013-01-30
#84: Clean terminating the search from requestTermination MinisatID	enhancement	minor	resolved	Broes De Cat	2.1	2012-01-02	2013-01-30
#34: type derivation Testing	task	blocker	resolved	Broes De Cat	2.0	2011-12-09	2013-01-30
#66: Incorrect wellfoundedness check MinisatID	bug	major	resolved	Broes De Cat	2.0	2011-12-15	2013-01-30
#6: AssertionException in UNSATagg.idp	bug	major	resolved	Broes De Cat	2.0	2011-12-08	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
#14: standard library files Parser	enhancement	critical	resolved	Broes De Cat	2.0	2011-12-08	2013-01-30
#55: UNSAT found, expected SAT Inferences	bug	major	resolved	Broes De Cat	2.0	2011-12-09	2013-01-30
#32: Release version assertion error on unsatagg	bug	major	duplicate	Broes De Cat	2.0	2011-12-08	2013-01-30
#56: Readline replacemet Parser	enhancement	major	resolved	Broes De Cat	2.0	2011-12-13	2013-01-30
#132: Varmapping-like bug in querying BDDs	bug	minor	resolved	Broes De Cat		2012-03-22	2013-01-30
#242: COPYRIGHT file	bug	major	resolved	Broes De Cat		2012-10-11	2013-01-30
#299: Allow feature-based unit testing Testing	enhancement	major	new	Broes De Cat		2012-12-17	2013-01-15
#192: % of full grounding	bug	minor	new	Broes De Cat		2012-06-22	2013-01-14
#316: Unnesting in Rule Bodies	bug	major	resolved	Broes De Cat		2013-01-11	2013-01-14
#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

#26: Document and unit-test create-translation option

Testing

enhancement

minor

new

Broes De Cat

2011-12-08

2013-02-03

#133: Assign sort to the interpretation of another sort.

Parser

enhancement

minor

new

Broes De Cat

2.1

2012-03-22

2013-01-30

#135: Lazy grounding bug for definition

bug

major

invalid

Broes De Cat

2012-03-22

2013-01-30

#45: Lazy grounding

Grounding

task

major

invalid

Broes De Cat

2011-12-09

2013-01-30

#69: Remove lua source and add build dependency

enhancement

minor

wontfix

Broes De Cat

2.1

2011-12-15

2013-01-30

#204: Empty domains for CP variables

bug

major

resolved

Broes De Cat

2012-07-20

2013-01-30

#193: Running onemodel returns structure over internal voc

bug

minor

resolved

Broes De Cat

2012-06-22

2013-01-30

#84: Clean terminating the search from requestTermination

MinisatID

enhancement

minor

resolved

Broes De Cat

2.1

2012-01-02

2013-01-30

#34: type derivation

Testing

task

blocker

resolved

Broes De Cat

2.0

2011-12-09

2013-01-30

#66: Incorrect wellfoundedness check

MinisatID

bug

major

resolved

Broes De Cat

2.0

2011-12-15

2013-01-30

#6: AssertionException in UNSATagg.idp

bug

major

resolved

Broes De Cat

2.0

2011-12-08

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

#14: standard library files

Parser

enhancement

critical

resolved

Broes De Cat

2.0

2011-12-08

2013-01-30

#55: UNSAT found, expected SAT

Inferences

bug

major

resolved

Broes De Cat

2.0

2011-12-09

2013-01-30

#32: Release version assertion error on unsatagg

bug

major

duplicate

Broes De Cat

2.0

2011-12-08

2013-01-30

#56: Readline replacemet

Parser

enhancement

major

resolved

Broes De Cat

2.0

2011-12-13

2013-01-30

#132: Varmapping-like bug in querying

BDDs

bug

minor

resolved

Broes De Cat

2012-03-22

2013-01-30

#242: COPYRIGHT file

bug

major

resolved

Broes De Cat

2012-10-11

2013-01-30

#299: Allow feature-based unit testing

Testing

enhancement

major

new

Broes De Cat

2012-12-17

2013-01-15

#192: % of full grounding

bug

minor

new

Broes De Cat

2012-06-22

2013-01-14

#316: Unnesting in Rule Bodies

bug

major

resolved

Broes De Cat

2013-01-11

2013-01-14

#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

Issues

Issues (51–75 of 85)