krr / IDP / issues / #362 - Vocabularies with many symbols are too expensive — Bitbucket

Issue #362 resolved

Broes De Cat created an issue 2013-02-20

See e.g. attachment, where time is dominated by making all the checkers (which are trivial).

solution.idp

Comments (2)

Broes De Cat reporter
Improve code in termgrounders.cpp : rewriteCpTermsIntoVars()
- 2013-03-03T20:47:55+00:00
Broes De Cat reporter
- changed status to resolved
Resolved in pull request 91.
- 2013-03-08T15:12:52+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 0

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