| commit | 9e6daa8aac6058776e9547e7436e402ab33973b4 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 25 Mar 2007 13:35:54 +0000 (25 15:35 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 26 Mar 2007 12:01:17 +0000 (26 14:01 +0200) | ||
| tree | c1e22a55a3ee753a7f04813bfac15bff65922987 | treesnapshot (tar.gz zip) |
| parent | 0608eb8cdd6fe5f0fb7d0995b151ad179fd08a20 | commitdiff |
verif_ehrhart.c: round inexact evaluation up or down according to approximation
| verif_ehrhart.c | diffblobblamehistory |