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.03
2012-12-03
Sven
Verd
o
olaeg
e
update pet
to v
e
rsi
o
n 0
.
03
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
upd
a
t
e isl to version 0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sve
n
Verd
o
o
l
aeg
e
README:
re
f
er to p
e
t/README for
m
o
r
e
de
t
ails on how
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sv
e
n Verdoolaege
update pet for support for re
c
e
n
t
clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
update isl for support
for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sv
e
n
V
e
rdoolaege
drop cloog submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoo
l
aege
use i
s
l
for code genera
t
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
update isl
f
o
r code generat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoo
l
a
ege
isc
c
.
c: add missin
g
i
n
clude
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaege
update
isl
f
or
rename of !isl
_
s
et_
d
im_has_{lower
,
u
p
per
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
S
ven Verdoolaeg
e
doc
:
add another pape
r
refe
r
ing
t
o the
l
ibrary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
R
EADME: cl
a
rify that
/
o
p
t is the ex
a
mpl
e
ins
t
a
llati
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven
V
erd
o
olaege
expo
r
t is
l
_
*_pw_qpolynomial_sum
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven V
e
rdoolaege
u
p
d
ate pet for ad
d
i
ng mis
s
ing
includ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-08
Sven Verd
o
ola
e
ge
configur
e
.
ac
:
check for NTL/ZZ
.
h header
before
che
c
king
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
S
ven V
e
rdoolaege
update pe
t
to
version
0
.
0
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n
Verdool
a
ege
update isl to version 0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verd
o
olaege
options
.
c: av
o
id calling isl_all
o
c_type w
i
thout valid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verd
o
ola
e
ge
evalue_isl
.
c: div2eval
u
e: explicitly che
c
k
for a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
S
ven Ve
r
doo
l
aeg
e
upda
t
e i
s
l
f
or normaliza
t
ion
of isl_term_get
_
div
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-30
S
v
en Ve
r
doolaege
evalue_isl
.
c
:
add_
t
erm: imp
r
ove error
h
andling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sve
n
Verdoo
l
aege
update pet f
o
r support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sve
n
V
e
rdo
o
laege
u
p
d
a
te isl for support for recent cla
n
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven
V
erdoola
e
ge
iscc:
s
upport computatio
n
of
a
r
b
i
trary (non-zero) powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sv
e
n Verdoolae
g
e
u
p
dat
e
i
sl
for is
l
_unio
n
_
map_fixed
_
power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
ven
Verdoo
l
aege
u
pdate
i
sl for ch
a
nge in isl_pw_aff_c
o
nd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-12
Sve
n
V
erdoola
e
ge
e
v
a
l
ue
.
c: avoid
w
ar
n
ing on use of && inside ||
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaege
barvinok_e
.
cc:
e
num
e
r
a
te_line
:
fix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaeg
e
summate
.
c
:
a
dd_unbounded_guarded
_
qp
:
up
d
ate to cha
n
ge
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaege
update pe
t
for supp
o
rt
fo
r
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolaege
summat
e
.
c: su
m
_base: check for
an
d
remove equali
t
ies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoo
l
aege
upda
t
e
p
et fo
r
s
u
pport for rece
n
t clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdool
a
ege
upd
a
te isl for
suppor
t
for r
e
cent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
b
a
rvinok 0
.
3
5
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
S
ve
n
V
e
rdoo
l
aege
update pet to v
e
rsi
o
n 0
.
01
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven
Verdoola
e
ge
update isl to version
0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sve
n
Verdo
o
laege
add is
l
.
py
t
o
distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
S
ve
n
Verdoolae
g
e
add interface/all
.
h and
i
nterface/isl
.
p
y
.
to
p
to dis
t
r
ib
u
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-12
S
ve
n
V
e
rdoolae
g
e
update cl
o
og t
o
ver
s
ion 0
.
1
7
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
Sven
Verdoolaeg
e
i
s
l_p
w
_qpolyn
o
mial_
f
rom_evalue: construc
t
z
ero result
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven
V
erdoolaege
Param
L
ine_Length
_
mod: properly handle e
m
pty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoola
e
ge
partition2en
u
meration
:
f
i
x
memo
r
y l
e
ak
when inp
u
t is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ve
r
d
o
olaege
update
p
e
t
fo
r
introductio
n
of pet_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ver
d
oolaege
iscc: use i
s
l_ctx
_
parse_option
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdo
o
laege
upda
t
e
isl for hiding
of
isl_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verd
o
olaege
update isl for int
r
odu
c
tion of i
s
l_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Ve
r
d
o
o
laege
update pet for suppo
r
t
for
r
ecent
clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ver
d
oolaege
update isl
f
or support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Ver
d
oo
l
aege
README:
d
rop
reference to pip
l
ib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolae
g
e
iscc: add "params
"
operatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
S
v
en V
e
rdoolaege
doc: expl
a
in syntax
for
p
arameter domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verd
o
olaege
upd
a
te
isl f
o
r special casi
n
g
of gist with pa
r
ameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en
Verdoolae
g
e
isl_obj_
s
tr_p
r
int: proper
l
y pas
s
along
i
sl_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
v
en Verdoolaege
explicitly link
i
n
a
ll req
u
ired libr
a
rie
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven V
e
rd
o
o
l
aege
co
n
fi
g
u
r
e
.
ac: quote AC_L
A
NG_PROGRAM call to
a
vo
i
d wa
r
ni
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sve
n
Verdoolaege
u
p
da
t
e pet for exp
l
i
citly li
n
king in gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
v
e
n Verd
o
o
l
aege
update i
s
l to ve
r
sion 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sve
n
Verdoolaege
update po
l
ylib to version 5
.
22
.
5 + configure fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
S
ven Verd
o
olaeg
e
update
c
loog for
r
e
n
ame
o
f LANGU
A
G
E
_C to CLOO
G
_LANGUAGE_C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
ven Verdo
o
laege
i
scc: ad
d
"
map
% d
o
main" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven
V
erdoolaeg
e
update isl for
isl_un
i
o
n
_map_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
S
v
en Verd
o
olaege
p
o
ly
s
ign
.
h: add missin
g
d
ecla
r
ation of g
l
pk_po
l
yhe
d
r
on_affin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven Ver
d
oolaeg
e
update pe
t
for su
p
port for rece
n
t clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
S
ven Verdoolaege
u
pdate isl f
o
r support for rec
e
nt cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ve
r
doo
l
aege
hull
.
c: add missi
n
g
inclu
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaeg
e
reduce_
d
o
main
.
c: include barvinok/barvi
n
ok
.
h
f
o
r
ba
r
vinok_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdool
a
e
ge
evalue_isl
.
c
:
relation2p
w
qp:
prope
r
ly handle
parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven
V
e
rdoolaege
barvinok_enumerate
.
cc: verify_isl
:
properly
handle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven
Verdoolaege
add isl
.
py target
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
export so
m
e fu
n
ctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
erdoolaeg
e
configu
r
e
.
ac
:
set ISL_BU
I
LDDI
R
also in case of
bundled isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Verd
o
olaege
update isl for extract_interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoo
l
ae
g
e
upd
a
t
e
isl
for change in isl_p
w
_aff_set_tuple_id prototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdoolae
g
e
include
p
et in
d
i
st
r
ibution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdoolaege
update pet for fix in distr
i
bution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
u
p
da
t
e isl fo
r
is
l
_se
t
_from
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoolaege
drop ome
g
a su
b
modul
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdool
a
ege
con
f
igur
e
.
a
c: take in
t
o account
p
refix
o
f s
y
st
e
m
omega
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
update isl for fix in factor
i
zation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sv
e
n Verdool
a
ege
add some
iscc
tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdo
o
laeg
e
iscc: only print n
e
w line if something was
p
rinted
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verd
o
olaege
iscc:
a
dd "assert"
operati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
S
v
en Verdo
o
la
e
ge
iscc: add == ope
r
ati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven
Verdoolaege
iscc: call_bin_op:
handl
e
binary
test ope
r
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoola
e
ge
iscc: extract
out call_bi
n
_
o
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven
Verdo
o
laege
update isl
for "=="
t
oken
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoolaege
update isl for change in isl_b
a
sic_set_read_from_fi
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdo
o
laeg
e
upd
a
t
e clo
o
g
f
or include fi
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
Verdoo
l
aege
u
p
date isl for remo
v
a
l
of
isl_
d
iv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoo
l
a
ege
update i
s
l for chan
g
e in isl_{in,}equality_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
erdool
a
ege
update pet
f
or comp
a
tibility with r
e
ce
n
t c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verd
o
ola
e
ge
u
pdate isl-polylib for i
n
clude path ordering issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sve
n
V
e
r
d
oolaege
update isl
f
o
r
change in
s
p
ace
o
f is
l
_pw
_
* objec
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
update is
l
for explicit parameter
spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Ver
d
oo
l
aege
is
c
c: properly hand
l
e applica
t
ions of
f
unctions on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Ve
r
doolaege
isl_u
n
ion_s
e
t
_apply_u
n
ion_pw_qpolynomial: expli
c
itly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Ve
r
doolaege
isl_pw_q
p
olynomial_sum
:
simpl
i
fy constructio
n
of target
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
rdo
o
laege
isl_
s
e
t
_card: ex
p
l
i
citly
project resu
l
t onto pa
r
a
me
t
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Ver
d
oolaege
barvinok_summate
.
c: verify
_
point
:
explicitly proj
e
c
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaeg
e
test_bou
n
d
.
c:
avoid use
o
f
undocumen
t
ed is
l
_set
_
r
e
move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next