| commit | b49d12dfcb3e18c56f336ad754ed1177faf91851 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 11 Oct 2007 12:06:40 +0000 (11 14:06 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 25 Oct 2007 15:59:55 +0000 (25 17:59 +0200) | ||
| tree | 1fbe08da6cc9d60c0d6da3efde27d9810dc80d16 | treesnapshot (tar.gz zip) |
| parent | 8184939f55a4b2179c36b0888818cf91e7f2da98 | commitdiff |
count_points_e: fall back to count_points if there are no existentials
| util.c | diffblobblamehistory | |
| verif_ehrhart.c | diffblobblamehistory |