summaryrefslogtreecommitdiff
path: root/isl_equalities.c
AgeCommit message (Collapse)AuthorFilesLines
2013-05-28add isl_set_dim_residue_class_valSven Verdoolaege1-0/+33
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2013-04-22isl_morph.c: extract out isl_mat_parameter_compression_extSven Verdoolaege1-0/+56
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2013-03-24isl_mat_variable_compression: add memory management annotationsSven Verdoolaege1-2/+2
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-09-02isl_set_dim_residue_class: correctly consider all basic sets in the setSven Verdoolaege1-8/+3
This commit fixes two closely related problems. Due to a typo, isl_set_dim_residue_class would only consider one of the basic sets in the input set. The information obtained from the individual basic sets was also combined incorrectly. In particular, the code would insist that all basic sets have the same residue if they have the same modulo and not consider adjusting the modulo of the combined basic sets to accommodate for the difference in residues. 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-04-21change isl_mat_sub_alloc prototypeSven Verdoolaege1-13/+12
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-1/+1
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-04add public API for matricesSven Verdoolaege1-1/+1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-06-26isl_equalities.c: parameter_compression_multi: avoid NULL pointer dereferenceSven Verdoolaege1-0/+4
2010-05-13isl_equalities.c: fix typo in commentSven Verdoolaege1-1/+1
2010-05-13isl_equalities.c: fix typos in commentsSven Verdoolaege1-2/+2
2010-04-10isl_equalities.c: isl_mat_variable_compression: clarify resultSven Verdoolaege1-1/+1
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2009-10-05add isl_set_dim_residue_classSven Verdoolaege1-0/+64
2009-09-06isl_equalities.c: drop redundant error handlingSven Verdoolaege1-3/+0
2009-09-06isl_equalities.c: remove unused variableSven Verdoolaege1-1/+0
2009-09-06isl_assert: validate all arguments and fix up falloutSven Verdoolaege1-5/+5
2009-07-19isl_basic_set_dim_residue_class: only set *modulo to 0 when dimension is fixedSven Verdoolaege1-2/+14
Before, when no residue class could be detected, *modulo was sometimes set to 0 and sometimes to 1. Now *modulo is always set to 1 in these cases, except when the specified dimension has a fixed constant value, in which case *modulo is set to 0 and *residue to the fixed value.
2009-07-16isl_mat: keep track of isl_ctxSven Verdoolaege1-105/+105
2009-07-13isl_vec: keep track of isl_ctxSven Verdoolaege1-6/+6
2009-05-06privately export isl_mat_unimodular_completeSven Verdoolaege1-28/+2
2009-03-20isl_{basic_,}set_preimage: drop ctx argumentSven Verdoolaege1-1/+1
2009-03-08rename F_ and FL_ macros to ISL_F_ and ISL_FL_ to avoid name clashesSven Verdoolaege1-1/+1
2009-02-15fix serious error in isl_mat_parameter_compressionSven Verdoolaege1-45/+218
The old version would sometimes remove valid solutions. Since isl_mat_parameter_compression is used during simplification on practically any set containing existentially quantified variables involved in equalities, any such set could get corrupted.
2009-02-04isl_mat_variable_compression: fix use after freeSven Verdoolaege1-1/+1
2009-01-06add isl_mat_parameter_compressionSven Verdoolaege1-0/+214
2009-01-06isl_equalities.c: extract and export isl_mat_variable_compressionSven Verdoolaege1-34/+76
2008-12-14introduce isl_dim structure for representing shared dimension informationSven Verdoolaege1-7/+11
All of isl_basic_set, isl_set, isl_basic_map and isl_map stored information about the dimension directly. This information is now shared in a common isl_dim structure. Direct accesses to the removed fields have been replaced by calls to getters.
2008-10-14add isl_basic_set_dim_residue_classSven Verdoolaege1-0/+63
2008-10-11isl_equalities.c: add missing includeSven Verdoolaege1-0/+1
2008-10-11add struct_ctx field to isl_set and isl_mapSven Verdoolaege1-7/+9
Since isl_sets and isl_maps now know which isl_ctx they belong to, the isl_ctx argument of many functions can be dropped.
2008-08-25sample: remove lineality and skew into positive orthantSven Verdoolaege1-1/+1
These changes are needed if we want isl_basic_set_sample to always return an actual point. Without them, the lexmin may be unbounded and we effectively get a ray.
2008-08-25isl_basic_set_sample: remove equalities firstSven Verdoolaege1-0/+140
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-06 20:55:31 +0000