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.32
2010-09-10
Sven Verdoo
l
aege
barvin
o
k 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
iscc: add lex
i
cographi
c
o
perators
commit
|
commitdiff
|
tree
2010-09-10
Sven Ver
d
oolaege
u
p
da
t
e
i
sl to ver
s
ion
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoolaege
iscc: add "source" operation
commit
|
commitdiff
|
tree
2010-09-06
S
ve
n
Ve
r
d
oola
e
ge
iscc: add support fo
r
st
r
in
g
s
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdo
o
lae
g
e
iscc: pri
n
t
error message
on use of unknown ident
i
fier
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
V
e
rdo
o
l
a
ege
iscc:
support uni
o
n se
t
s
in vertices operatio
n
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaege
add isl_list_con
c
at
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
barv
i
nok_bound: use isl to split periods
commit
|
commitdiff
|
tree
2010-09-05
S
v
en
V
e
r
doolae
g
e
update isl for isl_pw_qpoly
n
o
m
ial_split_periods
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Verdool
a
eg
e
do
c
: mark PolyLib inte
r
face obsolesce
n
t
commit
|
commitdiff
|
tree
2010-08-31
Sven V
e
rd
o
ola
e
ge
Makefile
.
am: drop refer
e
nc
e
s to obsolete
@bv_barvinok
_
bound@
commit
|
commitdiff
|
tree
2010-08-31
S
ven Verdoolaege
evalue_convert
.
c
c:
e
value_print_isl: print
end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sve
n
Verdoolaeg
e
i
s
c
c
: allow coercio
n
o
f
binary li
s
t int
o
fi
r
st element
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n
V
e
rdoolaege
barvi
n
o
k
_bou
n
d: convert
to isl_p
w
_qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barvinok_bound:
u
s
e
isl to split on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoola
e
ge
s
e
t sensible d
e
fa
u
lts with --
p
olynomial-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_pw_qpolynomial_sum: reuse barvinok_options if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdoolaege
isl_
m
ap_
c
ard: reuse
barvino
k
_op
t
ions if
available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
r
d
oolaege
update isl for
a
ligning parame
t
e
r
s
of union argum
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
er
d
o
o
laege
iscc: add "join" opera
t
i
o
n
on folds
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoola
e
g
e
iscc: add "join
"
operation on maps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verd
o
ol
a
ege
is
c
c: support
a
dditi
o
n
on
a pair of a f
o
ld and a qua
s
ipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
update
is
l
for
adding types to isl_{union_,}pw_qp
o
lynomial_fol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
d
o
olaege
a
llow codegen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
isc
c
:
codegen: dete
c
t strides
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
Verdoolaege
iscc
:
use simplified CLooG
i
nt
e
rface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
update
i
sl
f
or
rena
m
e of isl_pw
_
qpolynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdool
a
ege
iscc
.
c: union_pw_qpolynomial_upper_bound: fix mem
o
ry
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoo
l
aeg
e
summate
.
c: f
i
x t
y
po
in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdool
a
ege
isl_map_
a
pply
_
pw_qpoly
n
o
mial:
f
ix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
update i
s
l
from isl
_
union_map
fix
e
s
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
i
scc: allo
w
i
n
vers
e
on non-union maps a
g
ain
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n
Verdoo
l
aege
i
scc: add
w
rap a
n
d unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
add
i
sl_uni
o
n
_
map_apply_uni
o
n_pw_qpolyno
m
ial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
olaege
isl_pw_qp
o
lynom
i
al_sum: handle isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
upda
t
e isl for nested dimens
i
on sp
e
cificat
i
ons
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_
m
ap_card
:
p
o
stp
o
ne s
h
uffling around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoo
l
aege
update
i
sl fo
r
isl_basi
c
_m
a
p_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdo
o
laege
isl_pw_qpolynomia
l
_
s
um: pus
h
co
n
ve
r
sion to PolyLi
b
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
S
v
e
n Verd
o
olaege
isl_pw_qpolynomial_sum:
check for unb
o
un
d
ed domai
n
s
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
avoid use
of isl_dim internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: s
u
pport c
o
de
g
en operation if CLooG
i
s
available
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
iscc
:
switch to usi
n
g uni
o
ns
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
rdoolaeg
e
add isl
_
uni
o
n_pw_qpolynomial_s
u
m
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
add isl_un
i
o
n
_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
is
l
_pw_qp
o
l
y
nomial_
s
um: take tupl
e
names into account
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdo
o
l
a
ege
isl_m
a
p
_
c
ard: preserve
ful
l
d
omain dimension inf
o
rmati
o
n
commit
|
commitdiff
|
tree
2010-07-31
S
ven
Ve
r
doolaege
update isl for chang
e
in isl_hash_table
_
foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
barvinok_enu
m
era
t
e
.
cc
:
fix
p
ri
n
tf form
a
t
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdo
o
laege
doc: ad
d
some
m
ore papers
refering to the library
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Ver
d
oolae
g
e
b
a
rvinok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
up
d
ate isl to versio
n
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
e
ge
c
onf
i
gure
.
in: properl
y
add isl fl
a
gs
and l
i
bs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaeg
e
c
onfig
u
re
.
in: drop call to gl_E
A
R
L
Y
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdo
o
l
a
e
ge
genfun
.
cc: fix
p
r
intf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
te
s
t_approx
.
c: fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
erd
o
ol
a
ege
test_bound
.
c: fix printf f
o
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
i
n
:
s
top
c
ompiling
Omega by d
e
fault
commit
|
commitdiff
|
tree
2010-06-28
Sven
Ver
d
oolaege
verify_lexsmalle
r
.
c
:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdool
a
ege
evalue
.
c
: avo
i
d use of allo
c
a
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
ev
a
lue_is
l
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven V
e
rdoolaege
iscc: recover
f
r
om errors
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
erdoolaege
update isl f
o
r improved error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
iscc
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdool
a
ege
doc: iscc: up
d
at
e
documentation of "
u
b" operato
r
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
test_approx:
include ctyp
e
.
h for issp
a
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
e
st_approx: incl
u
de config
.
h for HAVE_SY
S
_TIM
E
S_
H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolae
g
e
test_bo
u
nd:
i
nclude co
n
f
i
g
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
iscc: add vertice
s
ope
r
a
t
ions
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
optio
n
ally use isl to perform pa
r
a
metric vertex enume
r
ation
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
update
i
sl-p
o
lyl
i
b for handling of ra
t
i
onal sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
dro
p
distinct
i
on
b
et
w
een barvinok
-
c
o
re and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
remove bernst
e
in
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdool
a
eg
e
u
p
d
a
t
e is
l
for
g
eneri
c
isl
_
pw_
q
p
o
lynomial_
b
ound
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolae
g
e
configure
.
i
n: drop bv_o
m
eg
a
_pro
g
rams
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add isl_ctx_peek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Ver
d
o
o
l
aege
isc
c
: parse barvino
k
options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
export isl_qpoly
n
om
i
a
l_
f
rom_
e
va
l
ue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
Makefile
.
am: drop
d
ependence on doc/omega
.
t
e
x
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
upda
t
e
isl for ren
a
me of
i
sl
_
pw_
q
polyno
m
i
al_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
verif_ehrh
a
rt
.
c: add
missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
c
onfigu
r
e
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
S
v
en V
e
rd
o
olaege
use i
s
l for arg
u
ment par
s
ing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update isl for kee
p
ing track
of u
s
er
option
s
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n Verdool
a
ege
test_bound
:
rewr
i
te in C
commit
|
commitdiff
|
tree
2010-05-19
Sven V
e
rdoolaege
update isl for help
mes
s
age
printing
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdool
a
ege
remove evalue_op
t
imum
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
do
o
lae
g
e
remove evalue_rang
e
_
p
ropagati
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
test_bound: use isl i
n
t
e
r
f
ace f
o
r
c
o
m
puting bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
do
o
laege
barvinok_bound: u
s
e isl interface
for computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
i
scc: support
u
b
even if GiNaC suppo
r
t was not compiled
i
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add
g
eneric
isl_pw_qpolyno
m
ial_
b
ound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
up
d
ate
i
sl f
o
r isl_pw_qpolynomial_bo
u
nd_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
test
_
bound
:
use is
l
duri
n
g verifi
c
ation
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolae
g
e
barvinok_bound: use isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoola
e
g
e
v
e
r
i
f
y
.
c: extr
a
ct some helpe
r
f
unctio
n
s for isl ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
introduce "bound" op
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoo
l
aege
option
s
.
c: fix
p
ri
n
t
f
f
o
rmat
commit
|
commitdiff
|
tree
2010-05-10
S
v
en Verdo
o
l
a
ege
iscc: add a
p
plication operations
commit
|
commitdiff
|
tree
next