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
specify subdir-objects option for forward compatibility with automake 2.0
2015-12-16
S
v
en V
e
rdool
a
ege
s
pecif
y
subdir-objects op
t
io
n
for forw
a
rd compatibi
l
ity
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-16
Sven Ver
d
oo
l
aege
configure
.
ac
:
f
ix t
y
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-08
Sven Verdo
o
la
e
ge
isc
c
: parse_file:
remove instances from kill
s
tatements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-08
S
v
en Verdoolae
g
e
iscc: tu
r
n on --pe
t
-encapsulate-dynamic-control by
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-08
Sven
Verdo
o
laege
i
s
cc:
add operations
o
n boo
l
e
a
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-07
Sven Verdoolae
g
e
iscc: add "->
-
" op
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-07
Sven
Verdoola
e
ge
isc
c
: add
"
-
"
operati
o
n on
m
ap and set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-07
Sve
n
Verdoolaege
iscc
:
add
"
->
*
" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-05
Sven Verdoo
l
aege
doc:
upda
t
e do
c
u
men
t
ation of "
l
ast" ope
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-31
Sven Ver
d
o
olaeg
e
update i
s
l for chan
g
e in isl_map_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
Sve
n
Verdool
a
ege
upd
a
te pet for supp
o
rt for re
c
ent clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
S
v
en Verdoolaege
u
p
d
ate i
s
l for suppor
t
for
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Ve
r
doolaege
han
d
le change in
i
nternal repr
e
sentation of
NTL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven
V
erdoolaege
assume NTL
has
been comp
i
led in ISO
mode
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaege
confi
g
ur
e
.
ac:
e
xt
r
act ou
t
AX_CHECK_N
T
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Ver
d
ool
a
eg
e
barvin
o
k
0
.
38
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Ve
r
doolaege
update AUTHO
R
S
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Ve
r
doolae
g
e
u
p
dat
e
pet to version 0
.
07
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven V
e
rdoolaege
replace i
s
l_{,
i
n}equality
_
alloc by isl_constrain
t
_alloc_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
update isl to
v
ers
i
on 0
.
15
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaeg
e
iscc: par
s
e_file:
return sc
h
edule in
schedule t
r
e
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
is
c
c: drop
sch
e
dule_forest
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdool
a
ege
iscc: sc
h
e
dule: r
e
turn schedule
i
n sche
d
ule tree representa
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
S
ven Verdoolaeg
e
iscc: allow
i
mplic
i
t co
n
versi
o
n from schedule t
o
union
ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
iscc: allow explicit conversion from schedule t
o
u
nion ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven V
e
rdo
o
l
aege
iscc:
ad
d
domain operation on sche
d
ules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
iscc: print sched
u
l
e
s in block format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdool
a
eg
e
iscc
.
c: r
e
ad_line: extra
c
t o
u
t
pri
n
t_obj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
S
v
e
n
V
erdoolaege
iscc: codegen: ac
c
e
pt schedule as in
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoo
l
aege
iscc
.
c
.
:
split
up p
r
i
nt_cod
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sv
e
n Verdoolaege
iscc: support schedule
t
r
ees in
d
ependence analysis
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
iscc
.
c: e
x
t
r
a
c
t out common access_info_
s
et_
s
chedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
S
ven Verdoola
e
ge
iscc: typeof: rec
o
gnize schedule objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdo
o
laege
iscc
.
c: us
e
is
l
_union_acces
s
_
info_compute_fl
o
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Ve
r
d
o
olaege
add dependence analys
i
s tests fo
r
iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven Verdoolaege
iscc:
add "lb
"
opera
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven
V
e
rdoo
l
aege
update i
s
l
for
r
en
a
me of isl
_
schedu
l
e_map_schedule_node
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven Verd
o
olaeg
e
upd
a
t
e
isl for introduction of isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven
Verd
o
ol
a
ege
iscc
.
c:
a
void use
o
f isl_bool_* identifiers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
S
v
en Verdoolaege
tests/iscc/sum4:
compare NaN again
s
t str
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sve
n
V
e
r
dool
a
eg
e
i
s
cc: add eq
u
ality o
p
erat
i
on on strings
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven
Verdoolaege
update pet fo
r
direct
header i
n
clusions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sve
n
Verdoolae
g
e
upd
a
te isl for replacement of CLooG test
c
ases
w
ith
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
S
ven Ve
r
d
o
olaege
te
s
t_approx
.
c: u
s
e fabs
o
n
double instead of abs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
Sve
n
Verdoolaeg
e
hi
l
bert
.
c: add missing inclu
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdoola
e
ge
s
u
mmate
.
c:
direc
t
ly include require
d
headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
Sven
V
erd
o
olaege
isl_map_polyli
b
.
h: include correc
t
he
a
der
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-17
Sven Ve
r
d
oolaege
i
s
cc
.
c
:
vertice
s
: avoid
u
ninitialized read on e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
S
ven Verdoolaege
iscc: avoid use
of pet_scop_collect_schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
S
ve
n
Verdoolae
g
e
upd
a
te
p
e
t
f
or repres
e
nting sched
u
le as sc
h
edule tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sven Verdoolaege
update
i
s
l for suffi
c
ient schedule t
r
ee support fo
r
pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-24
O
leksandr
Zinenko
config
u
re
.
a
c
:
allow builddir for NTL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-24
Oleksandr Zinenko
conf
i
gure
.
a
c
: allow builddir for GMP
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
iscc
.
c
: use isl_stream_get_ctx
i
n
stead of
r
e
adin
g
ctx
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
S
ven Verdoolaeg
e
isc
c
.
c
: use isl_stream_is_empt
y
instead of reading
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sve
n
Verdoolaege
upd
a
te isl for isl_stream_ge
t
_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
S
ven Verdoolaege
update pet f
o
r supp
o
rt f
o
r recent cl
a
n
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven
Ve
r
doolaege
update isl fo
r
support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sv
e
n
V
erdoolaege
summate
.
c: avoid use
o
f isl_union_pw_qpo
l
ynom
i
al_add_pw_qpol
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdoolaeg
e
barvinok
.
cc: avoid use of i
s
l_unio
n
_pw_qpolynom
i
al_add_pw_qp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verd
o
o
lae
g
e
isl
_
u
n
ion_s
e
t_lattice_width: check whethe
r
inp
u
t is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-23
Sv
e
n Ve
r
doolae
g
e
summate
.
c: j
o
i
n_compatible: avoid
u
s
e o
f
undoc
u
mented
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-23
Sven Ver
d
oolaege
summat
e
.
c: join
_
compatible: rename
"dim" var
i
ables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n Ver
d
oolae
g
e
update
p
e
t to
v
ersion
0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en
V
e
rdoolaege
update isl to ve
r
sion 0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-14
S
ven Verdoolaege
RE
A
DME:
u
pdate co
n
t
act inf
o
rmati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-09
Sven Ver
d
o
o
laege
update isl fo
r
change in isl_map_subtr
a
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
S
ven Verdoola
e
g
e
u
p
date pet f
o
r support f
o
r
r
ecent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verd
o
olaege
upda
t
e isl for
s
upport for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven
V
erdoolaege
lattice_
w
idth
.
c
:
a
void use of deprec
a
ted fu
n
ctio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-22
Sven Verdo
o
laege
bar
v
inok_en
u
merat
e
_with_options: handle context constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-18
Sve
n
V
erdool
a
e
g
e
doc: add another
paper refering to the li
b
r
ary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-04
Sven Verdoolaege
isl_Po
l
y
h
edr
o
n_Reduced_Ba
s
is: avoid double fr
e
e o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-03
Thoma
s
Kahle
Update the glpk c
a
lls to the
n
e
w glp_ API
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-22
Sven Verdoolae
g
e
iscc
:
also disal
l
ow source
op
e
ration when --no-io is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verd
o
o
laege
barvin
o
k 0
.
37
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven
Ve
r
doolaege
update
p
et
to version 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
update is
l
t
o versio
n
0
.
13
commit
|
commitdiff
|
tree
2014-04-13
Tobia
s
Grosser
Add mi
s
sing include o
f
isl/aff
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-04
Sven Ver
d
oola
e
g
e
u
pdate pet for sorting
o
f arr
a
ys
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n V
e
r
d
oolaege
isl_param_util
.
c:
dr
o
p
expr
2
v
ertex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sve
n
V
e
r
doolae
g
e
u
p
date isl
for change in isl_vertex
i
n
s
p
ectors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
ad
d
isl_mu
l
ti_aff_to_polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sve
n
V
erdoola
e
ge
iscc
:
a
d
d min
i
mal support for isl_obj_pw_mult
i
_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven V
e
rdoolaege
update isl for
isl_obj_pw_multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
S
v
e
n Verdoolaege
gen_fun::add_union: context of r
e
s
u
lt should
be the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Sven V
e
r
d
o
o
laege
r
educe
_
evalue: r
e
duce polynomial
e
xpressi
o
ns in deno
m
i
na
t
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
Sven Ve
r
d
o
ola
e
ge
update
p
et f
o
r support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
Sven Verd
o
ol
a
ege
up
d
ate isl
for
s
upport for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdoo
l
aege
update pet for change in pet_scop_col
l
e
c
t
_{r
e
ads,writ
e
s}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sv
e
n V
e
rdoolae
g
e
update i
s
l for isl_id_to_
p
w_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
S
v
en Verdoolaege
configu
r
e
.
ac
:
use AX_DET
E
CT_GIT_HEAD inst
e
ad of in
l
ined
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-16
Sven Verd
o
o
l
aege
doc: f
i
x typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-05
Sven Ve
r
d
o
olaege
AX
_
SUBMODULE: al
l
ow
.
git file in s
u
b
m
odule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sven Verdoolaege
u
pdate
p
et for
s
upport for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sven V
e
r
d
oolaege
up
d
ate isl
f
or support for
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolaege
v
erify_point_
d
ata_init: use
isl_s
e
t_card to count elements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Ve
r
do
o
laege
t
e
st_approx:
return
E
X
IT_
F
AILU
R
E on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolaege
te
s
t
_
approx:
u
se isl interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sve
n
Ver
d
oolaege
clean
u
p tests/e
h
rha
r
t/* inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
