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 for "==" tokens
2011-09-18
Sve
n
Verdoolaege
update isl for "==" t
o
kens
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoolae
g
e
update isl for change in isl_basic_set_read_from_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven
Verdoolaege
update cloog for includ
e
fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoo
l
aege
update isl for remov
a
l of isl
_
div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en Verdoolaege
u
p
date isl for cha
n
ge in
isl_{in,}equality_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
Verdool
a
ege
update pet fo
r
compatibility with
re
c
e
n
t
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven
V
erdoolaeg
e
upd
a
t
e
i
sl-polylib for include path ordering issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
update isl f
o
r ch
a
nge i
n
space of
i
sl_pw_* objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sv
e
n Verdoolaege
upd
a
te
i
s
l f
o
r ex
p
lic
i
t param
e
ter spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
S
ven Ve
r
doolaege
iscc: p
r
o
p
e
r
ly handle applicatio
n
s of fun
c
t
ions
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verd
o
olaege
is
l
_
unio
n
_
s
et_apply_union_pw_qpolynomial: explicitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Verd
o
olae
g
e
is
l
_pw_qpolynomial_sum: simp
l
ify co
n
str
u
c
tion
of
t
ar
g
et
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en V
e
rdoolaeg
e
isl_set
_
card: explicitly project result on
t
o param
e
ter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
b
arvinok_
s
u
m
m
ate
.
c:
v
erify_poin
t
: explic
i
tly p
r
o
j
ect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Verdoolaege
test_bound
.
c:
avoid use
of undocumented isl_set
_
remove_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdoolaege
isl
_
b
asic_se
t
_lattice_width: co
m
pute corr
e
ct sp
a
ce
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdoola
e
ge
u
p
dat
e
isl for
isl_pw_qpolynomia
l
_project_domain_o
n
_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
e
n
Verdoolaege
upda
t
e cloog for not using undoc
u
me
n
te
d
i
s
l_set
_
e
x
t
end
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Ve
r
d
oolaege
update isl-polyl
i
b
for rename of isl_dim to isl_spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdo
o
la
e
ge
u
p
date isl for renam
e
of isl_dim to
i
s
l
_
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoo
l
aege
u
p
d
at
e
isl-poly
l
ib for s
o
me fixes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n V
e
rd
o
olaege
update pet for
u
se of isl_map
_
has
_
tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
er
d
o
o
laege
u
pdat
e
isl for isl_map_h
a
s_tu
p
le_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdool
a
ege
update
isl f
o
r ren
a
m
e of i
s
l_ma
p
_
insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verdoolaege
u
p
da
t
e is
l
for change in isl_aff_floor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Ve
r
doola
e
ge
update pet for compatibility w
i
th l
a
t
es
t
clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdoolae
g
e
u
p
da
t
e isl for fix in isl_map_intersec
t
_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sv
e
n Verdoolaege
i
scc: add parse_file operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven
V
erdo
o
laege
add pet submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Ve
r
doolaege
upda
t
e isl for pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
privately export isl_st
r
_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sv
e
n Verdoolaege
is
c
c:
o
nly print vali
d
res
u
l
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-14
S
v
e
n
Ve
r
doolae
g
e
barvinok 0
.
34
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-14
Sven Ver
d
oo
l
ae
g
e
update cloog t
o
version 0
.
16
.
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-13
Sv
e
n Verdoolaege
update
is
l
to version 0
.
07
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven V
e
rdoolaege
autoge
n
.
sh: replace superproject part by call t
o
autoreconf
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdoola
e
ge
c
o
nfigure
.
ac: use n
o
n
-depr
e
cate
d
form of
A
M_INIT_
A
UTOMAKE
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sv
e
n
V
erdo
o
laege
rename configure
.
i
n t
o
c
onfigure
.
a
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven
Verdoolaege
update cloog for no
t
depe
n
ding on interna
l
represenation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Verdoolaege
te
s
t:
u
se isl interface for testing latt
i
c
e
widths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Verdool
a
ege
i
s
cc: add lattice_width operati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
v
e
n Ve
r
doolaege
iscc: replace schedule_
b
ands by schedule_forest
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
update isl
for fix in isl_sche
d
ul
e
in
t
erf
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdool
a
e
g
e
u
pdate cloog for addition of missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
V
e
rdoolaege
i
s
cc:
a
ccep
t
empty lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdoolae
g
e
remove evalue_split_perio
d
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verd
o
olaege
d
rop
eval
u
e
_convert
a
p
plicat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verd
o
olaege
lexmin
.
c
c: add miss
i
ng return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
e
rdoola
e
ge
ver
i
fy
.
c: add
mi
s
sing re
t
urns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
evalue_r
e
ad
.
c: stream_push
_
token: fix return
type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
v
e
n
Ve
r
doolaege
e
value_
r
ead
.
c: add missing inc
l
ude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven V
e
rdoolaege
evalue
_
read
.
c: fix
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ver
d
oolaeg
e
i
sl_obj_list_print:
properly r
e
turn
isl_pr
i
n
ter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
Verdoolaege
i
s
l_obj_
l
ist
.
h: use
fl
e
x array me
m
ber
to avoid arr
a
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verdoolaege
up
d
ate
i
sl for renaming of isl_qpolynomial_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoola
e
g
e
barvinok_summa
t
e
:
b
e
more careful about spaces in w
h
ich
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
er
d
oolae
g
e
summa
t
e
.
c: a
d
d missing inc
l
ude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven V
e
r
doolaege
barvin
o
k
.
cc: add mis
s
ing
i
ncl
u
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verdool
a
ege
C
han
g
e l
i
cense from GPL
2
.
0
to
GPL
2
.
0+
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven
V
erdoola
e
g
e
e
v
al
u
e_isl
.
c: add m
i
ssing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sve
n
Verdoolaege
add
cloog submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolaege
update isl for
c
loog
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolaege
i
s
l_obj_l
i
st
.
c: f
i
x typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-01
Sven Verdool
a
ege
iscc: t
u
rn on sh option when ca
l
ling
CLooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolaege
evalue_
i
s
l
.
c: avoi
d
u
se o
f
isl_div internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaeg
e
update is
l
fo
r
isl_
d
iv_
g
e
t
_c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Ver
d
oolaeg
e
c
on
f
igure
.
ac: don't depend
on au
t
omake
1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
V
erdoolaege
iscc: add
s
c
h
e
d
ule
an
d
sched
u
le_bands operatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en V
e
rdoola
e
g
e
iscc: add
solutio
n
s o
p
era
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaeg
e
iscc: add coeff
i
cient
s
operat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
isc
c
: add lift operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoola
e
ge
i
scc: perform
a
s
signme
n
ts
e
v
en o
n
error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
iscc: plug memory lea
k
o
n
err
o
r pa
t
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-19
Sven Verdoo
l
aege
use silent make rules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
barvino
k
0
.
33
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaeg
e
isc
c
.
c: f
i
x typo whi
c
h would prevent compil
a
t
i
on in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
l
aege
up
d
ate
i
sl to version 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n Verdoola
e
ge
isl_pw_qp
o
ly
n
omi
a
l_sum:
h
and
l
e exist
e
ntials in non
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verd
o
o
l
aege
drop pipli
b
s
u
b
m
o
dule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Ve
r
doolaege
s
t
op
using pip
as LP solver
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
doc: constraints no lon
g
e
r n
e
e
d
t
o
b
e
s
pecified in
D
NF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
isc
c
: parse lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
add i
s
l
_
list_add_
o
bj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven
V
e
rdoolaege
iscc: par
s
e bool
e
a
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdool
a
e
g
e
is
c
c:
a
llow
i
nterruption
of computation from t
h
e keyboard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
Sven Verdoola
e
ge
avo
i
d use o
f
isl_c
t
x internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
ven Verdool
a
ege
is
l
_
o
bj_str: print quotes around string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Ve
r
do
o
l
a
ege
iscc:
k
e
ep track o
f
intermed
i
ate
results in interactive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ver
d
oolaeg
e
is
c
c: add pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Ver
d
oolaege
iscc: add zi
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdoolaeg
e
iscc: add
d
e
ltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
eg
e
lex
m
in:
a
ssu
m
e
u
n
k
nowns and paramete
r
s are n
o
n-nega
t
iv
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
lexmin: use isl t
o
read input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verd
o
olaege
also p
e
rform l
e
xmin check in absence o
f
GLPK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
polysign: add i
s
l-backed ver
s
ion an
d
use it
b
y
default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
update isl
-
pol
y
lib for fix in header fi
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
update isl for ch
a
nge in isl_flow_
g
et_no_source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
S
ven Verd
o
olaege
doc: d
o
cu
m
ent isl modulo n
o
tation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n Verdoolaege
Makefile
.
am:
p
ut NT
L
CFLAGS after isl CFLAGS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doolaege
is
c
c: re
a
d_line: fix re
t
urn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next