summaryrefslogtreecommitdiff
path: root/Makefile.am
AgeCommit message (Expand)AuthorFilesLines
2010-03-23isl_polynomial.c: separate out fold functionality to isl_fold.cSven Verdoolaege1-0/+1
2010-03-18add isl_printerSven Verdoolaege1-0/+3
2010-03-14document transitive closure implementationSven Verdoolaege1-0/+4
2010-03-10add some pip tests from the piplib distributionSven Verdoolaege1-1/+2
2010-03-09add isl_pw_qpolynomial_foldSven Verdoolaege1-0/+1
2010-03-05add generic isl_objSven Verdoolaege1-0/+2
2010-03-05add support for (piecewise) quasipolynomialsSven Verdoolaege1-0/+3
2010-03-04add isl_map_moveSven Verdoolaege1-0/+1
2010-03-04export isl_stream.hSven Verdoolaege1-1/+1
2010-03-04add isl_pointSven Verdoolaege1-0/+3
2010-02-15add isl_closure test applicationSven Verdoolaege1-1/+8
2010-02-03add isl_map_power and isl_map_transitive_closureSven Verdoolaege1-0/+1
2010-01-31add dependence analysisSven Verdoolaege1-0/+2
2010-01-25add isl_cat test applicationSven Verdoolaege1-1/+7
2010-01-25isl_input.c: merge functions for reading PolyLib and omega-like inputSven Verdoolaege1-2/+0
2010-01-13properly remove piplib submoduleSven Verdoolaege1-10/+3
2009-12-16remove functions for converting between isl and PolyLibSven Verdoolaege1-14/+3
2009-12-07isl_map_subtract.c: extract from isl_map.cSven Verdoolaege1-0/+1
2009-10-21put options in a separate isl_options structureSven Verdoolaege1-0/+2
2009-10-21add rudimentary argument parsing facilitySven Verdoolaege1-0/+2
2009-10-21extract isl_basic_set_scan from polytope_scan.cSven Verdoolaege1-0/+2
2009-10-12mark some functions as requiring use of return valueSven Verdoolaege1-1/+1
2009-10-08add isl_polyhedron_detect_equalities test applicationSven Verdoolaege1-1/+8
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-28 18:38:02 +0000