| commit | 69d0f8eb941a80d94caf09c014f0ff9f832fbcbb | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 14 Feb 2007 12:24:57 +0000 (14 13:24 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 14 Feb 2007 12:24:57 +0000 (14 13:24 +0100) | ||
| tree | 0a0bfdbe7138ba26f410cc96714133cd7521261d | treesnapshot (tar.gz zip) |
| parent | 91549d75f2d1f17701f3e820a26372065bf3c772 | commitdiff |
verif_ehrhart.c: check lower and upper polynomial approximations
| verif_ehrhart.c | diffblobblamehistory |