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.5
2021-05-01
S
v
en V
e
rdoola
e
g
e
barvin
o
k 0
.
41
.
5
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-01
Sv
e
n
Ver
d
oolaege
update pet to
v
ersio
n
0
.
11
.
5
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-01
Sven Verdoolaege
u
pdate isl
t
o v
e
rsi
o
n
0
.
2
4
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoola
e
ge
Makefile
.
a
m: drop LOCAL_PO
L
YLIB_LA
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
Sv
e
n Verdoolaege
b
uild
l
i
bisl
.
la before libpet
.
la
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
Sve
n
V
e
rdoolaege
update pet for
s
upport fo
r
rece
n
t
versio
n
s of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
Sven
Verd
o
olae
g
e
update isl
fo
r
support f
o
r recent
v
ersions of
clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-07
Sven Verdo
o
laege
remove_all_
e
qua
l
i
t
ies:
a
lso remove param
e
ter equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-07
Sven Verdoolaege
remove_
a
ll_equalities:
c
o
p
y
context wh
e
never
main polyhedron
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-11-19
Sven
Verdoolae
g
e
barvinok 0
.
4
1
.
4
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-11-13
Sven Verdoo
l
a
ege
upd
a
t
e
pe
t
to ve
r
s
ion 0
.
11
.
4
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-11-01
Sv
e
n Ve
r
doolae
g
e
u
p
da
t
e is
l
to version 0
.
2
3
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-03
S
v
e
n
Ver
d
oolaege
u
pdate pet for sup
p
ort for recent vers
i
ons of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-03
Sven
Verdoolaege
update
isl for s
u
pport for recent versions of
clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-11-13
Sve
n
Ve
r
doolaege
barvinok 0
.
4
1
.
3
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-11-13
Sv
e
n
V
er
d
oola
e
ge
upd
a
te pet
t
o version 0
.
1
1
.
3
commit
|
commitdiff
|
tree
2019-11-13
Sve
n
V
e
rdool
a
e
g
e
update isl to
v
e
rsio
n
0
.
22
commit
|
commitdiff
|
tree
2019-09-17
Andi Drebes
Document Pyth
o
n int
e
rfac
e
in README
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-09-17
And
i
Drebes
Mak
e
file
.
am: add missing dependency to extract_in
t
erface
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-09-13
Andi Drebes
Makefile
.
am
:
k
e
ep isl
.
py onl
y
i
f generating comm
a
nds
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-24
Sven Verdoolaege
upda
t
e pet for
s
upport for recent versions o
f
cl
a
ng
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-24
Sven Verdoolaege
update isl for support
for recent ver
s
ions of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-24
Sven Ver
d
o
olaege
update isl for change in output of isl
_
hash_table_
f
ind
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-24
Sven Verd
o
olaege
co
n
figure
.
ac: f
i
x botched up assig
n
ment of
p
reviou
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-07-09
Sve
n
Verdoolaege
config
u
r
e
.
ac:
over
r
ide --wi
t
h-isl opti
o
n for
s
ubmodules
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-05-11
Sven Verd
o
ol
a
ege
t
ry and
i
nclude compiler/l
i
nker op
t
io
n
s n
e
eded
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-05-11
Sv
e
n Verdoolaege
us
e
AC_PROG_SED instead of
d
irectly calling sed
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-28
S
ven Verdoolaege
b
arvinok
0
.
41
.
2
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-28
Sven Verdoolaege
u
pdat
e
p
e
t
t
o
version
0
.
1
1
.
2
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-10
S
ven
Verdoolaege
upda
t
e
i
s
l
to version 0
.
2
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-26
Sven
V
erdoo
l
aege
update pet
f
o
r
support for
r
ecent versions of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-26
Sven Verdoolae
g
e
updat
e
isl fo
r
support for rece
n
t versio
n
s
o
f clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-26
Sven Verdoo
l
aege
update pet for move of is
l
's interface/a
l
l
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-19
Sven
Ve
r
doola
e
ge
drop EXT
R
A_{tes
t
,barv
i
nok}_{
s
ummate,bound}_SOURCES
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-31
Sven Verdoolaege
u
pd
a
te isl f
o
r
move
of interfa
c
e/all
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-30
Sven Verdoolaege
barvinok 0
.
41
.
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-30
S
ven Verdo
o
l
a
ege
update pet to ve
r
sion 0
.
11
.
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-30
S
v
en Verdoo
l
a
ege
upd
a
te isl to
version 0
.
20
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-17
Sven Verdoola
e
ge
u
p
d
a
te pet for direc
t
he
a
der inclusions
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-27
Sven Verd
o
ola
e
g
e
only build isl
.
py an
d
i
ts dep
e
ndencies wh
e
n extract_inte
r
fac
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven Verdo
o
la
e
ge
latt
i
ce_width
.
c: directly inclu
d
e re
q
uired headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
S
v
en
V
erdoolaege
isl_pa
r
am_util
.
c: dire
c
t
l
y include requ
i
red headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven Verdool
a
ege
barvinok_e
.
cc: di
r
ectly in
c
lude
r
e
q
uired headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-17
Sven Verdoolae
g
e
add LICENSE to distribution
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-16
Sven Verdoo
l
aege
AX_
S
UBMODU
L
E: a
d
d mis
s
ing invocation of test
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-06
Sv
e
n Verdoolae
g
e
barvinok 0
.
41
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven
Verdoolaege
update pet to version 0
.
11
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoo
l
aeg
e
u
pdate is
l
to
v
e
r
sion 0
.
19
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verd
o
olaege
add missing CLEANFILES and DIST
C
LE
A
NFILE
S
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoolaege
do not
remo
v
e pol
y
ma
k
e/autogen
.
sh from
d
istribu
t
io
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Ver
d
oolaege
a
d
d doc/glo
s
stex
.
is
t
to distributi
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoolaeg
e
AX_SUBMODULE: f
i
x typo i
n
te
s
t i
n
v
o
cation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
S
ven Ver
d
oo
l
aege
interface: m
a
ke language bindings d
e
p
e
n
d on all relevant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven Verdoolaege
update
pet fo
r
s
upport
f
or recent
clan
g
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven Ve
r
doolaeg
e
upda
t
e isl for support for
recent clangs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-13
S
v
en
V
erdoolaege
i
scc: drop su
p
port for
ap
p
l
y
ing "c
o
degen" to a set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Sven
V
e
rdool
a
ege
distribute
both versi
o
ns of int
e
rface/isl
.
p
y
.
top
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Sven Verdool
a
ege
AX_SU
B
MOD
U
LE: only check
s
ubmodule
st
a
tu
s
in git repo
s
itory
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdool
a
ege
interface/isl
.
py
.
top
.
*
: expl
i
c
i
tly
cast self
.
ptr o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verd
o
o
laege
update pet for fixes
in python bindings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven V
e
rdoolaege
upd
a
t
e i
s
l fo
r
f
ixes in python
bin
d
ing
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
S
v
en Verdoolaege
u
p
d
ate isl for chan
g
e in in
t
erface/extract_interface
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree