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.1
2010-09-13
Sve
n
Ve
r
doolaeg
e
barvi
n
ok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
upd
a
te isl
f
o
r f
i
x in par
a
meter alignmen
t
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
erdoo
l
aege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n
V
e
rdoolae
g
e
iscc: add lexicographic operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
u
p
d
a
te isl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sv
e
n Verdoola
e
ge
i
s
c
c: add "source"
o
perat
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
o
olaege
iscc: add suppor
t
for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdool
a
ege
iscc:
pr
i
nt erro
r
message on use of unkno
w
n identi
f
ier
commit
|
commitdiff
|
tree
2010-09-06
S
v
en
V
erdoolae
g
e
iscc: su
p
po
r
t
unio
n
s
e
ts in vert
i
ces operat
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoola
e
ge
add isl_list_
c
o
ncat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoo
l
aege
barvinok
_
bound: use isl to
s
plit
p
eriods
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
erd
o
ol
a
e
g
e
update isl f
o
r isl_pw_qpoly
n
o
m
ia
l
_sp
l
it_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Ver
d
oolaege
doc: mark PolyLib inter
f
a
c
e
ob
s
oles
c
ent
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Verdoolaege
Makefile
.
am: drop
r
eferences to ob
s
olet
e
@bv_barvi
n
ok
_
b
ou
n
d@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
evalue_convert
.
cc: eval
u
e_
p
rint_isl: print
end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoo
l
a
ege
iscc: allow coercion of binary
l
i
s
t into
first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdool
a
e
g
e
barvinok_bound
:
convert to i
s
l
_pw_qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Ver
d
oolaeg
e
b
arvinok_bound: use isl to sp
l
it on d
o
ma
i
n size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdo
o
laege
set
se
n
s
ible de
f
aults
w
i
th --polynom
i
al-ap
p
ro
x
imati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdoolaege
isl_pw_qpo
l
ynomia
l
_s
u
m: reuse barv
i
nok_options if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolae
g
e
isl_map_card: re
u
s
e barvinok_o
p
tions
if av
a
ilable
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdool
a
e
g
e
update isl for alignin
g
pa
r
a
m
ete
r
s o
f
uni
o
n ar
g
uments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add "
j
oin" operation o
n
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdool
a
ege
iscc: add "jo
i
n
"
oper
a
ti
o
n on maps
and fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
iscc: s
u
pport addition o
n
a pair of a fold and a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
update isl for a
d
di
n
g
t
ypes to isl_
{
uni
o
n_,}
p
w_qpolynomia
l
_fold
s
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
all
o
w
cod
e
gen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
iscc: codegen: d
e
tect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaeg
e
i
s
cc: use simplified CLooG interfa
c
e
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n Verdoolaege
update isl for rename o
f
isl_p
w
_qpolynomia
l
_fol
d
_add
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
Verdoolaege
iscc
.
c: union_pw_qp
o
lynom
i
al_upper_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdool
a
e
g
e
summate
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
isl_
m
ap_ap
p
ly
_
p
w
_q
p
olynomial
:
fix typo
commit
|
commitdiff
|
tree
2010-08-10
S
ven Verd
o
olaege
update
isl from isl_union_map
fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Ver
d
o
o
laeg
e
iscc:
a
l
low inverse on non-union maps
again
commit
|
commitdiff
|
tree
2010-08-05
S
ven
V
erdoolaege
i
s
c
c
: add wrap and unwrap ope
r
ation
s
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaege
add isl_union_map_a
p
ply_union_
p
w_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdo
o
laege
i
s
l_pw_qpolynomial_sum: handle isl_pw_qpolynomial
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdool
a
ege
u
pdate isl for nested dimension sp
e
cifications
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
i
sl_map
_
card: postpone shuf
f
ling aro
u
nd of dime
n
sions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
lae
g
e
updat
e
i
s
l for isl_b
a
si
c
_map_move_d
i
ms
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
e
rdoo
l
aege
isl_pw_q
p
oly
n
omial_sum:
p
ush conver
s
i
on to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_pw_
q
polynom
i
al_sum: check f
o
r unb
o
unded
d
om
a
ins
commit
|
commitdiff
|
tree
2010-08-02
S
v
e
n
Verdoolaege
avoid u
s
e o
f
isl_dim int
e
rna
l
s
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
er
d
oolaege
iscc: suppo
r
t
c
odegen oper
a
tion if CLooG is availabl
e
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
e
rdoolaege
i
s
cc: switch
to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
a
dd isl_union_pw_
q
polynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ve
r
doolaege
add
i
sl_union
_
map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_
p
w
_qpolyn
o
mial_sum: take tuple n
a
mes i
n
to ac
c
o
unt
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl
_
m
ap_card: preserve
full domain d
i
mension info
r
mation
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolae
g
e
update isl for chang
e
in isl_hash
_
table_fo
r
ea
c
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n
Verdoo
l
aege
barvinok_
e
numerate
.
cc: f
i
x pr
i
ntf format
commit
|
commitdiff
|
tree
2010-07-03
Sv
e
n
Verdoola
e
ge
d
oc: add some
m
o
re paper
s
refering to
the librar
y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
barvinok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
upda
t
e isl to
version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in: properly add is
l
flags and libs t
o
p
kg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
configu
r
e
.
i
n: drop c
a
ll to gl_EA
R
LY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
genf
u
n
.
cc: f
i
x pri
n
t
f
for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
test_approx
.
c: fix
p
rintf for
m
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Ver
d
o
o
l
aege
t
est_
b
ou
n
d
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
e
rdoo
l
a
ege
co
n
f
igu
r
e
.
in: s
t
o
p compiling O
m
e
ga by default
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdoolaege
verify_lexsmalle
r
.
c:
f
i
x
typ
o
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoolaege
eva
l
ue
.
c: a
v
oid use
o
f a
l
lo
c
a
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
e
value_isl
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-20
S
ven Verdoolaege
iscc:
r
ecover from e
r
rors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verd
o
olaege
upd
a
te
isl for
i
mproved e
r
r
o
r
handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
S
v
en Verdoolaege
doc:
iscc: u
p
date documentation of "ub" oper
a
t
or
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
test_
a
pprox: i
n
c
l
ud
e
ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aege
t
e
st_approx: include c
o
nfig
.
h for HAV
E
_S
Y
S_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
te
s
t_bound: include confi
g
.
h for HAVE_S
Y
S_T
I
MES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
is
c
c: add
v
er
t
ices oper
a
tions
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
o
p
ti
o
na
l
ly us
e
isl to
perform param
e
tric v
e
rtex enu
m
eration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update is
l
-polylib for handling of
r
a
t
i
o
na
l
set
s
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
o
l
aege
drop distinctio
n
between barvinok-core and barv
i
nok
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n V
e
rdo
o
laege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
upda
t
e isl
for ge
n
e
ric
i
sl_pw_qpoly
n
o
mia
l
_bound
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
c
o
nfigur
e
.
i
n: drop bv_
o
mega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoolaege
add isl_ctx_peek_barvinok_op
t
i
ons
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
iscc: parse ba
r
vinok
o
ptions
commit
|
commitdiff
|
tree
2010-06-01
S
ve
n
V
e
rdoolaege
export isl_qpolynomial_from_eva
l
ue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
M
a
k
e
fi
l
e
.
am: drop de
p
en
d
ence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
r
doolaege
update
isl
f
o
r
rename o
f
isl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n
Verdoolaege
v
erif_ehrhart
.
c: add mis
s
ing
include
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdo
o
l
a
ege
configure
.
in: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n
Verdoolaege
use is
l
for
argument
p
arsing
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
Verdoolaeg
e
upda
t
e isl for ke
e
ping
track of us
e
r o
p
tions
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
test_bound: rewrit
e
in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Ve
r
do
o
laege
update
i
s
l
for help
mes
s
a
g
e printing
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
e
rdoolaege
re
m
ove evalue_optim
u
m
commit
|
commitdiff
|
tree
2010-05-15
S
ven
Verdool
a
e
g
e
remove eva
l
ue_r
a
nge_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n
V
e
rdoolaege
t
e
st_b
o
und: use isl interface for computi
n
g
bounds
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Ve
r
do
o
laege
barvinok_bound
:
us
e
isl
interface
f
o
r comput
i
ng bou
n
ds
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Verdool
a
ege
is
c
c: support ub e
v
en if GiNaC support was n
o
t compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
add generic isl_pw_qpo
l
ynomial
_
bou
n
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
o
olaege
updat
e
isl for is
l
_pw_q
p
olynomi
a
l_
b
ound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
test_bound
:
use isl during ve
r
i
ficat
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
barvino
k
_bou
n
d
:
u
s
e isl during
verification
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
verify
.
c
:
extract some h
e
lper functions
for
isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
introduce "bo
u
nd" option
commit
|
commitdiff
|
tree
next