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
separate out isl interface
2010-11-28
Sven
Verdoola
e
ge
s
eparat
e
out i
s
l interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verd
o
olae
g
e
confi
g
ure
.
in: propagate absolute isl builddir
t
o sub
m
odule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdool
a
eg
e
u
pdat
e
isl for ren
a
me
of
h
eader
f
iles
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
eva
l
ue_floor2fr
a
c: d
o
n't ass
u
me coefficients
of flo
o
rs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdoolaege
tes
t
_bound: stop testing
after predetermined number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
e
rdoolaege
barvin
o
k_bound
:
rewr
i
t
e i
n
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
barvin
o
k_{summate,bou
n
d}
:
take
isl input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verdoolaege
test
_
bound: switch to isl re
p
rese
n
tation
even earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdoolaege
test_bound: swit
c
h
to isl r
e
p
r
esent
a
tion earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolaege
iscc: add polyn
o
mial appro
x
imati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sv
e
n Verd
o
olaeg
e
barvin
o
k_summate:
rewrite in
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sve
n
Ve
r
doolaege
barvinok_summa
t
e: u
s
e isl
i
nterface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
S
v
en Verdoolaege
b
ound
.
cc: drop
d
ead code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
S
ven Verdoola
e
ge
doc
:
more information about using sets and maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
doc: update s
o
me references
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
S
ven Verdoolaege
isc
c
:
a
dd poly o
p
erat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoo
l
aege
iscc: add
s
c
an
o
peration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven
Verdool
a
ege
isl_pw_q
p
olynomial_sum
:
handle existentials in wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
u
p
date isl for renaming o
f
isl_map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sv
e
n Verdoola
e
g
e
v
ers
i
on
.
c:
sh
o
w use of
CL
o
oG
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
d
oolae
g
e
doc: a b
i
t more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: add b
e
fo
r
e and
aft
e
r oper
a
tion
s
commit
|
commitdiff
|
tree
2010-10-18
S
ven V
e
rdoolaege
is
c
c: ad
d
ide
n
tity operati
o
n
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verdoolaege
iscc: break out of
f
m
a
in loop when pr
i
nter
no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: support e
x
tended PolyL
i
b outp
u
t format
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoo
l
aege
con
f
igure
.
in: pe
r
f
o
rm check fo
r
GMP
support in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven
Ver
d
oolae
g
e
isl_
P
olyh
e
dron_Sample:
a
dd
missi
n
g initializa
t
ion
commit
|
commitdiff
|
tree
2010-10-11
S
ven
V
er
d
oolaege
iscc: add
com
p
osition operat
i
o
n
on p
i
ecewise quasi
p
oly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
isc
c
:
a
dd dependence
a
nalysis o
p
era
t
i
o
ns
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n
Verdoolaege
iscc: re
g
ister e
x
tra keywords
in generi
c
way
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
do
o
laeg
e
use is
l
t
o
perform "manual_count"
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolae
g
e
a
llow
b
uilding without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Ve
r
doo
l
aege
P
o
lyhedron_Re
d
uc
e
d_Bas
i
s: op
t
ionally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdo
o
laege
fix de
p
end
e
nce on bui
l
d
i
s
l
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
laege
isl_ma
p
_
c
ard: use
isl for f
a
ctor
i
zatio
n
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
isl_map
_
c
ard: split di
m
ension fiddling from
c
o
nvers
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
is
l
_m
a
p_card:
use
i
sl_pw_qpolynomi
a
l_
s
um if requ
e
sted
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
rdoola
e
g
e
b
a
rvin
o
k 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Ver
d
oolae
g
e
upda
t
e isl for
fix in paramet
e
r
a
l
ignment
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Verdoolae
g
e
barvinok 0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
iscc: add lexicographic oper
a
tors
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
upda
t
e isl to
v
ersion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoolaege
i
scc: add "s
o
urce" opera
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaege
i
scc:
add support f
o
r strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolae
g
e
iscc: print erro
r
m
essage
o
n use
of u
n
known identi
f
ier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolae
g
e
iscc: support union sets in vertices
opera
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaege
add isl_list_conc
a
t
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n Ve
r
do
o
laeg
e
barv
i
nok_bound
:
use isl
t
o split periods
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n V
e
rdoolaege
updat
e
isl for isl_pw_q
p
olynomia
l
_split_periods
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Verdoolaege
doc: m
a
rk
P
olyLib
interface obsole
s
c
ent
commit
|
commitdiff
|
tree
2010-08-31
S
ven V
e
rdoolaege
Make
f
ile
.
am: d
r
op refe
r
ences t
o
o
b
so
l
ete @bv_bar
v
inok_b
o
und@
commit
|
commitdiff
|
tree
2010-08-31
Sven Ver
d
oolaege
evalue_co
n
vert
.
cc:
e
value_pri
n
t_isl:
p
r
int end-of-line
commit
|
commitdiff
|
tree
2010-08-30
S
v
en Verdo
o
l
aeg
e
i
scc: allow coerc
i
on
of bin
a
ry list into first eleme
n
t
commit
|
commitdiff
|
tree
2010-08-28
Sven
Verdoolaeg
e
barvino
k
_bou
n
d
: convert
t
o isl_pw_
q
polynomial onc
e
commit
|
commitdiff
|
tree
2010-08-28
S
ven Verdoolaeg
e
b
a
rvinok_bou
n
d:
u
se isl to sp
l
it on doma
i
n
size
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
do
o
laeg
e
s
e
t sensible defaults with
--polynomi
a
l-app
r
oximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoo
l
aege
isl_pw_qpolyno
m
ial_sum: reuse bar
v
in
o
k_options if
a
vai
l
able
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
en Ve
r
doolaege
isl_map_card:
r
eu
s
e barvi
n
ok_optio
n
s if av
a
ilab
l
e in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
upd
a
te
i
sl
f
o
r
aligning param
e
ters of unio
n
ar
g
umen
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaeg
e
iscc:
a
dd "join" operation on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: a
d
d "join" operation o
n
maps an
d
folds
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoola
e
ge
iscc
:
support addition on a pair of
a fold and a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n V
e
r
doolaeg
e
u
p
d
ate isl for adding
t
y
pes to is
l
_{union_,}pw
_
qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
allow codegen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdo
o
laege
i
scc: codegen: de
t
ect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoola
e
ge
iscc
:
u
se sim
p
l
ified
C
LooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
u
p
date isl
for rena
m
e of
i
sl_pw_qpolynomial
_
fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdo
o
laege
is
c
c
.
c: union_p
w
_
qpolynomial_upper
_
bound: fix
memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summ
a
te
.
c: fi
x
typ
o
in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven
V
erdoolaeg
e
isl_map_ap
p
l
y_pw_qpolyno
m
i
al: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
V
e
rdoolaege
update i
s
l fro
m
isl_union_m
a
p fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
iscc: allow
i
nverse
on non-union
m
aps a
g
ain
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doo
l
aege
i
scc:
a
dd
w
r
ap and u
n
wrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add isl_union_map
_
a
p
p
l
y_union_pw
_
qpo
l
ynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
i
sl_pw_qpolynomial_sum: h
a
ndle
i
s
l_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
o
o
laege
update
isl
f
or
nested dimension s
p
ecific
a
tions
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
isl_
m
a
p
_card: postp
o
ne shuffling
aroun
d
of dime
n
si
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
e
rdool
a
ege
upd
a
te i
s
l for isl_basic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven
Verdoolaege
isl_p
w
_
q
poly
n
o
m
ial_sum
:
p
ush
conversion to P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Ver
d
oolaege
isl_pw_qp
o
ly
n
omial_s
u
m:
c
heck
for unboun
d
e
d
doma
i
ns
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdo
o
laege
avoid
use of isl_
d
im in
t
ernals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isc
c
:
support cod
e
gen operat
i
o
n if CLoo
G
is
a
vailab
l
e
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
i
s
cc: switch to using un
i
ons
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
V
erdoolaeg
e
add isl_u
n
ion_pw_qp
o
lynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_unio
n
_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolae
g
e
i
sl_pw_qpolynom
i
al_su
m
:
t
ake tupl
e
name
s
i
nto account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_map_card: preserve
f
u
l
l
domain dimensio
n
inf
o
rma
t
ion
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n
V
erdoo
l
a
ege
update
i
sl for c
h
a
nge in
isl_hash_ta
b
le
_
foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
barvinok_e
n
umerate
.
c
c
: fix
printf format
commit
|
commitdiff
|
tree
2010-07-03
Sve
n
Verdoolaege
doc: add some mo
r
e paper
s
ref
e
ring to the lib
r
ary
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
barvino
k
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
Verdoolaege
update isl to version
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdo
o
l
a
ege
configure
.
in: prop
e
rly add isl flags
and libs
to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Ver
d
o
olaege
configur
e
.
in: drop call to
g
l_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
genfun
.
cc: fix
p
rint
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdo
o
laege
test_a
p
prox
.
c: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
tes
t
_bound
.
c: fix printf forma
t
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Ve
r
d
oola
e
g
e
con
f
i
gure
.
in: stop compiling
Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
verify_le
x
smaller
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoo
l
aege
e
value
.
c:
a
void
u
s
e
of al
l
oca
commit
|
commitdiff
|
tree
next