repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
barvinok 0.41.8
2024-09-01
S
ven V
e
r
d
o
olae
g
e
barvinok 0
.
4
1
.
8
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-09-01
Sven V
e
rdoolaeg
e
up
d
ate pe
t
to
v
er
s
ion 0
.
11
.
8
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-09-01
Sven Ve
r
doolaege
u
p
date isl to version
0
.
27
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-09-01
Sven Verdool
a
eg
e
update pol
y
l
i
b fo
r
make di
s
t
clean fixes
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-10
Sve
n
Verdoo
l
a
ege
topcom
.
c:
add missing include
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-04
Sven
V
erdool
a
ege
evalue
.
c: esum_ove
r
_domain
_
cst:
p
ass down
options
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-04
Sven Verdoolae
g
e
evalue
.
c: esum_ov
e
r
_domain_cst: take barvinok_
o
ptions
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-04
S
v
en Verdool
a
eg
e
eval
u
e
.
c: es
u
m_over_doma
i
n
:
take bar
v
i
nok_options
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-04
Sven Verdoolaege
box
_
s
um
m
ate:
take barvinok_option
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-04
Sv
e
n Verdoolaege
evalu
e
.
c: make esum_over_dom
a
in_c
s
t s
t
atic
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-04
Sv
e
n Verdoola
e
g
e
sum
m
a
t
e
.
c: sum_base: check equality constra
i
nts i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-04
Sven Ver
d
o
o
laege
s
ummate
.
c: sum_bas
e
:
perf
o
rm shared Param_Polyhedron
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-04
Sven Verdoolaege
Param_Polyhedron_
E
num
e
ra
t
e: h
a
ndle low
e
r-dimen
s
ional
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-04
Sven Verd
o
olaege
scale
.
c: apply_
e
xpansion: dro
p
Polyhedron pa
r
ameter
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-04
Sve
n
Verdoolaege
sca
l
e
.
c: Param_
P
olyhedron_Scale_Inte
g
er_Fast: drop
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-04
S
v
en Verdo
o
laege
s
c
ale
.
c: Pa
r
am_Polyhedron_Scale_Integer_Slow: drop
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-04
Sven Verdoolaeg
e
scale: Pa
r
a
m_Po
l
yh
e
d
ron
_
Scale: drop Polyhe
d
ron p
a
ra
m
eter
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-04
S
v
en Verdoolaege
scale
.
c: PP_enumerat
e
_narrow_fl
a
ted: u
s
e scale
d
P
aram_Polyhe
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-04
Sven
Verdoolaege
s
cale: u
s
e scaled
P
aram
_
Polyhedr
o
n constraints
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-04
Sven Verdoo
l
aege
scale
.
c
: Pa
r
am_Pol
y
hedron_Scale_Integer_Slow
:
re
m
ov
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-04
Sve
n
Verdoolaege
s
c
al
e
.
c: Param_Polyhedr
o
n_Sca
l
e_Intege
r
_{Fast,Slow
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-04
Sven V
e
rdoolaege
sca
l
e
.
c: make Param_P
o
lyhedron_
S
cale
_
Integer_{Fast
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-04
Sv
e
n Verdoolaege
Param_Polyhedron_Volume: use Param_Polyhedro
n
constraints
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-03
Sven Verdoolaege
ISL
_
P
2PP: sto
r
e (potent
i
ally) updated cons
t
raints
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-03
Sve
n
V
e
rd
o
olae
g
e
intro
d
uce i
s
l_basic_se
t
_to_polyl
i
b_cons
t
raints
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-03
Sv
e
n V
e
r
doolaege
isl
_
basic_map_to_po
l
yl
i
b: extract out isl_basic_map_to_polyl
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-07-13
Sven
Verdoolaege
c
o
nfigure
.
ac: require cd
d
l
i
b 0
.
94k
b
y checki
n
g for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-07-07
Sv
e
n
V
erdoolae
g
e
update pet for s
u
ppo
r
t for re
c
ent
ver
s
ions o
f
clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-07-07
Sven Verd
o
olaege
u
p
date isl for support
for recent v
e
rsi
o
ns of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-07-07
Sven Verdoolaege
update pol
y
l
i
b
to l
a
test v
e
rsion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-06-03
Sve
n
Verdoolaege
use test
scri
p
ts for performing tests
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-01
Sven Verdoolaege
barvinok_
e
numerate_e: d
r
op Omega simplification
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-01
Sven Ver
d
oolaege
barvino
k
_enumerate_e: drop op
t
ion to
use
Parke
r
's DFA
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-01
Sv
e
n V
e
r
d
o
olaege
remove
s
election of defau
l
t
s
p
e
ci
a
l
i
z
atio
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-01
Sven
V
e
rdoolaege
doc/barvinok
.
bib
:
drop Parker200
4
en
t
ry
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-01
Sven Verdoolaege
d
o
c: u
p
date o
u
tputs of examples
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-10
Sven
V
e
r
d
oo
l
aege
drop declaratio
n
of
p
i
p_*_P
o
lyhedron
_
Reduced_Basis
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-10
Sven Ver
d
oolaege
d
r
o
p NTL_5_3_2
.
p
atc
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-10
Sven
Verdoolaege
s
c
a
le
.
c: Param_Polyhedron_Doma
i
n: on
l
y set Facets in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-02
S
v
en Verdoolae
g
e
barvin
o
k 0
.
41
.
7
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-02
Sven
V
er
d
o
olaege
update pet to v
e
rsion 0
.
11
.
7
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-02
Sven Verdoolaege
update isl to
ve
r
s
i
on
0
.
26
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-20
Sven
Ver
d
oolaege
add some iscc tests for fixed powers
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-20
Sven Verdoo
l
aege
iscc: fix comput
a
tion of
(
negati
v
e) fixed power
s
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-07
Sven Ver
d
oolaege
update isl
for c
h
ange in coal
e
scing
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
S
v
e
n Verdoolaege
update
pet for supp
o
rt for recent versions of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Sv
e
n Verdoolaege
u
p
d
ate isl for su
p
port for re
c
e
nt
versi
o
ns
o
f clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdool
a
ege
requi
r
e C++11
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdo
o
laege
dro
p
support
for __gnu_cxx::hash_m
a
p
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
r
eplac
e
obsolete
AC_TRY_LINK by AC_LINK_IFELSE
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Ve
r
doolaege
repla
c
e
obsolete AC_TR
Y
_C
O
MP
I
L
E by AC_COMPILE_IFELSE
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolae
g
e
replace
obsole
t
e AC_HE
L
P_STRING calls
b
y AS_HELP_STRING
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verd
o
olaege
r
e
place ob
s
olete AC_PROG_LIBTOOL
b
y LT_
I
NIT
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
drop ev_size
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven
Verdoolaege
drop count_domain
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
S
v
e
n
Verdoolae
g
e
dr
o
p colle
c
t
_no
n
s
i
mple
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdo
o
lae
g
e
drop
collect_polytop
e
s2
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verd
o
o
laege
drop collect
_
po
l
ytopes
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
S
v
en Ver
d
ool
a
ege
drop verify_le
x
smaller test applicat
i
on
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
dr
o
p
poly
t
ope_lattice_w
i
dth application
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdo
o
laeg
e
dro
p
polyhedron_s
a
mple application
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
drop polytope_scan applicatio
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven
Verdoo
l
aege
drop remove_
r
e
d
u
nd
a
nt_equalities app
l
icat
i
on
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-20
Sven Ver
d
oolaege
u
pdate doc
u
men
t
ation
t
o
removal o
f
barvi
n
ok_enumerat
e
_
p
ip_wi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-20
Sven
Verdoolaege
configure
.
ac:
drop
A
M
_PROG_
L
EX and AC_
P
ROG_YACC
c
alls
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-14
Sven Verdoolaege
a
dd
a
n iscc weighted count
i
ng
t
e
s
t
case with
a
n equality
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-14
Sven Verdoo
l
aege
t
e
st
box a
n
d ber
n
oulli summation algo
r
ithms on s
q
u
are_p2
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven
Verdo
o
laege
add test
s
/eh
r
hart_union
.
READ
M
E explain
i
ng origin o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoolaege
a
dd tests/ehrhart
.
README exp
l
a
i
ning
origin of
s
ome
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven V
e
rdoolaege
add tests/l
e
xmi
n
.
RE
A
DM
E
e
x
pla
i
ning origin of
s
o
m
e of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoolaege
tests/pw
q
p/hon
g
*
.
pwqp: men
t
io
n
c
o
ntr
i
butor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sve
n
V
e
rdoolaege
tests/iscc/ler
o
ux
:
men
t
i
on origin
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoolaege
tests/iscc/latt
i
ce_w
i
d
th-jon_*: m
e
ntio
n
con
t
ribu
t
or
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven V
e
r
doolaege
tests/iscc/count/ga
r
bervetsky: m
e
ntion
co
n
tribu
t
or
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sve
n
Ve
r
doola
e
ge
tests/iscc/count/empt
y
7: mention contribut
o
r
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
S
ven
Verdoolaege
t
ests/is
c
c/count/andreas: mention con
t
ributor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoolaege
te
s
ts
/
ehrhart_e/**/seghir-*: mention contributor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoolaege
t
e
sts/ehr
h
a
r
t
/classen*: mention
c
ontri
b
ut
o
r
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoolaege
convert sample test
to iscc test
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Ve
r
dool
a
e
ge
convert counting tests
to
iscc test
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2022-07-31
Sven Verdoolaege
make isl_basic_set_l
a
ttice_width static
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-24
Sven Ver
d
oolaege
summa
t
e
.
c
: add missing in
c
lude
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven
V
e
rdoo
l
aege
b
a
r
vinok 0
.
41
.
6
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Ver
d
oo
l
aege
upda
t
e pet to
v
ersio
n
0
.
1
1
.
6
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven V
e
r
doolaege
update
i
sl to
v
e
rsion 0
.
25
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sv
e
n Ver
d
o
olaege
allow static building of executables
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoolaege
con
f
i
gure
.
ac:
re
n
am
e
BV_L
D
FL
A
GS
t
o BV_
L
IB_LDFLAGS
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verd
o
o
l
aege
configure
.
ac: dr
o
p spurio
u
s
space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoolaege
update p
e
t
for
s
upport
f
o
r
recent versions
of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven
Verdoolae
g
e
update isl for
support for
r
ecent versions of c
l
a
ng
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolae
g
e
manual
_
c
o
unt: renam
e
"dim" variable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sve
n
Verdoolaeg
e
i
s
l_map_apply_pw_qpol
y
nom
i
al: rename "
d
im" vari
a
bles
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sve
n
V
e
r
doolaeg
e
summat
e
.
c: pw_qpolynomial_apply: ren
a
me "dim" vari
a
bles
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
ven Ver
d
oolaege
i
sl_union_set_apply_u
n
io
n
_pw_qpolynomial: rename "
d
im
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdool
a
ege
summate
.
c: pw_qp
o
lynomia
l
_a
p
ply_set: re
n
a
m
e "d
i
m"
v
ariables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
isl_unio
n
_map_apply_union_p
w
_qpo
l
ynomial: renam
e
"di
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
v
en Verdoolaeg
e
isl_union_pw_
q
polynomial_s
u
m: rename "
d
i
m
" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdo
o
l
a
ege
Po
l
yhedron_S
a
m
p
l
e
: rena
m
e
"dim"
v
ariab
l
e to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
i
sl_constrain
t
s_opt: r
e
name "dim" variable to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
Verdoolaege
is
l
_p
o
lyhedr
o
n_aff
i
ne_sign: rename "dim" var
i
able to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next