- Jun 30, 2022
-
-
Florian Mayer authored
-
Florian Mayer authored
-
- May 01, 2022
-
-
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>
-
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>
-
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>
-
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>
-
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>
-
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>
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
Sven Verdoolaege authored
This (slightly) simplifies the code. Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- Apr 30, 2022
-
-
Sven Verdoolaege authored
This removes some minor code duplication. Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
Sven Verdoolaege authored
The wrong annotation was introduced in barvinok-0.32.1-26-ge6fe2be3f2 (barvinok_summate: use isl interface, Wed Nov 10 16:46:55 2010 +0100). Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- Apr 24, 2022
-
-
Sven Verdoolaege authored
This variable was already unused when it was introduced in barvinok-0.29-31-g4c1a378b02 (add isl_pw_qpolynomial_to_evalue, Tue Mar 9 16:10:10 2010 +0100). Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
Sven Verdoolaege authored
This was missing from barvinok-0.34-19-g411eb84a87 (barvinok_summate.c: verify_point: explicitly project onto parameter space, Thu Sep 1 13:05:12 2011 +0200). Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- Mar 19, 2022
-
-
Sven Verdoolaege authored
This link is now dead. Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- Aug 15, 2021
-
-
Sven Verdoolaege authored
In particular, adjust the code to the changed isl_pw_qpolynomial space. This was missing from barvinok-0.34-25-g235972b7ef (update isl for change in space of isl_pw_* objects, Sun Sep 4 15:04:00 2011 +0200). Add a test case for this option to ensure it does not get broken again. Note that --iterate only works for inputs without parameters. Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- Jul 26, 2021
-
-
Sven Verdoolaege authored
Signed-off-by:
Sven Verdoolaege <sven.verdoolaege@gmail.com>
-
- 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>
-