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
lattice_point.cc: fractional_part: remove unused label
2011-01-16
Sv
e
n
Verdoolaege
add is
l
_union_set_app
l
y
_
union_pw_qpolynomi
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
upd
a
te isl for export o
f
is
l
_
union_map_from_ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven
Verdoolaege
is
c
c: add write operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
r
do
o
laege
iscc: option
a
l
ly disabl
e
read operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sven Verdool
a
ege
doc: explain comma operator in
a set de
s
cript
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ver
d
o
o
laeg
e
iscc: add type
o
f operator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaeg
e
a
d
d isl
_
str_f
r
om
_
str
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
is
c
c
.
c: use
C99 d
e
signated init
i
aliz
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdo
o
l
a
e
ge
iscc: m
i
n
o
r im
p
rovement
i
n
error message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
iscc: add domain_map and range_map operat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
S
v
en
V
erdoolaege
isc
c
: add "domain" a
n
d "range" synonym
s
for "dom" and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolae
g
e
updat
e
isl to ver
s
ion
0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven V
e
rdo
o
laege
iscc: don't allow
code g
e
neration on union se
t
s of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sve
n
Verd
o
olaege
update isl
t
o version 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
S
ven Verdo
o
l
a
ege
avo
i
d
use of isl_set
and isl_map intern
a
ls
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
S
v
en Verdoolaege
separate out isl interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoo
l
ae
g
e
con
f
ig
u
r
e
.
in: propagate abso
l
ute isl builddir to submodule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoolaege
update isl for
r
ena
m
e
of header f
i
l
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdoolaege
e
v
al
u
e_f
l
oor2f
r
a
c
: don't a
s
sume co
e
f
ficient
s
of floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdool
a
ege
test_bound: stop testing
a
f
ter predetermined number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
o
o
laege
ba
r
v
inok_bound: rewrite in
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Ver
d
oolaege
barvinok_{s
u
mmate
,
bou
n
d}: take isl input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoo
l
aege
tes
t
_bound:
s
witc
h
to isl r
e
p
r
e
sentation
eve
n
e
arlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdo
o
laege
t
e
st_b
o
un
d
:
sw
i
tch to
i
sl r
e
presentation earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdool
a
ege
iscc: ad
d
p
o
lyno
m
ial
a
ppr
o
xim
a
ti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
b
arvinok_summate:
rewrite in
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolae
g
e
barvinok_summate: us
e
isl
interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven Ve
r
d
o
olaege
bound
.
cc: d
r
op
d
ead co
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sv
e
n Verdo
o
lae
g
e
doc
:
more i
n
formation abou
t
using sets and map
s
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
S
ven Verdo
o
l
aege
doc: upda
t
e som
e
re
f
erences
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sv
e
n Verdoolae
g
e
is
c
c: a
d
d poly operat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven
V
e
r
d
o
olaege
iscc: add scan
o
peration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sve
n
Verdoolaege
i
sl_pw_qpoly
n
omial_
s
um: han
d
le existentials
in w
r
appe
d
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven
Verdo
o
laeg
e
u
p
date isl for renaming
of isl_m
a
p_remove
commit
|
commitdiff
|
tree
2010-10-20
Sve
n
Verdoolaege
ver
s
ion
.
c: sho
w
use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verdoolaege
d
oc: a
bit
more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven
Verdoolaege
iscc:
add before
a
nd after operations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolae
g
e
iscc: a
d
d iden
t
i
ty oper
a
t
i
on
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoo
l
aege
iscc
:
break o
u
t off main
loop
when printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Ve
r
doolaege
is
c
c: support extended
P
olyLib output forma
t
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verd
o
ola
e
ge
con
f
i
gure
.
in: perform check f
o
r GMP s
u
p
p
ort in N
T
L
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
S
v
en
V
e
rdoolaege
iscc: add compos
i
tion
o
perat
i
on on piecewise quasipol
y
n
om
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
eg
e
is
c
c: add dependence anal
y
sis operation
s
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoola
e
ge
iscc: register extra
k
ey
w
ord
s
i
n
gene
r
ic way
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoolaege
u
s
e is
l
to perform "manu
a
l_
c
ount"
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoolaege
allow b
u
i
lding without
piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoo
l
aege
P
o
lyhedron_Re
d
uced_Basis: option
a
l
l
y us
e
isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoola
e
ge
fix
dependence
o
n bui
l
d isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
laege
isl_map_card: use isl for
factori
z
ation
commit
|
commitdiff
|
tree
2010-09-14
S
ve
n
Verdoo
l
aege
isl_map_card: split
d
ime
n
sion fi
d
d
lin
g
from convers
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
isl_map_card
:
use isl_pw_
q
polynomia
l
_sum if r
e
qu
e
sted
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
V
erdool
a
eg
e
ba
r
vin
o
k 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sve
n
Ver
d
oolae
g
e
update isl f
o
r f
i
x
in parameter alignmen
t
commit
|
commitdiff
|
tree
2010-09-10
S
ven V
e
rdoolaege
barvinok
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven
Ve
r
doolae
g
e
iscc: add lexicogr
a
p
h
ic o
p
erators
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
V
e
rdoolaege
u
p
date
is
l
to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sv
e
n
Verd
o
olae
g
e
i
scc:
add "
s
ource" op
e
rati
o
n
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doolaege
iscc: add s
u
p
p
o
r
t f
o
r strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: print error message on use of unknow
n
i
d
entifier
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdoolaege
iscc: support union sets in
vertices
o
peration
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdo
o
la
e
ge
add isl_li
s
t_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
barvinok_bound: use i
s
l
to spli
t
p
eriods
commit
|
commitdiff
|
tree
2010-09-05
Sven V
e
rd
o
o
l
aege
upda
t
e
isl for isl_pw_qpo
l
ynomial_
s
pli
t
_periods
commit
|
commitdiff
|
tree
2010-08-31
S
v
e
n
Verdoolaege
doc: mark PolyLib i
n
ter
f
ace obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Ver
d
oolae
g
e
M
a
kefile
.
am
:
drop references to obsolet
e
@bv_barvi
n
ok_
b
ound@
commit
|
commitdiff
|
tree
2010-08-31
Sven
Verdool
a
ege
eva
l
u
e
_
c
onvert
.
cc: evalue_print_is
l
: prin
t
end-o
f
-line
commit
|
commitdiff
|
tree
2010-08-30
Sv
e
n
Verdoolaege
iscc
:
allow coercion of binary list i
n
to first elemen
t
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barvi
n
ok_bound: convert to isl
_
p
w_qpolyn
o
mial once
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n Verdool
a
ege
bar
v
in
o
k_bou
n
d: use isl
t
o
spl
i
t on dom
a
in size
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdoola
e
ge
set sensible de
f
aults with --polynomial-appr
o
ximat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoo
l
aege
is
l
_pw_qpolynomial_sum
:
reuse barvinok_op
t
ions i
f
a
vailable
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verd
o
o
l
a
ege
i
s
l_map_card
:
reuse b
a
rvin
o
k
_options if avai
l
abl
e
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ve
n
Verdoolae
g
e
u
p
d
at
e
isl for
a
l
igning param
e
ters of union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
is
c
c: add "join" operation
on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdool
a
ege
iscc: add "join" oper
a
t
i
on on
ma
p
s and
f
o
lds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verd
o
o
l
aege
iscc: support a
d
d
ition
on a
pair of
a
f
o
ld and a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
updat
e
is
l
for adding
t
y
p
es to
i
sl_{union_,}pw_qpolynomi
a
l_folds
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoo
l
a
e
ge
a
l
low co
d
e
g
en
on
sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
ool
a
e
ge
iscc
:
c
o
degen: det
e
ct s
t
rides
commit
|
commitdiff
|
tree
2010-08-18
S
ve
n
Verd
o
olaege
iscc: use sim
p
lif
i
ed CL
o
oG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
update i
s
l
f
or ren
a
me of isl_pw
_
qpolynomial_
f
old
_
a
d
d
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
.
c: un
i
o
n_pw_qpolynomial_upper_bound:
fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
e
rdoolaege
summate
.
c:
fix typo in
comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
isl_map_appl
y
_pw_qpoly
n
omial
:
fix typo
commit
|
commitdiff
|
tree
2010-08-10
S
v
en Verdoolae
g
e
update is
l
from isl_union_
m
ap fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
isc
c
: allow invers
e
on no
n
-
u
nion maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
olaege
i
scc: add wrap
a
n
d unwrap
o
pera
t
ions
commit
|
commitdiff
|
tree
2010-08-05
S
ve
n
Verdoolaege
add isl_un
i
on_map_appl
y
_union_pw
_
qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
S
ven V
e
rdoolaege
isl_pw_qpol
y
n
o
mial
_
sum: handl
e
isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
updat
e
isl f
o
r
nested dimensio
n
specif
i
cations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
i
sl_map_ca
r
d: postpone s
h
uffling arou
n
d of dimensio
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
o
laege
update isl f
o
r
isl_basic_ma
p
_mo
v
e_dims
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdoo
l
aege
i
sl_pw_
q
polynomial_sum:
pus
h
co
n
ver
s
i
o
n
to
P
olyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
i
s
l
_pw_qpolynomial_sum: check
f
or unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven
Verdoolaege
a
v
o
id use of i
s
l
_d
i
m internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
i
scc: support cod
e
ge
n
op
e
rat
i
on if CLooG is available
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
o
o
laege
iscc: switch to using
union
s
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
rd
o
olaege
add i
s
l
_u
n
ion_pw_qpolynomia
l
_s
u
m
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
add isl_union_map_ca
r
d
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaeg
e
isl_pw
_
qpolynomi
a
l_sum: take tuple names in
t
o accoun
t
commit
|
commitdiff
|
tree
next