krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Created	Updated
#440: XSB support for predicates with same name but different signature XSB	task	major	resolved	Joachim Jansen	2013-06-11	2014-01-17
#587: XSB bug	bug	major	resolved	Joachim Jansen	2013-11-14	2014-01-17
#456: Approximation bug	bug	major	resolved	Joachim Jansen	2013-07-10	2014-01-17
#527: XSB support for MIN and MAX of a type	bug	major	resolved	Joachim Jansen	2013-10-06	2014-01-17
#376: XSB Support for MIN and MAX functions XSB	bug	major	resolved	Joachim Jansen	2013-03-04	2014-01-17
#384: XSB Support for negative integers XSB	bug	major	resolved	Joachim Jansen	2013-03-08	2014-01-17
#435: Incomplete Propagating definitions Propagating definitions	bug	major	resolved	Joachim Jansen	2013-06-04	2014-01-17
#432: Propdefs not calculating everything Propagating definitions	bug	major	resolved	Joachim Jansen	2013-05-30	2014-01-17
#423: XSB support for nested divisions XSB	bug	major	resolved	Joachim Jansen	2013-05-08	2014-01-17
#418: After XSB: add Check whether calculated function is total XSB	bug	major	resolved	Joachim Jansen	2013-04-23	2014-01-17
#637: Merging theories over different vocabularies with different sorts with the same name produces a segfault	bug	major	new		2014-01-14	2014-01-14
#633: Windows build is 64-bit	bug	major	invalid		2014-01-07	2014-01-13
#634: non-domainelement changes definition	bug	major	new	Bart Bogaerts	2014-01-07	2014-01-07
#631: Stable Semantics and calculate definitions	bug	major	resolved		2014-01-06	2014-01-07
#629: xsb refers to version 3.4.0 instead of 3.3.7	bug	major	resolved	Joachim Jansen	2014-01-03	2014-01-03
#199: Add new enum-quantset form to the parser Parser	task	major	resolved	Pieter Van Hertum	2012-07-06	2014-01-03
#580: Minimum aggregates are no longer parsed	bug	major	resolved	Pieter Van Hertum	2013-11-12	2014-01-03
#255: Push quantifications down seems like a smart move in most cases	enhancement	major	resolved		2012-10-25	2014-01-03
#553: FuncInter cannot be assigned undefined image	bug	major	duplicate		2013-10-16	2014-01-03
#512: Only print predicates "Fully Qualified " when needed	enhancement	major	resolved	Pieter Van Hertum	2013-09-04	2014-01-02
#603: XSB crashes, possibly on modulo operator	bug	major	resolved	Joachim Jansen	2013-12-06	2014-01-02
#623: printing functions and predicates with the same name	bug	major	resolved	Pieter Van Hertum	2014-01-02	2014-01-02
#625: Allow ! x y sat \varphi(x,y) without brackets	bug	major	new	Ingmar Dasseville	2014-01-02	2014-01-02
#624: Extract string -> alphanumeric from XSB/entailment and reuse	enhancement	major	new		2014-01-02	2014-01-02
#616: Problems with constructed types	bug	major	resolved		2013-12-23	2014-01-02

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

XSB

task

major

resolved

Joachim Jansen

2013-06-11

2014-01-17

#587: XSB bug

bug

major

resolved

Joachim Jansen

2013-11-14

2014-01-17

#456: Approximation bug

bug

major

resolved

Joachim Jansen

2013-07-10

2014-01-17

#527: XSB support for MIN and MAX of a type

bug

major

resolved

Joachim Jansen

2013-10-06

2014-01-17

#376: XSB Support for MIN and MAX functions

XSB

bug

major

resolved

Joachim Jansen

2013-03-04

2014-01-17

#384: XSB Support for negative integers

XSB

bug

major

resolved

Joachim Jansen

2013-03-08

2014-01-17

#435: Incomplete Propagating definitions

Propagating definitions

bug

major

resolved

Joachim Jansen

2013-06-04

2014-01-17

#432: Propdefs not calculating everything

Propagating definitions

bug

major

resolved

Joachim Jansen

2013-05-30

2014-01-17

#423: XSB support for nested divisions

XSB

bug

major

resolved

Joachim Jansen

2013-05-08

2014-01-17

#418: After XSB: add Check whether calculated function is total

XSB

bug

major

resolved

Joachim Jansen

2013-04-23

2014-01-17

#637: Merging theories over different vocabularies with different sorts with the same name produces a segfault

bug

major

new

2014-01-14

#633: Windows build is 64-bit

bug

major

invalid

2014-01-07

2014-01-13

#634: non-domainelement changes definition

bug

major

new

Bart Bogaerts

2014-01-07

#631: Stable Semantics and calculate definitions

bug

major

resolved

2014-01-06

2014-01-07

#629: xsb refers to version 3.4.0 instead of 3.3.7

bug

major

resolved

Joachim Jansen

2014-01-03

#199: Add new enum-quantset form to the parser

Parser

task

major

resolved

Pieter Van Hertum

2012-07-06

2014-01-03

#580: Minimum aggregates are no longer parsed

bug

major

resolved

Pieter Van Hertum

2013-11-12

2014-01-03

#255: Push quantifications down seems like a smart move in most cases

enhancement

major

resolved

2012-10-25

2014-01-03

#553: FuncInter cannot be assigned undefined image

bug

major

duplicate

2013-10-16

2014-01-03

#512: Only print predicates "Fully Qualified " when needed

enhancement

major

resolved

Pieter Van Hertum

2013-09-04

2014-01-02

#603: XSB crashes, possibly on modulo operator

bug

major

resolved

Joachim Jansen

2013-12-06

2014-01-02

#623: printing functions and predicates with the same name

bug

major

resolved

Pieter Van Hertum

2014-01-02

#625: Allow ! x y sat \varphi(x,y) without brackets

bug

major

new

Ingmar Dasseville

2014-01-02

#624: Extract string -> alphanumeric from XSB/entailment and reuse

enhancement

major

new

2014-01-02

#616: Problems with constructed types

bug

major

resolved

2013-12-23

2014-01-02

Issues

Issues (301–325 of 688)