summaryrefslogtreecommitdiff
path: root/configure.ac
AgeCommit message (Expand)AuthorFilesLines
2011-03-18isl 0.06isl-0.06Sven Verdoolaege1-2/+2
2011-01-05isl 0.05.1isl-0.05.1Sven Verdoolaege1-2/+2
2010-12-23isl 0.05isl-0.05Sven Verdoolaege1-2/+2
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-4/+3
2010-09-10isl 0.04isl-0.04Sven Verdoolaege1-2/+2
2010-06-29isl 0.03isl-0.03Sven Verdoolaege1-2/+2
2010-06-19add isl_versionSven Verdoolaege1-0/+3
2010-03-10isl 0.02isl-0.02Sven Verdoolaege1-2/+2
2010-01-13properly remove piplib submoduleSven Verdoolaege1-9/+1
2009-12-16remove functions for converting between isl and PolyLibSven Verdoolaege1-50/+0
2009-10-12mark some functions as requiring use of return valueSven Verdoolaege1-1/+2
2009-10-02configure.ac: fix cut-and-paste error in original commitSven Verdoolaege1-1/+1
2009-09-20create pkg-config fileSven Verdoolaege1-0/+3
2009-09-06isl 0.01isl-0.01Sven Verdoolaege1-1/+3
2009-09-06add a rudimentary manualSven Verdoolaege1-0/+7
2009-09-06configure.ac: set maximal optimization compiler flagsSven Verdoolaege1-0/+2
2009-09-06configure.ac: use AX_SUBMODULE for gmp for consistencySven Verdoolaege1-3/+1
2009-09-06separate out config header from isl_ctx.hSven Verdoolaege1-1/+1
2009-08-07configure.ac: no longer use piplib by defaultSven Verdoolaege1-60/+2
2009-07-22configure.ac: explicitly set AC_CONFIG_AUX_DIRSven Verdoolaege1-0/+1
2009-06-13update piplib for change in configure argumentsSven Verdoolaege1-1/+1
2009-05-05configure.in: set AC_CONFIG_MACRO_DIRSven Verdoolaege1-0/+1
2008-12-02Add backup mp_get_memory_functions implementation for use with old gmpsSven Verdoolaege1-0/+8
2008-10-14use uint_32_t from stdint.h instead of u_int_32_tSven Verdoolaege1-0/+2
2008-08-25link in polylib library in builddirSven Verdoolaege1-0/+1
2008-08-08Initial version of the integer set librarySven Verdoolaege1-0/+186