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: add "source" operation
2010-09-07
S
v
en Verdoola
e
ge
iscc
:
add "source" operation
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n
V
erdoolaege
iscc: add support for
s
t
rings
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdo
o
laege
iscc: print error message
o
n use of unknown identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: support union
s
ets i
n
vertic
e
s opera
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doolaege
add isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
S
ven Verdoolaege
barvinok_bound: use isl
to spl
i
t periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Ver
d
oolaege
update isl fo
r
isl_pw_qpolynomial
_
split_periods
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Ve
r
doolaege
d
o
c: ma
r
k PolyLib
int
e
rface obsolesce
n
t
commit
|
commitdiff
|
tree
2010-08-31
Sven Verd
o
olaege
Makefil
e
.
am
:
drop references to obsol
e
te @bv_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Verdoo
l
aege
evalue_convert
.
cc: evalue_print_isl: print end-of-
l
ine
commit
|
commitdiff
|
tree
2010-08-30
Sven
V
erd
o
o
lae
g
e
iscc: a
l
low coerci
o
n
of binary lis
t
into first elemen
t
commit
|
commitdiff
|
tree
2010-08-28
Sven
Verdoolaege
barv
i
n
o
k
_bound: convert
t
o i
s
l_pw_qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven V
e
r
d
o
olaege
bar
v
inok_b
o
und: use i
s
l to
s
pl
i
t
o
n domain size
commit
|
commitdiff
|
tree
2010-08-26
S
v
e
n Verd
o
olaege
set sensible defaults with --polynomial-approxima
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
en Ve
r
doolaege
isl_pw_qpolyn
o
mi
a
l_s
u
m: reuse barvinok_options if av
a
ila
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_map
_
card: reuse barvi
n
ok_options if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
rdoolaege
up
d
a
t
e isl for ali
g
n
ing p
a
rameters of union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add "jo
i
n" o
p
eration on folds
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolae
g
e
isc
c
:
add "join"
operation on ma
p
s and folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Ve
r
d
o
o
l
a
e
ge
i
scc: s
u
p
p
ort addition on a
pa
i
r of
a fold
a
nd a
q
uasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n Verdoolaege
update
is
l
for ad
d
i
n
g types to isl_{union_,}pw_qpol
y
nomi
a
l_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
allow cod
e
ge
n
on sets
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaeg
e
iscc: codegen: detect str
i
d
e
s
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
er
d
oolaege
i
scc: us
e
s
implified CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
u
pdat
e
is
l
fo
r
rename of
isl_pw_qpolyn
o
mial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdo
o
lae
g
e
iscc
.
c: union_pw_qpolynomial_upper_bound: f
i
x memo
r
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
s
u
m
mate
.
c: fix t
y
po
i
n comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
isl_map_app
l
y
_
pw_qpolyn
o
mial:
fix
t
y
po
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
upda
t
e isl from isl_uni
o
n_map fi
x
es
commit
|
commitdiff
|
tree
2010-08-10
S
v
en Verd
o
olaege
iscc
:
all
o
w inve
r
se o
n
non-union m
a
ps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
isc
c
:
add
wrap and unwrap op
e
rations
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolaege
ad
d
isl_union_map_apply_union_pw_qpolyn
o
mial
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Ver
d
oo
l
aege
is
l
_pw_qp
o
l
y
nomial_sum:
ha
n
d
l
e isl_pw_qpolyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
a
e
g
e
u
pdate isl for
neste
d
di
m
ension
s
p
e
c
i
fications
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoo
l
aeg
e
isl_m
a
p_card
:
postp
o
ne s
h
uffling around o
f
d
im
e
nsi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven
Verdoo
l
aege
u
p
date isl for isl_ba
s
i
c_map_move_
d
ims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoola
e
g
e
isl_pw_qpo
l
ynomial_
s
um: pu
s
h con
v
ersion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_
p
w
_
qp
o
lynom
i
al_sum: check f
o
r unbounded doma
i
ns
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolae
g
e
avoid use of
is
l
_dim internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
iscc:
suppo
r
t c
o
de
g
en
operation
i
f CLooG is availab
l
e
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc:
switch to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laege
a
dd i
s
l
_
unio
n
_pw_qpoly
n
omial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolae
g
e
a
dd isl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
isl
_
p
w_qpol
y
nomial_
s
um: ta
k
e t
u
ple na
m
es
i
nt
o
accou
n
t
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
lae
g
e
i
s
l_map
_
card
:
pr
e
serve full domain dimension
informatio
n
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Ve
r
doolaege
update i
s
l f
o
r change in
i
sl_has
h
_table_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdo
o
laege
barvinok_enumerate
.
cc: f
i
x printf for
m
at
commit
|
commitdiff
|
tree
2010-07-03
Sv
e
n Verdoolaege
do
c
: add som
e
mo
r
e papers referin
g
to the library
commit
|
commitdiff
|
tree
2010-06-29
S
ven
V
er
d
oolaege
b
arvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolae
g
e
update isl to vers
i
on 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Ver
d
o
o
laege
configure
.
in: pro
p
erly add isl flags and
l
i
bs t
o
pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
oola
e
ge
c
o
nfigure
.
i
n: d
r
op
call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
genfun
.
cc: fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_approx
.
c: fi
x
printf format
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
test_bound
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laeg
e
configure
.
in: stop compi
l
ing Om
e
ga
b
y
default
commit
|
commitdiff
|
tree
2010-06-28
S
ven Verdoolaege
verify_
l
exsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
eval
u
e
.
c:
a
v
o
id use of
al
l
oca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
evalue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
S
ven Verdoo
l
aege
i
s
c
c
: reco
v
e
r
f
ro
m
errors
commit
|
commitdiff
|
tree
2010-06-20
S
v
en V
e
rdoolaege
u
pdat
e
i
s
l
for improved error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoola
e
ge
iscc
.
c
:
fi
x
typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
doc:
i
scc: update
docum
e
ntati
o
n of
"ub" ope
r
ator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
test_app
r
ox: in
c
lude ctype
.
h f
o
r
isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
test_approx: inc
l
ude config
.
h for HAVE_SY
S
_T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oo
l
aege
t
e
s
t_boun
d
: include config
.
h for HAVE_S
Y
S_T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
is
c
c: add
v
ertices
o
pe
r
ations
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaeg
e
optionally use
isl to perfor
m
param
e
tri
c
verte
x
en
u
me
r
atio
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolae
g
e
update isl-polyl
i
b for handling of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolae
g
e
drop
d
istinct
i
on bet
w
een ba
r
vinok
-
core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
rem
o
ve be
r
nstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
aege
upd
a
t
e
isl for gener
i
c is
l
_pw_qpolyno
m
ial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
c
o
n
figure
.
i
n: drop bv_omega_pr
o
grams
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
a
dd isl_ctx_peek_barvinok
_
options
commit
|
commitdiff
|
tree
2010-06-07
Sven Ve
r
doolaege
i
s
cc:
p
a
r
se
b
arvin
o
k op
t
ions
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doolaeg
e
exp
o
r
t
isl_qpolynomial_from_e
v
alue
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
er
d
oolaege
Make
f
il
e
.
am: drop depende
n
ce on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
u
pdate is
l
for r
e
nam
e
of isl_pw_qpolyn
o
mial
_
mo
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoola
e
ge
verif_
e
hrhart
.
c: add m
i
ssi
n
g include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
configure
.
i
n
: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
use isl for argument parsing
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdool
a
e
ge
update isl for keeping track of u
s
er
options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
test
_
bound: re
w
rite in
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verd
o
ola
e
ge
update isl for help message print
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaege
remove evalue_opt
i
mum
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaege
r
e
move evalue
_
range_propaga
t
io
n
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Ver
d
oola
e
ge
test_bound: use
isl inter
f
a
c
e for c
o
mputi
n
g bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolaege
barvinok_bound:
u
se isl interface
f
or c
o
mput
i
n
g bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
i
sc
c
: s
u
pport
u
b
even if GiNaC
support was not com
p
ile
d
in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
d
d
g
ener
i
c i
s
l_p
w
_qp
o
l
ynom
i
al_
b
ound
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
V
erdoolaege
up
d
ate isl
f
or isl_pw_qpolynomial_
b
oun
d
_ra
n
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
test_b
o
und: use isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoola
e
ge
barvinok
_
bound: use isl durin
g
verification
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verd
o
olaege
verify
.
c:
e
xtract some helper func
t
i
o
ns f
o
r isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
V
erdo
o
laege
i
ntr
o
duce "bound
"
op
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoola
e
ge
o
pt
i
o
ns
.
c: fix printf forma
t
commit
|
commitdiff
|
tree
2010-05-10
Sv
e
n
V
erdoolaeg
e
i
s
cc
:
add a
p
plication
operatio
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc: add
r
e
ad oper
a
t
i
on
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoo
l
aege
iscc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
o
o
l
aege
update isl for readin
g
of strin
g
s
commit
|
commitdiff
|
tree
next