limit parameters in context to possible values of corresponding variables
commit2a9823163866c3786a69335c2b09995e767dcbb8
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 16 Jan 2012 19:46:34 +0000 (16 20:46 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 6 Mar 2012 11:52:22 +0000 (6 12:52 +0100)
treec5906645860ca9f11bfb91d676cc54cb69a184a5
parent9540d85b44a46c17c097c42a41bdae3eb1c1a52a
limit parameters in context to possible values of corresponding variables

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
25 files changed:
scan.cc
tests/ceild.scop
tests/conditional_assignment.scop
tests/conditional_assignment2.scop
tests/dec.scop
tests/dec2.scop
tests/dec3.scop
tests/dec4.scop
tests/empty_domain.scop
tests/floord.scop
tests/floord2.scop
tests/implicit_condition.scop
tests/inc.scop
tests/inc2.scop
tests/inc3.scop
tests/iterator_declaration.scop
tests/matmul.scop
tests/max.scop
tests/min.scop
tests/min2.scop
tests/mod.scop
tests/piecewise.scop
tests/piecewise2.scop
tests/propagate.scop
tests/quasi_affine.scop