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
Sven V
e
rdo
o
laege
lattic
e
_width
.
c
: directly include required
header
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven V
e
rdoolaege
isl
_
para
m
_util
.
c:
d
i
rectly in
c
l
u
d
e required headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sv
e
n Verd
o
olaege
b
a
rvinok_e
.
cc: dire
c
t
l
y
include required h
e
aders
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-17
Sven Verd
o
olaege
ad
d
L
I
CENSE to dis
t
r
i
b
ution
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-16
Sven
V
erdoolaege
AX_SUBMODULE: add missi
n
g invo
c
ation of test
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-06
S
v
e
n
Verdoola
e
ge
barvinok 0
.
41
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
S
v
en
Verdool
a
ege
update pet to versi
o
n
0
.
11
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoolaege
upd
a
te isl to v
e
rsio
n
0
.
1
9
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdool
a
ege
add m
i
ssin
g
CLEANFI
L
E
S
and DISTCLEANFILES
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sv
e
n Ve
r
doolaege
do n
o
t re
m
ove polymake/autog
e
n
.
sh from dist
r
ibutio
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sve
n
Verdoolaege
ad
d
doc/gloss
t
ex
.
ist to distribution
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verd
o
olaege
A
X_SUBMODULE: fix typo in
test invocation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verd
o
olaege
interface: ma
k
e la
n
guage bindings depend on all relevan
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven Verdoolaege
upd
a
t
e
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 for
s
uppor
t
f
or recent clangs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-13
Sven
V
e
rdoolaege
is
c
c: d
r
op support for a
p
plying
"
c
o
degen"
t
o a
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Sven Verdoolaege
d
istribut
e
both versio
n
s of interface/isl
.
p
y
.
top
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Sven Verdoolaeg
e
AX_SUBMODULE: o
n
ly
check submodule s
t
atu
s
i
n
g
i
t repo
s
itory
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Ver
d
ool
a
ege
i
nterface/
i
sl
.
py
.
top
.
*: exp
l
icitly cast self
.
p
tr o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
S
ven Ver
d
o
olaege
update pet for fixe
s
in python
b
ind
i
n
g
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven V
e
r
d
o
o
laege
updat
e
i
s
l f
o
r fixe
s
in python bindings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoola
e
ge
update
isl for
c
h
a
nge
in interface/
e
xtract_interface
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree