| 2024-08-10 |
Sven Verdoolaege | isl_tab_set_initial_basis_with_cone: clarify documentation |
blob | commitdiff |
| 2024-08-10 |
Sven Verdoolaege | isl_sample.c: sample_bounded: drop spurious space in... |
blob | commitdiff | diff to current |
| 2024-08-10 |
Sven Verdoolaege | isl_sample.c: isl_tab_sample: drop spurious space in... |
blob | commitdiff | diff to current |
| 2023-07-21 |
Sven Verdoolaege | isl_sample.c: tab_shift_cone: fix typo in comment |
blob | commitdiff | diff to current |
| 2022-06-11 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2022-06-08 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2022-03-31 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2022-02-27 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2021-09-24 |
Sven Verdoolaege | isl_sample.c: basic_set_sample: drop unused local variable |
blob | commitdiff | diff to current |
| 2021-08-31 |
Sven Verdoolaege | unexpose isl_basic_set_sample_bounded |
blob | commitdiff | diff to current |
| 2020-10-30 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2020-08-15 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2020-04-04 |
Sven Verdoolaege | isl_sample.c: vec_sum_of_neg: add memory management... |
blob | commitdiff | diff to current |
| 2020-04-04 |
Sven Verdoolaege | isl_tab_sample add memory management annotation |
blob | commitdiff | diff to current |
| 2020-04-04 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2020-02-09 |
Sven Verdoolaege | extract out shared isl_factorizer_every_factor_basic_set |
blob | commitdiff | diff to current |
| 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-08-31 |
Sven Verdoolaege | extract out shared isl_basic_set_check_no_locals |
blob | commitdiff | diff to current |
| 2018-08-31 |
Sven Verdoolaege | extract out shared isl_basic_set_check_no_params |
blob | commitdiff | diff to current |
| 2018-08-28 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2018-08-22 |
Sven Verdoolaege | isl_basic_set_sample_point: rename "dim" variable to... |
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_set_sample_bounded: add memory management... |
blob | commitdiff | diff to current |
| 2017-04-24 |
Sven Verdoolaege | isl_sample.c: vec_concat: add memory management annotations |
blob | commitdiff | diff to current |
| 2017-04-24 |
Sven Verdoolaege | isl_sample.c: shift_cone: add memory management annotations |
blob | commitdiff | diff to current |
| 2017-04-24 |
Sven Verdoolaege | isl_sample.c: round_up_in_cone: add memory management... |
blob | commitdiff | diff to current |
| 2017-04-24 |
Sven Verdoolaege | isl_sample.c: rational_sample: add memory management... |
blob | commitdiff | diff to current |
| 2017-04-24 |
Sven Verdoolaege | isl_sample.c: plug_in: add memory management annotations |
blob | commitdiff | diff to current |
| 2017-04-24 |
Sven Verdoolaege | isl_sample.c: gbr_sample: add memory management annotations |
blob | commitdiff | diff to current |
| 2017-04-24 |
Sven Verdoolaege | isl_sample.c: sample_bounded: add memory management... |
blob | commitdiff | diff to current |
| 2017-04-24 |
Sven Verdoolaege | isl_sample.c: interval_sample: add memory management... |
blob | commitdiff | diff to current |
| 2017-04-24 |
Sven Verdoolaege | isl_sample.c: zero_sample: add memory management annota... |
blob | commitdiff | diff to current |
| 2017-04-24 |
Sven Verdoolaege | isl_sample.c: sample_eq: add memory management annotations |
blob | commitdiff | diff to current |
| 2017-04-24 |
Sven Verdoolaege | isl_sample.c: empty_sample: add memory management annot... |
blob | commitdiff | diff to current |
| 2017-04-24 |
Sven Verdoolaege | isl_sample.c: basic_set_sample: add memory management... |
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_from_bmap |
blob | commitdiff | diff to current |
| 2016-11-02 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2016-07-22 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2016-06-28 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2016-06-03 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2016-05-25 |
Sven Verdoolaege | Merge branch 'maint' into HEAD |
blob | commitdiff | diff to current |
| 2016-05-06 |
Sven Verdoolaege | clearly document that isl_tab_allocate_con and its... |
blob | commitdiff | diff to current |
| 2016-04-26 |
Sven Verdoolaege | Merge branch 'maint' into release |
blob | commitdiff | diff to current |
| 2016-03-30 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2016-03-21 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2016-02-28 |
Sven Verdoolaege | isl_basic_map_sample: cache sample in input |
blob | commitdiff | diff to current |
| 2015-06-04 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2015-05-28 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2015-05-13 |
Sven Verdoolaege | isl_map_sample: avoid use of isl_basic_map_empty_like_map |
blob | commitdiff | diff to current |
| 2015-05-13 |
Sven Verdoolaege | isl_basic_map_sample: explicitly mark input as empty... |
blob | commitdiff | diff to current |
| 2015-05-12 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2015-05-02 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2015-03-27 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2015-03-13 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2015-02-21 |
Sven Verdoolaege | isl_sample.c: sample_bounded: drop unused variable |
blob | commitdiff | diff to current |
| 2015-02-21 |
Sven Verdoolaege | isl_basic_set_sample_with_cone: use isl_basic_set_get_ctx |
blob | commitdiff | diff to current |
| 2015-02-21 |
Sven Verdoolaege | isl_sample.c: sample_bounded: use isl_basic_set_get_ctx |
blob | commitdiff | diff to current |
| 2014-04-17 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2014-04-17 |
Sven Verdoolaege | isl_sample.c: tab_shift_cone: use isl_tab_extend_cons... |
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-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 |
| 2012-11-20 |
Sven Verdoolaege | isl_tab_sample: perform greedy search before performing... |
blob | commitdiff | diff to current |
| 2012-11-20 |
Sven Verdoolaege | isl_tab_sample: extract out compute_min and compute_max |
blob | commitdiff | diff to current |
| 2012-11-20 |
Sven Verdoolaege | isl_tab_sample: treat emptiness of tableau as error |
blob | commitdiff | diff to current |
| 2012-09-02 |
Sven Verdoolaege | relicense isl under the MIT license |
blob | commitdiff | diff to current |
| 2012-05-30 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2012-05-21 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2012-04-18 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2012-04-13 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2012-04-07 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
