krr / IDP / issues — Bitbucket

Title	T	P	Status	Votes	Assignee	Created	Updated
#424: Generating with bounds with subtypes?	bug	major	new		Bart Bogaerts	2013-05-10	2013-10-02
#521: Programming By Optimization	proposal	major	new			2013-10-02	2013-10-02
#520: IDP quits without explanation	bug	minor	invalid			2013-10-02	2013-10-02
#514: Definition grounding is really inefficient for large relationships	bug	major	new			2013-09-05	2013-09-05
#360: Type int is derived where a finite type should be derived	bug	minor	invalid		Bart Bogaerts	2013-02-19	2013-09-05
#328: Update documentation for changed lua	bug	major	duplicate		Broes De Cat	2013-01-22	2013-09-05
#513: Adapt parser and documentation to accept input defined in the Warren paper	bug	major	new			2013-09-05	2013-09-05
#244: Deletion issues	bug	major	resolved		Joachim Jansen	2012-10-15	2013-09-05
#510: Try to model LTC with the new constructor functoins	task	minor	new			2013-09-03	2013-09-04
#508: Autocompletion should know that it cannot autocomplete constructed types	bug	major	resolved		Broes De Cat	2013-08-29	2013-08-29
#506: Bug in cpsupported grounderfactory	bug	major	resolved		Broes De Cat	2013-08-29	2013-08-29
#503: Allow conjunctions in heads Parser	enhancement	minor	new	1		2013-08-28	2013-08-29
#502: Add tutorial examples to test suite	task	minor	new			2013-08-22	2013-08-27
#226: Lazy grounding and groundwithbounds	bug	major	resolved			2012-09-14	2013-08-17
#348: Do not replace bdds by their evaluation after approximation.	enhancement	major	invalid		Bart Bogaerts	2013-02-11	2013-08-17
#201: Lifted unit propagation iterates over the full structure	enhancement	major	resolved			2012-07-10	2013-08-17
#417: Necessary improvements to approximation	enhancement	major	resolved			2013-04-19	2013-08-17
#399: Lazy grounding and bounds	bug	major	resolved			2013-03-22	2013-08-17
#349: Terugpropageren unit propagatie minisatid	enhancement	major	new		Broes De Cat	2013-02-11	2013-08-17
#395: What are the semantics for defined functions?	bug	major	resolved			2013-03-19	2013-08-17
#427: Grounding overflow when searching multiple models. cp-support	bug	major	resolved			2013-05-23	2013-08-17
#451: Iteratively generate additional models.	enhancement	major	new			2013-06-21	2013-08-17
#495: Incorrect query results when dependent on function constraints.	bug	major	resolved		Bart Bogaerts	2013-08-08	2013-08-14
#251: Bug in product using cp	bug	major	resolved			2012-10-21	2013-08-10
#331: Allow interrupting minimization to return best model found to date.	enhancement	minor	resolved			2013-01-22	2013-08-10

#424: Generating with bounds with subtypes?

bug

major

new

Bart Bogaerts

2013-05-10

2013-10-02

#521: Programming By Optimization

proposal

major

new

2013-10-02

#520: IDP quits without explanation

bug

minor

invalid

2013-10-02

#514: Definition grounding is really inefficient for large relationships

bug

major

new

2013-09-05

#360: Type int is derived where a finite type should be derived

bug

minor

invalid

Bart Bogaerts

2013-02-19

2013-09-05

#328: Update documentation for changed lua

bug

major

duplicate

Broes De Cat

2013-01-22

2013-09-05

#513: Adapt parser and documentation to accept input defined in the Warren paper

bug

major

new

2013-09-05

#244: Deletion issues

bug

major

resolved

Joachim Jansen

2012-10-15

2013-09-05

#510: Try to model LTC with the new constructor functoins

task

minor

new

2013-09-03

2013-09-04

#508: Autocompletion should know that it cannot autocomplete constructed types

bug

major

resolved

Broes De Cat

2013-08-29

#506: Bug in cpsupported grounderfactory

bug

major

resolved

Broes De Cat

2013-08-29

#503: Allow conjunctions in heads

Parser

enhancement

minor

new

1

2013-08-28

2013-08-29

#502: Add tutorial examples to test suite

task

minor

new

2013-08-22

2013-08-27

#226: Lazy grounding and groundwithbounds

bug

major

resolved

2012-09-14

2013-08-17

#348: Do not replace bdds by their evaluation after approximation.

enhancement

major

invalid

Bart Bogaerts

2013-02-11

2013-08-17

#201: Lifted unit propagation iterates over the full structure

enhancement

major

resolved

2012-07-10

2013-08-17

#417: Necessary improvements to approximation

enhancement

major

resolved

2013-04-19

2013-08-17

#399: Lazy grounding and bounds

bug

major

resolved

2013-03-22

2013-08-17

#349: Terugpropageren unit propagatie minisatid

enhancement

major

new

Broes De Cat

2013-02-11

2013-08-17

#395: What are the semantics for defined functions?

bug

major

resolved

2013-03-19

2013-08-17

#427: Grounding overflow when searching multiple models.

cp-support

bug

major

resolved

2013-05-23

2013-08-17

#451: Iteratively generate additional models.

enhancement

major

new

2013-06-21

2013-08-17

#495: Incorrect query results when dependent on function constraints.

bug

major

resolved

Bart Bogaerts

2013-08-08

2013-08-14

#251: Bug in product using cp

bug

major

resolved

2012-10-21

2013-08-10

#331: Allow interrupting minimization to return best model found to date.

enhancement

minor

resolved

2013-01-22

2013-08-10

Issues

Issues (551–575 of 994)