Make domain_union work with PPL: don't use Polyhedron->next to link unions of polyhedra.
commit130369962e913ee4c1b30a5edf84d52c91bbfa9d
authorSebastian Pop <seb@napoca.(none)>
Sat, 5 Jul 2008 01:30:24 +0000 (4 20:30 -0500)
committerSebastian Pop <seb@napoca.(none)>
Sat, 5 Jul 2008 01:30:24 +0000 (4 20:30 -0500)
tree83f4f52a28187f527818d262125299c14918dc4b
parenta2221cc714dfb3f27d77341912afcbc8c8f6e316
Make domain_union work with PPL: don't use Polyhedron->next to link unions of polyhedra.
include/cloog/ppl_backend.h
source/ppl/domain.c
source/ppl/matrix.h