Use simplify_using_context_assign to implement domain_simplify.
commitf6d4adfd9eca8b9578256ab7f96b7386c8cf8d25
authorSebastian Pop <seb@napoca.(none)>
Fri, 22 Aug 2008 14:17:29 +0000 (22 09:17 -0500)
committerSebastian Pop <seb@napoca.(none)>
Fri, 22 Aug 2008 14:17:29 +0000 (22 09:17 -0500)
treea64eca9c2689ecfe5fa25297dae4baa8b255a32c
parentb0b47012eda4a1d46ae75b3649c2ef5f6a04a3dd
Use simplify_using_context_assign to implement domain_simplify.
115 files changed:
source/ppl/domain.c
test/1point-1.c.ppl
test/1point-2.c.ppl
test/4-param.c.ppl
test/basic-bounds-1.c.ppl
test/basic-bounds-2.c.ppl
test/basic-bounds-3.c.ppl
test/basic-bounds-4.c.ppl
test/basic-bounds-5.c.ppl
test/basic-bounds-6.c.ppl
test/byu98-1-2-3.c.ppl
test/cholesky.c.ppl
test/cholesky2.c.ppl
test/classen.c.ppl
test/darte.c.ppl
test/dartef.f.ppl
test/donotsimp.c.ppl
test/dot.c.ppl
test/dot2.c.ppl
test/double.c.ppl
test/durbin_e_s.c.ppl
test/emploi.c.ppl
test/equality.c.ppl
test/equality2.c.ppl
test/esced.c.ppl
test/ex1.c.ppl
test/forwardsub-1-1-2.c.ppl
test/forwardsub-2-1-2-3.c.ppl
test/forwardsub-3-1-2.c.ppl
test/gauss.c.ppl
test/gesced.c.ppl
test/gesced2.c.ppl
test/gesced3.c.ppl
test/guide.c.ppl
test/iftest.c.ppl
test/iftest2.c.ppl
test/iftestf.f.ppl
test/infinite.c.ppl
test/infinite2.c.ppl
test/infinite3.c.ppl
test/infinite4.c.ppl
test/largeur.c.ppl
test/levenshtein-1-2-3.c.ppl
test/levenshtein-1-2-3f.f.ppl
test/lineality-1-2.c.ppl
test/lineality-2-1-2.c.ppl
test/logo.c.ppl
test/logopar.c.ppl
test/lu.c.ppl
test/lu2.c.ppl
test/lub.c.ppl
test/lux.c.ppl
test/merge.c.ppl
test/min-1-1.c.ppl
test/min-2-1.c.ppl
test/min-3-1.c.ppl
test/min-4-1.c.ppl
test/mode.c.ppl
test/multi-mm-1.c.ppl
test/multi-stride.c.ppl
test/multi-stride2.c.ppl
test/no_lindep.c.ppl
test/non_optimal/nul_complex1.c.ppl
test/non_optimal/usvd_e_t.c.ppl
test/non_optimal/youcef.c.ppl
test/nul_basic1.c.ppl
test/nul_basic2.c.ppl
test/nul_lcpc.c.ppl
test/orc.c.ppl
test/rectangle.c.ppl
test/reservoir/QR.c.ppl
test/reservoir/bastoul3.c.ppl
test/reservoir/cholesky2.c.ppl
test/reservoir/fusion1.c.ppl
test/reservoir/fusion2.c.ppl
test/reservoir/jacobi2.c.ppl
test/reservoir/jacobi3.c.ppl
test/reservoir/lim-lam1.c.ppl
test/reservoir/lim-lam2.c.ppl
test/reservoir/lim-lam3.c.ppl
test/reservoir/lim-lam4.c.ppl
test/reservoir/lim-lam5.c.ppl
test/reservoir/lim-lam6.c.ppl
test/reservoir/liu-zhuge1.c.ppl
test/reservoir/loechner3.c.ppl
test/reservoir/loechner4.c.ppl
test/reservoir/loechner5.c.ppl
test/reservoir/mg-interp.c.ppl
test/reservoir/mg-interp2.c.ppl
test/reservoir/mg-psinv.c.ppl
test/reservoir/mg-resid.c.ppl
test/reservoir/mg-rprj3.c.ppl
test/reservoir/pingali1.c.ppl
test/reservoir/pingali2.c.ppl
test/reservoir/pingali3.c.ppl
test/reservoir/pingali4.c.ppl
test/reservoir/pingali5.c.ppl
test/reservoir/pingali6.c.ppl
test/reservoir/stride.c.ppl
test/reservoir/stride2.c.ppl
test/reservoir/tang-xue1.c.ppl
test/reservoir/two.c.ppl
test/square+triangle-1-1-2-3.c.ppl
test/swim.c.ppl
test/test.c.ppl
test/thomasset.c.ppl
test/tiling.c.ppl
test/uday_scalars.c.ppl
test/vasilache.c.ppl
test/vivien.c.ppl
test/vivien2.c.ppl
test/wavefront.c.ppl
test/yosr.c.ppl
test/yosr2.c.ppl
test/yosrf.f.ppl