summaryrefslogtreecommitdiff
path: root/Makefile.am
AgeCommit message (Expand)AuthorFilesLines
2009-10-02export isl_mat headerSven Verdoolaege1-1/+1
2009-09-20create pkg-config fileSven Verdoolaege1-0/+3
2009-09-06isl 0.01isl-0.01Sven Verdoolaege1-2/+2
2009-09-06add a rudimentary manualSven Verdoolaege1-2/+9
2009-09-06separate out config header from isl_ctx.hSven Verdoolaege1-1/+2
2009-08-28add isl_polytope_scan applicationSven Verdoolaege1-1/+7
2009-08-28add isl_polyhedron_minimize applicationSven Verdoolaege1-1/+8
2009-08-28add generalized basis reduction based ILP solverSven Verdoolaege1-0/+2
2009-08-28export isl_vec headerSven Verdoolaege1-3/+3
2009-08-07add an internal parametric integer linear program solverSven Verdoolaege1-1/+8
2009-08-07make piplib headers privateSven Verdoolaege1-3/+3
2009-07-15add isl_polyhedron_sample applicationSven Verdoolaege1-1/+7
2009-07-15introduce generalized basis reduction based samplingSven Verdoolaege1-1/+5
2009-03-20add isl_set_coalesceSven Verdoolaege1-0/+1
2009-03-20add internal representation of LP tableausSven Verdoolaege1-0/+2
2009-01-06isl_map_simplify.c: extract out simplify and related code from isl_map.cSven Verdoolaege1-0/+1
2008-12-25isl_stream.c: extracted from isl_input_omega.cSven Verdoolaege1-0/+2
2008-12-23add isl_div abstraction, similar to isl_constraintSven Verdoolaege1-0/+2
2008-12-14allow parameters and dimensions to be namedSven Verdoolaege1-0/+2
2008-12-14introduce isl_hash_table and move hashing declarations into include/isl_hash.hSven Verdoolaege1-0/+2
2008-12-14introduce isl_dim structure for representing shared dimension informationSven Verdoolaege1-0/+2
2008-12-02Add backup mp_get_memory_functions implementation for use with old gmpsSven Verdoolaege1-0/+5
2008-10-14use GMP flags when compiling isl_testSven Verdoolaege1-1/+1
2008-10-14use uint_32_t from stdint.h instead of u_int_32_tSven Verdoolaege1-1/+5
2008-10-14add some functions for manipulating constraintsSven Verdoolaege1-0/+2
2008-10-14add isl_basic_set_interval and isl_basic_set_productSven Verdoolaege1-0/+2
2008-10-14add isl_basic_set_print and isl_set_print for printing in PolyLib formatSven Verdoolaege1-0/+1
2008-09-04isl_basic_set_read_from_file: partial support for Omega style inputSven Verdoolaege1-0/+2
2008-09-03add test_inputs to the distributionSven Verdoolaege1-0/+2
2008-09-03add isl_sample_piplib.h to the distributionSven Verdoolaege1-0/+2
2008-09-03Makefile.am: only include piplib in distribution if it has been configuredSven Verdoolaege1-0/+1
2008-09-03Makefile.am: remove reference to (re)moved header filesSven Verdoolaege1-9/+1
2008-08-25add convex hull computationSven Verdoolaege1-0/+6
2008-08-25rename isl_map_affine_hull.c to isl_affine_hull.cSven Verdoolaege1-1/+1
2008-08-25add isl_basic_set_read_from_fileSven Verdoolaege1-0/+1
2008-08-25isl_basic_set_sample: remove equalities firstSven Verdoolaege1-0/+4
2008-08-25reimplement isl_basic_map_is_empty in terms of isl_basic_set_sampleSven Verdoolaege1-2/+10
2008-08-25avoid preprocessor conditionalsSven Verdoolaege1-10/+7
2008-08-08Initial version of the integer set librarySven Verdoolaege1-0/+77