Use C polyhedra not NNC as suggested by Roberto Bagnara.
commit69ec5e7f723ebac8daa18f68e629923d6f5fcd23
authorSebastian Pop <seb@napoca.(none)>
Sun, 24 Aug 2008 18:08:42 +0000 (24 13:08 -0500)
committerSebastian Pop <seb@napoca.(none)>
Sun, 24 Aug 2008 18:08:42 +0000 (24 13:08 -0500)
tree5d9549189f08a27cf6fd27230eb8b826db7e13ee
parentd7e13143404c050cdc8cfc2dfb1bd99438536d77
Use C polyhedra not NNC as suggested by Roberto Bagnara.
source/ppl/domain.c