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.2
2019-03-28
S
v
e
n
V
erdoolaege
b
a
rvin
o
k
0
.
41
.
2
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-28
S
v
en
V
erdoolaege
updat
e
p
et to vers
i
o
n
0
.
11
.
2
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-10
Sven
Verdoolae
g
e
u
pda
t
e isl to
v
ersion 0
.
2
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-26
Sven Verdoola
e
ge
updat
e
pet for s
u
ppo
r
t for recent v
e
r
sions of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-26
S
v
e
n Verdo
o
laege
update isl for
support for
recent versio
n
s
of
c
lang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-26
Sven Ve
r
doolaege
update p
e
t f
o
r
m
o
ve of isl's interface/all
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-31
Sve
n
Verdoola
e
ge
update
i
sl for move of interface/all
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-30
Sven Verdoolae
g
e
bar
v
inok 0
.
41
.
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-30
Sven Verd
o
olaege
u
p
d
at
e
p
e
t
t
o
versi
o
n
0
.
11
.
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-30
Sve
n
Verdo
o
laege
updat
e
isl to
v
ersion 0
.
20
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-17
Sven Verdoolaege
update pet
for direct header
inclusions
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-27
Sve
n
Verdoolaege
only build
isl
.
py and
its de
p
endencies when extract_i
n
terfac
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven Verdo
o
l
a
ege
lattice_width
.
c: directly include r
e
quired head
e
rs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven
V
e
r
doolaege
isl_par
a
m_util
.
c: directl
y
inclu
d
e required headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven Ver
d
oo
l
aege
barvinok
_
e
.
cc
:
directly include
required headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-17
Sven Verdoolaege
a
d
d LICENSE to distribution
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-16
Sven Verdoolaege
AX_SU
B
MODULE: add
missing inv
o
cation of test
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-06
Sven Ver
d
oolaeg
e
b
a
rvinok 0
.
41
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdo
o
laege
update
p
et to version 0
.
11
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoo
l
ae
g
e
update isl to ve
r
sion 0
.
1
9
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
S
v
en Ve
r
doolaege
a
d
d
m
is
s
i
ng CLEANFILES an
d
DI
S
T
CLEANFILES
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoolaege
do not remove p
o
lymake/autogen
.
sh fr
o
m distri
b
ution
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sv
e
n
V
erdoolaege
add doc/g
l
oss
t
ex
.
i
s
t
t
o distribution
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sve
n
Verdool
a
ege
AX_SUBMODULE
:
fix
typo
i
n
te
s
t inv
o
cat
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
S
v
en Verdoolaeg
e
interface: make
lang
u
a
ge bind
i
ngs de
p
end on a
l
l relevan
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sve
n
Verdoolaeg
e
update pet for sup
p
ort for rec
e
nt clangs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven Verdoolaege
update isl for support for rec
e
n
t
clang
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-13
Sven V
e
rd
o
olaege
i
s
c
c
: drop s
u
pport
f
or applying "c
o
degen" to a s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Sv
e
n Verdoola
e
ge
distribute b
o
th ver
s
ions of interface/isl
.
py
.
t
o
p
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Sven Verd
o
olaege
AX_SUB
M
O
D
ULE
:
only check submodu
l
e status in git
r
e
pository
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoolaege
int
e
rf
a
ce/isl
.
py
.
top
.
*: explic
i
tly cast self
.
pt
r
of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoolaege
upd
a
te pet for fi
x
es in python b
i
ndings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven V
e
rdoo
l
aege
update i
s
l for fixes in python bindings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
S
v
en Verdoolaege
upda
t
e
isl
f
o
r chan
g
e
in
interface/extr
a
c
t
_
i
nt
e
rface
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree