| commit | a408c701f765035da277aae7e60fe2cb6e4007f3 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 13 Apr 2010 07:31:58 +0000 (13 09:31 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 13 Apr 2010 07:31:58 +0000 (13 09:31 +0200) | ||
| tree | e9538da56f10689a49404f64cce83d7f28a3dd7c | treesnapshot (tar.gz zip) |
| parent | 6c573431f5641840f006dd6b5c2a14da59a9f4ff | commitdiff |
doc: cite Omega library documentation on computation of underapproximations
| doc/implementation.tex | diffblobblamehistory | |
| doc/isl.bib | diffblobblamehistory |