KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–7 of 7)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#200: Printing of procedures
task
major
new
Pieter Van Hertum
2012-07-06
2014-08-27
#745: Another case of approximation not always finding the correct generator
bug
major
new
1
Pieter Van Hertum
2014-04-28
2014-04-29
#664: Estimators for bdds should not use ints
bug
major
new
Pieter Van Hertum
2014-02-08
2014-02-12
#392: IDP printer sometimes forgets points
bug
major
new
Pieter Van Hertum
2013-03-16
2013-03-16
#142: Presburger improvement for BDDs
BDDs
enhancement
major
new
Pieter Van Hertum
2012-04-18
2013-01-30
#145: Printout all information in correct idp syntax
enhancement
major
new
Pieter Van Hertum
2012-04-26
2013-01-30
#274: Creating infinite grounding when old version didn't
bug
major
new
Pieter Van Hertum
2012-11-16
2013-01-10