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 Verdoolaege
configure
.
in: propag
a
te absolute isl builddir to
s
ubmodule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sv
e
n
Ver
d
oolaeg
e
update isl for rena
m
e of hea
d
er files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
evalue_floor
2
frac: do
n
't assume
c
o
efficients of floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
t
est_bound
:
s
top testing after
pr
e
determined number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
barvinok_boun
d
: rewr
i
te in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Ve
r
doolae
g
e
barvinok_{su
m
mate,bound
}
: take isl input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
test_boun
d
:
switch to isl represen
t
ation even earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolaege
t
es
t
_
bound: sw
i
tch to
i
sl re
p
res
e
ntatio
n
earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en
Verdoolaege
i
scc: ad
d
p
o
lynomia
l
a
pproximations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sv
e
n Verdoolaege
barvinok_su
m
mate: rewr
i
te in
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
S
v
en
Verdoo
l
a
e
ge
barv
i
n
ok_sum
m
ate: u
s
e isl int
e
rface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdo
o
la
e
ge
bound
.
c
c:
d
r
o
p dead code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
S
ven V
e
r
doolaege
doc: more i
n
formation about using
s
ets and
maps i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
S
ven Verdoolaege
d
oc:
u
p
date
some references
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoo
l
aege
iscc: add
poly
o
p
e
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdo
o
laege
i
scc: add
s
can oper
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sven
V
e
rdo
o
laege
isl_p
w
_qpolynomial_
s
um
:
h
a
n
d
l
e
exi
s
tenti
a
ls in wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaeg
e
update
is
l
for
renaming
o
f isl_map_rem
o
ve
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoolaege
ve
r
si
o
n
.
c
:
s
ho
w
use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoola
e
ge
d
oc: a b
i
t
m
ore i
n
fo on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoola
e
ge
iscc:
add be
f
ore and
a
fter operations
commit
|
commitdiff
|
tree
2010-10-18
S
v
e
n Verdoolaege
iscc:
add identity ope
r
a
tion
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdool
a
ege
i
scc:
b
reak out
off main loop when printe
r
no l
o
nger
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
V
e
rdo
o
laege
is
c
c: support ex
t
ended Pol
y
Lib output format
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
rdoolaege
c
o
nfigur
e
.
in: perform ch
e
ck
f
or GMP suppo
r
t
in NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoolaege
iscc
:
add
composit
i
o
n operation on p
i
ecewi
s
e quasipolynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
isc
c
:
add depende
n
ce a
n
a
l
y
s
i
s
operations
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
laege
iscc:
register extra
k
e
ywor
d
s in generi
c
w
a
y
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oo
l
a
e
ge
use
i
sl to pe
r
for
m
"m
a
n
ua
l
_coun
t
"
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n
V
erdoolaege
all
o
w building
without pip
l
ib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
Polyhedron_Reduced_Basis: optionally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoo
l
aege
fix depen
d
ence on build
isl
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaege
isl_map_
c
ar
d
: use i
s
l for facto
r
ization
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
isl_map_card: s
p
lit
dimensi
o
n fi
d
dling f
r
om convers
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
V
erdoolaege
isl_ma
p
_card:
use isl_pw
_
q
po
l
yn
o
mial_
s
u
m
if re
q
ueste
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Ve
r
doola
e
ge
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sve
n
Verdoola
e
ge
update isl for
fix in parameter alig
n
ment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolae
g
e
b
a
r
v
inok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
S
ven Verdoolaege
iscc
:
add
l
exic
o
graphic operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
update isl to versi
o
n
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoolae
g
e
iscc: add "
s
ource" operation
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
erdoo
l
aege
iscc: add su
p
port for string
s
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdo
o
laege
iscc
:
print error message on use of u
n
know
n
ide
n
ti
f
ier
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doolaege
iscc: support union se
t
s in
vertices operat
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
add isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
erdoolaege
barvinok_bound: use isl to split
periods
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n
Verdoo
l
aege
update isl
for isl
_
pw_qpolyn
o
mial_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoo
l
a
e
ge
d
o
c: m
a
r
k
PolyLib interface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verdoolaege
Makefile
.
am: dro
p
references to obsolete @bv
_
barvin
o
k_b
o
und@
commit
|
commitdiff
|
tree
2010-08-31
Sven V
e
r
d
ool
a
e
ge
evalue
_
conve
r
t
.
cc: e
v
alue_print_
i
sl: print end-of-line
commit
|
commitdiff
|
tree
2010-08-30
S
ven Verdo
o
laege
isc
c
: a
l
low coerc
i
o
n of bi
n
ary l
i
st into first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaeg
e
barvinok_
b
ound: con
v
ert to
i
s
l_pw_qpoly
n
omial o
n
ce
commit
|
commitdiff
|
tree
2010-08-28
Sven Ve
r
doolaege
b
arvino
k
_
b
o
u
n
d: use
i
sl to split
on d
o
ma
i
n siz
e
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
rd
o
olaege
s
e
t sensible defau
l
ts wit
h
-
-
poly
n
o
m
ial-approximat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven Verdoo
l
aege
is
l
_
pw_qpo
l
y
no
m
ial_sum: r
e
use bar
v
inok_options if availa
b
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdo
o
lae
g
e
isl_map_card:
reuse barv
i
nok_options i
f
availabl
e
i
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
e
n Ve
r
doolae
g
e
upda
t
e
i
sl for aligning
p
arameters
o
f union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
iscc: add "join" op
e
ration
on fol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Ve
r
d
o
o
l
aege
isc
c
:
a
dd "join"
o
pera
t
ion
on maps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: support addition on a
pair of a fold
and a quasipo
l
y
no
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
upd
a
te isl
for a
d
din
g
t
y
pe
s
t
o
i
sl
_
{union_,}pw_
q
pol
y
nomia
l
_f
o
l
ds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
Verd
o
olae
g
e
allow codegen
on
se
t
s
commit
|
commitdiff
|
tree
2010-08-18
Sven
Ver
d
oolaege
iscc: c
o
degen:
detect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
do
o
laeg
e
i
scc
:
use simp
l
if
i
ed CLooG
i
nterf
a
ce
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
upda
t
e isl fo
r
rename
o
f isl_pw
_
qpolynomial_fold_
a
dd
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
iscc
.
c:
u
nion_pw_qpoly
n
omial_upper_bound: f
i
x mem
o
ry
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
sum
m
ate
.
c:
f
i
x
t
ypo
i
n
comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
isl_map_apply_pw_qpolynomia
l
:
fix typo
commit
|
commitdiff
|
tree
2010-08-10
S
ven Ve
r
dool
a
e
ge
update
i
s
l from isl_
u
nion_map fixes
commit
|
commitdiff
|
tree
2010-08-10
S
v
en Ver
d
o
o
l
a
e
ge
iscc
:
a
llo
w
i
nverse
o
n non-union maps a
g
ain
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doo
l
a
ege
iscc: add
w
rap and unwrap o
p
er
a
tions
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
add isl_union_map_apply_unio
n
_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolaege
i
s
l_pw_
q
p
olynomial_
s
um: h
a
ndle isl
_
pw_qpo
l
ynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
Ver
d
o
o
laege
up
d
at
e
isl for nested dimension sp
e
cifications
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n
Verdoolaege
isl_map_car
d
: p
o
stpone
s
huffling around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
up
d
ate isl for isl
_
basic_m
a
p_move
_
dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_pw_qpo
l
yn
o
m
i
a
l
_s
u
m: p
u
s
h con
v
e
r
sion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Ve
r
doolaege
is
l
_p
w
_
qpo
l
ynomial_sum:
c
h
e
ck fo
r
unbo
u
nded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
d
o
olaege
avo
i
d use of isl_
d
im
i
nt
e
rnals
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
iscc: support codeg
e
n op
e
ration if CLoo
G
is available
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
i
s
cc: swi
t
ch to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_union_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoo
l
a
e
g
e
add isl_union_map_ca
r
d
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
s
l_pw_qpolynomial_sum: take tuple names i
n
to account
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
isl_map_card: preserve full domain dimension information
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
update isl for chang
e
in isl_hash_
t
able_f
o
reach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdo
o
laege
bar
v
ino
k
_enumerate
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdo
o
laege
doc: a
d
d
some m
o
re papers re
f
er
i
ng t
o
the library
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
V
e
r
d
o
olaege
b
a
rvinok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
update
isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
c
o
nfigure
.
i
n
:
p
r
o
perly ad
d
isl
flags
a
nd li
b
s to
p
k
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
v
en
Verd
o
olaege
confi
g
ure
.
in:
drop call
to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolae
g
e
genfun
.
cc: fix prin
t
f
f
o
rm
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
test_a
p
prox
.
c: fix
p
rintf forma
t
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
r
do
o
lae
g
e
te
s
t_bound
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doo
l
aeg
e
configure
.
in: st
o
p compiling O
m
e
g
a
b
y default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaeg
e
verify_l
e
xsmaller
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-27
Sven
Ve
r
doolaege
evalue
.
c:
a
v
o
id use of a
l
loca
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolaege
ev
a
lu
e
_is
l
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verd
o
olaege
iscc: r
e
cov
e
r f
r
om errors
commit
|
commitdiff
|
tree
next