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 isl to version 0.11.1
2012-12-10
Sven Verdoolaeg
e
u
p
date
i
sl
to version 0
.
11
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
b
arvi
n
ok 0
.
36
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Verdoolaege
le
x
min
.
cc: lexmin:
r
e
move unus
e
d label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sve
n
Verdoolaege
latti
c
e_point
.
cc: fractional_part: remove
unused l
a
b
el
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ven V
e
r
d
o
olaeg
e
t
estl
i
b
.
c
c
:
test_hilbert:
f
ix tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoola
e
g
e
iscc
.
c: read_bool_if_available: re
m
ove unused label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Verdoolaege
updat
e
pet to
v
ersion
0
.
03
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
e
r
doolaege
u
p
dat
e
i
s
l
to versio
n
0
.
1
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
RE
A
DME:
r
e
fe
r
to pet/REA
D
ME for more details
o
n how
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Ve
r
doolaege
update pet for
s
u
pp
o
r
t fo
r
r
ece
n
t cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolae
g
e
update
isl for suppo
r
t for rece
n
t cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
drop cloog subm
o
dule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
v
en Ve
r
d
o
o
l
aege
use isl f
o
r code ge
n
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Ver
d
ool
a
ege
update isl for
code gen
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sven
V
erdoolaege
iscc
.
c: add miss
i
ng includes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven V
e
rdo
o
laege
update isl for
re
n
ame
of !is
l
_s
e
t_dim_ha
s
_{low
e
r,
u
pper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sv
e
n Ver
d
ool
a
ege
doc: add another
paper refer
i
ng to
the library
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoo
l
ae
g
e
README: clari
f
y t
h
at /opt
i
s the e
x
ample
i
nstallati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
S
ven
V
e
rdoolaege
export isl
_
*_pw_qpolynomial
_
s
um
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven V
e
r
doolaege
update pet for addi
n
g
m
i
ssing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-08
Sven Ve
r
do
o
l
a
ege
c
o
nfigure
.
ac: chec
k
for NT
L
/ZZ
.
h header be
f
ore
checking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verdo
o
l
a
ege
u
p
date
p
e
t
to
version 0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdoola
e
ge
update isl to versio
n
0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven V
e
rdoolaege
options
.
c: a
v
oid
c
a
lling is
l
_alloc_type
w
ith
o
ut vali
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
e
r
doolaege
evalue_isl
.
c
:
div2eval
u
e
: e
x
plicitly check for a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
S
ven Verdo
o
laege
updat
e
isl for normalization
o
f
isl_t
e
rm_g
e
t_di
v
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
Sve
n
Verd
o
ola
e
ge
e
v
alue_isl
.
c:
a
d
d_
t
erm:
impr
o
ve error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoo
l
aege
u
pdate pet
f
or support
fo
r
recent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
updat
e
isl for
support fo
r
recent c
l
an
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven
Verd
o
olaege
iscc: support computation of arbitra
r
y (non-zero
)
p
o
w
ers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven
Verdo
o
laege
update i
s
l for isl_union_map_
f
ixed_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
u
pd
a
te i
s
l for c
h
ange in isl_pw_
a
ff_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-12
S
v
en Verdoolaege
evalue
.
c:
a
voi
d
warning on use of && inside ||
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sv
e
n Ver
d
oolaege
barvinok
_
e
.
c
c
:
enumerate_line: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
S
ven Verd
o
olae
g
e
summate
.
c: add_unbounded_guarded_qp
:
u
p
date to chan
g
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven
Ve
r
doolaege
update pet for s
u
pport for
r
ecent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven V
e
rd
o
o
laege
s
u
mmate
.
c: sum_base: check for and r
e
m
ove equalit
i
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sve
n
V
e
r
doolaege
update pet
for su
p
port f
o
r recen
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Ve
r
doolaege
update isl
f
or
support for
recent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
barvinok 0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sv
e
n Verdo
o
laege
update pet to version 0
.
0
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en Verd
o
olaege
update
isl to version 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaeg
e
add is
l
.
p
y
to dist
r
ibu
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
e
n Ve
r
doo
l
aeg
e
a
d
d interface/all
.
h and interface/isl
.
py
.
t
op
t
o
d
istribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
S
ven V
e
rdoolaege
update cloog to
v
ersion 0
.
1
7
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
Sven Ve
r
doola
e
ge
isl_pw_qpolynomial_from_eva
l
ue:
construct zer
o
result
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolae
g
e
ParamLine_Length_mod: prop
e
rly
h
andle empty
i
npu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Ve
r
doolaeg
e
p
artition2enumeration: fix memory
l
eak
w
he
n
input
i
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdo
o
laege
up
d
at
e
pet for introduction of
p
e
t
_
opti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
ven Verdoolaege
iscc
:
use isl_c
t
x_parse_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Verdoolaege
up
d
ate isl for hidin
g
of isl_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven V
e
rdoolaege
u
p
date
i
sl f
o
r introduction of isl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
u
p
da
t
e pet for s
u
p
p
ort f
o
r
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoo
l
aege
upda
t
e
isl
for
support f
o
r re
c
ent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
REA
D
M
E: dro
p
r
e
fer
e
nce
t
o
piplib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sve
n
Verdoolaege
iscc: add "pa
r
ams
"
operati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven
V
e
r
d
oolaege
do
c
: explai
n
syntax
for p
a
ramet
e
r doma
i
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
upd
a
te isl f
o
r specia
l
casing o
f
g
i
s
t
w
i
th parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoolaege
is
l
_obj_str_pri
n
t:
properly pass along isl
_
pr
i
nter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoo
l
aege
explicit
l
y li
n
k in all required libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdool
a
ege
configure
.
ac: qu
o
te AC
_
LANG
_
P
R
O
GRAM
ca
l
l to avoid warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
v
e
n
V
e
rdo
o
la
e
ge
up
d
ate
pet for e
x
pli
c
itly li
n
king in
g
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
upd
a
te isl to version 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sve
n
Ver
d
oo
l
a
ege
updat
e
pol
y
l
ib
t
o v
e
rsion 5
.
22
.
5 + config
u
re fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven V
e
rdoolaege
update
cloog for
r
ename of LANGUAG
E
_C to CLOOG_L
A
NGUAGE_C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
S
ven Verdo
o
laege
i
s
cc:
add "
m
ap %
d
o
main" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Ver
d
oolaege
update isl for isl_union_map_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
Sven Verdoola
e
ge
p
o
l
ysign
.
h: add miss
i
ng declarati
o
n of glp
k
_polyhedro
n
_affin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sv
e
n Verd
o
olaege
update
p
et for su
p
port for recent
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
S
v
en Verdoolaege
update
is
l
for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ve
r
d
o
olaege
h
u
ll
.
c: add mi
s
sing in
c
lude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
reduce_domai
n
.
c: include barvinok/b
a
rvino
k
.
h fo
r
bar
v
inok
_
c
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en Ve
r
doolaege
evalue_isl
.
c: relation2pwqp: properly handle parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
barvi
n
o
k
_e
n
um
e
rate
.
c
c
: verify_isl: properly handle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
ven
Verdoolaege
add isl
.
py target
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdool
a
ege
export some
f
unctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ver
d
oolaeg
e
configure
.
ac:
s
et I
S
L_BU
I
LDDIR
a
lso in case of
bundled
i
sl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n
Verdoolaege
up
d
ate isl f
o
r extrac
t
_i
n
t
erface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-30
Tobias G
r
osser
iscc: use
cl
o
og_u
n
ion_domain_from_isl_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
update isl for
change in isl_pw_aff_set_tuple_id prot
o
type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaeg
e
include p
e
t in distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdoola
e
ge
update pe
t
for fi
x
i
n d
i
stribut
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdo
o
laege
update isl
for i
s
l_set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Verdo
o
laege
dr
o
p omega
s
ubmod
u
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoo
l
aege
configure
.
a
c:
t
ake into account prefix of system om
e
ga
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verd
o
olaege
u
pdate is
l
for fix in f
a
ctorizat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
v
en Verdoola
e
ge
add so
m
e
i
scc
tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
v
e
n Verdoolae
g
e
iscc: o
n
l
y print ne
w
line if som
e
thing was pr
i
nted
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoo
l
aege
iscc: add "a
s
sert" op
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
ve
n
Verdoola
e
ge
isc
c
: ad
d
== operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdool
a
ege
is
c
c: call_bin_op:
h
andl
e
b
i
nary t
e
st opera
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sv
e
n
Verdoolaege
iscc
:
extra
c
t out c
a
ll_bin_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verd
o
olaege
update
isl for "==" tokens
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
S
v
e
n
Verd
o
olaege
u
p
d
a
t
e isl for change i
n
isl_bas
i
c
_
set_read_from_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdo
o
laege
update cl
o
og for
i
nclude fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
update isl for
r
em
o
val
o
f
isl_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoola
e
ge
update is
l
for change in
i
sl
_
{
in,}equali
t
y_
a
lloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
er
d
o
o
laege
upd
a
te pet for compatibilit
y
w
ith recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdool
a
ege
u
p
dat
e
isl-polylib for
i
nclude path ordering issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
update is
l
fo
r
change in
s
pace of
i
sl_pw_*
o
bjects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next