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 fix in parameter alignment
2010-09-13
S
ve
n
Verdoolaege
u
pdate isl
for fix in parame
t
er al
i
gnment
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n Verdoolae
g
e
barvinok 0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
i
s
cc: add lexicogr
a
phic operator
s
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Verdoolaege
update isl to
v
ersion 0
.
0
4
commit
|
commitdiff
|
tree
2010-09-07
Sven
Ve
r
doolaege
is
c
c: add "source" op
e
ration
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolae
g
e
i
scc: add support for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaeg
e
is
c
c: print error
messag
e
on
u
se o
f
unknown identifier
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n Verdoolaeg
e
is
c
c
: sup
p
o
r
t union sets in vertic
e
s ope
r
ation
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdoola
e
ge
add isl_l
i
s
t
_
c
o
ncat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
barvinok_bound: u
s
e isl to split p
e
riods
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
e
rdoolaege
up
d
ate isl for is
l
_pw_qpolynomi
a
l_sp
l
it
_
p
e
riod
s
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
e
rdo
o
l
aege
doc: mark
P
olyLib
interface ob
s
o
l
escent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolae
g
e
Mak
e
file
.
am
:
drop re
f
erences t
o
o
b
solete @
b
v_barvinok_bo
u
nd@
commit
|
commitdiff
|
tree
2010-08-31
Sven
Verdool
a
ege
eva
l
u
e
_convert
.
cc: eval
u
e_
p
rint_isl: p
r
int end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verd
o
olaege
iscc
:
allow co
e
rc
i
o
n
of
binary list into
first element
commit
|
commitdiff
|
tree
2010-08-28
Sven V
e
r
doolaege
b
a
rvinok_bo
u
nd: convert to isl_p
w
_
qpolynomial
o
n
ce
commit
|
commitdiff
|
tree
2010-08-28
S
ve
n
Verd
o
o
l
aege
barvinok_bou
n
d: us
e
isl
to spl
i
t on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Ver
d
oolaeg
e
se
t
sensibl
e
defa
u
l
ts wi
t
h --
p
olyn
o
mial-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
e
r
doolaege
isl_pw_qpolyn
o
mial_sum: reuse barvinok_o
p
tions
i
f available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
Verdoolaege
isl_map_card: reuse barvinok_options if avai
l
able in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoola
e
ge
u
p
date i
s
l
for alig
n
ing parameters of u
n
i
o
n argument
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Ver
d
oo
l
aege
i
s
cc: add
"
join
"
operation on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: a
d
d "jo
i
n" operation on maps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
isc
c
: sup
p
ort addition on a pair
of a fold and a
q
uasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n
V
er
d
oolaeg
e
updat
e
isl for adding types to i
s
l_{u
n
ion_,
}
p
w
_qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
allow codegen
o
n sets
commit
|
commitdiff
|
tree
2010-08-18
Sven
Ve
r
doola
e
ge
i
s
cc:
c
o
deg
e
n: detect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
s
cc
:
use simplifi
e
d CLooG inter
f
ace
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdo
o
laege
update is
l
for renam
e
of isl_pw_q
p
olynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
iscc
.
c: union_pw_qpolyn
o
m
i
a
l
_
u
p
pe
r
_bound: fix
m
emory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summate
.
c
:
fix typo in co
m
men
t
commit
|
commitdiff
|
tree
2010-08-17
Sven Ver
d
oolaege
i
s
l_map_apply_pw_
q
po
l
ynomia
l
: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoola
e
ge
up
d
a
t
e is
l
from isl
_
un
i
on_
m
ap fi
x
e
s
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoo
l
aeg
e
iscc
:
allo
w
i
n
v
erse on non-union ma
p
s again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
i
sc
c
: add wr
a
p an
d
unwrap
o
perations
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
r
d
oola
e
ge
add isl_union_map_appl
y
_un
i
o
n_pw_qpoly
n
omial
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolae
g
e
i
sl_pw_qpolynomial
_
sum: han
d
le i
s
l_
p
w_qpolynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
update
is
l
for nested dimension specifications
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Ver
d
oolae
g
e
isl_map_card: postpone
shu
f
fl
i
ng arou
n
d
of di
m
e
nsions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdool
a
ege
update i
s
l for i
s
l_ba
s
ic
_
map_move_dim
s
commit
|
commitdiff
|
tree
2010-08-04
Sven
Verd
o
ola
e
g
e
isl_pw_qpolynomi
a
l_sum:
p
u
sh conv
e
r
s
ion t
o
Po
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rdoolaege
isl_pw
_
qpolynomial_sum: check for
unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Verdo
o
l
a
ege
avoi
d
use of isl_dim
i
n
t
ernals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laege
iscc: su
p
por
t
cod
e
ge
n
operatio
n
if CLooG i
s
a
v
ailable
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laege
iscc: switc
h
to usin
g
u
nions
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ve
r
doolaege
a
dd isl_union_
p
w_qpo
l
ynomi
a
l_
s
u
m
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdo
o
l
aege
ad
d
isl_union_map_
c
a
r
d
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
isl_p
w
_qpol
y
nomial_sum: take tuple nam
e
s
into account
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
ool
a
ege
isl_map_card: prese
r
v
e full domain dim
e
nsion in
f
ormation
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
update
isl for change in isl_has
h
_table_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolae
g
e
b
arvi
n
ok_enum
e
rate
.
cc:
f
i
x
printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoo
l
aege
d
o
c: add some more papers ref
e
ri
n
g to the libr
a
r
y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
b
arvinok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
S
v
en
V
erdoolaege
u
p
d
ate i
s
l to ver
s
i
on
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
c
onfigure
.
in: properly add
isl f
l
ags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
conf
i
gure
.
i
n: drop call to
g
l
_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
genfun
.
cc
:
f
i
x
print
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
V
e
r
doolaege
test_approx
.
c: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
t
e
st_bound
.
c: fix printf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
erdoolae
g
e
c
o
nfigure
.
in: sto
p
compiling
O
mega
by defau
l
t
commit
|
commitdiff
|
tree
2010-06-28
S
ven V
e
rdoola
e
g
e
verify_lexsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n
Verdoolaege
e
v
alue
.
c:
a
v
oid
use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
evalu
e
_
i
sl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
S
v
en Verdoolaege
isc
c
:
rec
o
ver from
e
rrors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolae
g
e
update is
l
for improved error handling
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoolaege
iscc
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verd
o
olaeg
e
doc
:
iscc:
update document
a
tion o
f
"ub"
o
perator
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
test_
a
ppro
x
: incl
u
de ctype
.
h
f
or isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
test_appr
o
x: i
n
clude config
.
h
for HAVE
_
SYS_
T
IMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
test_boun
d
: inclu
d
e c
o
n
f
ig
.
h
for HAVE
_
SYS_TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
iscc: add vertices operat
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optionally use i
s
l to perform parametric vertex enum
e
ra
t
ion
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doola
e
g
e
update isl-polylib for handli
n
g
of ra
t
ional
sets
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
aeg
e
dro
p
di
s
tinc
t
ion
between barv
i
nok-
c
ore and barv
i
nok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
u
p
date isl f
o
r generic isl_pw_qpolynomial_
b
ound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaeg
e
c
o
nfig
u
re
.
in: dr
o
p bv_omega_program
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d
is
l
_
ctx_pe
e
k_barvinok_optio
n
s
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolae
g
e
iscc: parse b
a
r
vinok options
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoola
e
ge
expor
t
i
s
l_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Ma
k
efile
.
am
:
drop
d
e
p
endence
on doc/o
m
ega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
upda
t
e isl
f
or re
n
ame
of is
l
_pw_
q
po
l
ynomia
l
_m
o
ve
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
v
er
i
f_ehr
h
a
rt
.
c: add m
i
ssing in
c
lude
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
configure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
use isl for argum
e
n
t parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven
Ve
r
doolaege
u
p
date
i
s
l
f
or keepin
g
track
of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verd
o
o
laege
test_bo
u
nd: rewrite
in C
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n Ver
d
oola
e
ge
update isl for help message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
ge
remove evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
o
l
aege
remove evalue_
r
a
n
g
e_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaeg
e
test_bound: use isl
interface for computing bounds
commit
|
commitdiff
|
tree
2010-05-15
S
ven V
e
rdoolae
g
e
barvinok
_
bound: use isl interfac
e
for
compu
t
ing
b
ounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
iscc: support ub even i
f
GiNaC sup
p
o
rt was not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
add gen
e
ric
isl_pw_qpolynomial_b
o
u
n
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
update
i
sl for isl
_
pw_q
p
olynomi
a
l_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
test_bound
:
u
se i
s
l during verifi
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
b
a
r
vinok_
b
ound: use isl
d
u
ring verifi
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
verify
.
c: extr
a
ct
s
ome helpe
r
functions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
introduce
"bound"
o
ption
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
o
ptions
.
c:
f
ix printf forma
t
commit
|
commitdiff
|
tree
next