krr / IDP / issues / #163 - CHECKTERMINATION in printers — Bitbucket

Issue #163 resolved

Bart Bogaerts created an issue 2012-05-17

Daar ook nog in plaatsen (print(ground(T,S)) kan anders nogal lang duren

Comments (3)

Broes De Cat
- changed milestone to Second Release
- 2012-05-18T10:06:44+00:00
Broes De Cat
- changed status to resolved
Refs ~~#164~~ #90, fixes ~~#163~~ fixes ~~#115~~

Printers also use checkTermination. Derivetermbounds throws an internal exception whenever no bounds could be derived. Several types should still be handled. Symmetrybreaking throws a warning when multiple models are requested. Symmetrybreaking + optimization now throws.

→ 7a018a91f28d
- 2012-05-18T14:09:52+00:00
Broes De Cat
- removed milestone
Removing milestone: Second Release (automated comment)
- 2013-01-30T09:36:54+00:00
Log in to comment

Assignee: –

Type: task

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 1

Jira: the preferred issue tracker for Bitbucket. Join the team!