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
summate.c: sum_base: check for and remove equalities
2012-02-02
S
v
e
n
Ve
r
d
o
olae
g
e
summate
.
c: su
m
_base:
check f
o
r
and
remove
e
qualities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoola
e
ge
upda
t
e pet for support for recen
t
cl
a
ng
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolaege
up
d
ate
isl for supp
o
rt fo
r
r
e
cen
t
cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdo
o
l
a
ege
b
a
rv
i
nok
0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
up
d
ate pet to vers
i
on 0
.
0
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
u
p
date isl to vers
i
on 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ver
d
oolaege
add isl
.
py to
dis
t
ribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
ad
d
i
nte
r
face/a
l
l
.
h and
i
nterface/i
s
l
.
py
.
t
o
p
to d
i
st
r
ibuti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
Sven Verdoo
l
a
e
ge
up
d
a
t
e clo
o
g to vers
i
on 0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
S
ven Ver
d
o
o
laege
i
sl_pw_qpolynomia
l
_from_eva
l
u
e:
con
s
truct zero
r
esult
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven
V
e
rdool
a
e
ge
ParamLi
n
e_Length
_
m
od: properly handle
emp
t
y input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Ve
r
doola
e
g
e
p
a
rtition2enumeration: fix m
e
mory l
e
ak when input is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sve
n
Verdoolaege
up
d
ate pet for
introduction of pe
t
_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoola
e
ge
i
s
cc: use isl_ctx_parse_op
t
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
erdool
a
ege
update isl f
o
r hi
d
ing of isl_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdo
o
laege
upd
a
te isl fo
r
introd
u
ction of isl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
update pet for support for recent c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
up
d
ate
isl for su
p
port f
o
r recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verd
o
o
laege
README:
drop reference to pi
p
lib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
S
ven
V
erd
o
olaege
iscc: add "params" op
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdo
o
laege
doc: explain syntax for p
a
rameter
domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sv
e
n Verdoolaeg
e
update isl for special casing of
g
ist w
i
th par
a
met
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdo
o
laege
i
s
l_ob
j
_st
r
_print: properly pass along is
l
_
printer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoo
l
aege
expl
i
citly link in
a
ll required lib
r
aries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ver
d
oolaege
c
o
nfigure
.
ac: quote A
C
_L
A
N
G
_PROGRAM cal
l
to avoid wa
r
ning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
up
d
ate pet
f
or exp
l
i
c
itly
linking
in gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
v
en Verd
o
o
laege
update isl to
version 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
update po
l
yli
b
to
versio
n
5
.
22
.
5
+
config
u
re fi
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven Ver
d
oola
e
ge
up
d
ate cloog for renam
e
of LANGUAGE_C to CLOOG_LANGUAGE_
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Ve
r
doolaege
i
s
cc: add "map % d
o
m
ain" o
p
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sv
e
n Ve
r
doolaege
update isl for isl_union_
m
ap_g
i
st_
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
S
v
e
n Verdo
o
laege
p
o
lysign
.
h: add missing
de
c
lara
t
ion of gl
p
k_polyhedron_affin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verdoolaege
upda
t
e pet for sup
p
or
t
f
or r
e
c
ent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
u
p
date isl
f
or support
for
recen
t
c
l
a
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
h
u
ll
.
c: add mis
s
ing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven
V
e
rdoolaege
reduce_dom
a
in
.
c:
include barvinok/b
a
rvinok
.
h for bar
v
inok_co
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ve
r
dool
a
ege
evalue
_
i
sl
.
c: relat
i
on2pwqp: p
r
operly
handle p
a
rameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
v
e
n Verdo
o
laege
b
a
rvi
n
ok_
e
numerat
e
.
cc
:
verify_isl: p
r
operly handle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven V
e
rdoola
e
ge
add isl
.
py tar
g
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven
Verdool
a
eg
e
expo
r
t some functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n Verdoolaeg
e
configure
.
ac: set
I
SL_BUILDDIR also
i
n cas
e
of bundled isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaeg
e
update isl for extract_interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdoo
l
a
e
ge
upda
t
e
isl for c
h
ange in isl_pw_aff_s
e
t_t
u
ple_
i
d
p
rototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoolaege
include p
e
t in distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaeg
e
updat
e
p
et for fix
in
dis
t
r
i
bution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdo
o
laege
upda
t
e isl for isl_s
e
t_fro
m
_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
e
n
Verdoolaege
d
r
o
p
omega
submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
rdoolaege
configur
e
.
ac: tak
e
into
ac
c
ount
p
refix of syst
e
m
om
e
ga
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
er
d
oolaege
update isl f
o
r
fix in fa
c
torizati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven
V
erdoolaege
add some
i
scc tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven
V
erdoolaege
i
s
cc: on
l
y print new
line if som
e
thing was prin
t
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdo
o
l
aege
isc
c
: add "assert" o
p
er
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
v
en Verdool
a
ege
iscc: add == operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sve
n
V
erdoola
e
g
e
i
scc: call_
b
i
n
_op: handle bi
n
ary
t
e
st op
e
r
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
iscc:
e
xtr
a
ct out call_bin_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdool
a
ege
update
isl fo
r
"==" tokens
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sve
n
Verdoolaege
upd
a
te isl
for change i
n
isl_basi
c
_
set_read_from
_
file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoolaege
update cloo
g
f
or includ
e
fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ve
r
doola
e
ge
update
isl for removal of isl_d
i
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven V
e
rdoolaeg
e
update isl for
chan
g
e in isl_{in,}equa
l
ity_all
o
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
u
p
d
ate pet for compatibility with
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verd
o
o
laege
update i
s
l-polylib for
include path ordering issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoola
e
ge
update isl
f
o
r
c
h
ange in spa
c
e
of isl_pw_* ob
j
ects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
updat
e
i
sl
for explicit parame
t
er spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
iscc: p
r
operly handle ap
p
lications of functions on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
S
v
en Verdoolaege
isl_union_s
e
t_apply_union
_
pw_qp
o
lynomial: expli
c
i
t
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Verdoolaege
isl_pw_qpolynomial_sum: simplify constr
u
c
t
io
n
of targ
e
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
is
l
_set_card: expl
i
ci
t
ly pro
j
ect resul
t
o
n
t
o
parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
oolaege
b
arvinok_sum
m
ate
.
c:
v
erify
_
point
:
exp
l
icitly projec
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ve
r
doolaege
t
e
s
t
_bound
.
c: av
o
id u
s
e of undocume
n
ted isl_
s
et_remove
_
dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Verdoolaege
isl_basic_set_latti
c
e_w
i
dth: compu
t
e cor
r
ect space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoo
l
aege
u
p
d
a
t
e isl for isl_
p
w_qpoly
n
omi
a
l_
p
roject_dom
a
in_on_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoola
e
ge
up
d
ate
clo
o
g
f
or not using undocument
e
d
isl_se
t
_e
x
tend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Verdoolaege
update is
l
-
polylib for
r
e
name of isl_dim to is
l
_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoo
l
aege
update i
s
l for rename
o
f
i
s
l_di
m
to isl_spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoo
l
ae
g
e
u
p
d
ate isl-pol
y
l
i
b for s
o
m
e fix
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
oolaege
u
p
date
pet for use of isl_map_has_
t
uple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
V
erdoolaeg
e
u
p
date isl f
o
r isl_map_
h
as_
t
u
p
le_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update i
s
l
f
or rename of isl_
m
a
p
_inse
r
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdoolaege
upd
a
te
i
sl for change in isl_
a
ff
_
floor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdoolaege
up
d
ate pet
for compatibility
with lat
e
st
clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
rdoolaege
updat
e
isl for
fix in isl_map_intersect_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
iscc: add
p
a
r
se
_
file operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven
V
erdoolaege
add pet submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
S
ven V
e
r
d
oolaege
update i
s
l for
pe
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven
V
erdoolae
g
e
p
riva
t
ely export isl_str_
f
re
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sv
e
n Verdo
o
l
aege
iscc: only print valid r
e
sults
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-14
Sven Verdoolaege
barvinok 0
.
34
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-14
Sven Verdoolaege
update cl
o
og to version 0
.
16
.
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-13
Sven Verdoolaege
update isl to v
e
rsion 0
.
07
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven Ver
d
o
o
laege
autogen
.
s
h: replace
super
p
roject
p
art by ca
l
l
t
o autoreconf
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sv
e
n Verdoolae
g
e
configure
.
a
c
: use non-deprecate
d
form of
A
M_INIT_AUTOMAKE
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
S
ve
n
V
e
rdoolaege
r
en
a
me configure
.
in to co
n
f
igure
.
ac
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
S
ven Ver
d
oolae
g
e
update
c
loo
g
for not dependi
n
g on int
e
r
nal rep
r
e
senation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Ve
r
doola
e
ge
te
s
t: use
i
sl interface for test
i
n
g
l
a
ttice wi
d
ths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
Verdoolaege
i
s
cc: add la
t
t
ic
e
_width
o
p
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
erdoo
l
aeg
e
i
s
cc: replace sc
h
edul
e
_ban
d
s
b
y
schedul
e
_fo
r
e
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verd
o
o
l
aeg
e
u
p
date
i
sl
f
o
r
fix
i
n
isl_s
c
hedule i
n
terface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdo
o
laege
upd
a
te cloog for
a
d
d
ition of missing
include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ver
d
oolaege
iscc:
a
ccept empty lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next