krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Version	Created	Updated
#172: lua print on which stream	bug	minor	resolved			2012-05-23	2013-01-30
#164: Symmetriebreking en optimalisatie	task	major	resolved			2012-05-17	2013-01-30
#115: DeriveTermBounds should cleanly handle all functions	bug	minor	resolved	Stef De Pooter	2.1	2012-03-05	2013-01-30
#60: Link between ground and FO(.) formulas Grounding	enhancement	major	new	Roel Standaert	2.1	2011-12-13	2013-01-30
#3: Separate constant mapping from lexer specific "execute"	proposal	major	invalid			2011-12-08	2013-01-30
#130: Create workflow for inferences	proposal	major	new			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
#157: Google ranking	task	minor	new			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
#152: ECNF of optimization problem	proposal	minor	new			2012-05-04	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
#171: Print out structure in ECNF	enhancement	minor	wontfix			2012-05-23	2013-01-30

#172: lua print on which stream

bug

minor

resolved

2012-05-23

2013-01-30

#164: Symmetriebreking en optimalisatie

task

major

resolved

2012-05-17

2013-01-30

#115: DeriveTermBounds should cleanly handle all functions

bug

minor

resolved

Stef De Pooter

2.1

2012-03-05

2013-01-30

#60: Link between ground and FO(.) formulas

Grounding

enhancement

major

new

Roel Standaert

2.1

2011-12-13

2013-01-30

#3: Separate constant mapping from lexer specific "execute"

proposal

major

invalid

2011-12-08

2013-01-30

#130: Create workflow for inferences

proposal

major

new

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

#157: Google ranking

task

minor

new

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

#152: ECNF of optimization problem

proposal

minor

new

2012-05-04

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

#171: Print out structure in ECNF

enhancement

minor

wontfix

2012-05-23

2013-01-30

Issues

Issues (726–750 of 994)