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
iscc: extract out call_bin_op
2011-01-23
Sven Ver
d
oola
e
ge
evalu
e
_is
l
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
l
a
ege
iscc:
add operations
o
n int
objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
update isl for int
r
oduction
o
f
int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven V
e
rdoolaege
a
dd isl_basic_set_card
a
nd isl
_
basic_map_card
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
e
rdoolaege
document isl_union_set
_
ap
p
ly
_
u
nion_pw_
q
polynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoola
e
ge
r
emove polyhedron_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
Ve
r
d
o
olaege
remove polytope_minimize
a
ppl
i
c
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
Polyhedron_Sample
:
use isl unconditionally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoo
l
aege
rem
o
ve combine
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
build libi
s
l an
d
libpolylib
g
mp before libi
s
l
-
p
olylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
iscc: support applica
t
ion of piecewise quasipolyno
m
i
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
la
e
ge
doc:
fix documentation of join of maps and
f
olds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
add i
s
l_union_s
e
t
_
a
pply_union_pw_qpolyn
o
mia
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
updat
e
isl for export of isl_union_map_fr
o
m_ra
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
iscc: ad
d
w
rite operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oo
l
a
e
g
e
iscc: optional
l
y disable read o
p
er
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sven Verdoolaeg
e
doc: explain c
o
mma opera
t
or i
n
a set des
c
ription
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verdoolaege
i
scc: add typeof operator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en
Verdool
a
ege
a
dd isl_str_from_
s
t
rin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc
.
c: use C99 designated
i
ni
t
ialize
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Ver
d
o
o
laege
iscc: minor improvement in error me
s
sage
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoo
l
aege
isc
c
: add domain_map and
range_
m
ap operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verd
o
olaege
is
c
c: add "domain" a
n
d "range" synonyms for "d
o
m
"
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Ver
d
oolaege
update isl t
o
version 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdool
a
ege
is
c
c: don't
allow
c
ode gen
e
ration on u
n
ion sets of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven
Verdoolae
g
e
u
pdat
e
isl to version 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaeg
e
avoi
d
us
e
of isl_set a
n
d
isl_map
i
nter
n
als
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sv
e
n Verdoolaege
separate out isl i
n
t
erf
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaege
configure
.
i
n: propagate absolute i
s
l b
u
ilddir to
s
ubmodu
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
S
ven Verdoolaege
u
pdate isl for
rename of he
a
der files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Ver
d
oolaege
eval
u
e_fl
o
or2frac:
d
on't
assume coeff
i
c
ient
s
of floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
te
s
t_bound: stop tes
t
ing aft
e
r
p
redeter
m
ined num
b
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoolae
g
e
ba
r
vinok
_
bound: rewrite in
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoolaege
b
a
rvinok_{summa
t
e
,bo
u
nd}: take isl i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
e
r
doolaege
t
e
s
t_bound: swi
t
ch t
o
isl represen
t
ation even e
a
rlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
t
e
st_bou
n
d: switch to isl representation e
a
rlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
er
d
oo
l
aege
iscc: add polynomial appr
o
ximations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven V
e
rdool
a
ege
barvinok_summate: rewrite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven
V
er
d
oo
l
aege
barvinok_su
m
mate: use isl interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verd
o
o
l
aege
bound
.
c
c: d
r
op
d
ead code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdo
o
laege
doc: more i
n
for
m
ation
about using sets a
n
d maps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
doc: update some refe
r
e
n
ces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolae
g
e
iscc: add po
l
y operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoolaege
i
scc: add sca
n
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
S
v
en Verdoolaeg
e
isl_pw_qpoly
n
omial
_
sum
:
ha
n
dle existentials in wr
a
pped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
up
d
a
te
i
s
l for ren
a
ming
o
f isl_map_remove
commit
|
commitdiff
|
tree
2010-10-20
S
v
en Verd
o
olaege
version
.
c
:
show use o
f
C
LooG
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdoolaege
doc: a bit more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Ve
r
doolaege
iscc: a
d
d
b
efo
r
e and
after operations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: add identity operatio
n
commit
|
commitdiff
|
tree
2010-10-18
S
v
en
Verdoolaeg
e
i
s
cc:
b
r
eak out
o
ff main l
o
op when pri
n
ter no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: support
extended Pol
y
Lib output for
m
at
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
laege
configure
.
in: perform
c
heck for GM
P
support
i
n
NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
r
d
oolaege
i
s
cc
:
add compositi
o
n oper
a
tion on pie
c
ewise quasipoly
n
omi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdool
a
ege
iscc: a
d
d
d
epe
n
dence analysis operatio
n
s
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoolaege
isc
c
:
r
egi
s
ter extra keywords in gener
i
c way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
us
e
i
sl to
p
erform "ma
n
ual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoolaege
allow buildi
n
g w
i
thout pipli
b
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n Verdoolaeg
e
Polyhedro
n
_Reduced_Basi
s
: optionally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
fix d
e
pendence on buil
d
isl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Ver
d
o
o
laege
isl
_
map_card: use isl fo
r
f
actorization
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
isl_map
_
car
d
:
spli
t
dimen
s
i
on
fiddling from
co
n
vers
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n Ve
r
doolaege
is
l
_map_car
d
: use
isl_pw_qpoly
n
omial_sum
if reques
t
ed
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
V
erd
o
olaege
barvi
n
ok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoola
e
ge
update isl
f
o
r
f
i
x in
p
aram
e
ter ali
g
nme
n
t
commit
|
commitdiff
|
tree
2010-09-10
Sven Ver
d
o
ola
e
ge
b
a
rvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
iscc: add lex
i
co
g
raph
i
c
operators
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
rdoolaege
update isl to
v
ersion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
S
ven Verdoolaege
iscc: add "
s
ource" ope
r
ation
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n
Ve
r
doolae
g
e
iscc: add support for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: print error m
e
ssage on use of u
n
known identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc:
s
u
p
port union set
s
in vertice
s
o
p
eration
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
erdoo
l
a
e
g
e
ad
d
isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdo
o
la
e
g
e
ba
r
vinok_
b
ound: use isl to
s
p
l
i
t
pe
r
iods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
u
pdate isl for i
s
l_pw_qpolynomial_
s
plit
_
per
i
ods
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
erdoolae
g
e
doc: mar
k
P
o
l
yLib in
t
erface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Ve
r
d
o
olaege
Makefil
e
.
am:
d
ro
p
r
eferen
c
e
s to obsole
t
e @
b
v_barvin
o
k_bou
n
d
@
commit
|
commitdiff
|
tree
2010-08-31
Sven V
e
rdoolaege
evalue_con
v
ert
.
cc: evalue_print_isl: pri
n
t end-of-li
n
e
commit
|
commitdiff
|
tree
2010-08-30
S
v
en
V
er
d
o
o
laege
i
s
cc
:
allow coercion of
b
inary list
into first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Ver
d
oolaege
barvinok_bound: c
o
nvert to isl_pw_qpol
y
n
o
m
ial on
c
e
commit
|
commitdiff
|
tree
2010-08-28
Sve
n
Verdoolaege
barvinok_bound
:
use
isl to spli
t
on do
m
ain size
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
r
d
o
olaege
set
s
ens
i
ble defaults wi
t
h --polynomial-appro
x
imation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_pw_qpolynomial_sum:
reuse barvinok_op
t
io
n
s i
f
a
vaila
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
V
e
rdoolaege
isl_map_card: reu
s
e barvinok_options if av
a
ilable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdo
o
laege
update
i
sl
f
or aligning pa
r
ameters of
u
nion argu
m
ents
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n
Verdoolaege
is
c
c:
add "join"
opera
t
ion on fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
i
s
cc: add
"
j
o
i
n" opera
t
i
on on
maps
and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
i
s
cc: support ad
d
ition on a
pair of a fo
l
d and a qua
s
ipoly
n
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
u
p
date isl
for ad
d
i
ng types to isl
_
{
u
nion_,}pw_qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
a
l
low
c
o
d
egen
o
n sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
:
cod
e
ge
n
: detect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
i
s
cc: use simplified CLooG interfac
e
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
e
g
e
update isl for
rename of i
s
l_pw_
q
polynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdo
o
laege
iscc
.
c
:
union
_
pw_qpolynomia
l
_
u
p
per_
b
o
u
nd: f
i
x memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
s
ummat
e
.
c: fix typo in c
o
mment
commit
|
commitdiff
|
tree
2010-08-17
S
v
en
V
e
rdoolaege
is
l
_map_
a
pply_
p
w_qpolynomia
l
: fi
x
typo
commit
|
commitdiff
|
tree
2010-08-10
S
v
en Verdoolaege
update isl fr
o
m
i
s
l_
u
ni
o
n_map
fi
x
es
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdool
a
ege
iscc: allow inverse on non-union maps ag
a
in
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Ver
d
oolaege
i
s
c
c: add wrap
a
nd unwrap opera
t
i
o
ns
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolae
g
e
a
dd
i
sl_u
n
ion_ma
p
_
apply_union_pw
_
qpolynomial
commit
|
commitdiff
|
tree
next