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
barvinok_bound: rewrite in C
2010-11-12
Sven
V
erd
o
olaege
barvinok_bound: re
w
rite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoolae
g
e
barvinok_{sum
m
ate,
b
oun
d
}: take
i
sl inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n Verdoolae
g
e
tes
t
_bou
n
d: switch t
o
isl represe
n
tation even
e
ar
l
ier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
test_boun
d
: swit
c
h to
isl rep
r
ese
n
tation earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoolaege
iscc
:
a
dd
p
olynomial a
p
proxi
m
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoola
e
ge
barvinok_summate: r
e
write
i
n C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
S
v
en Ver
d
oolaege
bar
v
inok_sum
m
ate: use
i
sl inte
r
face
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdoolaeg
e
b
oun
d
.
cc:
d
r
op
d
e
ad code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven Ve
r
doolaege
d
oc: more information about u
s
in
g
sets and maps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdool
a
ege
doc: up
d
at
e
some
ref
e
rences
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdo
o
laege
iscc: add
po
l
y ope
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoola
e
ge
iscc: ad
d
s
c
an operatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sven
Verdoolaege
isl_
p
w_qpolynomial_s
u
m: han
d
le exis
t
entials in wra
p
ped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
S
v
e
n
Verdoolaege
update
i
sl
for renaming of
i
sl_map_remo
v
e
commit
|
commitdiff
|
tree
2010-10-20
Sve
n
Verdoolaege
ve
r
sion
.
c: show use of
C
LooG
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verdoolaege
doc: a
bit more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erd
o
olaege
is
c
c:
a
dd
be
f
ore and after ope
r
a
tions
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
isc
c
: add
i
d
e
n
tity operation
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolae
g
e
is
c
c: bre
a
k out off ma
i
n loop whe
n
p
r
in
t
e
r no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Ver
d
ool
a
ege
iscc: suppo
r
t
e
xten
d
ed PolyLib output format
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Verdo
o
laeg
e
con
f
igure
.
in
:
per
f
orm c
h
e
c
k
for GMP
su
p
port in N
T
L
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoola
e
ge
iscc: add composition operati
o
n on piecewise quasipol
y
nomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
i
scc:
a
dd de
p
e
nd
e
nce
an
a
l
y
sis o
p
erati
o
n
s
commit
|
commitdiff
|
tree
2010-10-11
S
ven
Verdool
a
ege
iscc: re
g
ister e
x
tr
a
keywo
r
ds
i
n
generi
c
way
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n
V
erdoolaege
u
s
e
isl to perf
o
r
m
"
man
u
a
l_count"
commit
|
commitdiff
|
tree
2010-10-11
S
v
en
V
erdoolaege
a
l
low
buildin
g
without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoo
l
aege
P
olyhe
d
ron_
R
educed_B
a
sis: optional
l
y use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
fix
d
ependenc
e
on bu
i
ld is
l
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
o
o
laege
isl
_
map_card: use isl for factorization
commit
|
commitdiff
|
tree
2010-09-14
S
v
e
n Verdoolaege
isl_map_card: sp
l
i
t dimensi
o
n fiddling from conversio
n
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Ve
r
doolaege
isl_map
_
card: use isl_
p
w_qpolynom
i
al_sum if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
b
a
r
v
i
nok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Ver
d
oo
l
a
e
g
e
update i
s
l for fix in
para
m
eter
ali
g
nment
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
r
d
oolaege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n Verd
o
olaege
iscc
:
ad
d
lexicographic opera
t
ors
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Verdoolaege
upd
a
t
e
i
s
l to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verd
o
olae
g
e
iscc: a
d
d "source" operat
i
on
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdoolaege
i
s
c
c: add s
u
pport
for string
s
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: print error message o
n
use of unknow
n
identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc:
s
upport union sets in ve
r
t
i
ces o
p
eration
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oola
e
ge
add isl_list_conc
a
t
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
b
a
rvinok_
b
ound: use isl to split
periods
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n
V
er
d
oola
e
ge
update is
l
f
or isl_pw_qp
o
lynomial_s
p
l
i
t
_perio
d
s
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Verdoo
l
aege
doc: mark PolyLi
b
i
n
terfa
c
e obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Ver
d
oolaege
M
a
kefile
.
am:
d
rop refere
n
c
es t
o
obsolete @bv_bar
v
i
nok_bound
@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
evalue_c
o
nvert
.
c
c
:
e
v
alue_print_isl: pr
i
nt e
n
d-of
-
li
n
e
commit
|
commitdiff
|
tree
2010-08-30
Sve
n
Ve
r
do
o
lae
g
e
iscc: allo
w
coer
c
ion of binary list into first elemen
t
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoo
l
aege
bar
v
inok_bound: conv
e
rt
to isl_pw_qpolyn
o
mial
once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoo
l
aege
b
arvino
k
_
bound: use isl to split
o
n
dom
a
in size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
set sensible defaul
t
s with --p
o
l
ynomial-ap
p
roximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
e
n V
e
rdoolaege
isl_p
w
_qpolynomi
a
l_sum: reuse ba
r
v
i
n
o
k_options if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doo
l
aege
is
l
_m
a
p_card: re
u
se barvinok_options i
f
ava
i
lable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaeg
e
up
d
ate isl for aligning para
m
eters of
u
nion arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaeg
e
iscc
:
add "join" operat
i
on on fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
isc
c
: add "join" operat
i
on on maps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc:
s
upport
addition o
n
a
pair o
f
a fold and a quasipo
l
y
n
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaeg
e
update isl
for add
i
ng t
y
pes to isl_{union_,}pw_qp
o
lynomial
_
fold
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
allow
c
odegen
o
n sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
iscc: codegen: detec
t
strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
iscc
:
use s
i
mplified
CLooG in
t
erface
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
update isl
f
or ren
a
me of
isl_
p
w_qpolynomi
a
l
_fol
d
_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
scc
.
c: union_pw_qpolynomi
a
l_upper_
b
ound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
V
erdool
a
ege
summate
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven
V
erd
o
olaege
isl_map_apply_pw_qpolynomial: f
i
x t
y
p
o
commit
|
commitdiff
|
tree
2010-08-10
S
ven Ver
d
oolaege
update
i
sl from isl_u
n
ion
_
map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
is
c
c: allo
w
inv
e
r
s
e on non-u
n
i
on
maps ag
a
i
n
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdool
a
ege
iscc: add
w
rap
a
n
d unw
r
a
p
op
e
rations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
a
d
d isl_union_ma
p
_ap
p
ly_union_pw_qpoly
n
omial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_
p
w_qp
o
lynomial_sum: handl
e
i
sl_pw_
q
p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoola
e
ge
up
d
at
e
isl
f
or
nest
e
d dimension specifications
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdo
o
l
a
ege
isl_
m
ap_
c
a
r
d: post
p
one shuffling around of dimens
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
update isl for isl_ba
s
ic_map_mov
e
_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoola
e
g
e
isl_p
w
_qp
o
lynomial_su
m
: push conversion t
o
PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verd
o
ol
a
ege
is
l
_
p
w_qpolynomial_sum: check
for unbounded d
o
mains
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoola
e
ge
a
void use of is
l
_d
i
m internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
sc
c
: support codeg
e
n oper
a
tion
i
f CLooG i
s
available
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaeg
e
i
s
cc: switch
t
o usi
n
g un
i
ons
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
add is
l
_union_pw_qpo
l
ynomial_
s
um
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
add
i
s
l
_
union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
sl
_
pw_qpolynom
i
al_sum: t
a
ke t
u
ple
n
ame
s
into
account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_map_c
a
rd: p
r
e
s
erv
e
full dom
a
in dimen
s
ion informa
t
ion
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
r
doolaege
upd
a
t
e
isl for
c
hange in isl_hash_
t
able
_
f
oreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
ba
r
vino
k
_enumerate
.
cc: fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-07-03
S
v
en Ver
d
oolaege
d
o
c: add
s
ome more papers refering
t
o the library
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n Verdoolaege
barvinok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
o
o
l
aege
update isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
c
o
nfigure
.
in
:
properly add
is
l
flags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdool
a
ege
configure
.
in: drop
ca
l
l to gl_EARL
Y
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
genfun
.
cc: fix print
f
for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
tes
t
_approx
.
c: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_bo
u
nd
.
c
:
fix printf fo
r
ma
t
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdo
o
l
aege
confi
g
ure
.
in: stop comp
i
lin
g
Om
e
g
a by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
verify_lex
s
maller
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-27
S
v
e
n
Verdoolaege
evalue
.
c:
a
void us
e
of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
e
v
alue
_
is
l
.
c:
fix typ
o
commit
|
commitdiff
|
tree
2010-06-20
Sven
Verdo
o
l
aege
iscc: r
e
cover fr
o
m errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verd
o
o
l
aege
update isl for improve
d
error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-19
S
ven V
e
rdoo
l
a
e
ge
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
S
ven Ve
r
doolaege
doc: iscc
:
u
pda
t
e
documen
t
ation
of
"
ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
est_
a
ppro
x
: include ctype
.
h
f
or
i
s
s
pace
commit
|
commitdiff
|
tree
next