| commit | 0608eb8cdd6fe5f0fb7d0995b151ad179fd08a20 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 25 Mar 2007 12:16:07 +0000 (25 14:16 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 26 Mar 2007 11:59:11 +0000 (26 13:59 +0200) | ||
| tree | 1d4ea7ebb69e61b71cd13c9536684ed4e0ba5be2 | treesnapshot (tar.gz zip) |
| parent | 062b6d4ab4e59242b9cf1ac518781a341fd6ac52 | commitdiff |
verif_ehrhart.c: optionally use exact evaluation for testing
| evalue.c | diffblobblamehistory | |
| verif_ehrhart.c | diffblobblamehistory | |
| verify.c | diffblobblamehistory | |
| verify.h | diffblobblamehistory |