krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Version	Created	Updated
#117: standard library	proposal	major	new			2012-03-11	2013-01-30
#142: Presburger improvement for BDDs BDDs	enhancement	major	new	Pieter Van Hertum		2012-04-18	2013-01-30
#124: Syntax of enumsetexpression Parser	enhancement	major	invalid			2012-03-19	2013-01-30
#9: Infinite structures	enhancement	major	new			2011-12-08	2013-01-30
#138: Do the generators NEED to generate in Compare order?	task	major	new			2012-03-29	2013-01-30
#155: Write unit tests for isSubVocabulary	enhancement	major	new			2012-05-08	2013-01-30
#158: Structure should be updated when vocabulary changes	bug	major	resolved			2012-05-11	2013-01-30
#28: [Inference] Find (minimal) domain such that Inferences	proposal	major	new			2011-12-08	2013-01-30
#153: More warnings while parsing Parser	proposal	major	new			2012-05-07	2013-01-30
#125: Prioritized optimization	proposal	major	new		2.1	2012-03-20	2013-01-30
#94: Segfault in modelexpand	bug	major	wontfix			2012-01-23	2013-01-30
#141: Propagation for aggregates BDDs	task	major	new		2.0	2012-04-16	2013-01-30
#184: Shared tseitin cost AND push quant effect of BDD rewriting	bug	major	new	Bart Bogaerts		2012-06-12	2013-01-30
#187: Very large bdds	bug	major	resolved	Bart Bogaerts		2012-06-20	2013-01-30
#93: data files when developing	bug	major	wontfix			2012-01-18	2013-01-30
#7: in interactive, cannot type a space after a command	bug	major	resolved			2011-12-08	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
#180: Derivetermbounds can be improved	task	major	new			2012-06-04	2013-01-30
#203: Lifted unit propagation should detect when it will be too expensive	enhancement	major	new			2012-07-13	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

#117: standard library

proposal

major

new

2012-03-11

2013-01-30

#142: Presburger improvement for BDDs

BDDs

enhancement

major

new

Pieter Van Hertum

2012-04-18

2013-01-30

#124: Syntax of enumsetexpression

Parser

enhancement

major

invalid

2012-03-19

2013-01-30

#9: Infinite structures

enhancement

major

new

2011-12-08

2013-01-30

#138: Do the generators NEED to generate in Compare order?

task

major

new

2012-03-29

2013-01-30

#155: Write unit tests for isSubVocabulary

enhancement

major

new

2012-05-08

2013-01-30

#158: Structure should be updated when vocabulary changes

bug

major

resolved

2012-05-11

2013-01-30

#28: [Inference] Find (minimal) domain such that

Inferences

proposal

major

new

2011-12-08

2013-01-30

#153: More warnings while parsing

Parser

proposal

major

new

2012-05-07

2013-01-30

#125: Prioritized optimization

proposal

major

new

2.1

2012-03-20

2013-01-30

#94: Segfault in modelexpand

bug

major

wontfix

2012-01-23

2013-01-30

#141: Propagation for aggregates

BDDs

task

major

new

2.0

2012-04-16

2013-01-30

#184: Shared tseitin cost AND push quant effect of BDD rewriting

bug

major

new

Bart Bogaerts

2012-06-12

2013-01-30

#187: Very large bdds

bug

major

resolved

Bart Bogaerts

2012-06-20

2013-01-30

#93: data files when developing

bug

major

wontfix

2012-01-18

2013-01-30

#7: in interactive, cannot type a space after a command

bug

major

resolved

2011-12-08

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

#180: Derivetermbounds can be improved

task

major

new

2012-06-04

2013-01-30

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

enhancement

major

new

2012-07-13

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

Issues

Issues (501–525 of 688)