projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f669545) | patch
isl_qpolynomial_substitute_equalities: don't use equalities with existentials
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 4 Nov 2010 21:16:20 +0000 (22:16 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 4 Nov 2010 21:21:01 +0000 (22:21 +0100)
commit00dcc097ba0a04c65c4615671795645d8a9e2587
tree884980de138cbea185435db417f0c8b850f28b51tree | snapshot
parentf6695459c8f993523b4bbf3f1bd0635d890ce84acommit | diff
isl_qpolynomial_substitute_equalities: don't use equalities with existentials

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_polynomial.c diff | blob | history
isl_test.c diff | blob | history
Domain: System / Uncategorized;