Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2011-03-16 | hide isl_ctx internals | Sven Verdoolaege | 1 | -0/+1 | |
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org> | |||||
2011-03-15 | respect DESTDIR when installing isl.py | Sven Verdoolaege | 1 | -2/+3 | |
Reported-by: Kpucko <slashdevslashzerr0@gmail.com> Signed-off-by: Sven Verdoolaege <skimo@kotnet.org> | |||||
2010-12-31 | Add GDB module that defines an islprint command | Tobias Grosser | 1 | -0/+9 | |
Add a python library that is installed next to libisl. GDB will automatically load it and add a new gdbcommand called "islprint". This command can be used to prettyprint isl values. It does not install an official pretty printer, as such a printer will also pretty print stacktraces which may reference values already freed. Before: (gdb) print stride $1 = (isl_set *) 0x122e6c0 Now also possible: (gdb) islprint stride $1 = "{ MemRef_A[1] }" (gdb) is stride $1 = "{ MemRef_A[1] }" Signed-off-by: Tobias Grosser <grosser@fim.uni-passau.de> Signed-off-by: Sven Verdoolaege <skimo@kotnet.org> | |||||
2010-11-20 | Rename headers from isl_header.h to isl/header.h | Sven Verdoolaege | 1 | -48/+42 | |
We need to turn on the nostdinc option of automake as otherwise it would include -I$(top_builddir)/include/isl in DEFAULT_INCLUDES because of AC_CONFIG_HEADERS(include/isl/config.h) in configure.ac. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org> | |||||
2010-09-04 | add public API for matrices | Sven Verdoolaege | 1 | -0/+1 | |
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org> | |||||
2010-08-26 | align parameters of union arguments to binary functions | Sven Verdoolaege | 1 | -0/+2 | |
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org> | |||||
2010-07-31 | add support for union sets and relations | Sven Verdoolaege | 1 | -0/+5 | |
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org> | |||||
2010-06-29 | Makefile.am: really include include/isl_vertices.h | Sven Verdoolaege | 1 | -1/+1 | |
2010-06-19 | add isl_version | Sven Verdoolaege | 1 | -0/+6 | |
2010-06-12 | optionally (and by default) use bernstein expansion to compute bounds | Sven Verdoolaege | 1 | -0/+2 | |
2010-06-12 | add parametric vertex enumeration | Sven Verdoolaege | 1 | -2/+5 | |
2010-06-12 | extract out generic part of isl_pw_qpolynomial_bound_range | Sven Verdoolaege | 1 | -0/+3 | |
2010-06-12 | add isl_basic_set_factorizer | Sven Verdoolaege | 1 | -0/+2 | |
2010-06-12 | add bound_test.sh to distribution | Sven Verdoolaege | 1 | -0/+1 | |
2010-05-14 | add isl_bound test application | Sven Verdoolaege | 1 | -2/+8 | |
2010-05-14 | add isl_pw_qpolynomial_bound_range | Sven Verdoolaege | 1 | -0/+1 | |
2010-05-13 | add rudimentary isl_morph | Sven Verdoolaege | 1 | -0/+2 | |
2010-05-13 | add isl_dim_offset | Sven Verdoolaege | 1 | -0/+1 | |
2010-03-23 | export isl_dim_move | Sven Verdoolaege | 1 | -1/+0 | |
2010-03-23 | isl_polynomial.c: separate out fold functionality to isl_fold.c | Sven Verdoolaege | 1 | -0/+1 | |
2010-03-18 | add isl_printer | Sven Verdoolaege | 1 | -0/+3 | |
2010-03-14 | document transitive closure implementation | Sven Verdoolaege | 1 | -0/+4 | |
2010-03-10 | add some pip tests from the piplib distribution | Sven Verdoolaege | 1 | -1/+2 | |
2010-03-09 | add isl_pw_qpolynomial_fold | Sven Verdoolaege | 1 | -0/+1 | |
2010-03-05 | add generic isl_obj | Sven Verdoolaege | 1 | -0/+2 | |
2010-03-05 | add support for (piecewise) quasipolynomials | Sven Verdoolaege | 1 | -0/+3 | |
2010-03-04 | add isl_map_move | Sven Verdoolaege | 1 | -0/+1 | |
2010-03-04 | export isl_stream.h | Sven Verdoolaege | 1 | -1/+1 | |
2010-03-04 | add isl_point | Sven Verdoolaege | 1 | -0/+3 | |
2010-02-15 | add isl_closure test application | Sven Verdoolaege | 1 | -1/+8 | |
2010-02-03 | add isl_map_power and isl_map_transitive_closure | Sven Verdoolaege | 1 | -0/+1 | |
2010-01-31 | add dependence analysis | Sven Verdoolaege | 1 | -0/+2 | |
2010-01-25 | add isl_cat test application | Sven Verdoolaege | 1 | -1/+7 | |
2010-01-25 | isl_input.c: merge functions for reading PolyLib and omega-like input | Sven Verdoolaege | 1 | -2/+0 | |
2010-01-13 | properly remove piplib submodule | Sven Verdoolaege | 1 | -10/+3 | |
309036c (add copyright statements) accidentally removed the piplib submodule. Removing the piplib submodule was not a bad idea since we don't really need it anymore, but it should be done properly. | |||||
2009-12-16 | remove functions for converting between isl and PolyLib | Sven Verdoolaege | 1 | -14/+3 | |
These functions could be seen as being derived work from PolyLib and would therefore infect the whole library with the GPLv2 license. They will be moved into a separate isl-polylib library. | |||||
2009-12-07 | isl_map_subtract.c: extract from isl_map.c | Sven Verdoolaege | 1 | -0/+1 | |
2009-10-21 | put options in a separate isl_options structure | Sven Verdoolaege | 1 | -0/+2 | |
2009-10-21 | add rudimentary argument parsing facility | Sven Verdoolaege | 1 | -0/+2 | |
2009-10-21 | extract isl_basic_set_scan from polytope_scan.c | Sven Verdoolaege | 1 | -0/+2 | |
2009-10-12 | mark some functions as requiring use of return value | Sven Verdoolaege | 1 | -1/+1 | |
2009-10-08 | add isl_polyhedron_detect_equalities test application | Sven Verdoolaege | 1 | -1/+8 | |
2009-10-02 | export isl_mat header | Sven Verdoolaege | 1 | -1/+1 | |
2009-09-20 | create pkg-config file | Sven Verdoolaege | 1 | -0/+3 | |
2009-09-06 | isl 0.01isl-0.01 | Sven Verdoolaege | 1 | -2/+2 | |
2009-09-06 | add a rudimentary manual | Sven Verdoolaege | 1 | -2/+9 | |
2009-09-06 | separate out config header from isl_ctx.h | Sven Verdoolaege | 1 | -1/+2 | |
2009-08-28 | add isl_polytope_scan application | Sven Verdoolaege | 1 | -1/+7 | |
2009-08-28 | add isl_polyhedron_minimize application | Sven Verdoolaege | 1 | -1/+8 | |
2009-08-28 | add generalized basis reduction based ILP solver | Sven Verdoolaege | 1 | -0/+2 | |