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
V
erdoolaege
sepa
r
a
te out isl
i
nter
f
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven V
e
rdoolaege
conf
i
gure
.
in: propagate absolute i
s
l
b
ui
l
d
d
i
r to submodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven Ver
d
oolae
g
e
upda
t
e
isl for rename of header files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdoolaege
evalue_
f
loor2frac: don't ass
u
me
c
oefficients of floo
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdo
o
laege
test_
b
ound: stop testi
n
g after predetermined number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven V
e
rdoo
l
aege
barvinok_bound: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doolaeg
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
S
v
en Ve
r
doolaege
test_bound: switch to isl representati
o
n even
e
a
rlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolaege
tes
t
_bound: switch to is
l
represen
t
ati
o
n
e
a
rli
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
V
e
rdool
a
ege
iscc: add poly
n
omial approximati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaeg
e
bar
v
inok
_
summa
t
e
: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoola
e
ge
barvi
n
ok
_
summ
a
te: use isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven V
e
rdoo
l
a
e
ge
bound
.
c
c
:
drop dead code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdo
o
laege
doc: more
information about using se
t
s and
maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven
Verdoolaege
doc: update s
o
me referenc
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
S
ven Verdoolaege
iscc: add poly operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sv
e
n Verdoola
e
g
e
isc
c
: add scan operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven V
e
rd
o
olaeg
e
isl_pw_qpolynom
i
al_sum:
hand
l
e existentials in wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
update isl for renaming of isl_map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sv
e
n
V
e
rdoo
l
a
ege
ver
s
ion
.
c
: show us
e
of CL
o
oG
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verdoolaege
d
oc:
a
bit mo
r
e info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven
Verdoo
l
aege
i
s
cc: add b
e
fore and after operations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaeg
e
iscc: a
d
d identity o
p
eration
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdool
a
ege
iscc:
b
reak out off main loop when
p
rinter
n
o longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdoolaege
isc
c
: suppo
r
t exte
n
ded PolyLib output fo
r
mat
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdool
a
ege
config
u
re
.
in
:
pe
r
fo
r
m check for GMP
s
upport i
n
NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaege
isl_Polyhedr
o
n_Samp
l
e
:
add missing initialization
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
isc
c
:
a
dd comp
o
sition operation on piecewise quasipolynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdo
o
laege
iscc:
a
dd dependence
a
naly
s
is operations
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaege
iscc: register e
x
tra keywords in generic way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
u
s
e i
s
l to perform "ma
n
u
a
l_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoolaege
a
l
low
b
u
ilding wit
h
o
u
t
piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoo
l
aege
P
olyhedron_R
e
duc
e
d_
B
asis: op
t
iona
l
l
y
u
s
e is
l
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdo
o
l
a
ege
fix depen
d
enc
e
on build
i
sl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
isl_map_card:
use isl f
o
r factorization
commit
|
commitdiff
|
tree
2010-09-14
Sven
V
erdoolaeg
e
is
l
_map_card: s
p
lit dimension
f
iddling
f
rom co
n
v
e
rsi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
isl_map
_
card: u
s
e isl_pw_qpolynomia
l
_
sum if req
u
ested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoola
e
ge
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
S
ve
n
V
erdool
a
e
ge
updat
e
isl for
fix in
parame
t
er alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
barvi
n
ok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoo
l
aege
iscc:
add lexicogr
a
phic operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
updat
e
is
l
to version 0
.
0
4
commit
|
commitdiff
|
tree
2010-09-07
Sven Ve
r
doolaege
iscc: ad
d
"so
u
rce" operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
isc
c
: a
d
d sup
p
ort for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
e
rdoolaege
iscc: print error message on use of unknown
ident
i
fier
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
V
e
rdoo
l
ae
g
e
i
s
cc: support union sets
i
n
vertices operation
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
erd
o
olaege
add isl_list_con
c
at
commit
|
commitdiff
|
tree
2010-09-05
Sven V
e
rdoolaege
barv
i
nok_bound: us
e
i
sl to spli
t
periods
commit
|
commitdiff
|
tree
2010-09-05
Sven
Verdoo
l
aege
update isl for isl_pw
_
qpolynomial_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Verdoolaeg
e
doc: mark P
o
lyLib interf
a
ce obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoo
l
aeg
e
M
a
kef
i
le
.
a
m
: drop r
e
ferenc
e
s
to obsolete @bv_barv
i
nok_bound
@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdo
o
laege
e
v
alue_con
v
e
rt
.
c
c: evalue
_
pr
i
nt
_
isl: print
end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven
Verdoolaege
iscc: allow coercion of
b
inary
lis
t
i
n
t
o
first element
commit
|
commitdiff
|
tree
2010-08-28
Sven
Ve
r
doolaege
b
a
r
v
inok_bound: convert to
i
s
l
_
pw_qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoola
e
ge
barvinok_bo
u
nd: use isl
t
o split
o
n
d
oma
i
n s
i
ze
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
set sensible
d
ef
a
ults wit
h
--polynomial-
a
ppr
o
ximat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_pw_qpolynom
i
al_su
m
: reuse barvino
k
_options if a
v
ailable
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
en
Ve
r
do
o
laege
isl_map_card: reuse barvinok_options if
a
v
ai
l
ab
l
e i
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Verd
o
olaege
upda
t
e isl
f
or alignin
g
paramet
e
rs of union
argum
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doola
e
ge
iscc
:
a
dd "j
o
in" operatio
n
on
f
olds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add "j
o
in"
o
peration on maps an
d
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc:
s
u
p
port addi
t
ion on a pair
o
f
a fold an
d
a
q
u
a
sipoly
n
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
update
i
sl
for adding t
y
pes to is
l
_{unio
n
_
,}pw_qpol
y
nomia
l
_folds
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaege
a
l
low codegen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdool
a
ege
iscc: codegen: detect
stride
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: use simpli
f
ied C
L
ooG interface
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n Verdo
o
laege
upda
t
e
isl for rename of isl_pw_qpolynomi
a
l
_
fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolae
g
e
i
s
cc
.
c: union_pw_
q
p
olyn
o
mial_up
p
er_boun
d
: f
i
x memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
s
ummate
.
c: fix typo i
n
comment
commit
|
commitdiff
|
tree
2010-08-17
Sv
e
n Verdoolaege
isl_map_apply_
p
w_qp
o
l
y
nomial:
f
ix t
y
po
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
update isl from isl_unio
n
_
map fixe
s
commit
|
commitdiff
|
tree
2010-08-10
Sven
Ve
r
doolaege
isc
c
:
allow i
n
verse on
n
on-
u
nion maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
iscc: ad
d
wrap an
d
unwrap operat
i
ons
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
a
dd isl
_
unio
n
_
m
a
p
_a
p
ply_uni
o
n_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
o
laege
i
s
l_pw_qpolynom
i
al
_
sum: handle isl_pw_qpoly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoolaege
up
d
ate isl for neste
d
dimension specifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
d
o
olaege
isl_
m
ap_card: postpone shuffling around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
o
laeg
e
update isl for isl_basic_map_move
_
dims
commit
|
commitdiff
|
tree
2010-08-04
S
ven Verdoolaege
isl_pw_qpolynomial_s
u
m: pus
h
conve
r
sion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Ver
d
o
o
l
a
ege
isl_pw_qp
o
lynomial_su
m
:
c
heck for
u
nboun
d
e
d
domains
commit
|
commitdiff
|
tree
2010-08-02
Sven
Verdoo
l
aege
av
o
id use
o
f
i
sl_di
m
internals
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ver
d
oolaege
iscc: support
c
o
degen operat
i
on if CLooG is av
a
ila
b
le
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
is
c
c: s
w
i
t
c
h to using uni
o
ns
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_union_pw_qpoly
n
omial_s
u
m
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rd
o
olaege
add isl_union
_
map_car
d
commit
|
commitdiff
|
tree
2010-07-31
Sven
Ve
r
doolaege
isl_pw_qp
o
l
ynomial_sum: take tuple
names into account
commit
|
commitdiff
|
tree
2010-07-31
S
ven
Verdo
o
laege
isl_map_ca
r
d:
p
res
e
rve
f
u
ll domain dimension informat
i
on
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolae
g
e
upd
a
te
i
s
l
f
o
r ch
a
nge
i
n isl_hash_tabl
e
_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoo
l
aege
barvinok_e
n
u
m
erate
.
cc:
f
ix printf for
m
at
commit
|
commitdiff
|
tree
2010-07-03
Sven
Verd
o
o
l
a
e
g
e
doc: add some
m
ore paper
s
ref
e
ring to the library
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
barvinok 0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
Verdoolaege
updat
e
isl to version 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
r
doolaege
configure
.
in: properly
a
d
d
i
sl f
l
ags and lib
s
t
o
p
k
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
config
u
re
.
in: d
r
op call to
gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n
Ver
d
o
o
la
e
ge
genfu
n
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test
_
appr
o
x
.
c: fi
x
printf
forma
t
commit
|
commitdiff
|
tree
2010-06-29
S
ven
V
e
r
d
o
olaege
test_b
o
und
.
c: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
e
g
e
c
o
nfigu
r
e
.
in: stop compiling Omeg
a
by
d
efa
u
l
t
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoo
l
aege
v
e
rify_lexsm
a
l
ler
.
c:
fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
e
valu
e
.
c: a
v
oi
d
u
se
of alloca
commit
|
commitdiff
|
tree
next