KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–11 of 11)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#879: Merging is slow
bug
minor
resolved
Bart Bogaerts
2015-03-17
2015-04-23
#523: Splitdefinitions is wrong in case loops are not binary
bug
minor
resolved
Bart Bogaerts
2013-10-03
2014-03-25
#592: Create progression library
enhancement
minor
resolved
Bart Bogaerts
2013-11-19
2014-02-01
#411: Invalid propagator domain
bug
minor
resolved
Bart Bogaerts
2013-04-12
2013-05-10
#373: Bug in approximation with domainelements in builtins
bug
minor
resolved
Bart Bogaerts
2013-03-01
2013-03-06
#319: Verify slow tests (blocked by #317)
bug
minor
resolved
Bart Bogaerts
2013-01-14
2013-01-14
#278: Parse error on double implications
enhancement
minor
resolved
Bart Bogaerts
2012-11-20
2013-01-10
#311: Merging of structures results segfault
bug
minor
resolved
Bart Bogaerts
2013-01-09
2013-01-09
#264: IDP throws unexpected exception
bug
minor
resolved
Bart Bogaerts
2012-11-12
2012-11-12
#215: Unit test generation of x>y using bounds
enhancement
minor
resolved
Bart Bogaerts
2012-08-27
2012-09-19
#217: Query bug in case of variable over non-matching subtypes
bug
minor
resolved
Bart Bogaerts
2012-08-28
2012-09-19