summaryrefslogtreecommitdiff
path: root/Makefile.am
AgeCommit message (Expand)AuthorFilesLines
2011-03-16hide isl_ctx internalsSven Verdoolaege1-0/+1
2011-03-15respect DESTDIR when installing isl.pySven Verdoolaege1-2/+3
2010-12-31Add GDB module that defines an islprint commandTobias Grosser1-0/+9
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-48/+42
2010-09-04add public API for matricesSven Verdoolaege1-0/+1
2010-08-26align parameters of union arguments to binary functionsSven Verdoolaege1-0/+2
2010-07-31add support for union sets and relationsSven Verdoolaege1-0/+5
2010-06-29Makefile.am: really include include/isl_vertices.hSven Verdoolaege1-1/+1
2010-06-19add isl_versionSven Verdoolaege1-0/+6
2010-06-12optionally (and by default) use bernstein expansion to compute boundsSven Verdoolaege1-0/+2
2010-06-12add parametric vertex enumerationSven Verdoolaege1-2/+5
2010-06-12extract out generic part of isl_pw_qpolynomial_bound_rangeSven Verdoolaege1-0/+3
2010-06-12add isl_basic_set_factorizerSven Verdoolaege1-0/+2
2010-06-12add bound_test.sh to distributionSven Verdoolaege1-0/+1
2010-05-14add isl_bound test applicationSven Verdoolaege1-2/+8
2010-05-14add isl_pw_qpolynomial_bound_rangeSven Verdoolaege1-0/+1
2010-05-13add rudimentary isl_morphSven Verdoolaege1-0/+2
2010-05-13add isl_dim_offsetSven Verdoolaege1-0/+1
2010-03-23export isl_dim_moveSven Verdoolaege1-1/+0
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-19 18:42:46 +0000