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 0.34
2010-11-12
Sven Verdoolaege
barvinok_bound: rewrite i
n
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Ver
d
oo
l
a
e
ge
barvino
k
_{s
u
mmate,bo
u
nd}: take isl i
n
p
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erd
o
olaege
test_bo
u
nd: swit
c
h to isl
r
epresentati
o
n even e
a
r
l
ier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verd
o
olaege
test
_
bou
n
d: switch
t
o isl repres
e
ntation earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Ve
r
do
o
laege
iscc: add po
l
ynomial ap
p
r
o
xi
m
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
barvi
n
ok_summate: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
v
en Ve
r
doolaege
barvinok_summat
e
: use isl
interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
S
v
en Verdoola
e
ge
bound
.
cc:
drop
d
ead code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoolaege
d
oc: mor
e
information
a
bout using
sets and maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven
Verdoolaege
doc: update some references
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Ve
r
d
o
o
l
a
ege
iscc: add
p
oly operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoolae
g
e
i
scc: add scan op
e
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdo
o
laeg
e
i
s
l
_pw_qpol
y
nomia
l
_
sum
:
hand
l
e existenti
a
ls in
w
ra
p
ped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Ve
r
doolaege
u
pdate isl for
r
en
a
m
in
g
of isl_map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven
Verdool
a
ege
version
.
c: sho
w
use
of
C
L
ooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
doc: a bit more info
o
n iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oola
e
ge
iscc: a
d
d before a
n
d after operations
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdoolae
g
e
iscc: ad
d
id
e
ntity operati
o
n
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
rdoolaege
iscc: break out off main loop when
printer no l
o
nger
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
olae
g
e
i
s
cc: support
e
x
t
e
nd
e
d
P
olyLi
b
ou
t
put format
commit
|
commitdiff
|
tree
2010-10-18
Sven
Verdo
o
laege
config
u
re
.
i
n
: p
e
rform c
h
ec
k
for G
M
P support in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
isl_Polyhedro
n
_Sampl
e
: add missing initiali
z
ation
commit
|
commitdiff
|
tree
2010-10-11
S
ve
n
Verdoola
e
ge
iscc: add composition o
p
era
t
ion on piece
w
ise qua
s
i
po
l
yn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
r
doola
e
g
e
iscc: ad
d
dep
e
ndenc
e
analysis oper
a
tions
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoolae
g
e
iscc
:
regis
t
er extra keywo
r
ds
in generi
c
w
ay
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaege
us
e
isl
to
perf
o
rm
"
man
u
a
l_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven
Ver
d
oolaeg
e
a
llow building withou
t
piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
l
a
ege
P
olyhedron
_
Reduc
e
d_Basis: optionally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n
Ver
d
oola
e
g
e
f
i
x
d
e
p
e
nd
e
nce on build isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
is
l
_
map_c
a
rd: use isl for f
a
ctori
z
ation
commit
|
commitdiff
|
tree
2010-09-14
Sven Ver
d
oolaege
isl_
m
ap_card: s
p
lit d
i
mension fi
d
d
l
ing
f
r
om co
n
version
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
v
e
n
V
e
rdoolaege
isl_map_ca
r
d: u
s
e
i
sl_pw_qpolynomial_sum if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
ven V
e
rdool
a
e
g
e
b
a
rvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
update isl f
o
r fix in parameter alig
n
ment
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n
V
er
d
o
olaeg
e
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Ve
r
doo
l
ae
g
e
iscc: add lexicog
r
aph
i
c
operators
commit
|
commitdiff
|
tree
2010-09-10
Sven
Verd
o
olae
g
e
update isl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verd
o
olaege
i
s
c
c
:
a
dd "source"
o
perat
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sven Verd
o
olaege
iscc: add support for
strings
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n Verdoolaege
is
c
c:
p
r
int e
r
ror message
on use of unknown i
d
ent
i
fier
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Verdoolaege
iscc: support union
s
ets in verti
c
es operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
d
oolaege
add isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n Verdoolaege
barvinok_bound:
u
se isl to
split
p
eriods
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
erdoolaege
update isl for
i
s
l
_pw_qp
o
l
ynomial_split_
p
eriods
commit
|
commitdiff
|
tree
2010-08-31
S
ve
n
Verd
o
olaege
doc: mark Poly
L
i
b
interface obsoles
c
ent
commit
|
commitdiff
|
tree
2010-08-31
S
ven Verdoolaege
Makefile
.
am: drop r
e
ferences
to o
b
sole
t
e @bv_
b
arvinok_boun
d
@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoo
l
aege
evalue_conv
e
rt
.
c
c
: eva
l
ue_p
r
int
_
i
sl:
pri
n
t end-of
-
li
n
e
commit
|
commitdiff
|
tree
2010-08-30
Sven Ver
d
oola
e
ge
iscc: allo
w
c
oerci
o
n of binar
y
list i
n
t
o
f
irst element
commit
|
commitdiff
|
tree
2010-08-28
Sven
V
erdoolaege
b
a
rvinok_bound
:
convert to isl_p
w
_qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdo
o
laege
b
a
rvinok_
b
o
u
nd: u
s
e isl to split on doma
i
n
s
i
z
e
commit
|
commitdiff
|
tree
2010-08-26
Sven
Verdoolaege
se
t
s
e
nsi
b
le
def
a
ults wit
h
--
p
olyno
m
ial-a
p
proxim
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
rdoo
l
aege
i
sl_p
w
_qpolyno
m
ial_sum: reuse ba
r
vi
n
o
k_op
t
io
n
s
i
f ava
i
lable
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_ma
p
_card: reuse barvinok_o
p
tions if avail
a
ble in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Verdoolaege
update
isl
for aligning parameters of u
n
ion arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
iscc:
a
dd
"
join" operation on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
e
r
d
oolaege
iscc:
add "join" operat
i
o
n
o
n maps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: su
p
port a
d
ditio
n
on a pair of a fold and a
q
uasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
update isl for adding types
t
o isl_{uni
o
n_,}pw_qpoly
n
omial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
r
d
oo
l
a
e
ge
allow codegen
on se
t
s
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
isc
c
:
code
g
en: detect
s
trides
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
er
d
oolaege
i
scc
:
u
s
e simplified CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
u
pdate isl for rename of isl_pw_qpo
l
yno
m
ial_f
o
ld_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
s
cc
.
c:
unio
n
_pw_qpolynomia
l
_upp
e
r_bound: fix
m
emory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoo
l
ae
g
e
summate
.
c: fix typo i
n
comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdo
o
laege
isl_map_apply
_
pw
_
q
p
olynomial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verd
o
olaege
update isl from
i
sl_u
n
ion
_
map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n Verdoolaeg
e
iscc: allow in
v
ers
e
on non-union maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
a
ege
i
s
cc: add wrap and un
w
r
ap operations
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
V
e
r
doo
l
aege
add i
s
l_u
n
ion_map_app
l
y_uni
o
n_pw_qpolynom
i
a
l
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_pw_qpoly
n
omi
a
l_sum: handle
is
l
_pw_qp
o
lynomial
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
update isl for nested dim
e
nsion
specifi
c
at
i
ons
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
dool
a
ege
i
s
l_map_car
d
: postpon
e
shuffling
aroun
d
o
f
dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
u
pdate isl for isl_basic_m
a
p_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_pw_
q
p
oly
n
o
m
ial_sum: p
u
sh
c
onvers
i
on
t
o PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_p
w
_qp
o
lynomial_sum: check for un
b
o
unded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
avoid use o
f
isl_dim internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: support codegen op
e
ration if CLooG is avail
a
ble
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
i
scc: switch to us
i
ng unions
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Ver
d
oolaege
ad
d
isl_union_pw
_
qpolynomial
_
s
u
m
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdo
o
laege
add isl_union_m
a
p_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_pw_qpolynomial_s
u
m: take tuple names into account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
isl_map_card: preserve full domain di
m
ensi
o
n information
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoo
l
a
e
g
e
update isl
f
o
r
cha
n
ge
i
n
isl_h
a
s
h
_ta
b
le_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdool
a
ege
barv
i
nok
_
enumerate
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Ver
d
oolaege
doc: add
s
ome more papers referi
n
g
to t
h
e library
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
update isl
to version 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
dool
a
ege
configure
.
i
n
:
pr
o
p
erly add
i
sl flags and lib
s
to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
c
o
n
f
igure
.
in: drop c
a
ll t
o
gl
_
EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
genfun
.
cc: fix p
r
in
t
f
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
t
est
_
appro
x
.
c: fix
p
rintf
format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_bo
u
nd
.
c
: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
S
ven
Verdoolae
g
e
confi
g
ure
.
in:
s
top com
p
iling Omega by d
e
f
a
ult
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Ve
r
doola
e
ge
verify_lexsma
l
ler
.
c:
f
i
x typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
ev
a
lue
.
c: avoid use o
f
all
o
ca
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolae
g
e
e
v
al
u
e_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
S
ven Verdoola
e
ge
i
scc: recover
from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
update isl for im
p
r
oved error han
d
ling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
is
c
c
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
d
o
c: iscc: update docum
e
ntation of "ub" opera
t
o
r
commit
|
commitdiff
|
tree
next