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
Sve
n
Verdoolaege
barvinok 0
.
41
.
5
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-01
S
v
e
n
Ve
r
doola
e
g
e
update pet
t
o version 0
.
11
.
5
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-01
Sven Verdoolae
g
e
u
p
d
a
t
e isl to version
0
.
24
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolaege
Makefile
.
am:
dro
p
LOC
A
L_POL
Y
LIB_LA
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
Sv
e
n
Verdoolaege
buil
d
l
i
bisl
.
la before l
i
b
pet
.
la
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolaege
update p
e
t
f
or support for recent versions of cl
a
ng
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolae
g
e
up
d
a
te isl f
o
r supp
o
rt for recent
v
ersi
o
ns of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-07
Sven Verdool
a
ege
remov
e
_
all_equ
a
lities: also remove paramet
e
r
equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-07
Sven Verdoolaege
r
emove_all_equalities: copy cont
e
xt whenev
e
r main polyhedron
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-11-19
Sve
n
Verdoolaege
barvinok 0
.
41
.
4
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-11-13
S
ven Verdo
o
l
aeg
e
update pet to ver
s
ion 0
.
11
.
4
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-11-01
Sven
V
erdoolaege
update isl to
v
e
rsion 0
.
23
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-03
Sven Verdoola
e
ge
update pe
t
f
o
r
s
upport for
recent ve
r
sions of
c
la
n
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-03
S
v
en Ve
r
doolaege
update isl fo
r
su
p
port for recent versions of cla
n
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-11-13
Sven
Verdoolaege
barvinok 0
.
41
.
3
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-11-13
Sv
e
n Verdoolae
g
e
updat
e
pet to version
0
.
11
.
3
commit
|
commitdiff
|
tree
2019-11-13
Sven Ve
r
doolae
g
e
update isl to version 0
.
22
commit
|
commitdiff
|
tree
2019-08-24
S
v
en Verdool
a
ege
u
pdate
p
et fo
r
s
upport
f
or recent versions of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-24
Sven
V
erdoola
e
ge
update isl fo
r
suppo
r
t
for recent versions of cla
n
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-24
Sven Ver
d
oola
e
ge
u
p
date isl for change
i
n output of
isl_hash_table_find
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-24
Sven Verdool
a
eg
e
conf
i
g
u
re
.
a
c
: fix
botched
up assi
g
nmen
t
of previou
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-07-09
Sven Verdo
o
laege
c
o
nfigure
.
ac: override --with-isl option for subm
o
dules
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-05-11
Sven Ver
d
oolaege
try and incl
u
de compiler/li
n
ker opti
o
ns
need
e
d for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-05-11
Sven V
e
rdoolae
g
e
use
AC_PROG_SED instead o
f
directly calli
n
g sed
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-28
S
ven Verdoolaege
barvinok 0
.
41
.
2
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-28
Sven Verdoolaege
update pet
to
ver
s
ion 0
.
11
.
2
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-10
Sv
e
n Verdoolaeg
e
u
pdat
e
is
l
t
o
v
e
r
si
o
n 0
.
21
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-26
Sve
n
V
e
rdoolaege
update
p
et
f
or
s
uppo
r
t
f
or recent versions
o
f clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-26
Sven Verdoolae
g
e
upd
a
t
e
isl
f
or
s
upport for recent
versions
o
f clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-26
S
ven Ver
d
oolaege
update pet
f
or m
o
ve of
i
s
l
's
interface/all
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-31
Sven Verdoolaege
upd
a
t
e
isl
f
o
r
move of in
t
e
rface/all
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-30
Sven
Verdool
a
e
g
e
b
ar
v
in
o
k 0
.
4
1
.
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-30
S
ven
Verdoolaege
update pet
t
o versi
o
n 0
.
11
.
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-30
Sven
V
erdool
a
eg
e
update isl t
o
vers
i
on 0
.
20
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-17
Sven Verdoolaeg
e
upd
a
te pet
for
direct
h
eade
r
i
nclusions
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-27
Sven V
e
rdoo
l
ae
g
e
o
nly
build
i
sl
.
py and i
t
s depe
n
d
e
n
cies when extract_int
e
r
f
ac
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
S
ven Verdoolaege
l
attice
_
width
.
c: di
r
ectly include required headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven
Verdoolaege
isl_param_util
.
c: di
r
ectly
i
nclude required h
e
aders
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven Verdoolae
g
e
barvinok_e
.
cc: dire
c
tly include re
q
uired head
e
rs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-17
Sven Verdoolaege
add L
I
CENSE to distribut
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-16
Sven Ver
d
oolaege
AX_S
U
BMODULE: add
missing
invocation of tes
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-06
Sven Ve
r
do
o
l
a
e
g
e
b
a
r
vinok 0
.
41
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sv
e
n Verdoolaege
update pet to v
e
rs
i
on 0
.
11
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
S
ven V
e
r
d
oolaege
u
p
date is
l
t
o
version 0
.
19
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Ver
d
oolaeg
e
a
dd mi
s
sing CL
E
ANF
I
LES
and D
I
STCLEANFILES
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sve
n
Verdoolaeg
e
do no
t
remove polymak
e
/a
u
togen
.
sh fr
o
m distribution
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
S
ven
V
er
d
oo
l
ae
g
e
add doc/glosstex
.
ist
t
o distribution
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven V
e
rdoo
l
aege
A
X
_
SUBMODULE: fix typo in test invocation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoolaege
i
nterface: make lang
u
a
g
e
binding
s
depend
o
n
all relevant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven V
e
rdoo
l
aege
u
pdate pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven Verdoolaege
update isl fo
r
s
upport for recent clangs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-13
Sven Verdoolaeg
e
iscc: drop support fo
r
applying "codegen" to a set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Sven
V
e
r
d
oolaege
distribute
b
o
t
h versions o
f
interface/isl
.
py
.
top
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Sven Ve
r
doolae
g
e
AX_SUBMO
D
ULE: only check su
b
module
status in
g
it repository
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sv
e
n Ve
r
doolaege
interfac
e
/i
s
l
.
py
.
top
.
*: explicitl
y
c
ast self
.
ptr of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoola
e
ge
upd
a
te pe
t
for f
i
xes in pyth
o
n bindings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Ve
r
dool
a
ege
update isl for fixes i
n
python bindings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sv
e
n
Ver
d
oolaege
u
p
date isl for c
h
ange in interfac
e
/
extrac
t
_
i
nterfac
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree