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
barvinok 0.36
2012-12-03
Sven Ve
r
doola
e
ge
b
a
rvin
o
k 0
.
36
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven V
e
rdoo
l
aege
le
x
min
.
cc: lexmin
:
remove un
u
sed label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoola
e
g
e
latt
i
ce_point
.
c
c: fra
c
t
i
onal_p
a
rt:
r
emove unused la
b
el
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
testlib
.
cc: test_
h
ilbert:
f
ix tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
v
e
n
Verdoolaege
i
scc
.
c: read_b
o
ol_if_available: remove unused label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n
Verdoolaege
upd
a
te pet to vers
i
on 0
.
03
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven V
e
rdool
a
e
g
e
u
p
d
ate isl to ve
r
si
o
n 0
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
Ver
d
oolaeg
e
R
E
ADME: refer to
pet
/
README for more details
o
n how
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
S
v
en
V
erd
o
olaege
update pet for suppo
r
t
for re
c
ent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoo
l
aege
u
pdate
i
sl for support
f
or recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
drop cloog sub
m
odule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
use isl for code genera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
update isl for code genera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sven Ve
r
doolaege
iscc
.
c: add missing includes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sve
n
Verdoolaege
update isl for rena
m
e of !isl
_
se
t
_dim_has
_
{
lower,up
p
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Ver
d
oolaege
doc:
a
dd
a
nother
p
a
per r
e
fering to
the li
b
r
ary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
S
ven Verdoolaege
README: clarify that /opt is the
e
xam
p
l
e
in
s
t
a
llation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven
V
erdoolaege
export isl_*
_
pw_qpolynomi
a
l
_sum
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
update pet fo
r
adding
m
i
s
sing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-08
S
v
en Verdoolaege
c
o
nfigure
.
ac: ch
e
c
k
f
o
r
NTL/ZZ
.
h header before
c
hecking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
S
v
en Verd
o
olaege
update pet to version 0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
upda
t
e i
s
l to v
e
rsion 0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdool
a
ege
options
.
c: avoid
ca
l
ling isl
_
a
l
loc_type w
i
th
o
ut
valid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
evalue_is
l
.
c
:
d
i
v2evalue: explicitly check for an
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdo
o
l
a
e
ge
updat
e
isl
for normal
i
zation of isl_term_get_div result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
Sven Verd
o
o
l
aege
evalu
e
_i
s
l
.
c: add_term: improve erro
r
ha
n
dling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Ve
r
doola
e
ge
update pet for support for
re
c
e
nt cla
n
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sv
e
n V
e
rdoolaege
upda
t
e isl for s
u
pp
o
rt for
r
ecent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoolaege
iscc:
supp
o
rt comput
a
tion of a
r
b
itrary (non-
z
ero
)
power
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sve
n
Verdo
o
laege
update isl for isl_unio
n
_map
_
fixed_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n
V
e
rdoolaege
update isl for
c
hang
e
in isl_
p
w_aff_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-12
Sven Ver
d
ool
a
ege
evalue
.
c: a
v
oid warning on use
o
f && in
s
ide ||
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven
Verdoolaege
barvin
o
k_e
.
c
c
: enume
r
ate_line:
fix
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaege
summate
.
c
:
add_unbo
u
nded
_
guarded_
q
p:
u
p
date to change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoola
e
ge
update pet for su
p
p
ort f
o
r recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sve
n
V
erdo
o
l
a
ege
sum
m
ate
.
c
:
s
um_b
a
se: ch
e
ck for
and
remove equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Ve
r
doola
e
ge
update pet for
s
u
p
por
t
for
recent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
S
v
e
n
V
e
r
doolaege
update
isl for suppo
r
t for r
e
ce
n
t c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
ven Ver
d
oolaege
barvinok 0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en Verdoolaege
update pet to version 0
.
0
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven
Verdoolaege
u
p
dat
e
isl
t
o version
0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
ven Verdoolaege
a
dd isl
.
p
y to distributi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven V
e
rdo
o
laege
add inte
r
face/all
.
h and i
n
terface/isl
.
p
y
.
top to distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
Sven Ver
d
o
o
laege
u
p
date clo
o
g
t
o
version 0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
Sven Ve
r
d
o
o
l
a
e
ge
isl_pw_q
p
olynomial_fr
o
m
_
eval
u
e: construct zero
r
e
sult
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
P
aramLine_Length
_
mod: properly ha
n
dle empt
y
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven
V
erdoolaeg
e
p
a
rtition2enumeration: fix memo
r
y leak when inpu
t
is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
update
p
et for in
t
roduction of pet_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven
Verdoolaege
i
s
cc: use isl_ctx_parse_op
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ver
d
oo
l
aege
u
pda
t
e isl for
h
iding of is
l
_o
p
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ver
d
oolaege
update isl for introduction
of i
s
l
_
args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en V
e
rd
o
olaege
update
p
e
t for su
p
port for recent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
update isl for
s
upp
o
rt for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven V
e
rdoola
e
ge
R
EADME: dr
o
p
r
ef
e
renc
e
to piplib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
S
ven
Verd
o
olaege
iscc: add "par
a
ms"
o
p
er
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdo
o
laege
doc: exp
l
ain syntax
for
p
arameter domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verd
o
olaege
u
pda
t
e isl for speci
a
l casing of gist
w
it
h
p
a
r
a
m
e
ter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
Verdool
a
ege
isl_
o
bj_str_pr
i
nt: properly pas
s
alon
g
isl_
p
rinter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sve
n
Ve
r
doola
e
g
e
expli
c
itly link in all required l
i
brarie
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
ven V
e
rdoolaege
configure
.
ac: qu
o
te AC_LANG_P
R
OG
R
AM call
t
o avo
i
d wa
r
ning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
ven Verdoo
l
a
ege
u
pdate pet f
o
r explicitly linking in
g
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
up
d
ate isl
t
o version 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
v
en Verdoolaege
update polylib to
v
ersion 5
.
22
.
5 + configure
fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven V
e
rdoolaege
update cloog for rena
m
e of LAN
G
UAGE_C to CLOOG_LANGUAGE
_
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en Verdo
o
laege
i
s
cc: add "map %
domain" o
p
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en Verdoola
e
g
e
update
isl for isl_union_map_
g
ist_domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
S
ven
V
erd
o
olaege
pol
y
sig
n
.
h:
a
d
d missing declaration of g
l
pk_polyhedron_a
f
fin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verdoolaege
update p
e
t
f
or su
p
port for
rec
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
update isl for support
for recent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sve
n
Ver
d
o
olaeg
e
hull
.
c: add missin
g
include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en Verdoo
l
aege
reduce_domain
.
c: include
barvinok
/
barvinok
.
h for barv
i
nok_co
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verd
o
ol
a
ege
e
v
a
lue_isl
.
c: relation
2
pwqp: pro
p
erly han
d
le param
e
t
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sv
e
n Verdoolaege
bar
v
inok_enum
e
r
a
te
.
cc: verify_isl: pro
p
erly hand
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Verdoolaege
add isl
.
py
target
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
v
en Ve
r
doola
e
ge
ex
p
ort some functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Verdoolae
g
e
c
onfigure
.
ac: set ISL
_
BU
I
LDDI
R
also in case of
bun
d
led
i
sl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven V
e
rdoolaege
update
i
sl
f
o
r ex
t
ract_
i
n
t
erface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
oolaege
update isl for
change in isl_p
w
_aff_s
e
t_tuple_id prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
inclu
d
e
pet in dist
r
ib
u
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoolaeg
e
update
pet for fix
i
n distribut
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
e
n Verdool
a
ege
upd
a
te i
s
l
f
o
r
isl_set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
o
o
laege
drop omega sub
m
odule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdoolaege
c
o
nfigure
.
a
c
: take in
t
o ac
c
oun
t
prefix
of
s
ystem ome
g
a
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaeg
e
updat
e
isl fo
r
fi
x
in factor
i
z
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
a
dd
some iscc tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sve
n
V
e
rdoo
l
a
ege
iscc: only pr
i
nt
n
e
w
li
n
e
if some
t
hing was
pr
i
nt
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc
:
a
dd
"
assert"
o
perati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sv
e
n
Verdoola
e
ge
iscc: add == operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoo
l
ae
g
e
iscc: call_b
i
n_op: han
d
le binary t
e
s
t
operat
i
on
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sv
e
n Verdoolaege
isc
c
: extr
a
ct out
c
all_bin
_
o
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sv
e
n
Verd
o
olaege
update isl for "==" to
k
ens
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven
Verdoola
e
ge
update
i
s
l for chang
e
in is
l
_basic_se
t
_read_from_
f
ile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sve
n
Ve
r
doolaege
upda
t
e c
l
o
og for i
n
c
l
ud
e
fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
Verdoo
l
aege
upd
a
t
e
i
s
l for
r
emoval of isl
_
div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven V
e
rdoolaege
update isl for change in
isl_{in,
}
equality_a
l
loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
Verdoolaege
update pet
f
o
r
c
ompati
b
i
l
ity
with recen
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoola
e
g
e
update
i
sl-polylib for
i
n
c
lude path ordering
i
ss
u
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
S
v
en Verd
o
olaege
up
d
a
te isl for ch
a
n
g
e
i
n
space of
i
sl_pw_* obje
c
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verd
o
olaege
update isl for
e
xplicit parameter s
p
ace
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven
V
e
rdoolaege
iscc
:
p
roperly handle applications of functio
n
s
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next