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
remove polytope_minimize application
2011-01-16
Sven Verdoolaege
rem
o
ve polytope
_
minimi
z
e applic
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
Po
l
yhedron_Sa
m
ple: use isl unc
o
nditionally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remov
e
combine
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
build libisl and libp
o
lylibgm
p
before libisl-polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
l
ae
g
e
iscc:
s
upp
o
rt
a
pplicati
o
n of pie
c
e
wise qu
a
si
p
olynomial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoola
e
g
e
doc: fix
d
ocumentation of join of
maps an
d
fol
d
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en V
e
rdoolaege
add isl_union_set_apply_union_p
w
_qpol
y
nom
i
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven
Verdo
o
l
a
e
ge
update isl for export of
i
sl_unio
n
_m
a
p_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
do
o
l
a
eg
e
iscc: ad
d
write operati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
V
erdool
a
ege
i
s
cc:
optionally d
i
sable read operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sv
e
n Verdoola
e
ge
do
c
:
explain comma
o
p
erator in a se
t
descri
p
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ver
d
o
o
laege
iscc: add typ
e
o
f operato
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n
V
erd
o
olaege
add isl_str_f
r
om_strin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdool
a
ege
iscc
.
c: use
C99 designated ini
t
ializers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
i
s
cc: mino
r
improvemen
t
in
error messa
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven
V
e
rdoolae
g
e
isc
c
: add dom
a
in_map and range_map op
e
rations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
V
erdoolaege
i
s
c
c: ad
d
"
d
o
main"
a
nd
"
range" synony
m
s for "dom" a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sve
n
Verdoolaege
update isl to ve
r
s
ion 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sv
e
n Verdoolaege
i
scc: d
o
n
'
t
allow code genera
t
io
n
on
u
nion
sets of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sv
e
n
Verd
o
olae
g
e
update isl to version 0
.
0
5
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
av
o
id
use of
i
sl_s
e
t
and isl_map
i
nternals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sv
e
n
Verdool
a
ege
s
e
parate out
isl interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
S
ven Ver
d
oolaege
configure
.
in: propa
g
ate absolute isl
b
uilddi
r
t
o
submod
u
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sv
e
n Ver
d
oolaege
update isl for rename of header files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
evalue_floo
r
2frac
:
don't ass
u
me coefficient
s
of floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verdoolaege
te
s
t_bo
u
nd: stop testing afte
r
predeter
m
i
n
ed
n
umber
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdoolae
g
e
barvinok_bound: rewrit
e
in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verd
o
ol
a
ege
b
arvinok_{summate,bound}: take
isl input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ven
Verdo
o
l
a
eg
e
test_bound
:
s
witch t
o
isl repre
s
enta
t
ion eve
n
e
a
r
l
ier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdool
a
e
ge
t
est_bound:
s
witch to
i
sl representati
o
n earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ve
n
Verdoolaeg
e
i
s
cc:
add pol
y
nomial ap
p
roximations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven
V
e
r
do
o
laege
b
a
rvinok_summate: r
e
w
r
ite
in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Ve
r
doo
l
aege
barvinok_summ
a
te: use isl i
n
te
r
face
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven Ver
d
ool
a
ege
bound
.
cc: dro
p
dead
c
o
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoolaege
doc: mo
r
e informati
o
n a
b
o
u
t using sets and
m
aps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
d
o
c: update some
r
eferences
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verd
o
olae
g
e
isc
c
: add poly operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
S
ven Verdoolaege
is
c
c: add scan operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verd
o
o
laege
isl_pw_qpol
y
nomial_sum: handle existentials in wra
p
p
ed
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
update isl for
renaming
o
f
i
s
l
_m
a
p_r
e
move
commit
|
commitdiff
|
tree
2010-10-20
Sven Ver
d
oolaege
version
.
c: show use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
o
laege
doc: a bit more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdool
a
ege
iscc: add b
e
fore and after opera
t
io
n
s
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdool
a
eg
e
iscc: ad
d
identity operation
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoo
l
aege
iscc: break o
u
t of
f
main loop w
h
en
printer
no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
doolaege
iscc:
s
u
pport exte
n
ded PolyLib output format
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verdo
o
laege
con
f
igure
.
in: p
e
rform check for
G
MP supp
o
rt in NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoo
l
a
ege
iscc: add composition operati
o
n on piec
e
wi
s
e
quas
i
polynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n Verd
o
olaege
i
scc: add dependen
c
e ana
l
ysis operat
i
on
s
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolae
g
e
iscc: r
e
g
ist
e
r extra keywords
in generic way
commit
|
commitdiff
|
tree
2010-10-11
S
v
en
Verdoolaege
use
isl to
perform
"manual_count"
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
allow building without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaege
Polyhed
r
o
n_Reduced_Basis: optionally u
s
e
isl
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdo
o
laege
fix depende
n
c
e
on buil
d
isl
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
isl_
m
ap_card: use isl
for
f
actoriz
a
tion
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
i
s
l_map_c
a
r
d
:
s
plit dimensio
n
fiddling f
r
om
co
n
ve
r
sio
n
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Ve
r
d
oolaege
isl_ma
p
_card: use
i
sl_pw_qpo
l
ynomi
a
l
_
sum if r
e
quest
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
V
erdoola
e
g
e
barvinok
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
rdoolaege
u
pdate isl fo
r
fix in p
a
r
a
mete
r
alignment
commit
|
commitdiff
|
tree
2010-09-10
S
v
en Verdoo
l
aege
ba
r
v
inok 0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
Sven Ve
r
doola
e
ge
isc
c
: a
d
d lexicographic o
p
erators
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Verdoolaeg
e
u
pdat
e
isl t
o
vers
i
on 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
S
v
en Ve
r
doolaege
iscc:
a
d
d "source"
operation
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n
V
erdoola
e
ge
iscc: add
s
up
p
ort for
s
tr
i
n
g
s
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oolaege
iscc
:
p
r
i
nt
e
rror message on use of unknown
ident
i
fier
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doolaege
is
c
c
:
s
upport union se
t
s in vertices
o
peration
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
erdoolaeg
e
add isl_list_c
o
nca
t
commit
|
commitdiff
|
tree
2010-09-05
Sven
Verdoo
l
aege
barvinok_bound: use isl to s
p
l
it perio
d
s
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
u
p
da
t
e isl for isl_pw
_
qpolynomial_split
_
p
eriod
s
commit
|
commitdiff
|
tree
2010-08-31
Sven Ve
r
dool
a
eg
e
doc: mark PolyLib inte
r
face ob
s
olescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdo
o
la
e
ge
Makefile
.
am:
d
ro
p
refere
n
ces to ob
s
o
l
e
te
@bv_barvino
k
_bou
n
d@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
ev
a
lue_c
o
nvert
.
cc: evalue_print_i
s
l: print end-of
-
line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdo
o
laege
isc
c
:
allow coerc
i
on of binary list
int
o
fir
s
t e
l
ement
commit
|
commitdiff
|
tree
2010-08-28
S
v
en Verdoolaege
barvinok_bo
u
nd:
convert to isl_pw_qp
o
lynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdo
o
l
a
e
g
e
barv
i
nok_bound:
use isl to split on do
m
ain size
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdoola
e
ge
set sensible defaults with --polynomial-a
p
p
r
oximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
is
l
_
p
w_qpolynomial_sum: reuse
barvinok_
o
ptions if availab
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
r
doolaege
isl_map
_
car
d
: reuse
barv
i
nok_options if
available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
update
i
sl for aligning par
a
m
e
t
e
rs of
union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add "join" operation
o
n folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
iscc: add "join" operati
o
n on maps
and
folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
iscc: support a
d
d
ition on a pa
i
r of
a fold and a
quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
u
p
date i
s
l
f
or adding types to
is
l
_{
u
ni
o
n_
,
}p
w
_qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
allow co
d
egen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaeg
e
iscc: co
d
egen
:
detect strides
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoo
l
a
e
ge
iscc: use simp
l
ified CLooG in
t
erfa
c
e
commit
|
commitdiff
|
tree
2010-08-18
S
ve
n
Verdool
a
ege
u
p
date isl for rena
m
e of isl_pw_qpo
l
ynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verd
o
o
l
aege
iscc
.
c: union_pw_qp
o
lynomia
l
_upper_bound: fix memor
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoo
l
aeg
e
summate
.
c: f
i
x
typo in
c
omment
commit
|
commitdiff
|
tree
2010-08-17
S
v
en V
e
rdo
o
laege
isl_m
a
p_a
p
ply
_
pw_qpolynomial: fix
t
ypo
commit
|
commitdiff
|
tree
2010-08-10
Sven
Ver
d
oo
l
aege
u
p
date isl from isl_u
n
ion_
m
ap fix
e
s
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdo
o
la
e
ge
iscc: a
l
lo
w
inverse on non-union m
a
ps again
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolaeg
e
i
scc:
a
d
d
wrap and unwrap ope
r
ations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add i
s
l_union_map_ap
p
ly_union_pw_qpoly
n
omial
commit
|
commitdiff
|
tree
2010-08-05
Sven
Ver
d
ool
a
ege
isl_pw_qpolynomi
a
l_sum: ha
n
dle isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laege
update isl
f
o
r nested dimension specifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_map_card
:
post
p
one s
h
uffli
n
g around of
d
im
e
nsions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update isl
f
o
r isl_basi
c
_
m
a
p
_move_
d
ims
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rdoolaege
isl_pw_qpolynomia
l
_sum: push conversion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdoolaeg
e
isl_pw_qpolynomial
_
s
u
m: check for unboun
d
e
d d
o
mains
commit
|
commitdiff
|
tree
next