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_e.cc: directly include required headers
2018-04-25
S
v
en
Ve
r
doolaege
barvinok_e
.
cc: direc
t
ly inc
l
ud
e
required
headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-17
S
v
en V
e
rdoolaeg
e
add
L
ICEN
S
E to dist
r
ibut
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-16
S
v
e
n
Verdoolaeg
e
AX_S
U
BMODULE:
a
dd
m
issing invocation of test
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-06
Sven Verdoolaege
barvino
k
0
.
41
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdo
o
l
aege
update p
e
t
t
o version 0
.
11
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdo
o
laege
upd
a
t
e
isl
t
o ve
r
sion 0
.
19
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Ver
d
o
olaege
add missing C
L
EANFI
L
ES
and DIS
T
CLEANFILES
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoolaege
d
o
not remove polymake/aut
o
gen
.
sh from dis
t
ributio
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven
V
erdoolaege
a
d
d d
o
c/glosstex
.
ist t
o
distribution
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdo
o
laeg
e
A
X
_SU
B
M
O
DULE
:
fix typo in
t
est
invocation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoolaege
interface
:
make language bin
d
ings d
e
pend o
n
all
r
elevant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sve
n
Verdoola
e
ge
update pet for s
u
pport for rece
n
t
clangs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
S
ve
n
Verdoolaege
u
pdate isl for support for recent clang
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-13
Sven Verdoo
l
aege
iscc: d
r
op support
f
or applying
"codegen" to a set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
S
v
en V
e
r
d
o
o
la
e
ge
distribu
t
e both vers
i
o
n
s
o
f in
t
er
f
ace/isl
.
py
.
to
p
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Sv
e
n
Verdoolaege
A
X_SUBMODULE: only ch
e
ck sub
m
odule sta
t
us in git r
e
pository
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven V
e
r
do
o
l
a
eg
e
interface
/
is
l
.
py
.
top
.
*
:
explicitly cast self
.
pt
r
of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven V
e
r
doo
l
aege
update pet fo
r
fixes in python
b
indings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven
V
erdoolaege
update i
s
l for fixes in
python bin
d
ings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sv
e
n
V
erdoolaege
u
pdate isl for chan
g
e i
n
i
nterface/extract_in
t
e
r
fa
c
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree