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 for support for recent clangs
2012-11-24
Sven
Verdoolaege
up
d
ate pet for
s
upport for recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven
Verdoolaege
update isl fo
r
support f
o
r recent c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sve
n
Verdoolae
g
e
drop cl
o
og submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
v
en Verdoolaege
use isl for code generat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
update i
s
l for code generati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sve
n
Verdoola
e
ge
iscc
.
c: add missing inc
l
udes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaege
u
p
date isl for re
n
a
me
o
f
!isl_set_dim_has_{
l
ower,upper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
doc:
add
a
nother
paper refering
to the library
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven
Verdo
o
laege
R
E
ADM
E
: clarify that /opt is the example
i
nsta
l
l
ation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sv
e
n Verdoolaege
export
i
sl_*_pw
_
qp
o
ly
n
omial_sum
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Ver
d
oolae
g
e
updat
e
pet for adding
m
issing i
n
c
l
ud
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-08
S
v
e
n Verdoolaege
conf
i
gure
.
ac: check for NTL/ZZ
.
h header
before
c
he
c
king
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
S
v
en Verd
o
o
laege
update
pet to
version 0
.
0
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdoolaeg
e
u
p
d
ate isl to version
0
.
1
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoolae
g
e
options
.
c: avo
i
d calling isl_alloc_type without val
i
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
ven
V
e
rdoolaege
evalue_i
s
l
.
c: div2evalue: explicitly check for and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
S
v
en Verdoolaege
update isl for norm
a
lization o
f
isl_t
e
rm_
g
et_div result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
Sven Verdoolaege
evalue_
i
sl
.
c
:
add_t
e
rm: imp
r
ove
er
r
or hand
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sv
e
n Ver
d
oolaege
up
d
ate pet for suppor
t
f
o
r re
c
ent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdool
a
ege
update isl for su
p
port for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven V
e
rdoolaege
iscc:
s
upport computation of
a
r
b
itrary (non-zer
o
)
powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
S
ven Verdoolaege
update isl f
o
r is
l
_
u
nion
_
m
a
p_fixed_pow
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdoolae
g
e
u
p
date isl f
o
r ch
a
nge in isl_pw_aff_co
n
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-12
Sve
n
Ve
r
dool
a
ege
evalue
.
c: avoid war
n
ing on us
e
of && inside ||
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Ver
d
oolae
g
e
barvin
o
k
_e
.
cc: enumerate_line: fix t
y
po
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaege
s
ummate
.
c: add_unbounded_guarde
d
_qp: update to
ch
a
n
g
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdo
o
laege
u
pdate pet for
s
upport
for recent c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sv
e
n
Verdoolaege
s
ummate
.
c: sum_bas
e
:
check
f
o
r
and remov
e
equalit
i
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verd
o
olaege
u
p
d
ate
pet f
o
r
s
uppor
t
for rece
n
t c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven
V
e
r
doolaege
u
pda
t
e isl for
s
upport for rec
e
nt
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
barv
i
nok 0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ve
r
doolaege
u
p
d
a
t
e pet to version
0
.
0
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
u
pdate isl to version 0
.
0
9
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sve
n
Verdoolaeg
e
add isl
.
py to
d
istribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
add interf
a
ce/all
.
h and inter
f
ac
e
/isl
.
py
.
top
t
o
d
istribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
S
v
en
V
erdoolaege
update cloo
g
to
v
e
r
s
ion 0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
Sven Verdo
o
laege
i
s
l
_
p
w_qpolynomial_fro
m
_e
v
alue: construct ze
r
o r
e
sult
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Ve
r
doolaeg
e
Param
L
i
n
e_Length
_
mod: pr
o
perly
h
andle empt
y
i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
S
v
en Verdoolaege
pa
r
tition2enumer
a
tion:
f
ix memory leak when input is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ver
d
ool
a
e
g
e
u
p
date pet for introduction of pet_optio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
ven Verd
o
olaege
iscc: use isl_ctx_pa
r
se_
o
ptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sve
n
Verdoolaege
upda
t
e
i
sl f
o
r
hid
i
n
g o
f
i
sl_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
u
p
date isl f
o
r in
t
r
o
d
uct
i
on of is
l
_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
e
r
dool
a
e
ge
update pet for support for recent
c
la
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolae
g
e
update isl f
o
r support
f
or r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven V
e
r
doola
e
ge
README
:
d
rop reference to p
i
plib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
isc
c
: add "params"
o
p
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Ve
r
doolaeg
e
doc: expl
a
in synt
a
x fo
r
parameter domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verd
o
olaege
update isl for speci
a
l casing of gist with parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Verdoolaege
isl_ob
j
_str_print: properl
y
pas
s
along isl_printer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoola
e
ge
e
x
plicitly link in all required librar
i
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaeg
e
con
f
igure
.
a
c:
q
u
o
te AC_LANG_
P
ROGRAM c
a
l
l to avo
i
d warni
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
ven Ver
d
oolaeg
e
update pet for exp
l
icitly l
i
nking in gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ve
r
doola
e
ge
updat
e
isl to
version 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sv
e
n Verdool
a
ege
upda
t
e pol
y
lib to ve
r
sion 5
.
22
.
5 +
c
on
f
igure fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoolaege
update
cloog for ren
a
me
o
f
LANGUAG
E
_
C
to CLOOG_LA
N
GUAGE_C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
iscc: add "
m
ap % domai
n
" opera
t
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven V
e
rdoolaege
update isl
f
or isl_unio
n
_map_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
Sv
e
n V
e
rdoolaege
po
l
ysign
.
h: add missin
g
declaration of g
l
pk_polyhedro
n
_affin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
S
ven
V
erdoolae
g
e
upda
t
e
pet for
s
u
p
p
ort
f
or r
e
cent
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
update
i
sl for
s
upp
o
rt for re
c
ent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en Verdoo
l
aege
hull
.
c: add m
i
ssing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolae
g
e
redu
c
e
_
domai
n
.
c: in
c
l
ude barvinok
/
bar
v
i
nok
.
h for
b
arvinok_co
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sve
n
Verdoola
e
g
e
eva
l
ue_isl
.
c: relatio
n
2pwqp: properly
handle
pa
r
a
m
ete
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
ven Verdoolaege
barvi
n
o
k_enume
r
ate
.
cc: ve
r
ify_isl: prope
r
ly ha
n
dl
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
v
e
n Verdo
o
l
aeg
e
add isl
.
p
y
target
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n
Verdo
o
laege
export
s
ome func
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
configu
r
e
.
ac:
s
et ISL_BUILDDIR a
l
so in case of
bundled isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
upd
a
te isl for extract_interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-30
Tob
i
a
s Gros
s
er
iscc: use
c
l
oog_uni
o
n_domain_from_isl_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Ve
r
doolaege
u
p
dat
e
i
sl fo
r
c
hange in isl_pw_aff_set_tuple_id prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoolaege
include
p
et in
dist
r
ibution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
rdoolaege
upd
a
te
p
e
t fo
r
fix in distributio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verd
o
olaege
update isl for isl_set
_
f
rom_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
dro
p
ome
g
a submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
oolaege
configure
.
ac: t
a
ke into
a
ccount pr
e
fi
x
of system omega
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
update isl for f
i
x in factorization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven V
e
r
d
o
olaege
a
dd
s
o
m
e iscc te
s
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven
V
e
r
doolaege
is
c
c: on
l
y pr
i
n
t
new line if something was
p
r
inted
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
ve
n
Verdoolae
g
e
iscc: add "a
s
s
e
r
t"
o
p
e
r
at
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
ven
V
erdoolaege
i
s
c
c: add
=
=
op
e
r
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
ven Verdoolae
g
e
iscc: call_bin_op: handle binary test oper
a
ti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven
V
erdoolaege
iscc: extract out call_bin_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven
Verdoolaege
update isl
f
or
"
==" tokens
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
S
v
en Verd
o
olae
g
e
updat
e
isl for cha
n
g
e
i
n isl_basic_
s
et_read_from_fil
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven Ver
d
oolae
g
e
u
pdate cloo
g
for include fi
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
erdoolaege
update isl for remo
v
al
o
f isl_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ver
d
oolae
g
e
update
i
sl f
o
r change in isl_{in,}
e
qualit
y
_allo
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
ven Verdoolaeg
e
u
p
date pet for
c
ompatibi
l
ity wi
t
h re
c
ent
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Ver
d
ool
a
ege
update isl-pol
y
li
b
for include path ordering iss
u
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdool
a
ege
updat
e
isl for c
h
ange in space of isl_pw_* objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
S
v
en
Ve
r
d
o
olaege
update
i
sl for
explicit parame
t
er spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
S
v
en Verdoolaege
iscc: properly handle
ap
p
lications of fu
n
ctions on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdool
a
ege
i
s
l_u
n
ion_set_ap
p
ly_union_pw_
q
po
l
ynomial: explicitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verdoolae
g
e
i
sl_pw_qpolyn
o
mial
_
sum: simplify
c
onst
r
u
c
tion of t
a
rget
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Ver
d
ool
a
ege
isl_
s
et
_
c
ard: explic
i
tly pro
j
ect result onto
parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
b
arvinok_summat
e
.
c:
v
erify_point: explicitly pr
o
je
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verdoolaege
test_bound
.
c: avoid use of undocumented isl_set_remove_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verdoolaege
isl_basic_set_lat
t
ice_w
i
dth
:
compute correct space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update isl f
o
r isl_pw_qpolynomial_project_doma
i
n_o
n
_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next