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
#853: Parsing Card Enumsets
bug
major
resolved
Pieter Van Hertum
2014-11-20
2014-11-21
#765: Printing sums
bug
major
resolved
Pieter Van Hertum
2014-06-06
2014-11-21
#632: Master is broken: aggregates
bug
major
resolved
Pieter Van Hertum
2014-01-07
2014-01-22
#480: Order of printing sorts (parseable printing)
bug
major
resolved
Pieter Van Hertum
2013-07-19
2014-01-22
#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
#512: Only print predicates "Fully Qualified " when needed
enhancement
major
resolved
Pieter Van Hertum
2013-09-04
2014-01-02
#623: printing functions and predicates with the same name
bug
major
resolved
Pieter Van Hertum
2014-01-02
2014-01-02