Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2009-09-13 | add isl_basic_map_from_constraint | Sven Verdoolaege | 1 | -0/+2 |
2009-09-12 | add isl_basic_map_universe_like | Sven Verdoolaege | 1 | -0/+2 |
2009-09-09 | add isl_map_lex_lt and isl_map_lex_gt | Sven Verdoolaege | 1 | -0/+2 |
2009-09-06 | add some memory management annotations | Sven Verdoolaege | 7 | -147/+179 |
2009-09-06 | export isl_basic_set_project_out | Sven Verdoolaege | 1 | -0/+2 |
2009-09-06 | isl_assert: validate all arguments and fix up fallout | Sven Verdoolaege | 1 | -1/+7 |
2009-09-06 | export isl_seq_cmp | Sven Verdoolaege | 1 | -0/+1 |
2009-09-06 | fix return type of isl_constraint_free | Sven Verdoolaege | 1 | -1/+1 |
2009-09-06 | fix return type of isl_div_free | Sven Verdoolaege | 1 | -1/+1 |
2009-09-06 | declare flexarrays of size 1 to silence sun compiler | Sven Verdoolaege | 3 | -3/+3 |
2009-09-06 | change isl_basic_map_empty interface for consistency | Sven Verdoolaege | 1 | -2/+1 |
2009-09-06 | separate out config header from isl_ctx.h | Sven Verdoolaege | 2 | -3/+3 |
2009-08-30 | add isl_map_sum | Sven Verdoolaege | 1 | -0/+1 |
2009-08-30 | add isl_map_floordiv | Sven Verdoolaege | 1 | -0/+1 |
2009-08-30 | add isl_map_neg | Sven Verdoolaege | 1 | -0/+2 |
2009-08-30 | add isl_map_is_strict_subset | Sven Verdoolaege | 1 | -0/+1 |
2009-08-30 | add isl_map_fast_is_fixed | Sven Verdoolaege | 1 | -0/+2 |
2009-08-30 | add isl_map_identity_like | Sven Verdoolaege | 1 | -0/+1 |
2009-08-30 | rename isl_map_identity_like to isl_map_identity_like_basic_map | Sven Verdoolaege | 1 | -1/+1 |
2009-08-28 | isl_seq_normalize: use pre-allocated temporary variable in isl_ctx | Sven Verdoolaege | 2 | -1/+4 |
2009-08-28 | add isl_vec_normalize | Sven Verdoolaege | 1 | -0/+1 |
2009-08-28 | add generalized basis reduction based ILP solver | Sven Verdoolaege | 1 | -0/+18 |
2009-08-28 | export isl_vec_ceil | Sven Verdoolaege | 1 | -0/+1 |
2009-08-28 | isl_basic_set_sample: only perform basis reduction once | Sven Verdoolaege | 1 | -0/+4 |
2009-08-28 | rename isl_solve_lp to isl_basic_{map,set}_solve_lp | Sven Verdoolaege | 1 | -1/+6 |
2009-08-28 | isl_solve_lp: optionally return solution point | Sven Verdoolaege | 1 | -1/+2 |
2009-08-28 | export isl_vec header | Sven Verdoolaege | 1 | -0/+41 |
2009-08-28 | add isl_int_fdiv_q_ui | Sven Verdoolaege | 1 | -0/+1 |
2009-08-07 | add an internal parametric integer linear program solver | Sven Verdoolaege | 1 | -0/+4 |
2009-08-07 | make piplib headers private | Sven Verdoolaege | 3 | -59/+0 |
2009-08-07 | add isl_basic_set_positive_orthant | Sven Verdoolaege | 1 | -0/+1 |
2009-08-07 | add isl_basic_set_partial_lex{min,max} | Sven Verdoolaege | 1 | -0/+6 |
2009-08-07 | rename isl_basic_map_lex{min,max} to isl_basic_map_partial_lex{min,max} | Sven Verdoolaege | 1 | -2/+2 |
2009-08-07 | add isl_map_get_dim | Sven Verdoolaege | 1 | -0/+1 |
2009-08-07 | add isl_basic_map_get_dim | Sven Verdoolaege | 1 | -0/+2 |
2009-08-04 | add isl_seq_last_non_zero | Sven Verdoolaege | 1 | -0/+1 |
2009-07-18 | add isl_basic_set_fast_dim_is_fixed | Sven Verdoolaege | 1 | -0/+3 |
2009-07-15 | introduce generalized basis reduction based sampling | Sven Verdoolaege | 1 | -0/+11 |
2009-07-15 | add isl_seq_cdiv_q | Sven Verdoolaege | 1 | -0/+1 |
2009-07-13 | add isl_int_le | Sven Verdoolaege | 1 | -0/+1 |
2009-06-07 | add isl_int_mul_ui | Sven Verdoolaege | 1 | -0/+1 |
2009-06-07 | add isl_seq_fdiv_q | Sven Verdoolaege | 1 | -0/+1 |
2009-06-07 | add isl_seq_fdiv_r | Sven Verdoolaege | 1 | -0/+1 |
2009-06-05 | add isl_map_coalesce | Sven Verdoolaege | 1 | -0/+2 |
2009-05-19 | add isl_set_product | Sven Verdoolaege | 1 | -0/+1 |
2009-05-19 | export isl_map_dim | Sven Verdoolaege | 1 | -0/+1 |
2009-05-06 | add isl_basic_set_is_universe | Sven Verdoolaege | 1 | -0/+1 |
2009-05-06 | add isl_set_get_dim | Sven Verdoolaege | 1 | -0/+1 |
2009-03-23 | add isl_basic_set_get_dim | Sven Verdoolaege | 1 | -0/+2 |
2009-03-23 | add isl_basic_set_div | Sven Verdoolaege | 1 | -0/+2 |