Commits · master · orka / Barvinok

Jun 30, 2022
- Change gitmodules to point to orka mirror of isl · af015e4c
  Florian Mayer authored 2 years ago
  
  af015e4c
- Bump version submodule to point to orka_isl with autoconf fix. · e292ff57
  Florian Mayer authored 2 years ago
  
  e292ff57
May 01, 2022
- manual_count: rename "dim" variable to "space" · 8bace917
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  8bace917
- isl_map_apply_pw_qpolynomial: rename "dim" variables to "space" · 30e07a4b
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  30e07a4b
- summate.c: pw_qpolynomial_apply: rename "dim" variables to "space" · 9c8c9b70
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  9c8c9b70
- isl_union_set_apply_union_pw_qpolynomial: rename "dim" variable to "space" · e977a120
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  e977a120
- summate.c: pw_qpolynomial_apply_set: rename "dim" variables to "space" · ec953127
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  ec953127
- isl_union_map_apply_union_pw_qpolynomial: rename "dim" variable to "space" · 78d53ad6
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  78d53ad6
- isl_union_pw_qpolynomial_sum: rename "dim" variable to "space" · 72726a5e
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  72726a5e
- Polyhedron_Sample: rename "dim" variable to "space" · 39f0de48
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  39f0de48
- isl_constraints_opt: rename "dim" variable to "space" · 20f02736
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  20f02736
- isl_polyhedron_affine_sign: rename "dim" variable to "space" · ede88452
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  ede88452
- bound.c: split_on_domain_size: rename "dim" variable to "space" · b3b9be86
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  b3b9be86
- isl_Polyhedron_Reduced_Basis: rename "dim" variable to "space" · 9f4b2977
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  9f4b2977
- barvinok_enumerate.cc: verify_isl: rename "dim" variable to "space" · c71fc3c6
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  c71fc3c6
- isl_union_map_card: rename "dim" variable to "space" · 0bda325f
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  0bda325f
- isl_union_set_card: rename "dim" variable to "space" · bfa02917
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  bfa02917
- isl_map_card: rename "dim" variable to "space" · 4e64cdff
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  4e64cdff
- barvinok.cc: card_as_sum: rename "dim" variable to "space" · 5900cebf
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  5900cebf
- barvinok.cc: basic_map_card: rename "dim" variable to "space" · 22698189
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  22698189
- isl_union_set_lattice_width: rename "dim" variable to "space" · 9de24bfa
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  9de24bfa
- isl_set_lattice_width: rename "dim" variable to "space" · 79979d1f
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  79979d1f
- isl_basic_set_lattice_width: rename "dim" variable to "space" · e687ad8f
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  e687ad8f
- evalue_isl.c: relation2pwqp: rename "dim" variable to "space" · 3332ee79
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  3332ee79
- evalue_isl.c: extract_base: rename "dim" parameter to "space" · 6113c484
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  6113c484
- isl_pw_qpolynomial_from_evalue: rename "dim" parameter to "space" · f62d482f
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  f62d482f
- isl_qpolynomial_from_evalue: rename "dim" parameter to "space" · 69c79a96
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  69c79a96
- verify_options_set_range_pwqp.c: use isl_pw_qpolynomial_dim · 3f262845
  Sven Verdoolaege authored 3 years ago
  
  This (slightly) simplifies the code. Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  3f262845
Apr 30, 2022

extract out shared verify_options_set_range_pwqp · ca13d2a2


This removes some minor code duplication.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

ca13d2a2

barvinok_summate.c: verify: fix memory management annotation · b4c4bc2a

Sven Verdoolaege authored 2 years ago


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>

b4c4bc2a

Apr 24, 2022

evalue_isl.c: add_guarded_qp: drop unused variable · d7f55ef4

Sven Verdoolaege authored 3 years ago


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>

d7f55ef4

barvinok_summate.c: verify_point: drop unused variable · ef3f63ac

Sven Verdoolaege authored 3 years ago


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>

ef3f63ac

Mar 19, 2022

doc: update gforge.inria.fr link · 95d290ef

Sven Verdoolaege authored 2 years ago


This link is now dead.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

95d290ef

Aug 15, 2021

barvinok_bound: fix --iterate option · 21a2c3b1

Sven Verdoolaege authored 3 years ago

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>

21a2c3b1

bound.c: iterate: rename "dim" variable to "space" · e1e87bc2
Sven Verdoolaege authored 3 years ago
```
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
```
e1e87bc2

Jul 26, 2021
- update pet for more relaxed pet_expr_is_equal index comparison · e29cfa86
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  e29cfa86
May 01, 2021
- barvinok 0.41.5 · c58bec49
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  View commits for tag barvinok-0.41.5 barvinok-0.41.5
  
  c58bec49
- update pet to version 0.11.5 · d4028d48
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  d4028d48
- update isl to version 0.24 · d94ecf54
  Sven Verdoolaege authored 3 years ago
  
  Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
  d94ecf54
Apr 10, 2021

Makefile.am: drop LOCAL_POLYLIB_LA · 1b979513

Sven Verdoolaege authored 3 years ago


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>

1b979513