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
lattice_width.c: directly include required headers
2018-04-25
S
v
en V
e
rdool
a
ege
lattice_width
.
c: d
i
rectly include requ
i
red
header
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven Verdoolaege
i
s
l_param_util
.
c:
di
r
ectly include required headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven Verdool
a
ege
barvinok_e
.
c
c
: directly incl
u
de required headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-17
Sven V
e
rdoola
e
ge
ad
d
L
ICENSE to dis
t
ribution
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-16
S
ven
V
erdoolae
g
e
AX_SUBMODULE: ad
d
missing invoc
a
tion of test
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-06
Sven Verdoola
e
ge
barvin
o
k 0
.
4
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoolaege
update p
e
t to ve
r
s
i
on
0
.
11
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven
V
er
d
o
olaege
update isl to version
0
.
19
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sve
n
Verdoolaege
add missing CLEANFIL
E
S and DI
S
TCLEANFIL
E
S
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Ver
d
oola
e
g
e
do not remove polymake/autog
e
n
.
sh
fro
m
distribution
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoolae
g
e
add doc/glosstex
.
i
s
t to di
s
tribution
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
S
ven Verdoolaege
AX_SUBMODULE: f
i
x typo
i
n test
invocation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdo
o
laege
interface: mak
e
la
n
guage
b
i
ndings depend on all rel
e
vant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
S
v
e
n Verdool
a
ege
update pet f
o
r
supp
o
rt for
r
ecent clangs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven Ver
d
o
o
laege
up
d
ate isl
for support for recent clan
g
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-13
Sven
V
erdo
o
laege
is
c
c: drop s
u
ppor
t
for
a
p
p
lying "codegen" t
o
a s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
S
v
e
n
Verdoo
l
aege
distribute both versi
o
ns of
i
nterface/isl
.
py
.
top
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Sven Verdoo
l
a
e
g
e
AX
_
SU
B
MODULE: only
check submod
u
le status in git repository
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sve
n
Verdoo
l
aege
interface/
i
sl
.
py
.
top
.
*
:
e
xplicitly cast
self
.
p
t
r
of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sve
n
Ve
r
doolae
g
e
up
d
ate pet f
o
r fix
e
s in
python bindings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
S
ven Verdoolaege
update i
s
l for fixes in python bi
n
dings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoolaege
u
p
date isl f
o
r
chan
g
e
in interfa
c
e/extract_in
t
e
r
face
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree