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-02-11
Sven Verdoolae
g
e
update pet fo
r
suppo
r
t
f
o
r
r
ecent
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven
V
erdoolaege
summate
.
c
:
s
um
_
ba
s
e: check for and remov
e
equal
i
t
i
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolaege
updat
e
pet
f
or support f
o
r
r
ec
e
nt clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven V
e
rd
o
o
l
aege
update is
l
for suppo
r
t for recent
c
lang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verd
o
olaege
barvinok 0
.
35
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sv
e
n
V
erdoolae
g
e
updat
e
p
e
t to version 0
.
01
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolae
g
e
update i
s
l to version 0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
a
dd i
s
l
.
py to di
s
trib
u
ti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en Verdoola
e
g
e
ad
d
interface/all
.
h and interface/
i
s
l
.
py
.
t
o
p
to distribu
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-12
Sven Verdoolaege
update cloog
to vers
i
on 0
.
17
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
Sven
V
erd
o
olaege
is
l
_pw_qpolynom
i
al_f
r
o
m
_eval
u
e: construct zero resu
l
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven
Verd
o
ol
a
e
ge
Para
m
Line_L
e
ngth_mod: properly
h
andle
em
p
t
y
i
n
pu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sv
e
n Verdoolaege
partition2e
n
u
m
e
ration: fix memo
r
y leak when input is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdool
a
ege
update pet for introduction of pet_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ve
r
d
o
olae
g
e
iscc:
u
s
e
isl_
c
tx_parse_op
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoo
l
a
e
ge
upd
a
te
isl for
h
i
din
g
of isl_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
erdoolaege
u
pd
a
te isl
for introduct
i
o
n of isl_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
erdoolaeg
e
update pet f
o
r
support
f
o
r recent cl
a
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
ve
n
Verdoolaege
update
i
sl fo
r
support
for re
c
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sve
n
Verdoola
e
ge
R
EADME:
d
rop reference to piplib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verd
o
olae
g
e
iscc:
add "par
a
ms
"
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven
Verdoolaege
d
oc: explain syntax
f
or paramet
e
r domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
updat
e
isl for special c
a
sing o
f
gist with param
e
ter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Verdool
a
ege
isl_obj_str_p
r
int:
p
r
ope
r
ly pa
s
s
al
o
ng isl_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven
Verdo
o
laeg
e
expl
i
citly link i
n
all
r
equ
i
r
e
d
l
ib
r
aries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolae
g
e
configure
.
ac:
q
uo
t
e AC_L
A
NG_
P
ROGRAM call to avoid warnin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sv
e
n Verdoolae
g
e
update p
e
t f
o
r explicitly linki
n
g in
gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
upda
t
e is
l
to version 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
ven V
e
r
d
oolaege
update p
o
lylib to v
e
rsion 5
.
22
.
5 + config
u
re fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sv
e
n V
e
rdool
a
ege
update
c
l
oog for rename of LANGU
A
GE_C to C
L
O
OG_
L
A
NG
U
AGE_C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven V
e
rdoolaege
iscc: add "map % d
o
mai
n
" oper
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verd
o
olaege
u
pdate isl for
isl_
u
n
i
on_map_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
Sven Verdoolaege
polysign
.
h: add missing declaration of glpk_po
l
yhedron
_
affi
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
S
v
en V
e
rd
o
ola
e
g
e
update pet
for suppo
r
t f
o
r r
e
cent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaeg
e
u
p
date is
l
for su
p
port for recen
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
hull
.
c: ad
d
mis
s
ing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
redu
c
e_dom
a
in
.
c: include ba
r
v
i
nok/barvinok
.
h fo
r
ba
r
vinok_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
S
ven Ve
r
doolae
g
e
evalue
_
isl
.
c: relation2
p
wqp: proper
l
y handle p
a
r
a
m
eter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ver
d
oolaege
b
a
rvinok_enumerate
.
c
c: verify_isl: p
r
o
p
erly hand
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
ad
d
isl
.
py target
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
V
e
rdoolaege
export some functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdo
o
laege
confi
g
ure
.
a
c
: set ISL_BUI
L
DDIR also in case of b
u
ndled
i
sl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven V
e
rdoolaege
update isl for extract
_
interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
update isl
for chan
g
e in i
s
l_p
w
_aff
_
set_tuple_id p
r
otot
y
pe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
V
erdoolaege
i
n
clude pet
in distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
u
p
da
t
e pe
t
f
o
r fix in d
i
stribu
t
io
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
rd
o
olaege
upd
a
te isl f
o
r isl_set_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Ve
r
doolaege
drop om
e
ga
s
u
b
modu
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
oo
l
aege
conf
i
gure
.
ac: take into account prefi
x
of system
o
m
e
ga
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Verdoolaege
update isl for fix in fa
c
to
r
ization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdo
o
laege
add
some iscc tes
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc
:
o
nly print new li
n
e if someth
i
ng was
p
rinted
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc: add "assert" o
p
e
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
isc
c
: add
=
=
o
perations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc: call_bin_op: hand
l
e bina
r
y test
operati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven
V
erdoolaege
iscc:
e
xtract ou
t
c
all_bin_
o
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
S
ven V
e
r
d
o
olaege
u
pdat
e
isl
fo
r
"==" tokens
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoolaege
update
is
l
fo
r
c
h
ange in isl_basi
c
_
s
et_r
e
ad_f
r
o
m
_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoolaege
update cloog for include fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
update isl for removal of isl_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en Verdoo
l
aege
up
d
ate isl for
c
hange
i
n
i
sl_{i
n
,}equality_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven
Ver
d
o
o
lae
g
e
update pet for com
p
a
tibility with recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdool
a
ege
upd
a
te isl-p
o
ly
l
ib for include p
a
t
h o
r
dering issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven
V
erdo
o
laege
u
p
date is
l
fo
r
c
hange in
space o
f
isl_pw_* object
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
S
ven
Verdoolaege
u
pdate isl fo
r
explici
t
paramet
e
r spa
c
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sv
e
n Verdoolaege
iscc: pr
o
perly han
d
le
applicati
o
n
s
of fun
c
tions on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven
V
erdoolaege
isl_union_set_apply_union_pw_qpo
l
ynomial: explic
i
tly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdo
o
laege
isl_pw_qpolynomial
_
sum:
s
implify cons
t
r
u
ction
o
f
tar
g
et
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
oolaege
isl_set_card: explici
t
ly proj
e
ct result onto pa
r
a
m
ete
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
oolaege
ba
r
vino
k
_
summate
.
c
:
ve
r
i
f
y_point: explicitl
y
project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoola
e
g
e
tes
t
_b
o
un
d
.
c:
a
void use of undocume
n
ted isl_set_remove_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
ool
a
ege
isl_basic_set_la
t
tice_width: compute correct space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Verdoolaege
update
i
sl
for is
l
_pw_
q
polynomial_pr
o
ject_domain_on_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
er
d
oolaege
update cloog
for no
t
usi
n
g und
o
cumented
isl_set_extend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
rdoolaege
u
p
date isl-polylib for
rena
m
e
of isl_dim to
i
sl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Verdoolaege
u
pdate isl
fo
r
r
e
name o
f
i
s
l_dim t
o
isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verd
o
olaege
u
pdate isl-polylib for s
o
me fixes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdool
a
e
ge
update pet for use
of is
l
_map_has_tuple
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdool
a
e
g
e
u
p
dat
e
isl for isl_map_ha
s
_t
u
ple_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ve
r
doo
l
a
ege
update isl for rename
of
i
s
l
_ma
p
_
insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoo
l
aege
u
pdat
e
isl
for c
h
an
g
e in isl_
a
f
f
_floor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaeg
e
u
p
d
a
te pet
fo
r
compatibility with
lat
e
st cla
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Ver
d
oolaege
u
p
date isl
fo
r
fix in isl_
m
ap_
i
n
t
ersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
i
s
cc: add
pa
r
se_file o
p
eration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven V
e
rd
o
ol
a
ege
add pet
submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sve
n
Ve
r
doola
e
g
e
u
pdate isl
f
or pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoo
l
aeg
e
privately export isl_s
t
r
_
free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verd
o
ol
a
eg
e
iscc: on
l
y p
r
i
n
t val
i
d r
e
sults
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
S
ven
Ve
r
do
o
laege
barvinok 0
.
34
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
Sven Ve
r
doolaege
up
d
ate cloog to v
e
r
sion 0
.
16
.
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-13
Sven Verdoolaege
upda
t
e
i
s
l to
version 0
.
07
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdoolaege
autogen
.
sh: re
p
lace superproj
e
ct p
a
rt
by call to autorec
o
n
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdoolaege
configure
.
ac: use non-
d
eprecated form of A
M
_
INI
T
_
A
UTOMAKE
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdoolaege
rename c
o
nfigure
.
in to configure
.
ac
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdoolaege
update clo
o
g for not
d
ependi
n
g on inte
r
nal represenation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
t
est: use isl
i
nterface for
tes
t
ing lattice w
i
d
t
h
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdo
o
laege
iscc: a
d
d latt
i
ce_w
i
dth operati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven V
e
rdoolaege
i
s
cc: replace sch
e
dule_bands by sch
e
du
l
e_forest
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdool
a
ege
up
d
ate isl fo
r
f
i
x in i
s
l_sch
e
du
l
e
i
n
t
erface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ve
r
doolae
g
e
update cloog for addi
t
i
o
n
of missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next