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
Sv
e
n Ve
r
d
oolaege
us
e
test scripts for perf
o
rming tests
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-01
Sven Ve
r
doolaege
barvin
o
k
_
enu
m
erate_e: drop Omega si
m
plification
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-01
Sven Verd
o
ola
e
ge
b
arvin
o
k
_
enumer
a
te_e: dro
p
option to
u
se Parker
'
s D
F
A
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-01
S
v
e
n Verdoola
e
ge
remove select
i
on of defau
l
t
specialization
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-01
Sven Verdo
o
laege
doc/b
a
rvinok
.
bib: drop Parker2004 entry
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-01
S
v
en Verd
o
o
l
aeg
e
do
c
:
u
pdat
e
outp
u
t
s of exam
p
le
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-10
Sve
n
V
e
rdoolaeg
e
drop decla
r
ation of pip_*_P
o
lyhedron_R
e
d
uced
_
Basis
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-10
Sven Verdoo
l
a
e
ge
drop NTL_5_3_2
.
patch
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-10
S
ven Verdoolaege
sca
l
e
.
c: Param_Polyhedron_Domain: only
se
t
F
a
cets in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-02
Sven
Verdool
a
ege
barvinok 0
.
41
.
7
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-02
Sven Verdoolaege
update pet to
version
0
.
11
.
7
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-02
Sven Verdoolaege
update i
s
l to versio
n
0
.
26
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-20
Sven Ver
d
oolaege
ad
d
s
o
me iscc
t
e
sts for fi
x
ed powers
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-20
Sven Verdoolaege
iscc: fix
c
omputation
of (negative) fixe
d
p
owers of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-07
Sven Verdo
o
laege
u
p
d
a
te isl for change
in coalescing
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Sven Ve
r
doolaege
update pet for sup
p
ort for recen
t
ve
r
sions o
f
clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
S
v
en Verdoolaege
u
pdate isl for sup
p
ort for recen
t
vers
i
ons of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
S
ven Verdoola
e
ge
r
e
quire C++11
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Ver
d
oolaege
drop support for
__gnu_cxx::has
h
_map
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sv
e
n
V
er
d
oolaege
repl
a
ce
o
bsolete AC_TR
Y
_LINK by
AC_
L
INK_IF
E
LSE
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sv
e
n Verd
o
ola
e
g
e
r
e
plac
e
obs
o
let
e
AC
_
TRY
_
COMPILE by AC_COMPILE
_
IF
E
L
SE
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolae
g
e
replace o
b
sole
t
e AC_HELP_STRING calls b
y
AS
_
H
E
LP_S
T
RING
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
replace o
b
solete AC_PROG_
L
IBTOOL by LT_INIT
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaeg
e
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
Sven Verdoolaege
drop collect_nons
i
mple
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaeg
e
drop colle
c
t_polytopes2
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
d
rop collect_polytopes
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sve
n
V
erdo
o
l
aege
drop verify_lexsmaller
t
est ap
p
li
c
atio
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
dr
o
p polytope_lattice_width application
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdo
o
laege
dro
p
polyh
e
d
ron_sample application
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sve
n
V
e
r
doolaege
dro
p
p
o
lytope_scan applic
a
tion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-21
Sven V
e
rdoolaege
drop remove
_
redun
d
ant_equalities ap
p
lication
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-20
Sven Verdo
o
laege
up
d
a
t
e documen
t
at
i
on to remo
v
al of barvinok
_
e
n
umerat
e
_pi
p
_wi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-20
Sven Verdoolaege
c
o
nfigure
.
ac:
d
rop AM_PRO
G
_LEX and AC_PROG_
Y
AC
C
c
alls
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-14
Sven Verdoolae
g
e
add an isc
c
w
e
i
g
hted counting
t
est
c
ase
w
it
h
an equality
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-14
S
ven Verdoola
e
ge
t
est box and bernoulli sum
m
atio
n
algorithms
on square_
p
2
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Ver
d
oolaege
add tests/ehrhart_
u
nion
.
README expl
a
ining
o
r
i
g
i
n of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
S
v
en Verdo
o
laege
add test
s
/ehrhart
.
README explai
n
ing origin
o
f some
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sv
e
n Verdoolaege
add tests/lexm
i
n
.
README expla
i
n
i
ng
o
rigin of some of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sve
n
Verdoolaeg
e
test
s
/pwqp/hong*
.
pw
q
p: mention contribu
t
o
r
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdoola
e
ge
t
es
t
s/iscc/leroux: mention origin
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Ver
d
oolaege
tests/iscc/lattice_width
-
j
on_*: mention contributor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sv
e
n
V
e
rdoolaege
tests/iscc/c
o
unt/garbe
r
vetsky: mentio
n
contributor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
S
v
en Ve
r
doolaege
t
ests
/
i
scc
/
coun
t
/e
m
p
ty7: mention contributor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Ve
r
doolaege
test
s
/iscc/count/andreas: mention contributor
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sv
e
n
V
e
r
doolaege
tests/
e
h
r
hart_e/**/
s
e
ghir-*: mention cont
r
i
b
ut
o
r
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Verdo
o
laege
tests/ehrhart/class
e
n*: mention c
o
ntribu
t
o
r
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Ver
d
oolaeg
e
convert sample test
t
o iscc test
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-08-07
Sven Ve
r
d
o
ola
e
g
e
co
n
vert
c
ounting te
s
t
s to iscc tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2022-07-31
S
v
e
n Verdo
o
laege
mak
e
i
s
l_basic_set_la
t
tice_
w
idt
h
stat
i
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-24
Sven Ve
r
doolaege
summate
.
c
: add missing
i
nclude
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sve
n
Ve
r
doo
l
aege
barvi
n
ok 0
.
41
.
6
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoolae
g
e
update pet t
o
ver
s
ion 0
.
11
.
6
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoolaege
update isl t
o
v
e
rsion 0
.
25
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven
Verdoolaege
allow static buildin
g
of execu
t
abl
e
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoolaege
configur
e
.
ac:
r
e
name BV_LDFLA
G
S to BV_LIB_
L
D
F
LAGS
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoola
e
ge
configure
.
ac: drop spurious space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Ve
r
doolaeg
e
update
p
et for support
f
or recent v
e
rsions of
cl
a
n
g
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoolaege
update isl for support for
r
e
c
ent versi
o
n
s
of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
Verdoo
l
aege
manual_count: r
e
name "dim" vari
a
ble
to "
s
pace
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoo
l
a
eg
e
isl_
m
ap_a
p
ply_pw_qpolynomial
:
ren
a
me "di
m
" var
i
abl
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n
V
e
rdoo
l
a
e
ge
su
m
m
a
t
e
.
c: pw_qpolynomial_app
l
y: rena
m
e "di
m
" variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sve
n
Verdoolaege
isl_
u
nion_set_apply_
u
nio
n
_p
w
_qpolynomial
:
ren
a
me
"d
i
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n Verdoolaege
s
ummate
.
c: pw_qpoly
n
omial_apply_set: rename "dim" variab
l
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdo
o
laege
isl_union_ma
p
_apply
_
union_pw_qp
o
l
y
nomial: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoo
l
aege
isl_union_p
w
_qpo
l
ynomial_sum: re
n
ame "
d
im"
v
ariab
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
ven V
e
rdoolaeg
e
Polyhedron
_
Sa
m
ple:
r
e
n
a
me "dim" variable to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdool
a
ege
isl_constraint
s
_opt: r
e
name "
d
im" v
a
riab
l
e to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
ve
n
Verdoolaege
isl_polyhedron_affine_sign:
rename "d
i
m"
variable t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven V
e
rdool
a
ege
bound
.
c: s
p
l
it_on_
d
omain_size: rena
m
e "dim
"
varia
b
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoo
l
aege
isl_Pol
y
hedron_Re
d
uce
d
_Basis
:
rename "dim" va
r
iable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
V
erdoo
l
aege
ba
r
vinok
_
enume
r
ate
.
cc: verify
_
isl:
re
n
ame "dim"
v
a
r
iable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
V
erdoolaege
isl_
u
nion_ma
p
_card: rename "dim" variable to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n Verdool
a
ege
i
s
l_union
_
s
e
t_card: r
e
name "dim" va
r
iable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven V
e
rdoolaege
isl_
m
ap_c
a
rd: rename "d
i
m"
v
ariab
l
e to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
barvin
o
k
.
cc:
ca
r
d_as_sum: r
e
name "dim" v
a
riable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
ven Verdoolaege
barvinok
.
cc: basic_map_c
a
rd: rename
"
dim
"
var
i
able
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
v
en Ve
r
doolae
g
e
i
s
l_uni
o
n_set_lattice_width: ren
a
m
e
"
d
im" v
a
r
iable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
ven Verdool
a
ege
isl_set_lattice
_
width: re
n
am
e
"dim" va
r
iable to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verd
o
ol
a
ege
isl_basic_set_lattice_
w
idth: rename "dim" v
a
riable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
Verdoolae
g
e
eval
u
e_isl
.
c: relation2pwqp
:
rename
"
dim" variab
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
evalue_isl
.
c: extract_bas
e
: rename
"
dim" parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
v
en Ver
d
o
o
l
a
e
g
e
is
l
_
pw_qpoly
n
omial_fro
m
_evalue: rename "dim" para
m
eter
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoo
l
aege
isl_qpol
y
nomia
l
_fro
m
_
eva
l
ue: rename "dim" para
m
eter
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verdoolaege
verify_options_set_range_
p
w
qp
.
c: use i
s
l_p
w
_
q
p
olynomial_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-30
Sven
Verdoolaege
extract out sha
r
ed ve
r
ify_
o
pt
i
o
n
s_set
_
range_pwqp
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-30
S
v
e
n Verdoo
l
aege
barvi
n
ok_summate
.
c:
v
e
r
ify: fix m
e
m
ory m
a
nagement annotation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-24
Sven
V
erdoolaeg
e
evalue_isl
.
c
: add_guarded_qp: drop unus
e
d
v
ariab
l
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-24
Sven Verdoolaege
barvinok_
s
ummate
.
c:
verify
_
point: drop unu
s
ed v
a
ri
a
b
le
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-03-19
Sven Verdoolaege
doc: u
p
date
gfor
g
e
.
in
r
ia
.
fr link
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-08-15
S
ven V
e
rdoolaege
b
a
rvi
n
ok_bound: fix --it
e
rat
e
option
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-08-15
Sven Ve
r
doolaege
b
o
u
nd
.
c
:
i
t
erat
e
: rename
"
d
i
m" var
i
able to "spa
c
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-07-26
Sven Verdoolaege
update pet for more relaxed pet_ex
p
r_i
s
_equal ind
e
x
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
S
v
e
n Verdoolaege
ba
r
vinok
0
.
41
.
5
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
Sv
e
n Verdoolae
g
e
u
p
date pet to version 0
.
1
1
.
5
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
Sven
Verdoolae
g
e
up
d
ate isl to ver
s
io
n
0
.
24
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
Sven Ve
r
doola
e
ge
Makefile
.
am: drop LOCAL_POLYL
I
B
_LA
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
S
v
en Verdoolaege
bui
l
d libisl
.
la before libpet
.
la
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
S
ven Verdoolaege
u
pda
t
e
p
et
f
or
supp
o
rt
f
or recent
versions
of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next