Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2008-08-25 | sample: remove lineality and skew into positive orthant | Sven Verdoolaege | 1 | -3/+3 |
2008-08-25 | add convex hull computation | Sven Verdoolaege | 1 | -0/+4 |
2008-08-25 | isl_basic_set_sample: remove equalities first | Sven Verdoolaege | 1 | -0/+74 |