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 cloog for not depending on internal represenation of isl_constraint
2011-07-10
S
ven V
e
rdoolaege
upd
a
t
e
cloog fo
r
not dep
e
nding on
interna
l
repre
s
en
a
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
test: use isl interface
f
or testing l
a
ttic
e
width
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ve
r
doolaege
isc
c
: add la
t
tice_
w
idth o
p
eratio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
iscc: repla
c
e s
c
hedul
e
_ba
n
ds by
s
c
hedu
l
e_forest
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoola
e
g
e
update isl for fix in isl_sch
e
dule interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Verdo
o
laege
up
d
ate cloog
for addition of missi
n
g
i
nclude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
isc
c
: accept empty lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ver
d
oolaege
remo
v
e e
v
a
lue_sp
l
it_
p
er
i
ods
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ver
d
o
o
l
a
eg
e
dro
p
evalu
e
_convert application
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdoola
e
ge
lexmin
.
cc
:
add missing
ret
u
rn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
verify
.
c: a
d
d
m
i
s
s
ing returns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
Verdoolaege
e
value_read
.
c: stream_push_token: fix ret
u
rn type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdoolaege
evalue_read
.
c:
a
dd missing incl
u
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Verdoolaege
evalue_read
.
c
:
f
ix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
erdool
a
ege
isl_obj_list_print: properly
return isl_p
r
inte
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoo
l
aege
isl_obj_list
.
h: use
f
l
ex ar
r
a
y member to avo
i
d arr
a
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoo
l
aege
update
i
sl
f
or
r
en
a
ming of
isl_
q
polynomial_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verdoolaege
b
a
rvinok_summate: be m
o
re careful ab
o
ut spaces i
n
which
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en
Verdoolaege
summate
.
c: add miss
i
ng include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
barvinok
.
cc: add missing
include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Verdoolaeg
e
C
h
a
n
ge
license from GPL 2
.
0 to GP
L
2
.
0
+
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
S
v
en Verdoolaege
evalue_
i
sl
.
c: a
d
d
m
i
s
sing i
n
clude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolaege
a
dd
cloog submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Ve
r
do
o
l
aege
u
p
date isl for cloog
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sve
n
Verdoola
e
ge
is
l
_obj_list
.
c:
f
ix
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-01
Sven Verdoolaeg
e
isc
c
:
t
urn on sh
option
w
he
n
calli
n
g CLoo
G
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
evalue_isl
.
c: avoid
use
o
f
i
sl_div internal
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
u
pdate isl for isl_div_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
conf
i
gure
.
ac: d
o
n't
d
ep
e
n
d
on automake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdool
a
ege
iscc: add schedule
and schedule_band
s
op
e
r
ation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdo
o
laege
iscc: add
solutions op
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
Verdoolae
g
e
is
c
c
: add coefficients operati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
o
l
aege
isc
c
: add
l
ift o
p
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaeg
e
iscc:
per
f
orm
a
ssignments
even on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaeg
e
iscc: plu
g
memory
l
eak on error
path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-19
Sven
V
erdo
o
lae
g
e
use silent ma
k
e rules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
barvinok 0
.
33
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Ve
r
doolaeg
e
iscc
.
c: fix typo w
h
ich would prevent comp
i
l
a
ti
o
n in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
update
i
sl to version
0
.
0
6
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oola
e
g
e
isl_pw_qpolynomial_sum: handle existen
t
ials in no
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
drop
p
i
plib submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
o
l
aege
stop using pip as LP
s
olver
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaege
doc: constraints no
long
e
r need to be specif
i
ed in DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
iscc:
p
a
r
se lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
V
e
rdool
a
ege
add isl_list
_
add_obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
s
cc: parse booleans
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdo
o
laeg
e
iscc: allow
i
nter
r
uption of compu
t
ation from th
e
key
b
oard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
Sven Ve
r
doola
e
ge
av
o
id use of isl_ctx internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_
o
bj_str
:
print quotes around str
i
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
iscc: keep tr
a
c
k
of in
t
er
m
ed
i
ate result
s
i
n
in
t
eractive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven V
e
rdoolae
g
e
i
scc:
a
d
d
pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoola
e
ge
iscc: add zi
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sven Ve
r
d
oolaeg
e
iscc: add deltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
e
r
do
o
laege
lexmin: assume unknowns
and
parameters are
non-negative
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
lexmin: use i
s
l to r
e
ad input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
a
lso perform lexmi
n
check in absence of
GLPK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoola
e
ge
polysign: add isl-backed version and use it by
d
efault
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
updat
e
isl-p
o
lyli
b
f
or fix in header
f
i
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
update
isl
for change
i
n
isl_flow_get_no_source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdoola
e
ge
d
o
c: document isl modulo not
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolaege
Makefile
.
am: put NTL CFLAGS
a
fter
isl CFLA
G
S
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoola
e
ge
iscc: read_line: fix return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doolaeg
e
evalue
_
isl
.
c: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolaege
iscc
:
a
dd operatio
n
s on int o
b
jects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
V
e
rdo
o
laege
update
isl for introductio
n
of int obj
e
c
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Ver
d
oolae
g
e
add i
s
l_
b
as
i
c_
s
et_card a
n
d isl_
b
asic_map_ca
r
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
document i
s
l_union_set_apply_uni
o
n_p
w
_qpolyno
m
ial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
remove polyhedro
n
_
r
ang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
r
emove polytope_
m
inimi
z
e
a
pp
l
ication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
Polyhedro
n
_
S
a
m
ple: us
e
isl un
c
ondition
a
lly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
r
e
mo
v
e
com
b
i
n
e
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
ool
a
e
g
e
b
u
ild libisl and libpolylibg
m
p b
e
fore lib
i
s
l-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
iscc: support applic
a
tion of pi
e
cewise quasip
o
lynomial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
do
c
: fix
d
o
c
umentatio
n
of join
o
f maps a
n
d folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add isl_union
_
se
t
_apply_unio
n
_pw_qpol
y
nomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
u
pdate isl for
e
xport of
isl_unio
n
_
m
ap_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
iscc: add wri
t
e operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en
V
erdoolaege
iscc: optio
n
ally
disable
read
operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sven Ver
d
oolaege
doc:
e
xplain comma operator in a set descriptio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolae
g
e
iscc: add typeof
o
pe
r
ator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoola
e
ge
add isl_str_f
r
om_string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verd
o
olaege
i
scc
.
c: use C
9
9 designated initia
l
izers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
e
r
doolaege
iscc: minor
improvement
in error
message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
S
ven Ve
r
doolaege
iscc: add d
o
main_map and ra
n
ge_map operation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven V
e
r
doo
l
aege
iscc:
add "domain"
and "range" synonyms for
"
d
o
m" and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
updat
e
i
s
l to ve
r
sion
0
.
0
5
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
ven
V
e
rdoolaege
iscc: do
n
'
t
allow code generation on union sets o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
S
v
e
n Ver
d
oolaeg
e
u
p
da
t
e isl to v
e
rs
i
on 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
S
ven Ve
r
doolaege
avoid
u
se o
f
isl_set and isl_map intern
a
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sv
e
n Verdool
a
ege
s
eparate o
u
t is
l
interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verd
o
olaege
c
o
nfi
g
ure
.
in: propagate
a
bsolu
t
e isl builddir to
s
u
bmodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven V
e
rd
o
olaege
update
i
sl for rename of
h
e
ader f
i
les
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n
Verdoolaege
e
v
alue_floor2f
r
ac: don't as
s
ume coefficients o
f
f
l
o
o
rs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
te
s
t_boun
d
: s
t
op tes
t
ing aft
e
r
pr
e
determined numbe
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
barvinok_bound:
rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Ver
d
ool
a
e
g
e
b
a
rvinok_{summate,bound}: tak
e
isl input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoola
e
ge
t
est
_
bound: switch to is
l
representation
e
v
en earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
olaege
test
_
bound: swi
t
ch to i
s
l representation ea
r
li
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en V
e
rdoolaege
iscc: add polynom
i
al appro
x
imations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
v
en
V
e
rdoolaege
barvin
o
k_summate: rewrite
i
n
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next
