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
use test scripts for performing tests
2023-06-03
Sven
V
er
d
oolae
g
e
u
se test sc
r
ipt
s
for perf
o
r
m
ing tes
t
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-05-01
Sv
e
n
V
erdoolaege
barvinok_en
u
m
e
rate_e
:
dro
p
Omega simplific
a
tion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-05-01
S
v
en Verdoolaeg
e
bar
v
i
n
ok_enumerate_
e
:
drop option to
use P
a
r
k
er
'
s D
F
A
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-05-01
Sven
V
e
rdoolaege
re
m
o
v
e
sel
e
ction o
f
default specialization
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-05-01
Sven V
e
rdoolae
g
e
doc
/
barvinok
.
b
ib: dr
o
p Park
e
r2004
e
ntry
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-05-01
Sven Verdoolaege
doc:
update
o
utput
s
of examples
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-10
S
v
en Verdoolaege
drop
d
eclara
t
ion of pip_*_
P
olyhedron_Reduced_
B
asis
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-10
Sven Verdoolaege
drop NTL_5_
3
_2
.
patch
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-10
S
ven
Ver
d
o
olaege
s
c
ale
.
c:
P
a
r
am_Poly
h
edr
o
n_Do
m
ain
:
on
l
y set Facets in
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-02
S
ven Verdoolaege
barvinok 0
.
41
.
7
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-02
Sven Verdoolaege
u
p
d
a
te pet to version 0
.
11
.
7
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-02
Sve
n
Verd
o
olaege
update isl to version 0
.
26
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-03-20
Sven Verdoolaege
add some
iscc test
s
for f
i
xed p
o
w
e
rs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-03-20
Sven V
e
r
doolaege
iscc: fix computation of (negative) fixed power
s
of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-03-07
Sven Verdoolae
g
e
update is
l
for
c
hang
e
in
coales
c
ing
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-03-04
Sven Verdoolaege
upd
a
te pet for support fo
r
rec
e
nt ver
s
ions of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-03-04
Sv
e
n Verdoolaeg
e
updat
e
isl for support
for recent
v
ersion
s
o
f cl
a
ng
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
S
v
en Verdoolaege
require
C++11
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
S
ven Verd
o
olaege
drop suppo
r
t for
_
_g
n
u_cxx::hash_map
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sv
e
n Ver
d
oolaege
replac
e
obsole
t
e AC_TRY_LI
N
K by AC_L
I
N
K
_I
F
ELSE
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolae
g
e
replace obsolete AC_TRY_COMPI
L
E by AC_CO
M
PI
L
E_IFELSE
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sven
V
erdoolaege
re
p
l
ace obsolete AC_HELP_S
T
R
I
N
G calls by
AS_
H
ELP_
S
TRIN
G
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
S
v
e
n Verdoolae
g
e
r
epla
c
e obsolete AC_PROG_LIB
T
OOL by LT_I
N
IT
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
dro
p
ev_size
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
S
v
en
Verdoolaege
dro
p
count_domain
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
drop
c
ollect_nonsi
m
ple
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sve
n
Verd
o
olaege
drop collect_p
o
lytope
s
2
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
S
v
e
n
Verd
o
olaege
dro
p
collect
_
polytopes
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sven V
e
r
doolaege
drop verify_lexsmal
l
e
r te
s
t
applicati
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdool
a
ege
drop pol
y
tope_lattice_width applicati
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
drop
p
o
lyhedron_sample a
p
plication
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
S
v
en V
e
rdo
o
laege
drop
polytop
e
_scan appl
i
c
ation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolae
g
e
d
r
op r
e
move_red
u
ndant_e
q
ualities application
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-20
Sven Verdo
o
lae
g
e
u
pd
a
te documentation to removal of barvi
n
ok_enumerate_pip_wi
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-20
S
ve
n
Verdool
a
ege
conf
i
gure
.
ac: drop AM_PRO
G
_LEX and A
C
_
P
R
OG_YACC calls
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-14
Sv
e
n
Verdoolaege
a
dd an
i
s
cc wei
g
hte
d
count
i
ng te
s
t case wit
h
an equality
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-14
S
v
en Verdoolaege
test b
o
x and bernoul
l
i summat
i
o
n
algorithms o
n
s
q
uare
_
p2
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
Sv
e
n
V
erdoolaege
add
tests/ehrh
a
r
t_union
.
README explai
n
ing
o
rigin of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
S
ven
Verdoolaege
a
dd tests/ehrhar
t
.
RE
A
DME exp
l
a
ining origin of some
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoolaege
add te
s
t
s/lexmin
.
R
E
AD
M
E explaining origin of
s
o
me of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
Sven
V
erd
o
o
laege
tests/pwqp/hong*
.
pwqp: mention contribu
t
or
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
S
ven Verdoolae
g
e
t
ests/iscc/leroux:
menti
o
n
o
rig
i
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
Sven
V
erdoolae
g
e
t
e
sts/i
s
c
c/
l
atti
c
e
_
wid
t
h-jo
n
_*:
m
e
n
tion contributor
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
Sven Ver
d
o
o
la
e
g
e
t
es
t
s/iscc/c
o
un
t
/g
a
rbervetsky: mention co
n
t
rib
u
t
o
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoola
e
ge
t
ests/is
c
c/count/empty7: menti
o
n c
o
n
tribu
t
or
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
S
ve
n
Ve
r
d
o
olaege
tests
/
iscc/count/andreas: mentio
n
c
on
t
ri
b
utor
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
Sv
e
n Verdo
o
laege
tests/ehrhart_e/**/seg
h
ir-*
:
mention contributor
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
Sv
e
n Verdoolaege
tests/ehrhart/clas
s
en*: mention contributor
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
S
v
en Verdool
a
e
ge
convert
s
ample test to iscc
t
est
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoolae
g
e
co
n
vert counti
n
g
tests
t
o iscc
t
ests
commit
|
commitdiff
|
tree
2022-07-31
Sv
e
n
V
e
rdool
a
ege
make isl_basic_
s
et_lattic
e
_width static
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-24
Sven Verd
o
olaege
summ
a
t
e
.
c:
add missing include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sven Ve
r
d
o
olaege
b
a
r
vinok 0
.
41
.
6
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sv
e
n V
e
rdool
a
ege
u
p
date pet to v
e
rsion 0
.
1
1
.
6
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
S
v
en Verd
o
olaege
updat
e
isl
t
o
v
e
rsi
o
n 0
.
25
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoolaege
allow st
a
tic
b
uildi
n
g of executabl
e
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verd
o
olaege
configure
.
ac
:
rename
B
V_LDFLAGS to BV_LIB_LDFLAGS
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sven
V
erdoolaege
configu
r
e
.
a
c: drop sp
u
rious space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoola
e
ge
u
p
date
pet fo
r
s
upport
f
or recent
v
e
r
sions of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoo
l
aege
upd
a
t
e
i
sl for support for recent versions of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ve
r
d
o
olaege
ma
n
ual_cou
n
t:
rena
m
e "dim"
v
ariable
to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaeg
e
isl_map_apply_pw_qpolynomial: rename "dim
"
variables
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
S
v
e
n
Verdoo
l
aege
summate
.
c: pw_qpolynomia
l
_apply: rename "dim
"
variables
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven
Verdoolaege
isl_uni
o
n_set_apply_union_pw_qp
o
lyno
m
ial: rename "
d
im
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
summate
.
c: pw_qpo
l
y
n
omial_
a
pply_set: r
e
name "dim
"
variabl
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
isl_union_map
_
app
l
y_union_pw_qpolynomial: rename "dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
isl_union_pw_qpolynomial_sum: rename "dim" vari
a
ble
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verd
o
olaeg
e
Polyhed
r
o
n_Sample
:
rename "dim" variable to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven
V
erdoolaege
isl_constraints_opt
:
rename "dim" va
r
ia
b
l
e to "space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ver
d
oolaege
isl_
p
olyhedron_aff
i
n
e_sign: re
n
a
me
"
di
m
" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven
Verdoolaege
bound
.
c: spl
i
t_on_domain_s
i
ze: re
n
ame "di
m
" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven V
e
r
d
o
olaege
isl_Pol
y
h
e
dron_Reduced_Bas
i
s: r
e
name
"
dim" variabl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven V
e
rdoolaege
b
a
rvinok_enumera
t
e
.
cc:
verif
y
_
i
sl: re
n
ame "dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
S
ven
V
e
r
doolaege
isl_union_map_card: renam
e
"dim
"
vari
a
ble to
"space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoo
l
ae
g
e
isl_unio
n
_s
e
t_card:
rename
"
d
im" v
a
riable to "sp
a
ce"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n Verd
o
olaege
isl_ma
p
_card:
r
ename "dim" variable to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
barvino
k
.
cc: card_
a
s_
s
um: rena
m
e "d
i
m" v
a
riable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
S
v
e
n Verdoolaege
barvino
k
.
c
c
: bas
i
c_map_
c
a
r
d
:
ren
a
me
"
dim
"
variable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven
Verdoolaege
i
s
l
_union_set_latti
c
e_width:
rename "
d
im" v
a
riable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolae
g
e
isl_se
t
_l
a
ttic
e
_width: rename "di
m
"
variab
l
e
to "sp
a
ce"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
S
ven Verdoola
e
ge
is
l
_basic_set_latt
i
ce_width: ren
a
me "dim" var
i
able
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
S
v
en Ve
r
doo
l
aege
eva
l
ue_isl
.
c
:
relation2pwqp
:
rename "d
i
m" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
S
ven V
e
rdoolaeg
e
evalue
_
isl
.
c:
e
xtrac
t
_base: rename "dim" para
m
eter
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
isl_pw_qp
o
lynomial_fro
m
_e
v
alue: rename "dim" parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
S
v
en Verdool
a
ege
isl_qpol
y
nom
i
al
_
from
_
evalue:
re
n
a
me "di
m
" parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ver
d
o
ola
e
ge
verify
_
optio
n
s_set_range_p
w
qp
.
c: use isl_pw_qpolynomia
l
_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-04-30
Sven Verdoolaege
e
x
tract
out shar
e
d v
e
rify_options_set_r
a
nge_p
w
qp
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-04-30
Sven Verdoolaege
b
a
rvino
k
_summate
.
c: verify: fi
x
memory mana
g
ement annotation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-04-24
Sv
e
n V
e
rdoolaege
evalue_is
l
.
c: add_guarded_qp: drop unused variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-04-24
Sven
V
erdoolaege
b
a
rvinok_summate
.
c: veri
f
y_point: dro
p
unu
s
ed
varia
b
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-03-19
S
v
en Verdoolaege
doc: update gforge
.
inria
.
fr link
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-15
Sven
Verdoo
l
aege
barvinok_b
o
und:
fix --i
t
erate opti
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-15
Sven Verd
o
olaege
b
ound
.
c
: iterate: rename "di
m
" variable to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-26
Sven
V
erdoo
l
a
e
ge
updat
e
pet for more relaxed pet_e
x
pr_is_e
q
ual
i
ndex
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-01
Sven Verdo
o
laege
barvinok 0
.
4
1
.
5
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-01
S
v
e
n Verdoolaeg
e
updat
e
pe
t
to version 0
.
11
.
5
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-01
Sven Verdoolaege
update isl to version 0
.
24
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
Sven
V
e
rdoolaeg
e
Make
f
ile
.
am:
drop LOCAL_POLYLI
B
_LA
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
S
ven Verd
o
olaeg
e
build libi
s
l
.
la befor
e
l
ibpet
.
la
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
Sven
Verdool
a
ege
up
d
ate pet for support for
r
e
ce
n
t versions of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next