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: add "-" operation on map and set
2015-08-07
Sven Verdoo
l
ae
g
e
isc
c
: add "-" operation on map
a
nd se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-07
S
v
en Verdoolaege
iscc: add "->*
"
o
p
eration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-05
Sven Verdoolaege
doc: update documentati
o
n
o
f "last" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-31
S
ven Ve
r
doolaege
upda
t
e isl for c
h
ange in isl_map_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
Sven Verdoolaeg
e
update pet
f
or
suppor
t
for
r
ecent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
Sven
Verdo
o
laege
u
p
da
t
e isl for
s
u
pport
f
o
r
r
ecent c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaege
h
andle chang
e
i
n i
n
ter
n
al r
e
p
resentat
i
on of NT
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
S
v
en Verdoolaege
assume N
T
L has
b
een comp
i
led in ISO
mo
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaege
configur
e
.
ac:
extract out AX_CHECK_NTL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoola
e
ge
barvinok 0
.
38
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolae
g
e
update A
U
THORS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
u
pdate p
e
t t
o
version 0
.
07
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdool
a
ege
replace isl_{,in}equalit
y
_al
l
oc by isl_constraint
_
alloc
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven V
e
rdoolaege
update isl to vers
i
o
n 0
.
15
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Ve
r
dool
a
ege
iscc
:
par
s
e
_
f
i
le:
return sch
e
dule in schedule tree
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdo
o
laege
is
c
c: d
r
op s
c
h
edule
_
forest
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sve
n
Verdoo
l
aege
iscc: schedule: return schedu
l
e in schedule tree representation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sve
n
Ve
r
d
o
olaege
isc
c
:
al
l
ow implicit convers
i
on fro
m
schedule
to
union map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolae
g
e
iscc: allow
e
xplicit
c
onversion
fro
m
s
c
hedule
t
o union map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdo
o
l
ae
g
e
iscc: add doma
i
n opera
t
ion on schedules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
iscc: print schedu
l
es i
n
block format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
is
c
c
.
c
:
read_l
i
ne: extract
o
ut print_obj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sv
e
n
Ve
r
doolaege
iscc:
codegen: accep
t
s
c
hedu
l
e as input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven V
e
rd
o
olaeg
e
iscc
.
c
.
: split up p
r
int_code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Ve
r
doolaege
is
c
c:
support
s
ch
e
dule trees in depe
n
de
n
ce
a
nalysis
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven V
e
rdoolae
g
e
iscc
.
c: ex
t
ra
c
t out common acces
s
_info_se
t
_sch
e
dule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaeg
e
iscc: ty
p
eof: recognize sched
u
le
o
bjects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolae
g
e
iscc
.
c: u
s
e isl_union_acc
e
ss_info_compute_flow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
add dependence analys
i
s tests for i
s
cc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
S
v
e
n
V
e
rdoolaege
is
c
c: add
"lb" oper
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven V
e
rd
o
olaege
update isl for
rename of i
s
l_sc
h
ed
u
l
e_
m
ap_schedule_node
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sve
n
Ver
d
ool
a
e
ge
update isl for i
n
troduction of isl_
s
tat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sv
e
n Ver
d
oolaege
iscc
.
c: a
v
oid
u
se of is
l
_bool_
*
iden
t
ifiers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
S
v
en Verdoolaege
tests/isc
c
/su
m
4
:
compare NaN against string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
i
s
cc: add equa
l
i
ty operation on strings
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
update pet for direct he
a
der in
c
lusions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoola
e
ge
u
pd
a
t
e
i
s
l for r
e
placement of
C
LooG test cases with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdoolaege
t
e
st_a
p
prox
.
c: use fabs on double in
s
tead of abs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
Sv
e
n Ve
r
d
oolaege
hilbe
r
t
.
c: add missing inclu
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
Sv
e
n
V
e
r
dool
a
e
ge
summate
.
c: dire
c
tly in
c
lude
r
e
q
uired headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
S
ven Verdoo
l
aege
i
s
l_map_pol
y
lib
.
h:
includ
e
c
o
rrect header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-17
Sv
e
n
Verdoolaege
iscc
.
c:
vertices: avoid uninitialized read on erro
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sven
Ve
r
d
oolaege
i
s
c
c: avoid use of pet_scop_c
o
l
l
ect_schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sven Verdoo
l
aege
u
p
d
a
t
e pet for rep
r
esenting sched
u
le as schedule tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sven
V
erdoo
l
a
ege
upd
a
te isl for sufficient schedule
t
ree support for pe
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-24
Oleksa
n
dr
Zinenko
configu
r
e
.
a
c: all
o
w bu
i
lddir
f
or NTL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-24
Oleksandr Zinen
k
o
configu
r
e
.
ac:
a
llow bu
i
l
d
d
i
r fo
r
GMP
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven
V
erdool
a
ege
iscc
.
c: use
is
l
_stre
a
m_ge
t
_ctx
instead of r
e
a
d
ing ctx
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
isc
c
.
c: use isl_stream_
i
s_empty instead o
f
read
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoo
l
aege
upd
a
t
e
isl fo
r
isl_stream_ge
t
_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
update pet for support for rec
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdo
o
laege
u
pdat
e
is
l
for supp
o
rt for recent c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdoola
e
ge
summate
.
c
:
a
voi
d
use of isl_union_
p
w_qpolynomia
l
_ad
d
_pw_qpo
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdoolaege
barvinok
.
cc: avoid use of i
s
l_union_pw_qpolynomia
l
_
a
d
d_
p
w
_qp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven
Verdoolaege
isl_unio
n
_
s
e
t
_la
t
ti
c
e_widt
h
: check whether
i
nput i
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-23
Sven Verdoolaege
s
u
mmate
.
c:
j
oin_comp
a
tib
l
e: avo
i
d use of undo
c
ume
n
ted
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-23
Sven Ve
r
doolaege
sum
m
ate
.
c: jo
i
n_compa
t
ib
l
e: rename "dim" variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en
V
erdoolaege
u
pdate pet t
o
version 0
.
0
6
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Verdoolaege
update isl to
versi
o
n
0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-14
Sve
n
Verdoolae
g
e
READ
M
E: update
contact information
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-09
S
ven Verdo
o
laege
update isl for change in isl_map_subtract
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
S
ven
Verdoola
e
ge
update pe
t
for support for re
c
ent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven
Ve
r
doolaege
update isl for suppo
r
t for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verd
o
ol
a
ege
lattice_width
.
c:
avoi
d
use of deprec
a
ted functi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-22
Sven Ve
r
doolaege
bar
v
inok_en
u
merate_with_
o
ptions: handle context constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-18
Sven Ve
r
doolaege
d
o
c:
add another paper re
f
ering
t
o
the
l
ibrar
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-04
Sven Verdoolaege
isl_Polyhedron_
R
e
d
uced_
B
a
s
is: avoid double f
r
ee
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-03
Thomas Kahle
U
p
dat
e
t
he glpk
c
all
s
to the new glp_ A
P
I
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-22
Sv
e
n Verdoo
l
aege
i
s
cc: also disallow sou
r
ce operation when
--no-io is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sve
n
Verdoolaege
barvinok
0
.
3
7
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
v
en Ver
d
oolaege
updat
e
pet t
o
v
ersion 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven
V
e
r
d
oola
e
ge
update
i
s
l
t
o v
e
rsion 0
.
13
commit
|
commitdiff
|
tree
2014-04-13
Tobia
s
Grosser
Add
missin
g
include of isl/
a
ff
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-04
S
v
en
Verdoolaege
update pet
for sorting
o
f arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
v
en V
e
r
d
oolaege
isl_
p
aram_util
.
c: drop e
x
pr2ve
r
tex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
update i
s
l
f
o
r change in isl_vertex inspec
t
ors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoo
l
aege
add
i
sl_multi_aff_to_polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdool
a
ege
iscc:
a
dd m
i
nim
a
l
s
upport
f
or i
s
l_obj_pw_mu
l
ti_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
S
ven Verdool
a
e
g
e
updat
e
isl for
i
s
l_obj_pw_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Sven Verdoolaege
gen_fun::add_union: c
o
ntext of result should b
e
the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Sven Verdoolaege
reduce_e
v
a
lue: reduce polynomial expressions in denominator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
S
v
en Verdoolaege
u
pdate p
e
t for support
f
or r
e
cent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
Sven Verdoolaege
update isl
for support
for rece
n
t
clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdoolaege
update pet for change in
p
et_scop
_
collect
_
{reads,
w
rites}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
S
ven
Verdoolaege
update isl fo
r
i
sl_id_to_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sv
e
n Verdoolae
g
e
con
f
igure
.
ac:
u
se
AX_DETECT_GIT_HEAD instead of
i
nli
n
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-16
Sven Verdoolaege
doc: fix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-05
S
ven Verdoolaeg
e
AX_SUBMOD
U
LE: allow
.
git file in
s
ubmodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sven
V
e
r
do
o
laege
updat
e
pet for support for rec
e
n
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sven Verdoolaege
u
p
date isl for support for
r
e
c
ent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Ver
d
oolaeg
e
verify_p
o
in
t
_
d
a
ta_init: us
e
i
sl_set_card to count elements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verd
o
olaege
t
est_approx: return EXIT_FA
I
LU
R
E on
e
rror
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
S
ve
n
V
erdoolaeg
e
te
s
t_approx: use isl
int
e
r
f
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven
Verdoolaege
cl
e
an up tests/ehr
h
art
/
* i
n
put
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sv
e
n
V
erdool
a
eg
e
e
valu
e
_
i
sl
.
c
: relatio
n
2pwqp: hand
l
e
n
o
n-para
m
etric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven
V
erdo
o
laege
update isl
f
or i
s
l_*_
e
val returning an
isl_
v
al ins
t
ead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sve
n
Verdoolaege
update isl
f
or isl_stre
a
m
_
re
a
d_
o
bj
r
etur
n
ing isl_
o
b
j
_val
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdo
o
laege
update pet
to version 0
.
04
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-25
S
v
en Verdoolaege
configure
.
a
c: replace --
w
ith-libgmp
option by --with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-23
Sven Verdoolaege
update isl t
o
ver
s
ion 0
.
12
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next