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
S
v
e
n
V
erd
o
ol
a
ege
barvinok_bound: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdoolaege
bar
v
inok_
{
summ
a
te,b
o
u
nd}: take isl i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
test_bound: switch to isl repres
e
ntation eve
n
ea
r
lier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
a
e
g
e
test_bound
:
switch to isl r
e
presentat
i
on earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n Verdoolaege
iscc: add po
l
yn
o
mial
a
ppr
o
xi
m
ati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdo
o
lae
g
e
b
a
rvinok_summate
:
rewrite in
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Ve
r
d
ool
a
ege
barvinok_su
m
mate:
use isl i
n
terface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
S
ven
Verdoolaege
bound
.
cc: d
r
op de
a
d code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven
V
e
rdoolaege
d
o
c
:
mor
e
information
a
bout using se
t
s and map
s
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
S
v
en Verdoolaege
doc: update
some
r
eferences
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
i
s
cc: add poly operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sv
e
n
V
erd
o
olaege
iscc
:
ad
d
s
c
an operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven V
e
rdoolaege
isl_pw_qpolynomial
_
sum: ha
n
dle existen
t
ials
in wrapp
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
update isl for renaming
o
f isl_map_
r
emove
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoolaege
version
.
c: show use o
f
CLo
o
G
commit
|
commitdiff
|
tree
2010-10-18
Sven
Verdo
o
l
a
ege
doc: a bit more info o
n
iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaeg
e
i
s
c
c:
a
d
d befor
e
and af
t
er
oper
a
t
i
ons
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Verdoolae
g
e
iscc: add identi
t
y operation
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
la
e
ge
iscc: bre
a
k
ou
t
off
ma
i
n loop w
h
en pri
n
ter no long
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
rdoolaeg
e
i
s
cc: support
e
xtended
P
olyLib output format
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oolaeg
e
configure
.
in: perform check for
G
M
P
support in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoola
e
g
e
isl_
P
olyhedron_Sampl
e
: add mi
s
sing in
i
t
i
alization
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc:
add composi
t
ion operation on piec
e
wise
q
uasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
iscc: ad
d
dependence analysis op
e
rations
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaege
iscc
:
regis
t
e
r
extra keywords i
n
generic way
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolaege
u
s
e isl to perform
"manual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolae
g
e
allow building without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doola
e
ge
P
olyhedron_Reduced
_
Basis:
optio
n
ally u
s
e
isl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
fix depen
d
ence
o
n
b
u
ild isl
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolae
g
e
i
s
l_map_car
d
: use
i
sl for factorizatio
n
commit
|
commitdiff
|
tree
2010-09-14
Sven V
e
rdoola
e
ge
isl_map_card:
s
pl
i
t dime
n
s
i
on fiddling from conve
r
s
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Ve
r
dool
a
ege
isl_
m
ap_
c
ard: us
e
isl_pw_qpolyno
m
ial_sum if re
q
uested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sve
n
Verdoolaege
barvin
o
k
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n Verdo
o
laege
up
d
ate
i
s
l
f
or f
i
x in parameter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
e
rdoolaege
ba
r
vino
k
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoo
l
ae
g
e
isc
c
: ad
d
lex
i
cographic operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Ver
d
oolaege
update isl to
version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
S
ven Verdoo
l
aege
isc
c
:
add "source" op
e
ra
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc:
add support for
s
t
rings
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaege
iscc: print error messa
g
e on use of unknown identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: support
u
nion
s
ets
i
n vertices
o
peration
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
ool
a
ege
add
i
s
l
_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Ve
r
doolaege
b
arvinok_bound: u
s
e
isl to split p
e
r
i
ods
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
erdoolaege
u
p
d
ate
i
sl for isl_p
w
_
qpolyn
o
mial_
s
plit_periods
commit
|
commitdiff
|
tree
2010-08-31
S
ven Verd
o
olaege
doc:
m
ark P
o
l
y
L
i
b
inte
r
face ob
s
olescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verd
o
olaege
Makefil
e
.
am: drop references to obsole
t
e @bv
_
barvinok_
b
o
u
nd@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoola
e
ge
eval
u
e_convert
.
cc: eva
l
ue_print_isl: p
r
int end
-
of-line
commit
|
commitdiff
|
tree
2010-08-30
S
ve
n
Verdoolaege
isc
c
: allo
w
coercion of binary
l
i
s
t
into fir
s
t element
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n Verdo
o
l
aege
barvinok_bound
:
convert to isl_pw_
q
polynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sve
n
Verdoolaege
barv
i
nok_b
o
und: use isl
to
spli
t
on
dom
a
in size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
set sens
i
ble defaults wit
h
--po
l
ynomial-app
r
oxim
a
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ver
d
oo
l
aege
isl_pw_q
p
olynomial_su
m
: re
u
se barvinok_
o
ption
s
if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Ver
d
oolaeg
e
isl_map_card: reuse barvinok_options if avai
l
able in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verd
o
ol
a
ege
update i
s
l
f
or aligning parameters of union arg
u
ments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erd
o
olaege
iscc: add
"join" oper
a
tio
n
on folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaeg
e
iscc: ad
d
"join" operat
i
on
o
n maps and folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
V
erdoolaege
iscc: support addition on a
pa
i
r of
a
fold
and a quasipoly
n
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
update isl for addin
g
types to isl_{union_,}pw_qpolyn
o
mial_fold
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
allow codegen on sets
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Ver
d
o
o
laege
iscc: codeg
e
n:
d
ete
c
t strides
commit
|
commitdiff
|
tree
2010-08-18
S
ve
n
Verdoolaege
i
scc: use
simplified CLooG interf
a
ce
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoola
e
ge
update isl f
o
r re
n
ame of isl_pw_q
p
olynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
s
c
c
.
c: union_pw_qpolynomial_upper_bound
:
fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
s
ummate
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verd
o
olaege
i
sl_map
_
apply_pw_qpolynom
i
al: fix
typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Ve
r
doolaege
update isl
f
r
om isl_unio
n
_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven
Verdoolaege
iscc: a
l
l
o
w
inv
e
rse on n
o
n
-
u
nion
maps ag
a
in
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdo
o
laege
iscc: add
wrap
a
nd unwrap
operation
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laege
ad
d
isl_union_map_apply_u
n
ion_
p
w_qpolynomi
a
l
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
ol
a
ege
i
sl_pw_q
p
olynomial_sum: handle i
s
l_pw_qpolynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdool
a
ege
upd
a
te
i
sl
f
or
n
ested dimension specifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
i
sl_map_card: postpo
n
e sh
u
ffli
n
g around o
f
dime
n
s
ions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update isl fo
r
isl_basic_map_
m
ove_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdo
o
laege
isl
_
p
w_qpolynomia
l
_sum:
push con
v
ersion to PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_pw_qpolynomial_sum
:
check for u
n
b
ounded domai
n
s
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
a
v
oid use
of isl_dim
internals
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
r
doolaege
iscc
:
supp
o
rt
codegen
o
p
e
ration
i
f CL
o
oG is available
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdool
a
ege
iscc: switch to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
add is
l
_uni
o
n_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdo
o
lae
g
e
ad
d
isl_union_m
a
p
_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
sl_pw_qpolynomial_sum: take
tuple names into
a
ccount
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
isl_map_
c
a
rd: pres
e
rve ful
l
domain dimension infor
m
ation
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
o
o
laege
update isl for ch
a
nge in isl_hash_tab
l
e
_
foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
ba
r
vinok_enumerate
.
cc: fix printf forma
t
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
doc: add some more pap
e
rs
refering t
o
the librar
y
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaeg
e
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaeg
e
upda
t
e is
l
to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
con
f
igure
.
in: properly add
isl fl
a
gs
a
nd libs to
p
kg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
configure
.
in: dr
o
p
call to gl
_
EAR
L
Y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
ge
n
f
un
.
cc: fix
printf
f
o
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
rdoolaege
test_approx
.
c:
f
ix p
r
intf f
o
rma
t
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaeg
e
test_bound
.
c: fix printf
f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
erdoolaege
con
f
igure
.
i
n
:
s
t
op compili
n
g Omega by
d
efault
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdoolaege
veri
f
y_lexsmalle
r
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-27
S
v
e
n
Verdoolaege
evalue
.
c: a
v
oid use o
f
alloca
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoolaeg
e
eva
l
ue_isl
.
c: fi
x
t
y
p
o
commit
|
commitdiff
|
tree
2010-06-20
Sven
Verdoolaeg
e
is
c
c: rec
o
ver from errors
commit
|
commitdiff
|
tree
2010-06-20
S
ven
V
e
rdoolaeg
e
update isl for improve
d
error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
o
o
la
e
ge
i
scc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
doc: iscc: update documentation of "ub" operator
commit
|
commitdiff
|
tree
next