Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2009-10-07 | add isl_basic_set_detect_equalities | Sven Verdoolaege | 1 | -0/+2 |
2009-10-07 | add isl_mat_vec_inverse_product | Sven Verdoolaege | 1 | -0/+2 |
2009-10-07 | add isl_mat_concat | Sven Verdoolaege | 1 | -0/+3 |
2009-10-07 | add isl_int_divexact_ui | Sven Verdoolaege | 1 | -0/+1 |
2009-10-05 | add isl_set_dim_residue_class | Sven Verdoolaege | 1 | -0/+2 |
2009-10-02 | add isl_basic_map_foreach_lexmin | Sven Verdoolaege | 1 | -0/+5 |
2009-10-02 | add isl_set_project_out | Sven Verdoolaege | 1 | -0/+2 |
2009-10-02 | add isl_set_detect_equalities | Sven Verdoolaege | 1 | -0/+1 |
2009-10-02 | add isl_set_foreach_basic_set | Sven Verdoolaege | 1 | -0/+3 |
2009-10-02 | add isl_set_lifting | Sven Verdoolaege | 1 | -0/+2 |
2009-10-02 | export isl_mat header | Sven Verdoolaege | 1 | -0/+86 |
2009-10-02 | add isl_basic_map_lexmin | Sven Verdoolaege | 1 | -0/+1 |
2009-10-02 | add isl_map_foreach_basic_map | Sven Verdoolaege | 1 | -0/+3 |
2009-10-02 | add isl_int_get_si | Sven Verdoolaege | 1 | -0/+1 |
2009-10-02 | export isl_set_sample | Sven Verdoolaege | 1 | -0/+1 |
2009-10-02 | add isl_basic_set_universe_like_set | Sven Verdoolaege | 1 | -0/+2 |
2009-10-02 | add isl_set_is_strict_subset | Sven Verdoolaege | 1 | -0/+1 |
2009-09-21 | add isl_set_universe_like | Sven Verdoolaege | 1 | -0/+1 |
2009-09-16 | add isl_map_lex_le and isl_map_lex_ge | Sven Verdoolaege | 1 | -0/+2 |
2009-09-14 | export isl_basic_map_gist | Sven Verdoolaege | 1 | -0/+3 |
2009-09-14 | add isl_basic_map_sample and isl_map_sample | Sven Verdoolaege | 1 | -0/+2 |
2009-09-13 | rename isl_basic_set_sample to isl_basic_set_sample_vec | Sven Verdoolaege | 2 | -1/+2 |
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 |