krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Created	Updated
#380: Add regression tests for XSB XSB	task	major	resolved	Joachim Jansen	2013-03-06	2013-04-23
#401: using xsb results in segmentation fault	bug	major	wontfix		2013-03-22	2013-04-23
#321: Printing of doubles: precision	bug	major	resolved		2013-01-14	2013-04-19
#416: Allow open input predicates to be represented by ranges	enhancement	major	new	Joachim Jansen	2013-04-18	2013-04-18
#412: IDP2 faster than IDP3 for Hamiltonian Path problem	enhancement	major	duplicate		2013-04-12	2013-04-16
#407: Printing as ASP structure does not print all predicate symbols	bug	major	resolved		2013-04-01	2013-04-04
#400: Segmentation fault in ASP_system branch for KnightTourWithHoles	bug	major	resolved		2013-03-22	2013-03-22
#398: LG and minimize	bug	major	resolved		2013-03-22	2013-03-22
#391: [evaluate_defs_after_mx] Bug: xsb computation does not take pre-interpretation of defined symbols into account.	bug	major	resolved	Joachim Jansen	2013-03-15	2013-03-20
#392: IDP printer sometimes forgets points	bug	major	new	Pieter Van Hertum	2013-03-16	2013-03-16
#362: Vocabularies with many symbols are too expensive	bug	major	resolved		2013-02-20	2013-03-08
#381: Parser segfaults when using complex nested includes Parser	bug	major	resolved		2013-03-06	2013-03-06
#377: XSB Bug using function constants XSB	bug	major	resolved	Joachim Jansen	2013-03-04	2013-03-06
#118: Generators for arithmetic: order of generation BDDs	bug	major	resolved	Bart Bogaerts	2012-03-13	2013-03-06
#341: Domain-element comparison crashes propagator	bug	major	duplicate	Bart Bogaerts	2013-02-05	2013-03-06
#379: Type detection with theorem prover	proposal	major	new	Broes De Cat	2013-03-05	2013-03-05
#359: XSB Support for prednames with underscores XSB	task	major	resolved	Joachim Jansen	2013-02-19	2013-03-04
#365: XSB aggregates do not support anything other than a single predicate as formula XSB	bug	major	resolved	Joachim Jansen	2013-02-21	2013-03-04
#366: Bug with facts that have some of their arguments equal to eachother XSB	bug	major	resolved	Joachim Jansen	2013-02-21	2013-03-04
#363: Aggregate bodies transformed incorrectly into prolog XSB	bug	major	resolved	Joachim Jansen	2013-02-20	2013-03-04
#337: Transformation can't handle identity function XSB	bug	major	resolved	Joachim Jansen	2013-01-31	2013-03-04
#354: XSB interface cardinality support not working XSB	bug	major	resolved	Joachim Jansen	2013-02-18	2013-03-04
#338: Instantiated values in heads of definitions cause segfault. XSB	bug	major	resolved	Joachim Jansen	2013-01-31	2013-03-04
#333: XSB cannot handle definitions that use constants in their body	bug	major	resolved	Joachim Jansen	2013-01-25	2013-03-04
#335: Tabled declarations have wrong arity	bug	major	resolved	Joachim Jansen	2013-01-28	2013-03-04

#380: Add regression tests for XSB

XSB

task

major

resolved

Joachim Jansen

2013-03-06

2013-04-23

#401: using xsb results in segmentation fault

bug

major

wontfix

2013-03-22

2013-04-23

#321: Printing of doubles: precision

bug

major

resolved

2013-01-14

2013-04-19

#416: Allow open input predicates to be represented by ranges

enhancement

major

new

Joachim Jansen

2013-04-18

#412: IDP2 faster than IDP3 for Hamiltonian Path problem

enhancement

major

duplicate

2013-04-12

2013-04-16

#407: Printing as ASP structure does not print all predicate symbols

bug

major

resolved

2013-04-01

2013-04-04

#400: Segmentation fault in ASP_system branch for KnightTourWithHoles

bug

major

resolved

2013-03-22

#398: LG and minimize

bug

major

resolved

2013-03-22

#391: [evaluate_defs_after_mx] Bug: xsb computation does not take pre-interpretation of defined symbols into account.

bug

major

resolved

Joachim Jansen

2013-03-15

2013-03-20

#392: IDP printer sometimes forgets points

bug

major

new

Pieter Van Hertum

2013-03-16

#362: Vocabularies with many symbols are too expensive

bug

major

resolved

2013-02-20

2013-03-08

#381: Parser segfaults when using complex nested includes

Parser

bug

major

resolved

2013-03-06

#377: XSB Bug using function constants

XSB

bug

major

resolved

Joachim Jansen

2013-03-04

2013-03-06

#118: Generators for arithmetic: order of generation

BDDs

bug

major

resolved

Bart Bogaerts

2012-03-13

2013-03-06

#341: Domain-element comparison crashes propagator

bug

major

duplicate

Bart Bogaerts

2013-02-05

2013-03-06

#379: Type detection with theorem prover

proposal

major

new

Broes De Cat

2013-03-05

#359: XSB Support for prednames with underscores

XSB

task

major

resolved

Joachim Jansen

2013-02-19

2013-03-04

#365: XSB aggregates do not support anything other than a single predicate as formula

XSB

bug

major

resolved

Joachim Jansen

2013-02-21

2013-03-04

#366: Bug with facts that have some of their arguments equal to eachother

XSB

bug

major

resolved

Joachim Jansen

2013-02-21

2013-03-04

#363: Aggregate bodies transformed incorrectly into prolog

XSB

bug

major

resolved

Joachim Jansen

2013-02-20

2013-03-04

#337: Transformation can't handle identity function

XSB

bug

major

resolved

Joachim Jansen

2013-01-31

2013-03-04

#354: XSB interface cardinality support not working

XSB

bug

major

resolved

Joachim Jansen

2013-02-18

2013-03-04

#338: Instantiated values in heads of definitions cause segfault.

XSB

bug

major

resolved

Joachim Jansen

2013-01-31

2013-03-04

#333: XSB cannot handle definitions that use constants in their body

bug

major

resolved

Joachim Jansen

2013-01-25

2013-03-04

#335: Tabled declarations have wrong arity

bug

major

resolved

Joachim Jansen

2013-01-28

2013-03-04

Issues

Issues (451–475 of 688)