Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-06-10 | Merge branch 'maint' | Sven Verdoolaege | 1 | -2/+4 |
2013-06-05 | isl_basic_set_opt: avoid invalid access on error path | Sven Verdoolaege | 1 | -2/+4 |
2013-05-28 | add isl_set_min_val | Sven Verdoolaege | 1 | -0/+12 |
2013-05-28 | add isl_set_max_val | Sven Verdoolaege | 1 | -0/+38 |
2013-05-28 | add isl_basic_set_max_val | Sven Verdoolaege | 1 | -0/+70 |
2012-09-02 | relicense isl under the MIT license | Sven Verdoolaege | 1 | -1/+1 |
2012-08-02 | isl_set_opt: align parameters | Sven Verdoolaege | 1 | -1/+31 |
2011-09-03 | rename isl_dim to isl_space | Sven Verdoolaege | 1 | -2/+2 |
2011-07-20 | add isl_set_min | Sven Verdoolaege | 1 | -0/+6 |
2011-05-20 | add isl_basic_set_max | Sven Verdoolaege | 1 | -0/+6 |
2011-05-16 | add isl_set_max | Sven Verdoolaege | 1 | -0/+140 |
2011-05-05 | rename *_fast_* functions to *_plain_* | Sven Verdoolaege | 1 | -1/+1 |
2011-03-16 | hide isl_ctx internals | Sven Verdoolaege | 1 | -0/+1 |
2011-01-27 | merge isl_basic_set/isl_basic_map and isl_set/isl_map | Sven Verdoolaege | 1 | -1/+1 |
2010-11-20 | Rename headers from isl_header.h to isl/header.h | Sven Verdoolaege | 1 | -2/+2 |
2009-12-16 | add copyright statements | Sven Verdoolaege | 1 | -0/+9 |
2009-10-21 | isl_basic_set_solve_ilp: handle obviously empty sets | Sven Verdoolaege | 1 | -0/+3 |
2009-10-21 | isl_basic_set_solve_ilp: fix handling of sets with equalities | Sven Verdoolaege | 1 | -1/+3 |
2009-10-08 | isl_ilp.c: separate out solve_ilp_search | Sven Verdoolaege | 1 | -47/+67 |
2009-09-13 | rename isl_basic_set_sample to isl_basic_set_sample_vec | Sven Verdoolaege | 1 | -2/+2 |
2009-09-13 | make some internal functions static | Sven Verdoolaege | 1 | -1/+1 |
2009-08-28 | add generalized basis reduction based ILP solver | Sven Verdoolaege | 1 | -0/+298 |