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
add LICENSE to distribution
2018-04-17
Sv
e
n Ve
r
doolaege
add LI
C
ENSE
t
o
distribution
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-16
Sven Verd
o
olaeg
e
AX_SUBMO
D
ULE
:
ad
d
miss
i
ng invocation of
t
est
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-06
Sven Ve
r
doolaege
barvinok 0
.
41
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoola
e
g
e
update pet to version 0
.
11
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven
V
e
r
doolaege
update is
l
to version 0
.
19
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sve
n
V
e
rdoolaege
add
miss
i
ng CLEANFILES and DISTCLEANFILES
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
S
ven Verdoo
l
a
e
ge
d
o
not remove polymake/
a
u
t
ogen
.
sh from distribu
t
i
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven
V
erdoolaege
add doc/
g
los
s
tex
.
ist t
o
distribution
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Ve
r
doolaege
AX_S
U
BMO
D
U
L
E
:
fix t
y
po
in te
s
t i
n
vocation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verd
o
olaege
i
nterface: make lan
g
u
a
ge
b
indings depend on all relevant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sve
n
Verdoolae
g
e
update pet for su
p
p
o
rt
f
or rece
n
t clangs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
S
ve
n
Verdoolae
g
e
upd
a
te isl f
o
r support
for rec
e
nt
c
langs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-13
Sven Verdool
a
eg
e
isc
c
: dro
p
support for
applying "codegen"
t
o a set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Sve
n
Verdoo
l
aege
distribute both version
s
of in
t
er
f
ace/isl
.
py
.
t
op
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Sven Ve
r
doola
e
ge
AX_SU
B
MODULE
:
only ch
e
ck
s
ubm
o
dul
e
sta
t
us in git r
e
po
s
ito
r
y
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoolaeg
e
inte
r
fa
c
e/
i
sl
.
py
.
top
.
*:
e
x
p
l
i
citly
cast
s
e
lf
.
ptr of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoo
l
aege
u
p
date pet for fix
e
s in py
t
hon bindi
n
gs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
S
v
en Verdoolaege
update isl for fixe
s
in python bindings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sv
e
n
V
erd
o
olaege
updat
e
isl f
o
r c
h
an
g
e in interface/e
x
t
r
act_interfa
c
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree