repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
configure.in: propagate absolute isl builddir to submodule isl-polylib
2010-11-28
Sven Verdool
a
ege
configure
.
in: propa
g
ate absolute isl builddir to s
u
bmodule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoola
e
ge
update isl
f
or rename of header files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolaege
ev
a
l
ue_f
l
oor2frac: don't
a
s
s
ume coefficients of floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoola
e
ge
test_bou
n
d: stop tes
t
i
n
g
after pred
e
t
ermin
e
d
nu
m
be
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
barvinok_bou
n
d: rewrite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n Verd
o
ola
e
g
e
barvinok_{sum
m
a
t
e,bound}: tak
e
isl i
n
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolaege
test_bound: switch to
isl representation even earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
o
o
la
e
g
e
t
est_bound: switch
t
o isl rep
r
esent
a
tion earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdool
a
ege
iscc
:
add po
l
ynomia
l
approximat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
b
a
rvi
n
ok_summa
t
e
: rewrite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven
Verdoolaege
b
arvino
k
_summate: use isl interfa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sve
n
Verdoolaege
bound
.
cc:
d
rop de
a
d
c
ode
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
S
ven Verdool
a
ege
doc: more information abou
t
using sets
a
n
d
m
aps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Ve
r
doo
l
a
e
g
e
doc: update
som
e
r
eferences
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
S
v
en Verdoolaege
iscc: add
p
oly operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
S
ven Verdoolaege
i
scc:
a
d
d
scan operatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
S
ven
Ve
r
doolaege
isl_pw_qpolynomial_sum: handle
exis
t
entials in wr
a
pped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoola
e
g
e
update
i
sl for renaming of isl_map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoo
l
ae
g
e
ve
r
sion
.
c: show use of
CLo
o
G
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdoolaege
d
o
c: a bit more info on
iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdool
a
ege
iscc: add before and
a
fter
op
e
r
ations
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdoolae
g
e
iscc:
a
dd i
d
entit
y
opera
t
ion
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oolaege
iscc:
b
re
a
k
out off main loop when p
r
inte
r
n
o
lo
n
g
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Verdoolaege
isc
c
: suppo
r
t e
x
t
e
nded PolyLib output
f
ormat
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdo
o
laege
conf
i
gure
.
in: perform check
for GMP support in
NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc:
a
dd composition
o
pe
r
a
tion on piece
w
ise quasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc:
add depende
n
ce
a
nalysis operations
commit
|
commitdiff
|
tree
2010-10-11
Sven
Ve
r
doolaege
iscc: register extra keyword
s
in gen
e
r
ic
w
ay
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verd
o
olaege
us
e
i
s
l t
o
perform "manual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaege
allow bu
i
lding without
piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
l
aege
Polyhedron_Red
u
ced_Basis: opti
o
nal
l
y u
s
e isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
fix dependence
on buil
d
isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
laege
isl_map
_
ca
r
d: use i
s
l
f
or
f
actorization
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdo
o
l
a
ege
isl_ma
p
_card: split dimen
s
ion
fiddling from conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sve
n
Ve
r
doolaeg
e
isl_map
_
card: use
isl
_
pw_qpolynomia
l
_sum if
r
equested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoola
e
g
e
b
ar
v
i
nok 0
.
3
2
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdo
o
laege
update isl for
f
ix in parame
t
er alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven
Verdoolaege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
S
v
e
n Verdoolaege
iscc:
a
dd lexicographic operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoola
e
g
e
u
p
date isl to v
e
r
sion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
S
v
en Verdoolaege
iscc: a
d
d "so
u
r
ce
"
operati
o
n
commit
|
commitdiff
|
tree
2010-09-06
Sven
Verdoolaege
iscc
:
add support for
stri
n
g
s
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doolaege
isc
c
:
print error
m
essa
g
e
o
n
use of unknown i
d
en
t
if
i
er
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
erdoolaege
iscc: s
u
pport union s
e
ts in v
e
rtices o
p
erati
o
n
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Ve
r
doola
e
ge
add isl_l
i
st_conca
t
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
erdoolaege
bar
v
inok_
b
ound:
use isl to split periods
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n Verdo
o
laege
update isl for isl_p
w
_qpoly
n
om
i
al_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Ve
r
dool
a
ege
doc: mark PolyLib inte
r
f
a
c
e
obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaeg
e
M
akefile
.
am
:
drop references to obsolete @bv_
b
arvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
evalue_convert
.
cc:
e
v
a
lue_print_is
l
: print end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Ve
r
doolaeg
e
iscc: allow
coerci
o
n
o
f
bi
n
ary l
i
st i
n
to fir
s
t
el
e
ment
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdo
o
laege
barvinok_bou
n
d: con
v
ert to isl_pw_qpo
l
ynom
i
al
once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolae
g
e
ba
r
vinok_b
o
u
n
d: use isl to split on
domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
se
t
sensibl
e
defaults with --polyn
o
mia
l
-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdoolaege
isl_pw_qp
o
lynomial_sum: reu
s
e
barvi
n
o
k_option
s
if avail
a
ble
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven Ver
d
o
o
laeg
e
i
sl_map_card: reu
s
e barvinok_opti
o
ns
i
f available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven Verdoolaeg
e
up
d
a
t
e is
l
for a
l
ig
n
i
ng paramete
r
s of union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n
V
erdoolaege
iscc:
a
dd "join" op
e
ration on
f
olds
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
er
d
o
o
laeg
e
iscc: add "joi
n
"
operation
o
n
m
a
p
s a
n
d folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc:
s
upport add
i
tion
o
n a pair o
f
a fo
l
d an
d
a quasipoly
n
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
V
erdoolaege
update
isl for
a
dding types to i
s
l_{union_,}pw_qpolyno
m
ial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
all
o
w
cod
e
g
e
n
on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
is
c
c: code
g
en
:
d
et
e
ct strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
iscc: use
simp
l
ifie
d
CLooG interfa
c
e
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
e
rdoolaege
upd
a
te isl for ren
a
me of isl_pw_qpoly
n
omial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolae
g
e
iscc
.
c: union_pw_qp
o
lynomial_upper
_
bound
:
f
i
x
me
m
or
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaeg
e
summ
a
te
.
c: f
i
x typo in com
m
e
n
t
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdool
a
ege
isl_map_apply_pw_qpolynomial: f
i
x
typo
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n Verdoo
l
aege
u
p
date is
l
fro
m
isl_union_m
a
p fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoo
l
aege
iscc: allow inverse on
n
on-union map
s
again
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n Verdoolaege
iscc: add
w
rap and un
w
ra
p
op
e
rations
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaege
add isl_union_map_ap
p
ly_union_pw_
q
p
o
lynomi
a
l
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
i
sl_pw_q
p
o
l
ynomial_sum
:
han
d
le isl_pw_qpoly
n
o
m
ials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolaege
upd
a
te isl
f
or n
e
sted dimensio
n
spe
c
ificatio
n
s
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdo
o
l
aege
isl_map_card: postpone shuffling around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update isl for isl_basic_map
_
mov
e
_d
i
ms
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdoolaege
isl_pw_qpolynomial_sum: push con
v
ersion
t
o PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_pw_qpolyno
m
ial
_
sum:
check for unbounded d
o
mains
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
erdo
o
laege
a
v
oid
use of isl_dim inter
n
als
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolae
g
e
iscc: support
c
odegen op
e
ration if CLooG
is avail
a
b
l
e
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: switch to using
u
n
i
ons
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_unio
n
_pw_qpol
y
nomi
a
l_su
m
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
ad
d
isl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
dool
a
e
ge
i
s
l
_pw_qpolynomia
l
_sum: take tuple names into accoun
t
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_map_c
a
rd: pre
s
e
r
v
e full dom
a
i
n
d
i
mension inform
a
tion
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
update isl for c
h
ange i
n
is
l
_hash_
t
able_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
barvinok_enu
m
erate
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Ve
r
dool
a
ege
do
c
: add some mor
e
papers refering to
the li
b
rary
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
g
e
b
arvinok
0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
update isl
t
o version 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
co
n
f
igur
e
.
i
n
:
pro
p
erly add is
l
flags and libs t
o
pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
configure
.
in: drop call to gl_EA
R
LY
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdool
a
e
g
e
ge
n
fu
n
.
cc:
f
ix
pri
n
tf fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test
_
approx
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
S
ve
n
Verdoolaege
t
e
st_bound
.
c:
fix printf
format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
c
o
nfi
g
ure
.
in: stop compil
i
ng Om
e
ga by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
doolaege
verify_lexsm
a
l
l
e
r
.
c: fi
x
ty
p
o
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
evalue
.
c:
av
o
id use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
ev
a
lu
e
_isl
.
c: fix
t
y
po
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
erdoolaege
iscc: re
c
over from errors
commit
|
commitdiff
|
tree
next