| 2020-10-30 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff |
| 2020-08-15 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff |
| 2020-04-04 |
Sven Verdoolaege | add memory management annotations to function definitions |
blob | commitdiff |
| 2019-03-09 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2018-12-14 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2018-10-23 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2018-10-07 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2018-09-18 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2018-09-06 |
Sven Verdoolaege | isl_*_dim: return isl_size |
blob | commitdiff | diff to current |
| 2018-09-02 |
Sven Verdoolaege | isl_map_solve_lp: use isl_map_dim |
blob | commitdiff | diff to current |
| 2018-02-25 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2018-02-17 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2017-12-26 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2017-11-16 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2017-09-16 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2017-07-26 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2017-06-12 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2017-05-17 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2017-04-26 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2017-04-24 |
Sven Verdoolaege | isl_basic_map_solve_lp: add memory management annotations |
blob | commitdiff | diff to current |
| 2017-04-24 |
Sven Verdoolaege | isl_lp.c: isl_tab_solve_lp: add memory management annot... |
blob | commitdiff | diff to current |
| 2017-04-24 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2017-03-23 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2017-03-21 |
Sven Verdoolaege | isl_lp.c: fix typo in comment |
blob | commitdiff | diff to current |
| 2017-03-07 |
Sven Verdoolaege | isl_lp.c: isl_basic_set_opt_lp_val: extract isl_basic_s... |
blob | commitdiff | diff to current |
| 2016-12-12 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2016-12-02 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2016-11-24 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2016-11-11 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2016-11-02 |
Sven Verdoolaege | extract out shared set_to_map |
blob | commitdiff | diff to current |
| 2016-11-02 |
Sven Verdoolaege | extract out shared bset_to_bmap |
blob | commitdiff | diff to current |
| 2014-04-14 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2014-04-13 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2014-04-12 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2014-04-02 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2014-01-08 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2013-12-22 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2013-10-18 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2013-09-18 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2013-08-06 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2013-07-24 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2013-07-09 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2013-07-05 |
Sven Verdoolaege | isl_basic_set_opt_lp_val_aligned: accept NULL pointer... |
blob | commitdiff | diff to current |
| 2013-06-25 |
Sven Verdoolaege | remove possible use of piplib completely |
blob | commitdiff | diff to current |
| 2013-06-25 |
Sven Verdoolaege | hide isl_vec internals |
blob | commitdiff | diff to current |
| 2013-06-25 |
Sven Verdoolaege | hide isl_seq |
blob | commitdiff | diff to current |
| 2013-06-14 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2013-06-10 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2013-05-28 |
Sven Verdoolaege | add isl_basic_set_*_lp_val |
blob | commitdiff | diff to current |
| 2012-09-02 |
Sven Verdoolaege | relicense isl under the MIT license |
blob | commitdiff | diff to current |
| 2012-01-18 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2012-01-16 |
Sven Verdoolaege | isl_tab_from_basic_map: preserve all constraints in... |
blob | commitdiff | diff to current |
| 2011-12-10 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2011-12-02 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2011-11-23 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2011-11-13 |
Sven Verdoolaege | hide isl_options structure |
blob | commitdiff | diff to current |
| 2011-10-10 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2011-10-02 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2011-09-23 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2011-09-22 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2011-09-09 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2011-09-03 |
Sven Verdoolaege | rename isl_dim to isl_space |
blob | commitdiff | diff to current |
| 2011-03-18 |
Sven Verdoolaege | isl_lp.c: avoid clang warning |
blob | commitdiff | diff to current |
| 2011-03-16 |
Sven Verdoolaege | hide isl_ctx internals |
blob | commitdiff | diff to current |
| 2011-03-10 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2011-02-05 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2011-02-05 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2011-01-27 |
Sven Verdoolaege | merge isl_basic_set/isl_basic_map and isl_set/isl_map |
blob | commitdiff | diff to current |
| 2011-01-07 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2011-01-06 |
Sven Verdoolaege | isl_basic_map_solve_lp: use denominator |
blob | commitdiff | diff to current |
| 2010-11-20 |
Sven Verdoolaege | Rename headers from isl_header.h to isl/header.h |
blob | commitdiff | diff to current |
| 2010-03-23 |
Sven Verdoolaege | add isl_set_solve_lp |
blob | commitdiff | diff to current |
| 2009-12-16 |
Sven Verdoolaege | add copyright statements |
blob | commitdiff | diff to current |
| 2009-12-16 |
Sven Verdoolaege | isl_tab_solve_lp: invert optimal value back when comput... |
blob | commitdiff | diff to current |
| 2009-10-21 |
Sven Verdoolaege | put options in a separate isl_options structure |
blob | commitdiff | diff to current |
| 2009-09-06 |
Sven Verdoolaege | isl_lp.c: add missing include |
blob | commitdiff | diff to current |
| 2009-08-28 |
Sven Verdoolaege | rename isl_solve_lp to isl_basic_{map,set}_solve_lp |
blob | commitdiff | diff to current |
| 2009-08-28 |
Sven Verdoolaege | isl_solve_lp: optionally return solution point |
blob | commitdiff | diff to current |
| 2009-07-16 |
Sven Verdoolaege | isl_tab: drop isl_ctx argument where not absolutely... |
blob | commitdiff | diff to current |
| 2009-07-13 |
Sven Verdoolaege | isl_tab: optionally save dual solution |
blob | commitdiff | diff to current |
| 2009-03-20 |
Sven Verdoolaege | isl_solve_lp: use tableaus instead of calling piplib... |
blob | commitdiff | diff to current |
| 2009-03-20 |
Sven Verdoolaege | isl_solve_lp: accept affine object function instead... |
blob | commitdiff | diff to current |
| 2008-08-25 |
Sven Verdoolaege | add convex hull computation |
blob | commitdiff | diff to current |
| 2008-08-25 |
Sven Verdoolaege | avoid preprocessor conditionals |
blob | commitdiff | diff to current |
| 2008-08-07 |
Sven Verdoolaege | Initial version of the integer set library |
blob | commitdiff | diff to current |
