Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2010-11-20 | Rename headers from isl_header.h to isl/header.h | Sven Verdoolaege | 1 | -1/+1 |
2010-10-11 | export isl_basic_set_reduced_basis | Sven Verdoolaege | 1 | -1/+0 |
2010-09-04 | add public API for matrices | Sven Verdoolaege | 1 | -1/+1 |
2009-12-16 | add copyright statements | Sven Verdoolaege | 1 | -0/+9 |
2009-10-09 | isl_tab_compute_reduced_basis: allow incremental computation | Sven Verdoolaege | 1 | -1/+1 |
2009-10-09 | separate out isl_tab_reduced_basis from isl_basic_set_reduced_basis | Sven Verdoolaege | 1 | -0/+2 |
2009-07-15 | introduce generalized basis reduction based sampling | Sven Verdoolaege | 1 | -0/+17 |