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 isl_set_from_params
2011-03-11
Sven
V
erdoolaege
isc
c
: add
d
e
l
tas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
l
e
xmin: a
s
su
m
e
unknow
n
s and parameters are non-negative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
lexmin: use isl to read input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Ver
d
o
olaeg
e
also perform l
e
xmin c
h
e
ck
in absence of GLPK
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
polysign: add isl-ba
c
ked
versi
o
n a
n
d
u
s
e it by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
u
p
date isl-pol
y
li
b
f
or fix i
n
head
e
r file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
update isl
fo
r
c
hange
in
isl_flow_get_no_source
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdoolaeg
e
do
c
:
d
o
cument isl modul
o
notat
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verd
o
olaege
i
scc: read_line: fi
x
ret
u
rn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaeg
e
ev
a
lue_isl
.
c
: f
i
x
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verd
o
olaege
i
sc
c
: a
d
d
operations on int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
update isl
for introduction of
i
nt objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
v
e
n
Verd
o
ol
a
ege
add isl_b
a
s
i
c_
s
e
t
_card and isl_basic_map_card
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
d
ocument isl_union_set_app
l
y_union_pw_q
p
olyno
m
ial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
remove
p
olyhe
d
ron
_
r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
remove polytope_
m
inimize application
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n Verdoolaege
Polyhedron_Sample: use
i
sl uncondit
i
onally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
r
e
move co
m
bine
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
b
u
ild libisl and lib
p
olylibgmp befo
r
e lib
i
s
l-polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isc
c
:
support app
l
ica
t
i
o
n of piecewise q
u
asipolyn
o
mi
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
doc:
f
ix d
o
cumentatio
n
of join
of ma
p
s
and folds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
add
i
sl_union_s
e
t_apply_union_pw_qpoly
n
omial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
u
pdate isl for
e
xport of isl_union_map_fro
m
_ra
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
iscc: add write operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
iscc: op
t
i
o
nally disable read operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
S
v
en
Ve
r
doolaege
doc: explain comma op
e
rator in a set de
s
cription
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc: ad
d
typ
e
of oper
a
tor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
V
erdoolaege
ad
d
isl_
s
tr_f
r
om
_
string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
erdoo
l
aege
i
s
c
c
.
c:
u
se C
9
9
designated
i
nitializ
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en
V
e
r
doola
e
ge
i
s
c
c: min
o
r improvement
i
n e
r
r
o
r
message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
i
s
cc:
a
dd d
o
m
a
i
n_m
a
p and range_map ope
r
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven
V
erdool
a
eg
e
iscc
:
add "domai
n
" and "
r
ange" s
y
n
onyms for "
d
om" and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdo
o
laege
u
p
date isl
t
o version 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolae
g
e
iscc:
don't allow code generation on
union sets of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoolaege
up
d
at
e
isl to
vers
i
on
0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
S
v
en Verdoolaege
avoid us
e
of isl_se
t
and isl_ma
p
inte
r
nals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven
V
erdool
a
ege
separate out isl i
n
t
e
rfa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaege
configure
.
in: propagate a
b
s
olute isl
b
uilddir to su
b
m
odule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
S
ven Verdoolaege
upd
a
te is
l
for rename of he
a
der files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
oolaege
e
va
l
ue_floor2fra
c
: don't assume coef
f
icients of floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verdoo
l
aege
t
e
s
t_bound: st
o
p
t
e
sting after pr
e
de
t
ermined
num
b
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdo
o
l
a
ege
b
arvinok_b
o
un
d
: re
w
rite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
olaege
barvinok_{sum
m
a
te,bound}: take
i
s
l
in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verdoo
l
aege
t
est_bound: s
w
i
t
c
h to isl re
p
rese
n
tat
i
on
e
ven earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
tes
t
_bound:
s
wit
c
h to isl representat
i
on earlie
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
a
eg
e
iscc: add polynomial ap
p
roxi
m
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
barvinok_summate
:
rewrite i
n
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
S
ven Verdoola
e
ge
barvi
n
ok_summate: use isl
interfac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
S
ven Ver
d
oolaege
bound
.
cc: dr
o
p dead code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sve
n
Verdoolaege
doc: more informat
i
o
n
abo
u
t using sets
a
nd maps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdool
a
e
ge
doc: u
p
date som
e
references
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sve
n
V
erdoolaege
iscc:
add poly op
e
rati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoolaege
iscc: add scan ope
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sv
e
n Verdoola
e
ge
is
l
_
p
w_qpolynomial
_
sum:
h
andl
e
exis
t
e
n
tials
i
n wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Ver
d
oolaege
update isl
fo
r
renam
i
ng of isl_map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdool
a
e
g
e
version
.
c: show us
e
of C
L
ooG
commit
|
commitdiff
|
tree
2010-10-18
Sven
Verdoolae
g
e
doc: a
b
it
m
ore info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
ool
a
ege
i
s
cc: ad
d
befor
e
and afte
r
operations
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
V
e
rdoolaeg
e
iscc: add identity operati
o
n
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: break out off main loop when printer no
longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven
Verdoolaege
iscc: suppo
r
t extend
e
d PolyLib outpu
t
f
o
rmat
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Ve
r
d
o
olaege
co
n
fig
u
r
e
.
in: perf
o
rm chec
k
fo
r
G
MP support
in NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
isc
c
: ad
d
comp
o
sition o
p
eration on piecewise quasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: add
dependence analysis operations
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
isc
c
: regis
t
er e
x
tra keywords in generic way
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verd
o
olaege
u
se is
l
to perf
o
rm "manual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoo
l
aege
a
llow
b
uilding wi
t
hout pip
l
ib
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoo
l
aege
Polyhedron_Reduced_Basis: optionally use isl
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolae
g
e
fix d
e
pendence on build isl
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolae
g
e
is
l
_map_car
d
: use isl for factorization
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
is
l
_map_card
:
split d
i
m
en
s
ion fiddling from co
n
version
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdo
o
laege
isl_map_car
d
: use
isl_p
w
_q
p
olynomial
_
sum i
f
requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
b
a
r
vin
o
k
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n Ver
d
oolaege
update isl
for fix in p
a
rameter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaeg
e
b
a
r
vinok 0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
S
ven
V
er
d
oolaege
i
s
cc: add le
x
ic
o
graphic operato
r
s
commit
|
commitdiff
|
tree
2010-09-10
Sven
Verdoolae
g
e
update is
l
to versi
o
n 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoolaege
i
s
cc: add "
s
ource" operation
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Verdoolaege
iscc: add support for
s
trin
g
s
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: print
e
rror mess
a
ge on us
e
of unknown i
d
e
ntifi
e
r
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n
Verdoo
l
aege
is
c
c: s
u
pport union sets in vertices
o
peration
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
add isl_lis
t
_conc
a
t
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
b
arv
i
nok_bound: use isl to sp
l
it pe
r
i
ods
commit
|
commitdiff
|
tree
2010-09-05
Sven V
e
r
do
o
laege
update is
l
f
o
r
isl_
p
w
_q
p
o
l
y
nomial_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdool
a
ege
doc: mar
k
P
o
lyLib interface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
Makefile
.
am: drop refer
e
n
ces to
o
bsolet
e
@
bv_barvinok_bound
@
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Verd
o
olae
g
e
ev
a
lue_conv
e
rt
.
cc:
eval
u
e_print_isl: print end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaege
isc
c
:
allow coer
c
ion of
binary list int
o
fi
r
st el
e
m
ent
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
b
arvinok_b
o
u
n
d: conve
r
t to isl_pw_qpoly
n
omial once
commit
|
commitdiff
|
tree
2010-08-28
Sve
n
Verdoolaege
barvinok_bound: u
s
e isl to split on domain siz
e
commit
|
commitdiff
|
tree
2010-08-26
Sven
Verdoolaege
set sens
i
ble defa
u
lts with --polyn
o
m
i
al-ap
p
roximat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdo
o
l
aege
isl
_
pw
_
qpolynomial_sum: reuse
barvinok_
o
ptions if
a
v
a
ilabl
e
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven Verdoolaege
is
l
_ma
p
_card: reuse barvinok_o
p
tions if available
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdoolaege
u
pdate isl for align
i
ng paramet
e
rs of
union argumen
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
iscc: add "
j
oin" oper
a
tion on folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
Verdoola
e
ge
iscc: add "j
o
in"
o
peration on maps and folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n Verdoolaege
iscc: support
a
ddition on a pair of
a
f
o
ld a
n
d a quasipolyn
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verd
o
o
laege
upda
t
e isl for a
d
ding types to isl_{uni
o
n_,}pw_qpo
l
y
n
o
mi
a
l_folds
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaege
al
l
ow
codegen on s
e
t
s
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdool
a
eg
e
iscc: codegen:
d
etect strid
e
s
commit
|
commitdiff
|
tree
next