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
update isl for move of interface/all.h
2018-07-31
S
ven Verd
o
o
laege
update isl for move o
f
in
t
er
f
ace/all
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-30
Sve
n
Verdo
o
laege
b
arvinok 0
.
41
.
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-30
S
v
en
Verdoolaeg
e
u
p
d
a
t
e pet
t
o version 0
.
1
1
.
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-30
S
v
en Verdoolaege
up
d
a
t
e i
s
l to version 0
.
2
0
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-17
Sven Verdoolae
g
e
update pet f
o
r direct he
a
der in
c
lusio
n
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-27
S
ven Verd
o
olaege
only bu
i
l
d
isl
.
py and its dependencie
s
when extract_interfa
c
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven Verdoolaege
lattice_width
.
c: di
r
ectly i
n
clude
requ
i
red header
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven Verdoolaege
isl_para
m
_util
.
c: di
r
ec
t
ly include required
h
eaders
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven Verdoolaege
barvinok_e
.
c
c:
d
irectly include re
q
uire
d
heade
r
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-17
Sven Verdool
a
ege
ad
d
LICE
N
SE to distribution
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-16
S
ve
n
Verdoolaege
AX_SUB
M
ODULE: add missing i
n
vocation
o
f
t
e
st
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-06
Sve
n
Verdool
a
ege
b
arvinok 0
.
41
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoolaege
u
pdate
p
e
t to
version 0
.
11
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sve
n
Verdoolaege
updat
e
i
s
l to version 0
.
1
9
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdo
o
laege
add missing
C
L
E
A
N
FILES and DI
S
TCLEANFILES
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoolaeg
e
do not re
m
ove polymake/autogen
.
sh
fr
o
m distribution
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sv
e
n
Verdool
a
ege
add doc/gloss
t
ex
.
i
s
t
t
o di
s
trib
u
tion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sv
e
n Verdoolaege
A
X
_S
U
BMO
D
ULE:
fix typo in test invocation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven
Verdoola
e
ge
interface
:
make language bindings
depend on all r
e
lev
a
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sve
n
Verdo
o
laege
u
pdate pet f
o
r support for rece
n
t clangs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven Verdoola
e
ge
up
d
ate isl for
suppor
t
for
r
e
c
ent
c
langs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-13
S
v
en Verd
o
olaege
iscc:
drop support f
o
r applying "cod
e
gen
"
to a set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Sven Verdoolae
g
e
distribute
b
ot
h
versions of interface/isl
.
py
.
top
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Sve
n
Verd
o
olae
g
e
AX_SUBMODULE: only ch
e
ck
s
ubm
o
dule status in g
i
t repository
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
S
ven Ver
d
oolae
g
e
i
nterfa
c
e/isl
.
py
.
top
.
*: exp
l
icitly ca
s
t self
.
ptr of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoolaege
upd
a
te pet
f
or
f
ixes in python bindings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sve
n
Ve
r
d
o
ol
a
ege
upd
a
te isl for fixes
i
n python bindi
n
gs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sve
n
Verdoolaege
update isl for
c
hange in interface/extract_i
n
terface
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree