krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Created	Updated
#499: Fobdds, functions, equality and derived symbols don't really work well together BDDs	enhancement	major	new		2013-08-14	2014-02-25
#680: Make unification "predicate" smarter such that it does not result in an infinite type generator	enhancement	major	new	Joachim Jansen	2014-02-17	2014-02-17
#655: XSB quotes domainelements XSB	bug	major	invalid	Joachim Jansen	2014-01-29	2014-02-14
#671: Make XSB usage of operators less naive XSB	enhancement	major	new		2014-02-12	2014-02-12
#670: XSB transformation should use Pieters' query intelligence	bug	major	new		2014-02-12	2014-02-12
#664: Estimators for bdds should not use ints	bug	major	new	Pieter Van Hertum	2014-02-08	2014-02-12
#669: functiedefinities en LUP gaat serieus mis	bug	major	new		2014-02-11	2014-02-11
#668: local vars in lua procedures	bug	major	new		2014-02-11	2014-02-11
#662: Performance issues for large datasets	enhancement	major	new		2014-02-04	2014-02-10
#665: Cardinality aggterm should not have "1" as a subterm	enhancement	major	new		2014-02-08	2014-02-09
#663: Checkconsistency not smart enough	bug	major	new		2014-02-08	2014-02-08
#653: XSB does not handle ints very well	bug	major	resolved	Joachim Jansen	2014-01-28	2014-02-06
#501: Less grounding by (syntactix/semantic) shared Tseitin introduction.	enhancement	major	new		2013-08-17	2014-02-03
#658: one of the idptests fails	bug	major	duplicate	Broes De Cat	2014-01-31	2014-01-31
#656: resolve symbolic links to the idp executable	bug	major	resolved	Ingmar Dasseville	2014-01-30	2014-01-30
#654: Bug in lazy cp atoms	bug	major	open	Broes De Cat	2014-01-28	2014-01-30
#652: Symmetry breaking ignores domain elements or functions	bug	major	resolved	JoD	2014-01-28	2014-01-28
#651: default approximation cannot handle some packing problem instances	bug	major	new		2014-01-27	2014-01-27
#648: Add README instructions on how to update with new version of XSB source code.	task	major	open	Joachim Jansen	2014-01-24	2014-01-27
#649: Definitions need approximation and recursion check!	bug	major	new		2014-01-25	2014-01-25
#647: Unnesting does not respect our semantics!	bug	major	new		2014-01-23	2014-01-24
#632: Master is broken: aggregates	bug	major	resolved	Pieter Van Hertum	2014-01-07	2014-01-22
#480: Order of printing sorts (parseable printing)	bug	major	resolved	Pieter Van Hertum	2013-07-19	2014-01-22
#644: Problem with includes and multiple files	bug	major	new		2014-01-20	2014-01-20
#642: XSB Definition evaluation incorrect when a variable ranges over a stricter type XSB	bug	major	resolved	Joachim Jansen	2014-01-17	2014-01-17

#499: Fobdds, functions, equality and derived symbols don't really work well together

BDDs

enhancement

major

new

2013-08-14

2014-02-25

#680: Make unification "predicate" smarter such that it does not result in an infinite type generator

enhancement

major

new

Joachim Jansen

2014-02-17

#655: XSB quotes domainelements

XSB

bug

major

invalid

Joachim Jansen

2014-01-29

2014-02-14

#671: Make XSB usage of operators less naive

XSB

enhancement

major

new

2014-02-12

#670: XSB transformation should use Pieters' query intelligence

bug

major

new

2014-02-12

#664: Estimators for bdds should not use ints

bug

major

new

Pieter Van Hertum

2014-02-08

2014-02-12

#669: functiedefinities en LUP gaat serieus mis

bug

major

new

2014-02-11

#668: local vars in lua procedures

bug

major

new

2014-02-11

#662: Performance issues for large datasets

enhancement

major

new

2014-02-04

2014-02-10

#665: Cardinality aggterm should not have "1" as a subterm

enhancement

major

new

2014-02-08

2014-02-09

#663: Checkconsistency not smart enough

bug

major

new

2014-02-08

#653: XSB does not handle ints very well

bug

major

resolved

Joachim Jansen

2014-01-28

2014-02-06

#501: Less grounding by (syntactix/semantic) shared Tseitin introduction.

enhancement

major

new

2013-08-17

2014-02-03

#658: one of the idptests fails

bug

major

duplicate

Broes De Cat

2014-01-31

#656: resolve symbolic links to the idp executable

bug

major

resolved

Ingmar Dasseville

2014-01-30

#654: Bug in lazy cp atoms

bug

major

open

Broes De Cat

2014-01-28

2014-01-30

#652: Symmetry breaking ignores domain elements or functions

bug

major

resolved

JoD

2014-01-28

#651: default approximation cannot handle some packing problem instances

bug

major

new

2014-01-27

#648: Add README instructions on how to update with new version of XSB source code.

task

major

open

Joachim Jansen

2014-01-24

2014-01-27

#649: Definitions need approximation and recursion check!

bug

major

new

2014-01-25

#647: Unnesting does not respect our semantics!

bug

major

new

2014-01-23

2014-01-24

#632: Master is broken: aggregates

bug

major

resolved

Pieter Van Hertum

2014-01-07

2014-01-22

#480: Order of printing sorts (parseable printing)

bug

major

resolved

Pieter Van Hertum

2013-07-19

2014-01-22

#644: Problem with includes and multiple files

bug

major

new

2014-01-20

#642: XSB Definition evaluation incorrect when a variable ranges over a stricter type

XSB

bug

major

resolved

Joachim Jansen

2014-01-17

Issues

Issues (276–300 of 688)