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 pet to version 0.11.4
2020-11-13
Sven Verdoolaege
u
p
da
t
e pe
t
to version 0
.
11
.
4
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-11-01
Sven Verdoolaege
update
isl to
v
ersion 0
.
2
3
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-03
Sven Verdo
o
lae
g
e
update pet for support for recent versi
o
ns of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-09-03
Sven Verdool
a
ege
u
pdate
i
sl
f
o
r
support for recent versions of clan
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-11-13
Sven
Verdo
o
lae
g
e
barvinok 0
.
41
.
3
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-11-13
S
v
en Verdoolaege
update pet to
v
ers
i
o
n
0
.
11
.
3
commit
|
commitdiff
|
tree
2019-11-13
Sven Verd
o
o
l
aege
update
isl
t
o
v
ersion
0
.
22
commit
|
commitdiff
|
tree
2019-09-17
Andi Dr
e
bes
Do
c
ument Python int
e
rface in README
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-09-17
Andi
Drebes
Makefile
.
a
m:
a
dd missi
n
g dependency to
e
x
t
ract_in
t
erface
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-09-13
A
n
di
D
rebes
M
akefile
.
am: keep isl
.
py o
n
ly if generating comm
a
n
d
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-24
Sve
n
Verdoolaeg
e
update pet for suppor
t
f
o
r recent ve
r
si
o
ns of
c
l
a
ng
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-24
Sven Verdoolaege
update i
s
l fo
r
s
u
pport for recent vers
i
ons of cl
a
ng
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-24
Sv
e
n
Verdoolaege
update isl fo
r
change in output of i
s
l_hash_table_find
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-24
S
v
en Verdool
a
ege
c
o
nfigure
.
ac:
fix
botched up assignme
n
t of p
r
evious
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-07-09
Sven Verd
o
olaege
configure
.
ac: override --with-isl o
p
t
ion for submodul
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-05-11
Sven V
e
rd
o
o
l
a
e
ge
try and include compiler/linker
o
ptions nee
d
ed for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-05-11
S
v
en V
e
r
d
oolaege
use AC_P
R
OG_SED
ins
t
ead
of
di
r
ectly cal
l
ing sed
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-28
Sven Ve
r
doolae
g
e
barvinok 0
.
4
1
.
2
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-28
Sve
n
Ve
r
doolaege
up
d
ate pet to
versi
o
n 0
.
11
.
2
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-10
Sven Verdoolaege
upd
a
t
e
isl to version 0
.
2
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-26
Sven Verdoolaege
update pet for
suppor
t
for recen
t
versions of
c
lang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-26
Sven Ve
r
d
oo
l
aege
update
i
s
l
f
or support for recent versions of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-26
Sven Verdoo
l
aege
update pet for move of isl's interface/all
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-19
S
v
en Verdoola
e
ge
drop EXTRA_{test,b
a
r
v
i
nok}_{summate,bound}_SO
U
RCES
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-31
Sven Verdo
o
la
e
ge
update isl for move of
i
n
t
erfa
c
e/all
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-30
Sven Verdoolaege
barvinok 0
.
4
1
.
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-30
Sven V
e
rdoolaege
up
d
a
te pet to ve
r
s
ion 0
.
1
1
.
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-30
S
ven Verdoolaege
u
p
date i
s
l
t
o
version 0
.
20
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-17
Sven
V
er
d
ool
a
ege
update p
e
t for dir
e
ct he
a
der i
n
clusi
o
ns
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-27
Sven Verdoolaeg
e
only
build isl
.
p
y
and i
t
s dependen
c
ies wh
e
n extract_i
n
terfac
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven
V
erdoola
e
ge
lattice_width
.
c:
d
i
r
ect
l
y incl
u
de
r
equired hea
d
ers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sv
e
n V
e
r
d
oolaeg
e
isl_param_util
.
c: direc
t
ly inclu
d
e required headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sve
n
Verdool
a
ege
barvino
k
_e
.
cc: directly in
c
l
ud
e
required headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-17
S
ven Ve
r
doo
l
a
e
ge
add L
I
CEN
S
E to d
i
s
t
ribution
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-16
Sven Ve
r
doolaege
AX
_
SUBMODUL
E
: add
mi
s
sing inv
o
cation of t
e
st
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-06
Sven Verdoolaege
barvinok 0
.
41
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven
Verdoolaege
update pet to version 0
.
11
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sv
e
n V
e
rdoolaege
update isl to version
0
.
19
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoolaege
a
dd mi
s
si
n
g
C
LEAN
F
ILES
a
nd
DISTCLEANFILES
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sv
e
n V
e
rdo
o
laege
do not
remove polymake/autogen
.
sh from di
s
t
ribution
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoolaege
ad
d
doc/glosstex
.
ist to distri
b
ution
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoolaege
A
X
_SUBMOD
U
LE: fix typo
in tes
t
in
v
ocation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
S
v
en Verdoolaege
interface:
m
ake
l
an
g
ua
g
e bin
d
ings depend on all
relevant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven Ver
d
oola
e
ge
u
p
d
at
e
pe
t
for
support for re
c
en
t
clangs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven
Verdoolae
g
e
update isl for
s
upport f
o
r
recent clangs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-13
S
ven Verdoolaege
iscc
:
drop sup
p
ort
f
o
r
a
pplying "codegen" to a
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Sv
e
n Verdoolaeg
e
distrib
u
te
both ver
s
ions of interface/isl
.
py
.
top
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Sven Verdoola
e
g
e
AX_SUBMODU
L
E
:
only check s
u
b
m
odule status in
git
r
epo
s
i
t
or
y
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoolaege
interface/isl
.
py
.
top
.
*
: explicitly ca
s
t self
.
pt
r
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
S
ven
Verdoola
e
ge
update
pet for fixes in python bindings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Ver
d
o
o
laege
update
isl f
o
r fix
e
s in p
y
thon bindings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoolae
g
e
u
p
d
a
te isl for change in
inte
r
f
ace/extra
c
t
_interfa
c
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree