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.33
2011-03-18
S
v
en Verdoolaege
barvinok 0
.
3
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
ge
iscc
.
c: fix typo which would preve
n
t compila
t
ion in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
r
doolaege
update isl t
o
version
0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
a
e
g
e
isl
_
pw_qp
o
lynomial_
s
um: hand
l
e e
x
istentials in
non
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
d
o
o
l
aege
drop piplib
submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
r
d
oolaege
stop using p
i
p
a
s LP s
o
l
v
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
V
e
rd
o
ola
e
ge
doc: constraints no longer need to be specified i
n
DN
F
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
Verdoolaege
iscc: parse
l
i
sts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
add
i
sl_l
i
st_
a
d
d
_obj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
V
e
rdoolaege
iscc:
p
a
r
s
e booleans
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
is
c
c:
allow interruption of
c
omput
a
tion from the
keyboard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-17
Sven Ve
r
d
oolaege
avoi
d
use of isl_ctx int
e
rnals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sve
n
V
erdoolaege
isl_obj_s
t
r: print quo
t
e
s
a
roun
d
string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoo
l
a
ege
iscc: keep track of
i
ntermediate resu
l
ts in
i
nteractive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdoolaege
iscc: add pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ve
r
doolaege
i
scc: add zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdo
o
laege
i
sc
c
:
a
dd d
e
ltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
a
e
g
e
lexmin: a
s
su
m
e unknowns and
p
arameters are non
-
ne
g
ative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
lexm
i
n: us
e
isl
to read input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
also per
f
orm le
x
min check in
a
bsence of GL
P
K
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
po
l
ys
i
gn:
a
dd isl-backed v
e
rs
i
o
n a
n
d use it
by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
update isl-polylib
for fix in he
a
der file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaege
u
pdate isl for
chan
g
e i
n
isl_flow_get_
n
o_s
o
urce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
S
ven Verdoolaege
doc: document isl
modulo
not
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdo
o
laege
is
c
c: read_lin
e
: fi
x
ret
u
r
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdo
o
l
aege
e
v
a
lue_isl
.
c: fix
t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aege
iscc:
add
o
perations on int ob
j
ects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
updat
e
i
sl for introduct
i
on of
i
nt objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verdoolaege
add isl_basic
_
set_card an
d
isl_basic_
m
ap_card
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
docu
m
ent i
s
l
_union_set
_
apply_union_pw_qp
o
lynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remove pol
y
hedron_
r
ange
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdo
o
l
aege
remove polytope_m
i
nim
i
ze application
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
Polyhedron_Sample: use isl u
n
condition
a
lly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
remo
v
e c
o
mbin
e
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
bui
l
d libi
s
l
and libpolylib
g
mp before libisl-polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven
V
erdoolaege
iscc: s
u
pport a
p
p
li
c
ation
o
f p
i
e
c
ewise qu
a
s
ipolynomial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
V
e
r
doolaege
doc: fix documentation of join of
maps an
d
f
o
lds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
ad
d
i
s
l_union_set_
a
pply_union_pw_qpolynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
update isl for export of
i
sl_union_map_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n
Verdoolaege
iscc: add write
o
pe
r
a
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
iscc: opt
i
onally di
s
able read
o
p
eration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sven V
e
rd
o
olae
g
e
doc: explain co
m
ma operator in a
s
et descr
i
ption
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoo
l
a
e
g
e
iscc: add typeof
operato
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven V
e
r
doo
l
a
ege
a
d
d isl_st
r
_f
r
o
m_string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
e
n
Verdoolaege
iscc
.
c:
us
e
C9
9
designated in
i
t
i
a
liz
e
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc: minor improveme
n
t in e
r
r
o
r
mes
s
age
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
iscc: a
d
d
d
omain_m
a
p
and range_map
o
perat
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
iscc: ad
d
"domai
n
"
a
nd "range
"
s
ynonyms
for "dom" and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Ve
r
doolaege
u
pdate isl to version
0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdool
a
e
ge
iscc: don
'
t all
o
w
c
ode generati
o
n
on union sets
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sve
n
V
e
rdoolaeg
e
update isl to vers
i
on 0
.
0
5
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Ver
d
oolae
g
e
a
void us
e
of isl_s
e
t
and isl_map int
e
rnals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaege
separate out isl
interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sv
e
n
V
e
rdool
a
e
g
e
configure
.
in: propagate
a
bsolute isl
b
uilddir to submodule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoolaege
update isl fo
r
rename of
header files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
o
ol
a
ege
evalue_f
l
oor2fr
a
c: don't assume
coef
f
ici
e
n
t
s
of floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
t
e
st
_
bound: stop testing after p
r
edetermined nu
m
ber
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
r
d
oolaege
barvin
o
k_bo
u
nd: rewrite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Ver
d
oolaege
barvinok_{su
m
mate,boun
d
}:
t
a
ke isl input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdool
a
ege
te
s
t_bound: sw
i
tc
h
to isl representation even earlie
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verd
o
olae
g
e
t
est_b
o
und: switch to isl
r
epresentation e
a
rlie
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
r
doo
l
aege
i
s
c
c:
a
d
d poly
n
omial
a
pproximation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
S
v
en Verdoolaege
barvinok_summate: rewrite in
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
S
v
en
V
erdoolaege
barvinok_summate: use isl
i
nterface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdool
a
ege
b
o
und
.
c
c
: drop de
a
d
c
o
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoola
e
ge
doc:
more information about u
s
ing sets and maps
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven
V
erdoolaege
doc: update so
m
e referen
c
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven
V
erdoolaege
iscc: add po
l
y
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
S
ven Verdoolaeg
e
isc
c
: add sc
a
n operatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sven Ve
r
d
oolaege
isl_pw_qpol
y
n
omia
l
_sum:
h
andle
existentials in wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdo
o
la
e
ge
update isl for renaming of
i
sl
_
map_re
m
ove
commit
|
commitdiff
|
tree
2010-10-20
Sven V
e
rdoolaeg
e
version
.
c: sho
w
use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
er
d
oolaege
doc
:
a bit more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
S
v
en
V
erdo
o
laeg
e
iscc: ad
d
befor
e
and after
o
perat
i
on
s
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: add
identi
t
y
operation
commit
|
commitdiff
|
tree
2010-10-18
S
v
en
V
er
d
oolaege
iscc: break out
off main loop
w
hen pr
i
n
t
er no longe
r
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc:
s
u
pport ext
e
nd
e
d
PolyLib outp
u
t format
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Ver
d
o
olaeg
e
confi
g
ur
e
.
i
n
: p
e
rfo
r
m check
for GMP
s
upport in N
T
L
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
laege
iscc: add composition operat
i
on on p
i
ecewise qua
s
ipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoolaege
iscc: ad
d
dependence analy
s
is
oper
a
t
ions
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erd
o
olaege
iscc
:
reg
i
s
ter extra keywords in generic way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolae
g
e
u
se isl t
o
p
e
rfor
m
"
m
anual_co
u
nt"
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
allo
w
building withou
t
piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
Po
l
y
h
edro
n
_Red
u
ce
d
_Basis:
o
ptionally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
fix dependence on build isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
i
sl_map_card: use isl for factorization
commit
|
commitdiff
|
tree
2010-09-14
Sven
Ver
d
oolaege
isl_map_c
a
rd: spli
t
d
imens
i
on fiddl
i
n
g f
r
om conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdool
a
ege
isl_map_card: us
e
isl_pw_qpol
y
no
m
i
a
l_sum if reques
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Ve
r
do
o
laege
barvinok 0
.
3
2
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoola
e
ge
update isl f
o
r fix in parameter alignment
commit
|
commitdiff
|
tree
2010-09-10
S
ven Ve
r
doo
l
ae
g
e
barvinok 0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Ver
d
oo
l
aege
iscc: add l
e
xicogr
a
ph
i
c operators
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n
Verdoo
l
ae
g
e
update isl t
o
version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Ver
d
oolaeg
e
iscc: add "sourc
e
" op
e
ration
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doolaege
isc
c
: add support
for strings
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Ver
d
ool
a
eg
e
iscc: print err
o
r
message on use of unknown identifi
e
r
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolae
g
e
iscc: support union sets
i
n ve
r
tices operat
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
rdoolaege
add i
s
l_lis
t
_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaeg
e
barvinok
_
bound
:
use isl
t
o
s
plit
p
eriods
commit
|
commitdiff
|
tree
2010-09-05
Sven V
e
rdoola
e
ge
up
d
at
e
is
l
f
or i
s
l_pw_qpoly
n
o
m
i
al_s
p
lit_perio
d
s
commit
|
commitdiff
|
tree
next