mmaness/JULIE — Issue #3: Bounds and Variables
Author: mmaness
Created: 2011-11-06 21:22:38+00:00
State: open

The current implementation of JULIE does not handle bounds with variables in it. There is some concern about the variables resulting in bounds where the lower bound is greater than the upper bound or uninitialized variables.

JULIE just ignores all variable bounds at the moment, this needs to be fixed at some point.