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
iscc: plug memory leak on error path
2010-09-06
Sven Verdoolaege
i
sc
c
: suppor
t
uni
o
n
s
ets in vertices operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolae
g
e
a
d
d
isl_lis
t
_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdo
o
laege
barvinok_boun
d
: u
s
e isl to
spli
t
period
s
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdo
o
l
aege
update
i
sl f
o
r isl_pw_q
p
olynomial
_
split_peri
o
ds
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdool
a
ege
d
oc: m
a
rk Po
l
yLi
b
i
nterface o
b
sole
s
cen
t
commit
|
commitdiff
|
tree
2010-08-31
Sven Ve
r
doola
e
g
e
Makefile
.
a
m: drop
r
eferen
c
es to obsolete @bv_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
erdoolaege
evalue_convert
.
cc: evalue_print_isl: print
e
nd
-
of
-
line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaege
iscc: al
l
ow coercion of
binary lis
t
into first eleme
n
t
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barvinok_bound: con
v
ert to is
l
_pw_qp
o
lynomia
l
once
commit
|
commitdiff
|
tree
2010-08-28
Sven V
e
rdoolaege
b
arvinok_bound:
use isl to spli
t
on doma
i
n s
i
ze
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verd
o
olaege
set sensible defau
l
ts with --po
l
ynomial-approxima
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven Verdoolaege
i
s
l_pw_qpolyno
m
i
al_sum
:
reu
s
e ba
r
vino
k
_options i
f
av
a
i
lab
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl
_
map_card: reus
e
bar
v
inok_options if avai
l
a
b
le in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdo
o
la
e
ge
u
p
date is
l
f
or aligning parameters of union ar
g
uments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ve
n
Verdoolaege
is
c
c:
a
dd "join" o
p
e
ration
on folds
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaeg
e
i
sc
c
: a
d
d "
j
o
in" operati
o
n on m
a
ps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
is
c
c
:
support
addition o
n
a pair of a fold
a
n
d a quasip
o
lyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
u
pdat
e
is
l
fo
r
adding typ
e
s to i
s
l
_{union_,
}
pw_q
p
olyn
o
mial_
f
olds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
a
ege
al
l
ow
c
odegen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
s
cc: codegen: detect stride
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
g
e
iscc: use sim
p
lified CLooG
inte
r
face
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdo
o
l
a
e
g
e
u
p
d
ate isl
f
or
rename of isl_pw_qpolyno
m
ial_fold_
a
dd
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
.
c: un
i
on_pw_qpolynomial_upper_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
Verdoolaege
s
ummate
.
c: fix typo
in c
o
mment
commit
|
commitdiff
|
tree
2010-08-17
Sven
Verdoolaege
is
l
_map
_
apply_pw_qpolynomial: fi
x
typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verd
o
o
l
aeg
e
update isl from
isl_union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
S
ven Verdoolaege
iscc: a
l
low inver
s
e on n
o
n-union maps again
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaege
iscc
:
add
w
rap a
n
d unwra
p
op
e
r
ations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
add isl_union
_
map_apply_union_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoolaeg
e
i
s
l_pw_qpoly
n
omial_sum: hand
l
e
isl_pw_qpolyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update isl for neste
d
di
m
e
nsio
n
specifica
t
ions
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
i
s
l_map_card:
p
o
s
tpone shuf
f
ling aroun
d
of d
i
me
n
sions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
updat
e
i
s
l
f
or isl_ba
s
ic_map_move_dim
s
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolaege
isl_pw
_
qpolynom
i
al_sum:
push conversion to PolyLi
b
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolae
g
e
isl_pw_
q
polynomial_
s
um: check
f
or unbounded do
m
ains
commit
|
commitdiff
|
tree
2010-08-02
Sven
Verdoolae
g
e
avoid use of isl_dim
i
nternals
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
iscc:
supp
o
rt codegen
o
peration if CLooG
i
s
a
va
i
lable
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
Verdoolaege
iscc: switch to
u
s
i
ng
u
ni
o
ns
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaeg
e
a
dd i
s
l_union_pw
_
qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
add
i
sl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
is
l
_pw_qpolynomial_su
m
: take tuple
n
ames into account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
isl_map_card: pr
e
s
erve full dom
a
in dim
e
nsion information
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
l
a
ege
update isl for change in i
s
l
_hash_table
_
f
o
reach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
b
a
r
v
inok_enumer
a
te
.
cc
:
fix printf format
commit
|
commitdiff
|
tree
2010-07-03
S
v
en Verd
o
o
l
aege
d
o
c
: add some m
o
re pap
e
rs
r
e
fering to
t
he
l
ibrary
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doola
e
ge
b
a
rvi
n
ok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
up
d
ate isl to
v
er
s
ion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
config
u
re
.
in: properly add isl flags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
ven
V
e
r
doolaege
configure
.
in: drop call to
gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
g
enfun
.
cc: fix printf forma
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_approx
.
c
: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_bound
.
c:
fix printf
for
m
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
configure
.
in
:
stop
c
ompiling Om
e
g
a b
y
default
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
erdoolaege
verify_lexsma
l
le
r
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rd
o
ol
a
ege
evalue
.
c: avoid use
o
f alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
evalue_
i
sl
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Ve
r
doolaege
is
c
c
: r
e
c
o
ver f
r
om error
s
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Verdoo
l
aeg
e
upd
a
te isl
f
or i
m
proved error handli
n
g
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aeg
e
is
c
c
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-13
S
ven Verdoola
e
g
e
doc: iscc
:
update documentat
i
on of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
a
e
ge
t
e
st_approx: include c
t
ype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolaege
te
s
t_a
p
prox: i
n
clude con
f
ig
.
h
f
or HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
l
a
e
g
e
test_bound:
i
n
c
l
u
d
e config
.
h f
o
r
HAVE_SYS_
T
IMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdool
a
e
g
e
i
s
cc:
add verti
c
es o
p
erations
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
laege
optiona
l
ly use isl to perform
p
arametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
ae
g
e
update
i
sl-
p
olylib for handling of
r
ationa
l
set
s
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
drop distinc
t
ion between barvinok-
c
or
e
and barvin
o
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
r
emov
e
berns
t
ein
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
update
is
l
for
g
ene
r
ic is
l
_pw_qpolynomial_bo
u
nd
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaeg
e
configure
.
in: drop bv_
o
mega_prog
r
ams
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoolaege
add isl_ctx_p
e
ek_
b
arvino
k
_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoo
l
aege
iscc: par
s
e barvinok op
t
ions
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
e
xpo
r
t isl_
q
polynomial_fro
m
_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
Makefile
.
am
:
d
rop
de
p
endence
on do
c
/
o
mega
.
t
e
x
commit
|
commitdiff
|
tree
2010-06-01
S
v
en
V
erdoola
e
ge
update isl
f
or renam
e
of isl_pw_qpo
l
yno
m
ial_
m
ove
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoola
e
ge
v
e
rif_ehrhart
.
c
:
ad
d
missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
c
o
nfigure
.
in: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use
i
sl for a
r
g
u
ment
p
arsing
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolae
g
e
update isl for keeping
t
rack of us
e
r op
t
ions
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verdoolaege
tes
t
_bound:
rewrit
e
in C
commit
|
commitdiff
|
tree
2010-05-19
S
ven Verdoolaege
upda
t
e i
s
l for help message prin
t
ing
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaeg
e
remove eva
l
u
e
_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolae
g
e
r
emov
e
eva
l
ue_range_propagat
i
on
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdool
a
ege
test_bound: use isl int
e
rfac
e
for computing
b
o
unds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolae
g
e
barvino
k
_bound: use isl interface for
computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
ola
e
ge
iscc: sup
p
or
t
ub
e
ven if GiNaC support was not
comp
i
led in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
dd generic i
s
l_pw_qpo
l
ynomia
l
_
b
ound
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n
Verdoolaege
upda
t
e is
l
for
isl_pw_qpolyn
o
mia
l
_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
t
e
st_bound: us
e
is
l
during verifi
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
ba
r
vino
k
_bound
:
use isl
d
u
rin
g
v
e
rification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
veri
f
y
.
c: ex
t
ract s
o
m
e
helper functions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
r
d
oolaege
introduce "bound"
opti
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdo
o
laege
options
.
c: fix p
r
intf format
commit
|
commitdiff
|
tree
2010-05-10
S
ven Verdoola
e
ge
iscc: add application operations
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verd
o
olaege
iscc: add read
operation
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdoolaege
i
s
c
c
: fr
e
e
o
ptions
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
doolaege
update isl for rea
d
ing o
f
strin
g
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
olaege
upd
a
te isl for fix in isl_printer_pri
n
t_p
w
_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
up
d
ate isl-polylib
for change in pkg-con
f
ig file
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oolaege
iscc
:
a
l
low specific
a
t
i
on
o
f output format
commit
|
commitdiff
|
tree
next