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
update isl to version 0.05.1
2011-01-05
Sven Verdool
a
e
ge
update isl to versio
n
0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven V
e
rd
o
olae
g
e
i
s
c
c:
d
on
'
t
a
llow code generation on union sets
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoolaege
update
isl to version 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verd
o
olaege
avoid use of isl_set and isl_map i
n
t
ern
a
ls
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sv
e
n
Ve
r
doolaege
separate out isl
interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaege
configure
.
in:
propagate absolute isl builddir to
s
ubmodule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoolaege
updat
e
i
sl for rename o
f
he
a
der fi
l
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
evalue_flo
o
r2frac: don't assume coeffi
c
ients of floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
t
e
st_bound
:
s
top te
s
ting after pred
e
ter
m
ined number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
barvinok_bo
u
nd: rewrite
i
n C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoola
e
g
e
barvinok_{su
m
m
ate,boun
d
}: take isl input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ven
V
erdool
a
ege
test_bound: switch
t
o
i
sl repres
e
ntation ev
e
n earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Ver
d
oo
l
aege
test_bound: switch
t
o isl repres
e
ntati
o
n
earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Ver
d
oolaege
iscc:
a
dd poly
n
omial approximat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
b
a
r
vinok_s
u
mmate: re
w
rite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
S
v
en Verdoolae
g
e
ba
r
vinok_summ
a
te: use isl interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdoolaege
bound
.
c
c
:
drop d
e
a
d c
o
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven Ver
d
oola
e
g
e
doc: more info
r
mation
a
bout
u
si
n
g s
e
ts and
maps
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
doc: updat
e
some references
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven
Verdo
o
la
e
g
e
iscc: add
poly
operat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoolaege
iscc:
a
dd
s
can op
e
r
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sven
Verd
o
olaege
isl_
p
w_qpolyn
o
mial
_
sum: handle exi
s
t
e
nti
a
ls in
wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sve
n
Verdoolaeg
e
u
pdate
i
s
l for renaming of
i
s
l_map_rem
o
ve
commit
|
commitdiff
|
tree
2010-10-20
Sven Ve
r
doolaege
version
.
c
: show use of
C
L
o
o
G
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdoolaege
doc: a bit
m
ore info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: add be
f
ore
a
n
d
after opera
t
i
o
n
s
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoola
e
ge
i
scc: add
i
d
enti
t
y
op
e
ration
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
o
laege
i
scc:
b
r
eak out
o
ff
ma
i
n lo
o
p
w
hen p
r
inter no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolae
g
e
iscc: supp
o
rt ex
t
ended Poly
L
ib output format
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
e
rdoola
e
ge
c
o
nfigure
.
i
n: perform check f
o
r
GMP
s
up
p
ort i
n
NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
iscc: ad
d
composition operation on
p
iecewise
quasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdool
a
ege
iscc: add dependence analysis op
e
rations
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: register extr
a
keywords in generi
c
way
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verd
o
olaege
use isl to
perform "
m
an
u
al_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
laege
allow
building without
piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoola
e
ge
Pol
y
hedron_Reduced_Ba
s
i
s
: o
p
tiona
l
l
y u
s
e isl
commit
|
commitdiff
|
tree
2010-10-11
S
v
en
V
e
rdoolaeg
e
fix de
p
endence on bu
i
ld isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolaege
isl_
m
a
p_card: u
s
e isl for facto
r
iz
a
tio
n
commit
|
commitdiff
|
tree
2010-09-14
Sven Ver
d
o
olaeg
e
i
sl_map_card:
s
plit dim
e
nsion fiddling f
r
om c
o
nversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
isl_map_card: us
e
i
sl_pw_qpolynomial_s
u
m
if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
v
e
n
Verdoolaege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
S
v
en Verdoolaege
update isl for
fix in parameter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolae
g
e
barvinok
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Ve
r
doolaege
i
s
cc: a
d
d lexicographic o
p
erators
commit
|
commitdiff
|
tree
2010-09-10
Sven
Verdoola
e
ge
u
pdate isl to
v
e
rsion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoolaege
iscc: add "
s
ou
r
ce" operation
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolae
g
e
iscc: add support for
strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoo
l
aege
iscc
:
print error message on use of unknown identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoola
e
ge
iscc: sup
p
ort
union sets in ve
r
tices operation
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verd
o
olaege
add isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
S
v
en Ver
d
oolaege
barvinok_bo
u
nd: use
i
sl to split periods
commit
|
commitdiff
|
tree
2010-09-05
S
ven
Verd
o
olaege
update isl for isl_
p
w
_
qpol
y
no
m
ial_split_period
s
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolae
g
e
doc: mark PolyLib
i
n
t
erface
o
bsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdool
a
ege
Makefile
.
a
m
: drop ref
e
rences to obsolete @bv_barv
i
nok
_
bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdool
a
ege
e
value_co
n
vert
.
cc: e
v
alue_print_isl: print end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaege
iscc: allow coerci
o
n of binary list in
t
o
first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
ba
r
v
i
n
ok_bo
u
n
d: c
o
nver
t
to isl_pw_qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Ver
d
ool
a
ege
ba
r
vino
k
_bound: use isl to split on domain s
i
ze
commit
|
commitdiff
|
tree
2010-08-26
S
v
en V
e
rdoolaege
set sensi
b
le
d
efaults wit
h
--polyn
o
mi
a
l-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdool
a
ege
isl_pw_qpol
y
nomi
a
l
_sum: reuse barvinok_options if ava
i
lable
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Ver
d
o
o
l
aege
isl_map_card
:
reuse barvinok_option
s
i
f availabl
e
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoola
e
ge
update isl
f
or ali
g
ni
n
g
param
e
t
ers of u
n
ion arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
iscc: ad
d
"join" operation on
folds
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n
Ve
r
doolaege
i
scc: add "j
o
in"
operation on ma
p
s
and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: support addition on a pai
r
o
f
a fold an
d
a
q
uasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
u
p
date
is
l
fo
r
adding ty
p
es t
o
isl_{u
n
ion_,}pw_qpolynom
i
al_
f
olds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
allow codegen o
n
sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: codegen: dete
c
t stride
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
iscc: use simplified CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
V
e
rdoolaege
updat
e
isl for rename of isl_pw_qpol
y
n
omial_fo
l
d
_
a
dd
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
iscc
.
c: union_p
w
_
q
pol
y
nomial_upper
_
bound: fix me
m
ory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summate
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
isl_map_a
p
p
l
y
_pw_
q
polynomia
l
:
fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n Ve
r
do
o
lae
g
e
updat
e
i
s
l from
i
sl_union_m
a
p fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoola
e
ge
i
s
cc: allow
i
n
verse
on non-union m
a
ps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
i
scc: add wrap and unwrap ope
r
ations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
ad
d
is
l
_union_map_apply_
u
n
i
on_pw_qpolynomi
a
l
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
o
l
aege
isl_pw_qpolynom
i
a
l
_sum: handle isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
update isl for
nested dimension specification
s
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
isl_map_card: postpone shuffling around of
d
i
mensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
up
d
ate isl for
i
sl_b
a
s
i
c_ma
p
_move
_
dim
s
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_pw_qpolynomial_sum: push
co
n
ver
s
i
o
n t
o
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoola
e
ge
isl_p
w
_qpoly
n
omia
l
_sum: check for unbounded do
m
ains
commit
|
commitdiff
|
tree
2010-08-02
S
ven Verdool
a
ege
avoid
use of isl_dim inte
r
nals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
is
c
c
:
support codegen o
p
eratio
n
if CLooG is avail
a
ble
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: switch to us
i
ng unions
commit
|
commitdiff
|
tree
2010-07-31
S
v
en
V
e
r
doolaege
add isl_union_
p
w_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
rdoolae
g
e
add isl_union_m
a
p_card
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdool
a
eg
e
isl_pw
_
qpolynomial_sum: take tuple
n
ame
s
into account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
isl_map_card: pr
e
serve full
d
o
ma
i
n d
i
mens
i
on i
n
formati
o
n
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verd
o
olaeg
e
updat
e
isl for
c
h
a
nge in
i
sl_hash_tabl
e
_
foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaeg
e
bar
v
in
o
k_enumer
a
t
e
.
c
c
: fix pri
n
t
f fo
r
m
at
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
d
o
c: add some m
o
re
p
ap
e
r
s ref
e
ring to the library
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
a
e
g
e
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
up
d
ate isl
t
o version
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
config
u
re
.
in:
pr
o
pe
r
l
y add
isl flags
a
nd
l
ibs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
configur
e
.
in: drop call
t
o g
l
_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdool
a
ege
genf
u
n
.
c
c:
f
i
x
printf
for
m
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Ve
r
doolaege
test
_
appro
x
.
c: fix pr
i
nt
f
forma
t
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
test
_
bound
.
c: fix printf form
a
t
commit
|
commitdiff
|
tree
next