krr / IDP / issues / #77 - Introduced Variables — Bitbucket

Issue #77 resolved

Bart Bogaerts created an issue 2011-12-21

Found two more problems with introduced variables:

1, in satfermat.mx WARNING: Introduced a variable with sort int for term *(x[Num],x[Num]). with Num=1..100; should be 1..10000 instead of int (anyway, still a huge grounding)

Currently, when working with floating points constants, if a variable needs to be introduced, it's an int range.

One test is failing on this: floatintleq.idp

Comments (8)

Bart Bogaerts reporter
added prints for the tests that fail on floats, see issue 77

→ e962fff1b16e
- 2011-12-21T08:08:08+00:00
Bart Bogaerts reporter
- edited description
- 2011-12-21T08:22:52+00:00
Bart Bogaerts reporter
- changed title to Introduced Variables
- 2011-12-21T08:23:00+00:00
Stef De Pooter
Fixed bug in sort derivation of introduced vars.

see issue ~~#77~~.

→ 4b1518913f7d
- 2011-12-23T14:44:29+00:00
Stef De Pooter
- changed status to resolved
- 2011-12-23T15:33:00+00:00
Broes De Cat
added prints for the tests that fail on floats, see issue 77

→ e962fff1b16e
- 2012-01-17T14:23:42+00:00
Broes De Cat
Fixed bug in sort derivation of introduced vars.

see issue ~~#77~~.

→ 4b1518913f7d
- 2012-01-17T14:23:43+00:00
Broes De Cat
- removed milestone
Removing milestone: First Release 25/12/2011 (automated comment)
- 2013-01-30T09:36:52+00:00
Log in to comment

Assignee: Stef De Pooter

Type: bug

Priority: major

Status: resolved

Component: –

Version: 2.0

Votes: 0

Watchers: 2

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