krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Version	Created	Updated
#62: Lua Syntax	proposal	major	new			2011-12-14	2013-01-30
#45: Lazy grounding Grounding	task	major	invalid	Broes De Cat		2011-12-09	2013-01-30
#39: Overloading	enhancement	major	new			2011-12-09	2013-01-30
#38: Readline replace	proposal	minor	resolved			2011-12-09	2013-01-30
#180: Derivetermbounds can be improved	task	major	new			2012-06-04	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
#203: Lifted unit propagation should detect when it will be too expensive	enhancement	major	new			2012-07-13	2013-01-30
#170: Stable semantics option	enhancement	minor	resolved			2012-05-21	2013-01-30
#90: Symmetry Breaking vs NbModels	proposal	major	new	JoD		2012-01-12	2013-01-30
#42: Optimalisatie Grounding	enhancement	major	resolved		2.1	2011-12-09	2013-01-30
#29: Syntactische suiker	enhancement	major	new			2011-12-08	2013-01-30
#128: Specialize derive transformation when the structure is known Inferences	proposal	major	new		2.1	2012-03-21	2013-01-30
#17: UNA	proposal	major	duplicate			2011-12-08	2013-01-30
#166: Any lua object should be printable by print()	task	major	new			2012-05-17	2013-01-30
#146: emulating ASP problems	proposal	major	invalid			2012-04-30	2013-01-30
#119: Aggregates in BDDs BDDs	task	major	resolved	Bart Bogaerts		2012-03-13	2013-01-30
#160: Functions and aggregates	bug	major	wontfix			2012-05-14	2013-01-30
#92: vector<InternalArgument>* should become shared_pointers Garbage collection	bug	minor	new	Joachim Jansen		2012-01-18	2013-01-30
#145: Printout all information in correct idp syntax	enhancement	major	new	Pieter Van Hertum		2012-04-26	2013-01-30
#106: [Lazy] pull through quantifications Grounding	enhancement	major	new			2012-02-08	2013-01-30
#204: Empty domains for CP variables	bug	major	resolved	Broes De Cat		2012-07-20	2013-01-30
#212: Infinite check not working	bug	major	new			2012-08-02	2013-01-30
#202: Bug in "Liftedunitpropagation"	bug	major	resolved			2012-07-11	2013-01-30
#196: Unnesting domainelements from definition heads should not happen by default.	bug	major	resolved	Stef De Pooter		2012-06-25	2013-01-30
#194: split option groundwithbounds	task	major	resolved	Bart Bogaerts		2012-06-23	2013-01-30

#62: Lua Syntax

proposal

major

new

2011-12-14

2013-01-30

#45: Lazy grounding

Grounding

task

major

invalid

Broes De Cat

2011-12-09

2013-01-30

#39: Overloading

enhancement

major

new

2011-12-09

2013-01-30

#38: Readline replace

proposal

minor

resolved

2011-12-09

2013-01-30

#180: Derivetermbounds can be improved

task

major

new

2012-06-04

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

#203: Lifted unit propagation should detect when it will be too expensive

enhancement

major

new

2012-07-13

2013-01-30

#170: Stable semantics option

enhancement

minor

resolved

2012-05-21

2013-01-30

#90: Symmetry Breaking vs NbModels

proposal

major

new

JoD

2012-01-12

2013-01-30

#42: Optimalisatie

Grounding

enhancement

major

resolved

2.1

2011-12-09

2013-01-30

#29: Syntactische suiker

enhancement

major

new

2011-12-08

2013-01-30

#128: Specialize derive transformation when the structure is known

Inferences

proposal

major

new

2.1

2012-03-21

2013-01-30

#17: UNA

proposal

major

duplicate

2011-12-08

2013-01-30

#166: Any lua object should be printable by print()

task

major

new

2012-05-17

2013-01-30

#146: emulating ASP problems

proposal

major

invalid

2012-04-30

2013-01-30

#119: Aggregates in BDDs

BDDs

task

major

resolved

Bart Bogaerts

2012-03-13

2013-01-30

#160: Functions and aggregates

bug

major

wontfix

2012-05-14

2013-01-30

#92: vector<InternalArgument>* should become shared_pointers

Garbage collection

bug

minor

new

Joachim Jansen

2012-01-18

2013-01-30

#145: Printout all information in correct idp syntax

enhancement

major

new

Pieter Van Hertum

2012-04-26

2013-01-30

#106: [Lazy] pull through quantifications

Grounding

enhancement

major

new

2012-02-08

2013-01-30

#204: Empty domains for CP variables

bug

major

resolved

Broes De Cat

2012-07-20

2013-01-30

#212: Infinite check not working

bug

major

new

2012-08-02

2013-01-30

#202: Bug in "Liftedunitpropagation"

bug

major

resolved

2012-07-11

2013-01-30

#196: Unnesting domainelements from definition heads should not happen by default.

bug

major

resolved

Stef De Pooter

2012-06-25

2013-01-30

#194: split option groundwithbounds

task

major

resolved

Bart Bogaerts

2012-06-23

2013-01-30

Issues

Issues (751–775 of 994)