Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2012-09-02 | relicense isl under the MIT license | Sven Verdoolaege | 1 | -1/+1 |
2012-05-06 | add isl_seq_dump | Sven Verdoolaege | 1 | -0/+12 |
2012-05-06 | add isl_seq_set_si | Sven Verdoolaege | 1 | -0/+7 |
2012-04-13 | add isl_seq_abs_max | Sven Verdoolaege | 1 | -0/+11 |
2011-06-02 | add isl_seq_addmul | Sven Verdoolaege | 1 | -0/+7 |
2011-03-16 | hide isl_ctx internals | Sven Verdoolaege | 1 | -0/+1 |
2010-11-20 | Rename headers from isl_header.h to isl/header.h | Sven Verdoolaege | 1 | -1/+1 |
2010-05-13 | add isl_seq_set | Sven Verdoolaege | 1 | -0/+7 |
2009-12-16 | add copyright statements | Sven Verdoolaege | 1 | -0/+9 |
2009-08-28 | isl_seq_normalize: use pre-allocated temporary variable in isl_ctx | Sven Verdoolaege | 1 | -8/+5 |
2009-08-28 | isl_seq_normalize: no need to scale down by one | Sven Verdoolaege | 1 | -1/+1 |
2009-08-04 | add isl_seq_last_non_zero | Sven Verdoolaege | 1 | -0/+10 |
2009-07-15 | add isl_seq_cdiv_q | Sven Verdoolaege | 1 | -0/+7 |
2009-06-07 | add isl_seq_fdiv_q | Sven Verdoolaege | 1 | -0/+7 |
2009-06-07 | add isl_seq_fdiv_r | Sven Verdoolaege | 1 | -0/+7 |
2009-03-08 | add isl_seq_normalize | Sven Verdoolaege | 1 | -0/+13 |
2009-02-15 | fix serious error in isl_mat_parameter_compression | Sven Verdoolaege | 1 | -0/+13 |
2009-01-06 | add isl_seq_submul | Sven Verdoolaege | 1 | -0/+7 |
2008-12-14 | introduce isl_hash_table and move hashing declarations into include/isl_hash.h | Sven Verdoolaege | 1 | -2/+1 |
2008-11-08 | add isl_set_get_hash | Sven Verdoolaege | 1 | -8/+18 |
2008-10-14 | use uint_32_t from stdint.h instead of u_int_32_t | Sven Verdoolaege | 1 | -4/+4 |
2008-10-14 | add isl_{set,map}_fast_is_equal | Sven Verdoolaege | 1 | -0/+10 |
2008-08-25 | isl_basic_set_sample: remove equalities first | Sven Verdoolaege | 1 | -0/+20 |
2008-08-25 | isl_basic_{map,set}: explicitly store constraints defining div | Sven Verdoolaege | 1 | -0/+15 |
2008-08-08 | Initial version of the integer set library | Sven Verdoolaege | 1 | -0/+152 |