| 2014-10-13 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff |
| 2014-09-22 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff |
| 2014-09-11 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff |
| 2014-08-05 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff |
| 2014-05-29 |
Sven Verdoolaege | isl_val_gcdext: revert to open-coded version of isl_int... |
blob | commitdiff |
| 2014-05-28 |
Sven Verdoolaege | isl_gmp.c: remove spurious include |
blob | commitdiff | diff to current |
| 2013-06-19 |
Sven Verdoolaege | try and avoid depending on mpz_gcdext internals |
blob | commitdiff | diff to current |
| 2013-06-14 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff |
| 2013-06-10 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff |
| 2013-05-25 |
Sven Verdoolaege | create private copy of isl/int.h |
blob | commitdiff |
| 2012-09-02 |
Sven Verdoolaege | relicense isl under the MIT license |
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 |
| 2009-12-16 |
Sven Verdoolaege | add copyright statements |
blob | commitdiff | diff to current |
| 2008-11-08 |
Sven Verdoolaege | add isl_set_get_hash |
blob | commitdiff | diff to current |
| 2008-10-14 |
Sven Verdoolaege | use uint_32_t from stdint.h instead of u_int_32_t |
blob | commitdiff | diff to current |
| 2008-08-07 |
Sven Verdoolaege | Initial version of the integer set library |
blob | commitdiff | diff to current |
