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 for rename of isl_map_insert
2011-01-05
Sven Verdoolaege
u
p
d
ate isl to version 0
.
0
5
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdool
a
ege
i
scc: don
'
t
allow code gener
a
t
i
on on un
i
on set
s
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sv
e
n Verdoola
e
ge
u
p
date isl to version 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven V
e
rd
o
olaege
avoid us
e
of
i
sl_set and isl_map internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sv
e
n Verd
o
olaege
sepa
r
ate o
u
t
i
sl in
t
e
r
face
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
S
v
e
n Verdoo
l
aege
c
o
nfigu
r
e
.
in: propagate absolute isl builddir to s
u
bmodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven
V
e
r
doo
l
aege
up
d
ate
i
s
l for rename o
f
header files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
olae
g
e
e
v
a
lue_floor2frac:
don't assume co
e
ff
i
cient
s
of floors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doo
l
aeg
e
test_b
o
und: stop testi
n
g a
f
ter predetermined numbe
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdool
a
ege
barvinok_bound: rewr
i
te
i
n C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoola
e
g
e
barvinok_{su
m
m
ate,bou
n
d
}: take isl input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdo
o
laege
test_bound
:
swi
t
ch to i
s
l rep
r
esentati
o
n
even earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoola
e
ge
test
_
bound: swit
c
h to isl representat
i
o
n earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aeg
e
i
s
cc: add polynomial
a
ppro
x
imatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
v
en Ver
d
oo
l
aege
barvi
n
ok_summ
a
t
e: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sv
e
n V
e
rdoolaege
b
a
r
v
inok_summate: use isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven
Verdoolaege
bou
n
d
.
cc: d
r
o
p dead co
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven
V
e
r
dool
a
ege
doc: more info
r
mation about u
s
i
n
g sets and maps i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
doc: u
p
d
ate some refer
e
nces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sv
e
n Verdoolaege
i
scc: add po
l
y
oper
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoolaege
iscc: a
d
d sca
n
op
e
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
S
ven Verdoolaege
isl_pw
_
qpolyn
o
mial_sum:
h
andle existentials in wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
updat
e
isl
f
or renaming of isl_ma
p
_remove
commit
|
commitdiff
|
tree
2010-10-20
Sv
e
n Verdoolaege
v
e
r
sion
.
c: show use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erd
o
olaege
d
oc: a bit more inf
o
on iscc
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verdoolaege
i
scc: add be
f
ore an
d
after operations
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
rd
o
olaege
i
s
cc: add identity o
p
era
t
ion
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
e
r
d
o
o
laege
i
s
cc: brea
k
out
off main
l
o
op
when printer no lon
g
er
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdoolae
g
e
isc
c
: support extended PolyLib
output format
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verdoo
l
aege
configur
e
.
in: perform check for GMP support
i
n
NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
do
o
laege
isl_Polyhedron_Sample: add
m
issing
initializat
i
on
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
i
s
c
c: add compo
s
itio
n
ope
r
a
t
i
on on piecewise
quasipolynomia
l
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
d
o
olaege
iscc: add d
e
pendence
analys
i
s
op
e
rations
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
e
r
d
oolae
g
e
iscc: register e
x
tra keywords in gener
i
c
w
a
y
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
o
o
laege
use is
l
t
o pe
r
form "manual_
c
o
u
nt"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
allow
bu
i
lding without pip
l
i
b
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
V
e
rdo
o
laege
Po
l
yhedron_
R
educ
e
d_Basis
:
optionally us
e
isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolaege
fix
depende
n
ce on
bui
l
d isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
i
s
l_map_
c
a
rd: us
e
i
s
l for fac
t
oriza
t
ion
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
isl_map_card: s
p
l
it
d
imension fiddling from conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
isl_map_card
:
use i
s
l_pw_qpolynomial_su
m
i
f
requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
v
en Verdoolaege
barvino
k
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdool
a
ege
update isl for fix in
parameter
alignme
n
t
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n Verdoolaege
bar
v
inok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n Verdoo
l
aege
isc
c
: add lexicographic operators
commit
|
commitdiff
|
tree
2010-09-10
S
ven Verd
o
olaege
update isl to versio
n
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoolaege
iscc:
add "sou
r
ce" operation
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdoolaege
i
s
cc: a
d
d support for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doolaege
i
s
cc: print error message on use of
unkno
w
n identi
f
ier
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Verdoolaege
iscc:
s
upport union sets in vert
i
ces oper
a
t
i
o
n
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
erd
o
ola
e
ge
a
dd isl_l
i
st_conca
t
commit
|
commitdiff
|
tree
2010-09-05
S
v
en Verdoolaege
barvinok_bound: use isl to spli
t
periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
update isl for isl
_
pw_qpolynom
i
al_spli
t
_periods
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Ver
d
o
o
lae
g
e
d
oc: mark Pol
y
L
i
b inte
r
face
obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoo
l
aege
Ma
k
e
f
ile
.
am: drop
r
eferences to obsolete @bv
_
b
a
rvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
S
v
e
n Verd
o
olaege
eval
u
e_convert
.
cc: eval
u
e_p
r
int_isl: prin
t
end-o
f
-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdool
a
ege
iscc: allow coercio
n
of bin
a
ry list into
f
irst e
l
ement
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoola
e
g
e
barv
i
nok_
b
o
u
nd: convert t
o
isl_p
w
_qpoly
n
o
m
ial once
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n
V
erdoolaege
barvino
k
_
bound: use isl to
s
p
lit
o
n
d
o
main si
z
e
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
set sensible
defa
u
lts with -
-
polynomial-ap
p
roximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
Verdoolaege
i
s
l_pw_qp
o
lynom
i
al_sum: re
u
s
e
barvinok_
o
ptions if availab
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaege
i
sl_map_card: reuse barvinok_optio
n
s if a
v
ailable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Verdoolaege
updat
e
isl for aligning parameters of union argume
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
iscc: a
d
d
"
j
oin" operation on
f
old
s
commit
|
commitdiff
|
tree
2010-08-18
S
ven
Ver
d
oolae
g
e
iscc: ad
d
"join" operat
i
on on ma
p
s
and fold
s
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaege
i
scc: support
add
i
t
ion on a pair
o
f a fold and a
quasip
o
lyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoola
e
ge
u
p
date
i
s
l for adding typ
e
s to
isl_{u
n
ion_,}pw_qpolynom
i
al_fol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sven
Ve
r
doolaeg
e
al
l
ow co
d
egen on se
t
s
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
i
scc: codege
n
:
d
e
tec
t
st
r
ides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
iscc
:
use si
m
plified
CLooG
interface
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
update is
l
for rename of isl_pw_qpoly
n
omial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Ve
r
dool
a
e
g
e
iscc
.
c:
union_pw_q
p
olynomial_uppe
r
_bound
:
fix m
e
mory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
V
e
rdoolaege
summat
e
.
c:
f
i
x t
y
p
o in
c
omment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
isl_map_apply_pw_qpolynomial:
fi
x
ty
p
o
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
u
pdate isl
from isl
_
unio
n
_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdo
o
laege
iscc: all
o
w
inverse on non-un
i
on maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
iscc: add wrap and unwrap o
p
erati
o
ns
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoola
e
ge
add isl_un
i
o
n
_map_apply_union_p
w
_q
p
o
ly
n
omia
l
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
isl_pw_q
p
olynomial_s
u
m: handle isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaege
upd
a
te isl
f
o
r nested dimension specifi
c
atio
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_map_car
d
: postpone shuf
f
ling ar
o
un
d
of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Ve
r
doolaege
update isl for isl_ba
s
ic_map
_
m
ove_
d
i
ms
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolaege
isl_pw_qp
o
l
y
n
omial_sum: push
c
o
nversion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
S
v
e
n
Ve
r
doolaege
isl_pw_qpolyn
o
m
ial_sum: ch
e
c
k
f
or unbounde
d
domains
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verdoolae
g
e
avoid use
o
f
i
sl_dim internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laege
is
c
c: support codegen operation if CLooG
is availabl
e
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
iscc:
s
witch to u
s
ing unions
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolae
g
e
ad
d
isl_union_pw
_
qpolyn
o
mial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdo
o
laege
add is
l
_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
S
ven V
e
r
d
oo
l
aege
i
s
l_pw_qpolynom
i
al_sum: take tuple names into
accou
n
t
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoo
l
aege
isl_map_card: pre
s
e
r
ve
f
ull d
o
mai
n
dim
e
n
s
ion informat
i
on
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
update isl for change i
n
isl_hash_
t
a
b
le
_
foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
barvinok_enu
m
erate
.
cc: fix
print
f
format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoo
l
a
ege
doc:
a
dd
s
o
m
e more papers
r
efering
to the libr
a
r
y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
update isl
t
o version 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
configure
.
in: properly add
i
sl flags
a
nd libs to
p
k
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configu
r
e
.
in
:
drop cal
l
to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
e
rdoola
e
ge
genf
u
n
.
cc: fix prin
t
f form
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_approx
.
c: fix pr
i
ntf format
commit
|
commitdiff
|
tree
next