summaryrefslogtreecommitdiff
path: root/isl_ilp.c
AgeCommit message (Collapse)AuthorFilesLines
2013-06-10Merge branch 'maint'Sven Verdoolaege1-2/+4
2013-06-05isl_basic_set_opt: avoid invalid access on error pathSven Verdoolaege1-2/+4
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2013-05-28add isl_set_min_valSven Verdoolaege1-0/+12
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2013-05-28add isl_set_max_valSven Verdoolaege1-0/+38
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2013-05-28add isl_basic_set_max_valSven Verdoolaege1-0/+70
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-02relicense isl under the MIT licenseSven Verdoolaege1-1/+1
Signed-off-by: Tobias Grosser <tobias@grosser.es> Signed-off-by: Andreas Kloeckner <kloeckner@cims.nyu.edu> Signed-off-by: Todor Stefanov <stefanov@liacs.nl> Signed-off-by: Sven van Haastregt <svhaastr@liacs.nl> Signed-off-by: Isabelle Ryl <isabelle.ryl@inria.fr> Signed-off-by: Mythri Alle <mythri.allel@gmail.com> Signed-off-by: Wim De Clercq <Wim.DeClercq@lrd.kuleuven.be> Signed-off-by: Anne Cormier <Anne.Cormier@ens.fr> Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-08-02isl_set_opt: align parametersSven Verdoolaege1-1/+31
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-09-03rename isl_dim to isl_spaceSven Verdoolaege1-2/+2
The old name was confusing because the name suggested that the object represents a single dimension, while in fact it represents an entire space. The documented isl_dim based names are for backward compatibility. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-07-20add isl_set_minSven Verdoolaege1-0/+6
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-05-20add isl_basic_set_maxSven Verdoolaege1-0/+6
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-05-16add isl_set_maxSven Verdoolaege1-0/+140
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-05-05rename *_fast_* functions to *_plain_*Sven Verdoolaege1-1/+1
Although the *_fast_* functions are certainly meant to be faster than their unqualified alternatives, they are faster only because they are not complete. The "plain" qualification is hopefully better at conveying the idea that these functions only consider the obvious cases. We keep some of the *_fast_* names for backward compatibility. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-03-16hide isl_ctx internalsSven Verdoolaege1-0/+1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-01-27merge isl_basic_set/isl_basic_map and isl_set/isl_mapSven Verdoolaege1-1/+1
Internally, these are essentially the same. We do keep the distinction in the external interface. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-2/+2
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>
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2009-10-21isl_basic_set_solve_ilp: handle obviously empty setsSven Verdoolaege1-0/+3
2009-10-21isl_basic_set_solve_ilp: fix handling of sets with equalitiesSven Verdoolaege1-1/+3
First, the input set should be protected from being modified, and second, the test for whether a solution is requested was wrong.
2009-10-08isl_ilp.c: separate out solve_ilp_searchSven Verdoolaege1-47/+67
2009-09-13rename isl_basic_set_sample to isl_basic_set_sample_vecSven Verdoolaege1-2/+2
2009-09-13make some internal functions staticSven Verdoolaege1-1/+1
2009-08-28add generalized basis reduction based ILP solverSven Verdoolaege1-0/+298
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-03 03:25:13 +0000