| commit | d0a2175d2159413dea5476dd5653fea022d34597 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 28 Jan 2010 18:29:43 +0000 (28 19:29 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 28 Jan 2010 18:30:45 +0000 (28 19:30 +0100) | ||
| tree | 7dfe98bc0f5ec5fd59138d62bc570ee50acd0881 | treesnapshot (tar.gz zip) |
| parent | 66c6c9eb844c86d58744ec14319096dfbda8aa18 | commitdiff |
remove_all_equalities: handle integrally, but not rationally, empty contexts
Problem reported by Michael Classen <michael.classen@uni-passau.de>
Problem reported by Michael Classen <michael.classen@uni-passau.de>
| remove_equalities.c | diffblobblamehistory | |
| tests/ehrhart/classen2 | [new file with mode: 0644] | blob |