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.33
2010-08-31
Sven Verdoolaege
doc: ma
r
k Poly
L
ib interface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Verdoola
e
ge
Ma
k
efile
.
a
m
:
drop referen
c
es to
o
bsolete
@
bv_bar
v
inok
_
bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaeg
e
eval
u
e_convert
.
cc: evalue_pr
i
nt_isl:
prin
t
e
n
d-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaege
is
c
c: al
l
ow coercion of
b
i
nary lis
t
int
o
first element
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n Verdoolaege
ba
r
v
inok_
b
o
u
nd: conve
r
t to isl_pw_qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
S
v
en
V
erdoolaege
barvinok_bound: u
s
e
i
s
l
to split on domain
size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoo
l
aege
set
sensible
d
efaul
t
s with
--
p
olynomial-appr
o
ximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
do
o
laege
isl_pw_q
p
olynomial_sum: r
e
us
e
barvino
k
_opti
o
n
s
i
f
available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
d
o
olaege
isl_map
_
c
a
r
d: reuse bar
v
in
o
k_op
t
ions if avail
a
bl
e
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
update isl for aligning pa
r
ameters of union
arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oo
l
a
e
ge
iscc: add "j
o
in" operation
on
f
olds
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n
V
erdool
a
ege
iscc
:
add "join"
o
per
a
tion
on maps and fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
i
scc: support a
d
d
it
i
on
on a pair of
a fold
a
nd
a
quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
d
o
o
l
aege
upd
a
te isl for adding types to isl_{union_,}pw_qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
allow co
d
egen on set
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
iscc: codegen: de
t
e
c
t
s
trides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: use
s
imp
l
ified CL
o
oG in
t
erface
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
u
p
date isl for rename of isl_p
w
_
qpolynomial_fold_a
d
d
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
.
c: union_p
w
_q
p
olyno
m
ial_upper_bou
n
d:
f
ix memor
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
su
m
m
ate
.
c: fix typo in co
m
me
n
t
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaeg
e
isl_map_appl
y
_
p
w_qp
o
lynomial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven
V
erd
o
olaege
update isl f
r
om isl_
u
nion_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
iscc: allow inve
r
se on
n
o
n-union maps again
commit
|
commitdiff
|
tree
2010-08-05
S
ve
n
Verdoolae
g
e
i
sc
c
: add wra
p
a
nd unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
Verdoolaege
a
dd isl_uni
o
n_map_ap
p
ly_un
i
on_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Ver
d
oolaege
is
l
_pw_qpo
l
ynomial_su
m
:
ha
n
dl
e
isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
upd
a
te is
l
for ne
s
t
ed di
m
ension specif
i
c
at
i
o
ns
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
i
s
l_map_card: postpon
e
shuffling
around
o
f d
i
mensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
update isl for isl_basic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdoolaege
isl_pw_
q
polyn
o
mial_sum: push conve
r
s
ion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaeg
e
isl
_
pw_qpolynomial_su
m
: check
f
or unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
V
e
rdoolaege
avoid use of is
l
_dim
i
nt
e
r
n
als
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
iscc: support codegen operation
if CLooG is available
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n
Verdoolaege
iscc
:
s
w
itch to
us
i
ng unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl
_
un
i
on
_
pw
_
qpolynomial_s
u
m
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolae
g
e
add isl_union
_
m
a
p_card
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
is
l
_
p
w_qpolyno
m
ial_
s
u
m: take t
u
p
l
e
n
ames in
t
o account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
ol
a
ege
isl_map_
c
ard: p
r
e
s
erve fu
l
l domain dim
e
nsion inform
a
tio
n
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
update
isl for
c
han
g
e
in isl_
h
a
sh_tab
l
e_fo
r
each
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
barvinok_
e
numerate
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Ve
r
d
o
olae
g
e
d
oc:
a
dd
some
m
ore
p
apers refering to the libr
a
ry
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
r
d
o
olaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
update isl to
version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdool
a
ege
configure
.
in:
properly add i
s
l f
l
ags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdo
o
laege
configure
.
in: drop call
t
o gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdo
o
laege
genfun
.
c
c
: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
test_approx
.
c
:
fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
t
e
st_bou
n
d
.
c
: fi
x
printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
conf
i
g
u
re
.
i
n: stop compiling
O
mega by def
a
ul
t
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
verify_lexsmaller
.
c: fix
t
yp
o
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
evalue
.
c: a
v
o
id
use
o
f allo
c
a
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoola
e
ge
e
v
al
u
e_isl
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-20
Sve
n
Verdoolaege
iscc:
r
ecover from e
r
rors
commit
|
commitdiff
|
tree
2010-06-20
Sven Ve
r
doolaege
update isl
for improved error
hand
l
ing
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Ve
r
do
o
lae
g
e
iscc
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaeg
e
doc:
iscc: upd
a
te documen
t
ation of
"
u
b" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
test_approx:
i
nclu
d
e ctype
.
h
f
or isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdool
a
eg
e
test_approx: inc
l
ude confi
g
.
h for
H
AVE_SYS
_
TIM
E
S_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_bound: include config
.
h
f
or HAVE_SYS_TIME
S
_H
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
erdoolaege
iscc: add vertices
o
pe
r
a
t
ions
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
opti
o
n
al
l
y
use i
s
l to p
e
rform parametric vertex e
n
umeration
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
olae
g
e
update i
s
l-polylib fo
r
han
d
l
i
n
g of rati
o
n
a
l sets
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
drop distincti
o
n betwee
n
barvinok-c
o
r
e
a
n
d bar
v
ino
k
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
r
emove be
r
ns
t
ein
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Ver
d
o
olaege
updat
e
isl fo
r
gen
e
ric isl_pw_qpoly
n
om
i
al_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
a
ege
configur
e
.
in: dro
p
bv_
o
mega
_
progr
a
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add isl_ctx_pee
k
_barvinok_opt
i
o
n
s
commit
|
commitdiff
|
tree
2010-06-07
S
ven
V
er
d
oolaege
is
c
c
: parse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
e
x
port i
s
l_qpolyn
o
mia
l
_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
Make
f
ile
.
am: dro
p
dependence on d
o
c/
o
meg
a
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
o
o
l
a
e
g
e
update isl for rename of
i
sl_pw_q
p
olynomial_move
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
verif_
e
hrhart
.
c:
a
dd
missing
i
nclu
d
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doolaege
configu
r
e
.
i
n
: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aeg
e
use isl for a
r
g
u
ment parsi
n
g
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
up
d
a
te
isl for keep
i
n
g t
r
a
c
k of use
r
o
p
tions
commit
|
commitdiff
|
tree
2010-05-19
S
v
en Ver
d
o
o
laege
test
_
bound:
r
ewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n
Verdoolae
g
e
update isl for hel
p
message
p
rinting
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoolaege
rem
o
ve evalue_optimu
m
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
dool
a
ege
remove evalue_range_pro
p
ag
a
tion
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaege
test_bo
u
nd: us
e
isl int
e
rface fo
r
computi
n
g
b
o
un
d
s
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaege
barvinok_bound:
u
s
e isl inter
f
ace for com
p
uting bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
isc
c
: support
ub even if Gi
N
aC support was not c
o
mpiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
add generic isl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
up
d
a
t
e isl
for is
l
_pw_qpolynomia
l
_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
tes
t
_bound:
use isl d
u
ring v
e
rifica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
barvinok_bound:
u
se
i
sl during ver
i
f
i
cat
i
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
verify
.
c
: extract s
o
me helper
f
unctions for is
l
b
ased
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolae
g
e
introduce "
b
ound" option
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
o
p
tio
n
s
.
c: fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-05-10
Sven
V
erd
o
olae
g
e
iscc:
a
d
d a
p
plication operatio
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolae
g
e
i
s
cc
:
add read op
e
r
ation
commit
|
commitdiff
|
tree
2010-04-24
Sven
Verdool
a
ege
i
s
cc
:
fr
e
e
options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoo
l
a
e
g
e
u
pdate
is
l
f
o
r rea
d
ing of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update isl
f
or fix in isl_printe
r
_print_p
w
_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
update
i
sl-poly
l
ib for change i
n
pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
d
o
olaege
isc
c
:
a
llo
w
s
p
ecification of output format
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Ve
r
doolaege
upd
a
t
e
is
l
for chan
g
e i
n
isl_set_gi
s
t argume
n
t
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
update isl for re
n
ame of
i
sl_ma
p
_move
commit
|
commitdiff
|
tree
2010-04-10
S
v
en V
e
rdoolaege
configure
.
i
n
: add isl flags and libs to
p
kg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoolaege
iscc: test isl_stream for
e
of rather than the underlying
.
.
.
commit
|
commitdiff
|
tree
next