krr / IDP / issues / #631 - Stable Semantics and calculate definitions — Bitbucket

Issue #631 resolved

Ingmar Dasseville created an issue 2014-01-06

Attached file should have 2 models instead of 1

stabletest.idp

Comments (5)

Bart Bogaerts
- changed status to resolved
fixes ~~#631~~. during stable semantics, do not calculate non-total definitions.

→ <<cset 90217702cc68>>
- 2014-01-06T15:09:17+00:00
Bart Bogaerts
fixes ~~#631~~. during stable semantics, do not calculate non-total definitions.

t push ori # modified: src/inferences/definitionevaluation/CalculateDefinitions.cpp

→ <<cset ca4bd77d45d1>>
- 2014-01-06T16:54:30+00:00
Bart Bogaerts
Merged in stable (pull request #185)

fixes ~~#631~~. during stable semantics, do not calculate non-total definitions.

→ <<cset 01ca97b9d7af>>
- 2014-01-06T16:56:26+00:00
Ingmar Dasseville reporter
fixes ~~#631~~. during stable semantics, do not calculate non-total definitions.

t push ori # modified: src/inferences/definitionevaluation/CalculateDefinitions.cpp

→ <<cset 16be4e32ada5>>
- 2014-01-07T11:51:10+00:00
Bart Bogaerts
Huh @ingdas waar ben je mee bezig?
- 2014-01-07T12:25:52+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 2

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