krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Created	Updated
#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
#592: Create progression library	enhancement	minor	resolved	Bart Bogaerts	2013-11-19	2014-02-01
#660: make theory transformation that removes TRUE/FALSE	proposal	minor	on hold		2014-01-31	2014-01-31
#659: approximating definitions generates TRUE/FALSE atoms multiple times	enhancement	minor	new	Joachim Jansen	2014-01-31	2014-01-31
#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
#606: Windows installer installs libraries incorrectly	bug	minor	resolved		2013-12-10	2014-01-29
#652: Symmetry breaking ignores domain elements or functions	bug	major	resolved	JoD	2014-01-28	2014-01-28
#650: NoMystery gives inconsistent results	bug	critical	resolved	JoD	2014-01-27	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
#646: typo on examples page	task	trivial	resolved		2014-01-21	2014-01-21
#645: Input both on the inputstream and as arguments	bug	minor	new		2014-01-20	2014-01-20
#644: Problem with includes and multiple files	bug	major	new		2014-01-20	2014-01-20
#643: Communication aspects of interactive mode to stderr	proposal	minor	new		2014-01-19	2014-01-19
#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
#440: XSB support for predicates with same name but different signature XSB	task	major	resolved	Joachim Jansen	2013-06-11	2014-01-17

#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

#592: Create progression library

enhancement

minor

resolved

Bart Bogaerts

2013-11-19

2014-02-01

#660: make theory transformation that removes TRUE/FALSE

proposal

minor

on hold

2014-01-31

#659: approximating definitions generates TRUE/FALSE atoms multiple times

enhancement

minor

new

Joachim Jansen

2014-01-31

#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

#606: Windows installer installs libraries incorrectly

bug

minor

resolved

2013-12-10

2014-01-29

#652: Symmetry breaking ignores domain elements or functions

bug

major

resolved

JoD

2014-01-28

#650: NoMystery gives inconsistent results

bug

critical

resolved

JoD

2014-01-27

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

#646: typo on examples page

task

trivial

resolved

2014-01-21

#645: Input both on the inputstream and as arguments

bug

minor

new

2014-01-20

#644: Problem with includes and multiple files

bug

major

new

2014-01-20

#643: Communication aspects of interactive mode to stderr

proposal

minor

new

2014-01-19

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

XSB

bug

major

resolved

Joachim Jansen

2014-01-17

#440: XSB support for predicates with same name but different signature

XSB

task

major

resolved

Joachim Jansen

2013-06-11

2014-01-17

Issues

Issues (376–400 of 994)