krr / IDP / issues / #156 - Implement mx validation by evaluating the theory [blocked by #149] — Bitbucket

Issue #156 new

Broes De Cat created an issue 2012-05-08

Instead of running mx again on resulting structures, we should evaluate the theory in those structures when that inference task has been implemented.

Comments (3)

Broes De Cat reporter
- changed milestone to Later
- 2012-05-18T10:15:00+00:00
Broes De Cat reporter
- removed milestone
Removing milestone: Later (automated comment)
- 2013-01-30T09:39:10+00:00
Broes De Cat reporter
- changed title to Implement mx validation by evaluating the theory [blocked by #149]
- 2013-02-05T11:06:12+00:00
Log in to comment

Assignee: –

Type: enhancement

Priority: minor

Status: new

Component: –

Version: –

Votes: 0

Watchers: 0

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