krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Created	Updated
#317: Quantify in fobddmanager	bug	major	resolved	Bart Bogaerts	2013-01-11	2013-01-14
#312: lua print is very slow because it does not use streams but has to return a complete string.	enhancement	minor	new	Stef De Pooter	2013-01-09	2013-01-13
#313: Should turn all our tostring operations into << operators taking a stream!	bug	major	resolved	Broes De Cat	2013-01-09	2013-01-11
#241: Naamgeving Runidp vs IDP	bug	major	resolved		2012-10-11	2013-01-11
#278: Parse error on double implications	enhancement	minor	resolved	Bart Bogaerts	2012-11-20	2013-01-10
#274: Creating infinite grounding when old version didn't	bug	major	new	Pieter Van Hertum	2012-11-16	2013-01-10
#306: Approximation cannot be used in recursive rules Grounding	bug	major	resolved		2013-01-07	2013-01-10
#314: Printing of structures adds strange comma's to a predicate's interpretation.	bug	major	resolved		2013-01-09	2013-01-10
#206: Grounder should use SATstate of solver	bug	major	resolved	Bart Bogaerts	2012-07-23	2013-01-10
#315: Test framework returns 1 if success, while bash returns 0 in that case	enhancement	trivial	new		2013-01-10	2013-01-10
#311: Merging of structures results segfault	bug	minor	resolved	Bart Bogaerts	2013-01-09	2013-01-09
#231: First generate certainly, then possibly table	enhancement	minor	new	Bart Bogaerts	2012-09-27	2013-01-09
#310: checkConsistency can be done more efficient	enhancement	minor	new		2013-01-09	2013-01-09
#307: Several parsetests failing	bug	major	resolved	Bart Bogaerts	2013-01-08	2013-01-08
#248: Sort derivation incorrect for nested aggregates	bug	major	resolved	Bart Bogaerts	2012-10-21	2013-01-08
#309: Better out of bounds generation for ranges	enhancement	minor	new		2013-01-08	2013-01-08
#308: Cannot use predicate with same name as type Parser	bug	minor	new		2013-01-08	2013-01-08
#207: pdflatex in cmake geeft te weinig output	bug	major	invalid		2012-07-24	2013-01-07
#273: Shutdown failed, aborting.	bug	major	resolved		2012-11-15	2013-01-07
#257: Bdd generation crashes if there are free variables present	bug	major	resolved	Bart Bogaerts	2012-11-05	2013-01-07
#269: Nqueens using an unreasonable amount of memory	bug	major	open	Joachim Jansen	2012-11-12	2013-01-07
#300: Segfault when assigning predicates of another vocabulary in a structure Parser	bug	minor	resolved		2012-12-18	2013-01-07
#250: Infinite grounding where there shouldnt be one	bug	major	resolved		2012-10-21	2013-01-07
#270: Merging Fails	bug	major	resolved	Bart Bogaerts	2012-11-13	2013-01-07
#289: Segfault when minizing over a term of another vocabulary	bug	major	resolved	Broes De Cat	2012-12-05	2013-01-07

#317: Quantify in fobddmanager

bug

major

resolved

Bart Bogaerts

2013-01-11

2013-01-14

#312: lua print is very slow because it does not use streams but has to return a complete string.

enhancement

minor

new

Stef De Pooter

2013-01-09

2013-01-13

#313: Should turn all our tostring operations into << operators taking a stream!

bug

major

resolved

Broes De Cat

2013-01-09

2013-01-11

#241: Naamgeving Runidp vs IDP

bug

major

resolved

2012-10-11

2013-01-11

#278: Parse error on double implications

enhancement

minor

resolved

Bart Bogaerts

2012-11-20

2013-01-10

#274: Creating infinite grounding when old version didn't

bug

major

new

Pieter Van Hertum

2012-11-16

2013-01-10

#306: Approximation cannot be used in recursive rules

Grounding

bug

major

resolved

2013-01-07

2013-01-10

#314: Printing of structures adds strange comma's to a predicate's interpretation.

bug

major

resolved

2013-01-09

2013-01-10

#206: Grounder should use SATstate of solver

bug

major

resolved

Bart Bogaerts

2012-07-23

2013-01-10

#315: Test framework returns 1 if success, while bash returns 0 in that case

enhancement

trivial

new

2013-01-10

#311: Merging of structures results segfault

bug

minor

resolved

Bart Bogaerts

2013-01-09

#231: First generate certainly, then possibly table

enhancement

minor

new

Bart Bogaerts

2012-09-27

2013-01-09

#310: checkConsistency can be done more efficient

enhancement

minor

new

2013-01-09

#307: Several parsetests failing

bug

major

resolved

Bart Bogaerts

2013-01-08

#248: Sort derivation incorrect for nested aggregates

bug

major

resolved

Bart Bogaerts

2012-10-21

2013-01-08

#309: Better out of bounds generation for ranges

enhancement

minor

new

2013-01-08

#308: Cannot use predicate with same name as type

Parser

bug

minor

new

2013-01-08

#207: pdflatex in cmake geeft te weinig output

bug

major

invalid

2012-07-24

2013-01-07

#273: Shutdown failed, aborting.

bug

major

resolved

2012-11-15

2013-01-07

#257: Bdd generation crashes if there are free variables present

bug

major

resolved

Bart Bogaerts

2012-11-05

2013-01-07

#269: Nqueens using an unreasonable amount of memory

bug

major

open

Joachim Jansen

2012-11-12

2013-01-07

#300: Segfault when assigning predicates of another vocabulary in a structure

Parser

bug

minor

resolved

2012-12-18

2013-01-07

#250: Infinite grounding where there shouldnt be one

bug

major

resolved

2012-10-21

2013-01-07

#270: Merging Fails

bug

major

resolved

Bart Bogaerts

2012-11-13

2013-01-07

#289: Segfault when minizing over a term of another vocabulary

bug

major

resolved

Broes De Cat

2012-12-05

2013-01-07

Issues

Issues (876–900 of 994)