- May 01, 2021
-
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- Apr 10, 2021
-
-
Sven Verdoolaege authored
The last use was removed in barvinok-0.36-17-g1d67a277c4 (integrate isl-polylib module, Wed May 29 11:43:49 2013 +0200). Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
Sven Verdoolaege authored
If both are being built, then libpet.la depends on libisl.la. Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- Dec 07, 2020
-
-
Sven Verdoolaege authored
Commit barvinok-0.25-14-ge52f4ac65c (remove_all_equalities: keep removing equalities until no new ones are created, Sat Oct 20 13:56:16 2007 +0200) ensured parameter equality constraints detected as a result of variable compression on the context got removed as well. Commit barvinok-0.26-20-g0d0f130c86 (remove_all_equalities: keep removing parameter equalities until none left, Wed Mar 12 15:38:39 2008 +0100) ensured those detected as a result of parameter compression on the main polyhedron got removed. However, the variable compression on the main polyhedron may also uncover equality constraints on the parameters. Remove those too. Reported-by:
Corentin Ferry <corentin.ferry@irisa.fr> Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
Sven Verdoolaege authored
The condition "Q != *P" is used in the calls to transform and remove_parameter_equalities to indicate that the input polyhedra should be freed when updated. Initially Q and D point to the original polyhedra, which should not be freed. If the original Q gets replaced by a new polyhedron then D (if set) should point to a new polyhedron as well, otherwise the original polyhedron will get freed whenever the context gets updated. It is not clear whether this can happen in practice without also running into the issue fixed by the next commit, but it is definitely needed for the next commit. Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- Nov 19, 2020
-
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- Nov 13, 2020
-
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- Nov 01, 2020
-
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- Sep 03, 2020
-
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- Nov 13, 2019
-
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven@cerebras.net>
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven@cerebras.net>
-
- Sep 17, 2019
-
-
Andi Drebes authored
Add a paragraph mentioning the configuration options required to build the Python interface to the README file. Signed-off-by:
Andi Drebes <andi@drebesium.org> Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
Andi Drebes authored
The target isl.py relies on interface/extract_interface from the isl build directory. When attempting to build isl.py before the default target, the build fails. Add a dependency to interface/extract_interface from isl for isl.py and a rule building the dependency if necessary. Signed-off-by:
Andi Drebes <andi@drebesium.org> Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- Sep 13, 2019
-
-
Andi Drebes authored
The rule in Makefile.am generating isl.py redirects the output of a subshell invoking multiple commands directly to the target file. This causes isl.py to be created even if these commands fail. Remove isl.py if the generating commands fail. Signed-off-by:
Andi Drebes <andi@drebesium.org> Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- Aug 24, 2019
-
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- Jul 09, 2019
-
-
Sven Verdoolaege authored
If the user explicitly passes the --with-isl=bundled option to configure, then it will be passed down to submodules along with the --with-isl-builddir=../isl option that gets added to let submodules use the isl that is bundled with the top-level project. The submodule complains about these conflicting options. Override the --with-isl=bundled with an additional --with-isl=build option. Note that a user shouldn't normally need to set the --with-isl=bundled because that is the default, but it should work nonetheless. Reported-by:
Kornilios Kourtis <kkourt@kkourt.io> Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- May 11, 2019
-
-
Sven Verdoolaege authored
The CXXAUTOFLAGS variable in NTL/ConfigLog.h describes additional compiler flags that are needed for linking against NTL. In particular, if NTL has been compiled with pthread support, this will include "-pthread". Add these flags to the compiler and linker command lines. Reported-by:
Sanket Tavarageri <sanket.tavarageri@intel.com> Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
Sven Verdoolaege authored
This should be more portable. Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- Mar 28, 2019
-
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- Mar 10, 2019
-
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- Jan 26, 2019
-
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
Sven Verdoolaege authored
This was missing from barvinok-0.41.1-1-g094c67b706 (update isl for move of interface/all.h, Tue Jul 31 07:54:05 2018 +0200). Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- Sep 19, 2018
-
-
Sven Verdoolaege authored
This was missing from 7a84e1b5 (barvinok_{summate,bound}: take isl input, Thu Nov 11 14:29:48 2010 +0100). Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- Jul 31, 2018
-
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- Jul 30, 2018
-
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- Jul 17, 2018
-
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- May 27, 2018
-
-
Sven Verdoolaege authored
The isl.py target in itself is fairly harmless since isl.py is not built by default and therefore only results in failures when the bindings are being built explicitly (or on "make dist). However, barvinok-0.40-18-gb2a61c464a (interface: make language bindings depend on all relevant headers, Sun Feb 18 12:30:10 2018 +0100) added a libdep.a target which does get built by default while it can only be built with a bundled or build isl submodule. Hide the entire isl.py machinery behind a conditional to avoid failures when a system isl submodule is being used. Reported-by:
Marcin Copik <mcopik@gmail.com> Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-