| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2011-04-21 | doc: add a note on the accuracy of our approximation | Sven Verdoolaege | 1 | -0/+7 |
| 2011-03-18 | doc: add some implementation details on parametric integer programming | Sven Verdoolaege | 1 | -0/+213 |
| 2010-06-28 | doc: drop duplicate booktitle from Kelly1996closure bib entry | Sven Verdoolaege | 1 | -1/+0 |
| 2010-04-15 | isl_map_transitive_closure: use Floyd-Warshall on disjoint domains and ranges | Sven Verdoolaege | 1 | -0/+15 |
| 2010-04-13 | doc: cite Omega library documentation on computation of underapproximations | Sven Verdoolaege | 1 | -0/+8 |
| 2010-04-01 | isl_map_transitive_closure: coalesce after each step | Sven Verdoolaege | 1 | -0/+9 |
| 2010-03-14 | document transitive closure implementation | Sven Verdoolaege | 1 | -0/+62 |
 |
index : platform/upstream/isl | |
| Domain: System / Uncategorized; |
| summaryrefslogtreecommitdiff |