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
iscc: parse_file: remove instances from kill statements
2015-12-08
Sven Verdoolaege
iscc: parse_file: rem
o
ve instance
s
f
rom
k
il
l
statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-08
Sv
e
n Verdoolae
g
e
iscc:
t
urn o
n
--pet-en
c
apsulate-
d
ynam
i
c-control
b
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-08
Sv
e
n
V
erdoolaege
isc
c
: add oper
a
tions on bool
e
ans
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-07
Sv
e
n
Verdoolaege
iscc: add "->-"
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-07
Sven Verdo
o
laege
iscc: add "
-
" ope
r
ati
o
n on ma
p
and set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-07
Sven Verdoolaeg
e
iscc: add "
-
>
*
"
ope
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-05
Sven Ver
d
oolaege
do
c
: up
d
ate documentation of
"last
"
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-31
Sven
Ve
r
do
o
laeg
e
update
isl
f
or ch
a
nge in isl_map_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
S
v
en Verdoolaege
u
p
date p
e
t
for suppo
r
t for recent cl
a
n
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
Sven Verdoolaege
updat
e
isl for support for recent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaege
h
andle
c
h
a
ng
e
in inter
n
al representation o
f
NTL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven V
e
rdoolaege
as
s
u
me NTL
has bee
n
co
m
piled in
I
S
O mode
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sv
e
n Verdoolaege
co
n
figure
.
ac
:
e
xtract
o
ut AX_CHECK_NTL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verd
o
ola
e
ge
barvin
o
k 0
.
38
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven V
e
r
doolaege
update
AUTHORS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Ver
d
oolaege
update pe
t
to ve
r
sion 0
.
07
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaeg
e
replac
e
isl_{,in
}
equ
a
lity_all
o
c by isl_constraint_alloc_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdo
o
laege
update isl t
o
version
0
.
15
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
iscc: parse_file:
r
eturn
s
chedule in schedule tree
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven
Verdo
o
laege
is
c
c
:
drop sc
h
edule_fore
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven V
e
rdoolaege
i
s
cc
:
schedule: return schedule in
s
c
h
e
d
ul
e
tree
r
epresen
t
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven V
e
rdoolaege
i
s
c
c: a
l
l
ow impli
c
it con
v
ersion from
schedule to union map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaeg
e
isc
c
: allow
e
xpl
i
cit conver
s
ion from schedule to
u
nion map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
is
c
c: ad
d
doma
i
n
o
p
e
ration on
s
chedules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verd
o
o
laege
iscc: p
r
i
nt sche
d
ules in block format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolae
g
e
iscc
.
c
:
read
_
l
i
ne:
extract
out p
r
in
t
_obj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
iscc: codegen: ac
c
ept s
c
hedule as i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
is
c
c
.
c
.
:
spl
i
t up print_code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
S
ven Verdool
a
ege
iscc: su
p
p
or
t
schedule trees in dependence analysis
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven
V
erdoolae
g
e
iscc
.
c: extract
out common access_info_se
t
_
s
chedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdo
o
laege
iscc: t
y
peof: recognize
schedule objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
S
ven
V
erdoolaeg
e
iscc
.
c:
u
se isl_union_access_info_com
p
ut
e
_flow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sve
n
Ver
d
oolaege
a
dd
d
ependence analysis tests for iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven
V
erd
o
olaege
iscc: add "
l
b" operatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven
V
e
rdool
a
ege
u
p
d
ate i
s
l
for rename of
i
sl_schedule
_
map_
s
chedule_node
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven Verdool
a
ege
update isl for introductio
n
of isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
iscc
.
c: avoid use
o
f isl_b
o
ol_* identifiers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdo
o
laege
tests/
i
scc/sum
4
: comp
a
re NaN again
s
t
str
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
S
ven Verdoolaege
isc
c
:
a
dd e
q
uality operation on strings
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven V
e
rdoolaege
update p
e
t f
o
r direct header inclusions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven
Verdoolaege
update isl for replacement of C
L
ooG
t
e
st cases with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdoolaege
test_
a
pprox
.
c: use fabs
o
n
double instead of abs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdoola
e
ge
hilbert
.
c
:
a
dd missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
Sven V
e
r
d
ool
a
ege
sum
m
ate
.
c
:
directly i
n
c
lude req
u
ired
h
ea
d
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
Sven Verdoolaege
isl_map_
p
o
lylib
.
h
:
include correct h
e
ader
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-17
S
ven Verdoolaege
iscc
.
c: vertices: avoi
d
u
ninitialized read on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sven Verdoolaege
iscc:
avoid us
e
of pet_sco
p
_coll
e
c
t
_schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sven Verdoolaege
update pet for representi
n
g schedule as
sc
h
edule tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sv
e
n Verdoo
l
aege
updat
e
isl for sufficient sche
d
ule tree
s
upport
f
o
r pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-24
O
l
eks
a
ndr
Z
inenko
configure
.
ac: allow bu
i
l
d
d
i
r
for NTL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-24
Oleksandr
Zinenko
c
onf
i
gure
.
ac:
allow builddir for GMP
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Ve
r
do
o
l
a
ege
iscc
.
c: use
isl_str
e
am_get
_
ctx ins
t
e
ad of rea
d
ing
ctx
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven V
e
rdoolaege
iscc
.
c: use isl_stream_
i
s_empty
i
nstead of reading
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
S
ven Ver
d
ool
a
ege
update isl for is
l
_stream_get_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdool
a
e
g
e
update pet
for support for recent
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
S
ve
n
Verdoolaege
u
p
date isl for su
p
port
f
or
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdoolaege
s
u
mmate
.
c:
a
void
u
se of isl_u
n
io
n
_pw
_
qpolynomial_ad
d
_
p
w_qpo
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdoolaege
bar
v
inok
.
cc: avoid u
s
e of i
s
l
_unio
n
_pw
_
qpolynomial_ad
d
_pw_q
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verd
o
olaege
isl_un
i
on_se
t
_lattice_w
i
dth: c
h
e
ck wheth
e
r in
p
u
t is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-23
Sven Ver
d
oolaege
s
umma
t
e
.
c: join_c
o
mpatibl
e
: avoid use of undocumented
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-23
Sven
Verdoolaege
summate
.
c: jo
i
n_co
m
pati
b
le: rename "dim" va
r
iables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
Ver
d
o
o
laege
update
p
et to
version 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
e
n Ve
r
doo
l
aege
update isl to versi
o
n 0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-14
Sven
Verdoolaege
R
EADME: u
p
d
ate contact informatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-09
S
v
en Verdo
o
laege
up
d
ate
is
l
for change in is
l
_map_subtract
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolae
g
e
update pet for support for rec
e
n
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verd
o
olae
g
e
update is
l
f
o
r
support f
o
r recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Ver
d
oo
l
a
e
ge
lattice_width
.
c: a
v
oid use of
d
eprec
a
ted
func
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-22
Sven
Verd
o
olaege
barvinok_
e
numerate_wit
h
_options:
h
andle context c
o
nstr
a
ints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-18
Sven Verdoolaeg
e
doc: add an
o
ther
p
aper refering t
o
the
libra
r
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-04
Sven Verdoolaege
isl
_
Polyh
e
dron_
R
educ
e
d
_
B
a
sis
:
avoid
d
oub
l
e free of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-03
Thomas Kahle
Update the glpk calls
to
t
h
e ne
w
gl
p
_ API
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-22
S
ven
V
erdool
a
ege
iscc: als
o
d
isallow source oper
a
tion when --no-io is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
ve
n
Ve
r
doolaege
barvinok 0
.
37
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdool
a
ege
update pet to version 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdo
o
laege
update i
s
l
to version
0
.
13
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
Ad
d
mi
s
sing in
c
lude of isl/af
f
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-04
Sven Verdoolaege
u
p
d
ate
pet for so
r
ting of
arr
a
ys
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
ven Verdoolaege
isl_param_u
t
il
.
c: dr
o
p expr2vertex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
update isl for change in
isl
_
vertex insp
e
ctors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoola
e
ge
add isl_mu
l
t
i
_aff_to_polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolae
g
e
iscc: add m
i
nimal support fo
r
isl_
o
bj_pw_multi_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sv
e
n Verdoo
l
aege
update i
s
l for
i
sl_obj_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
S
ven Verdoo
l
aege
gen_fun::add_unio
n
: con
t
ext of
result should b
e
the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Sven Verdoolaege
reduce_eval
u
e:
r
educe polynom
i
a
l
e
xpression
s
in denom
i
nator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
Sv
e
n V
e
rdoolaege
u
p
d
ate pe
t
f
o
r supp
o
rt
f
or recen
t
clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
Sven Verdoolaege
u
p
d
ate
i
sl for support
for recent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
S
ven Ver
d
oolaege
update
p
et for
c
hang
e
in pet_scop
_
coll
e
ct_{re
a
d
s
,writes}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdoola
e
ge
updat
e
isl for
i
sl_id_to
_
pw_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
S
ven Verd
o
o
l
a
ege
configure
.
a
c:
u
se AX_DETECT_GI
T
_HEAD
instead of inlined
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-16
S
ven Verdool
a
ege
doc
:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-05
Sven Verdoola
e
ge
AX_SUBMODULE
:
allow
.
gi
t
f
ile in su
b
module
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sven Verdool
a
e
g
e
u
pdate pe
t
f
or
s
upp
o
rt for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
S
v
en Verdoolaege
up
d
a
t
e
i
sl f
o
r
s
upport fo
r
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
S
v
e
n Verdoolaege
ve
r
i
fy_po
i
nt
_
data
_
init: u
s
e isl_set
_
card t
o
c
o
unt
e
le
m
ents
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven
Verdoolaege
t
est_approx: return EXIT_
F
AI
L
URE on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolaege
test_
a
pprox: use isl
i
nte
r
face
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolaege
clean up tests
/
ehrhart/* inp
u
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven
V
erdoolaege
ev
a
l
ue
_
isl
.
c: relation2pwqp: h
a
ndl
e
non-parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sve
n
Verdo
o
laege
upda
t
e isl
f
or isl_
*
_
e
val r
e
turnin
g
an isl_val
instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next