KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–8 of 8)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#639: Constructor declaration does not check that a symbol is a type
bug
minor
invalid
2014-01-16
2014-12-04
#692: Improve function check for partial interpretations
task
minor
invalid
2014-02-26
2014-11-18
#746: Typederivation wrong
bug
minor
invalid
2014-05-02
2014-05-02
#520: IDP quits without explanation
bug
minor
invalid
2013-10-02
2013-10-02
#360: Type int is derived where a finite type should be derived
bug
minor
invalid
Bart Bogaerts
2013-02-19
2013-09-05
#462: c = {3} not allowed for functions
bug
minor
invalid
2013-07-11
2013-07-18
#410: Printing as ASP structure is done on one line
bug
minor
invalid
2013-04-09
2013-04-09
#181: CP support should check whether the domains are not infinite.
bug
minor
invalid
Stef De Pooter
2012-06-04
2013-03-03