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
use isl to perform "manual_count"
2010-10-11
Sven Verdoolae
g
e
us
e
i
s
l to per
f
orm "manual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
allow bui
l
d
ing wit
h
o
u
t piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaeg
e
Polyhedron_Reduced_B
a
sis: optionally
use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoola
e
ge
fix
d
e
pendence on build isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
isl_map_card: use isl
for factorization
commit
|
commitdiff
|
tree
2010-09-14
S
ven
V
e
rdoolaeg
e
isl_map_card: s
p
lit dimension fi
d
dling from conve
r
sion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
v
en Verdoola
e
ge
isl_map_card: use i
s
l_pw_qpolynomial_sum if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
S
ven
V
erdoolaege
u
p
date isl
for f
i
x
i
n
paramete
r
al
i
gnment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
S
v
en Verdoolaege
isc
c
: a
d
d lex
i
cographic op
e
r
a
tor
s
commit
|
commitdiff
|
tree
2010-09-10
S
v
en Verdool
a
ege
update is
l
to version 0
.
0
4
commit
|
commitdiff
|
tree
2010-09-07
S
v
en Ver
d
o
olaege
iscc:
a
dd "source" operatio
n
commit
|
commitdiff
|
tree
2010-09-06
S
v
en
Ver
d
oola
e
ge
iscc:
a
dd
s
upport for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdo
o
l
a
e
g
e
iscc: print error mes
s
a
g
e on
u
s
e
of unk
n
ow
n
i
dentifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: suppor
t
union sets in vertices opera
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
e
rdoolaege
ad
d
i
sl
_
lis
t
_conc
a
t
commit
|
commitdiff
|
tree
2010-09-05
Sven
Verdoolaege
barvinok_bo
u
nd:
u
se isl
t
o
s
plit
p
eriods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
update isl for isl_pw_qpolynomial
_
s
plit_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
erdoolae
g
e
doc
:
ma
r
k
PolyLib interf
a
ce obsolesce
n
t
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolae
g
e
Mak
e
file
.
am: drop references
t
o obsolete @bv_barvinok_
b
ound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Ver
d
oolaege
e
value_convert
.
cc: evalue_print_is
l
:
prin
t
end-of-lin
e
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdool
a
ege
iscc: allow coercion
o
f
binary l
i
st into first elemen
t
commit
|
commitdiff
|
tree
2010-08-28
Sven V
e
rdoo
l
aege
barvinok_boun
d
: conv
e
rt to isl
_
pw_qpo
l
ynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sve
n
Verdoolaege
ba
r
v
i
n
ok_bound: u
s
e
i
sl to
s
plit o
n
domain s
i
ze
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
rdoolaege
se
t
s
e
nsi
b
le
d
efaults with --p
o
lynomial-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoola
e
ge
isl
_
p
w_
q
polynomia
l
_sum:
reuse ba
r
vi
n
ok_opt
i
ons if a
v
ailable
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
en Verdoola
e
ge
isl_map_card: reuse barvinok_options if
a
vailable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdool
a
ege
u
p
date isl for aligning parameters
of
u
ni
o
n
arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
is
c
c: add "join" operation
o
n
fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Ve
r
d
o
olaege
iscc: add "join"
o
peration on
m
aps
a
nd fold
s
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdo
o
laege
iscc: support a
d
d
ition on a pair of a
fold and a quasipoly
n
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
upda
t
e
i
sl f
o
r
adding ty
p
es to
i
s
l
_{
u
nion_,}pw_qpolynomial
_
folds
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoola
e
ge
all
o
w codegen on se
t
s
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaege
iscc
:
code
g
en: detec
t
str
i
des
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
scc: use
simplified C
L
ooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
update i
s
l for rename of isl_pw_qpo
l
ynomial_
f
old_
a
dd
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
.
c: union_pw_qpolynomial_upper_bound
:
f
ix
m
e
mory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
summate
.
c:
fix typo in comment
commit
|
commitdiff
|
tree
2010-08-17
Sv
e
n Ver
d
oolaege
i
s
l
_map_apply_pw_qpolynomial: fix
t
yp
o
commit
|
commitdiff
|
tree
2010-08-10
Sven Ver
d
oolaege
update isl
from isl_unio
n
_map fixe
s
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n
Ve
r
d
oolaege
iscc: allow
i
nverse on non-union ma
p
s a
g
a
in
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
isc
c
:
a
d
d
wr
a
p
an
d
unwrap
operations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add i
s
l
_
union_map_apply_un
i
o
n
_
pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdo
o
laege
isl_pw_q
p
olynomia
l
_sum
:
h
a
ndle i
s
l_
p
w_qp
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolaege
u
p
date isl for nest
e
d d
i
mension spe
c
ifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aege
isl
_
m
a
p
_card: postpone shuf
f
ling
aro
u
nd of di
m
ensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdo
o
laege
update
isl for isl_basic
_
ma
p
_
m
o
ve_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Ve
r
d
oo
l
aege
isl_pw_q
p
oly
n
omia
l
_su
m
: push
c
on
v
ersion t
o
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
e
r
doolaege
i
s
l
_
pw_qpolynomial_su
m
: check fo
r
unb
o
unded
d
omains
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Ver
d
ool
a
ege
a
void u
s
e
of isl
_
di
m
internals
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoola
e
ge
i
s
cc: support
c
o
degen op
e
ration if CLooG is
a
vailable
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n Verdo
o
l
a
ege
iscc: switch to using
u
n
ions
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
Verdoolaege
add isl_unio
n
_pw_qpol
y
n
omial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
add isl_unio
n
_
m
a
p
_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
i
s
l_pw_
q
p
oly
n
o
m
ial_sum: take tupl
e
name
s
in
t
o account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
is
l
_map_card: preserve
f
ull do
m
ai
n
d
i
mension
information
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
update i
s
l for
c
hange in isl_hash_table_fo
r
each
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
barvino
k
_enumerate
.
cc: fi
x
printf f
o
r
m
a
t
commit
|
commitdiff
|
tree
2010-07-03
S
v
en Ver
d
oolaege
doc: add some more
paper
s
r
e
fering
t
o the lib
r
ary
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
upd
a
te isl to versio
n
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
config
u
re
.
in: pr
o
perly
add isl flags and
l
i
bs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
configure
.
in:
drop ca
l
l to
gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
g
e
nfu
n
.
c
c
:
fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
test_approx
.
c: f
i
x
p
rintf format
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolae
g
e
te
s
t
_
bound
.
c: fix
p
r
intf
format
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
confi
g
ure
.
in: s
t
o
p
co
m
piling Omega
by default
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
er
d
o
o
laege
verify_lex
s
mall
e
r
.
c: fi
x
t
y
po
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
V
erd
o
ol
a
e
g
e
evalue
.
c: avoid use of a
l
loca
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoola
e
ge
evalue_isl
.
c
:
f
ix
t
ypo
commit
|
commitdiff
|
tree
2010-06-20
Sve
n
V
erdoolaege
iscc: re
c
o
v
er fr
o
m errors
commit
|
commitdiff
|
tree
2010-06-20
Sven V
e
r
doolaege
update isl
f
o
r improved erro
r
h
a
ndling
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verd
o
olaege
iscc
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
doc: iscc: update documentation of "
u
b" ope
r
a
t
or
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
laeg
e
test_approx: include
ctype
.
h for issp
a
ce
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaeg
e
test_appro
x
:
i
nclude
c
on
f
i
g
.
h for
HAV
E
_
SYS_TI
M
E
S
_H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolae
g
e
test_b
o
und:
include config
.
h for
HAVE_SYS_TI
M
ES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
iscc: add vertices operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
optio
n
ally use isl
t
o perform par
a
metric
ve
r
tex e
n
umeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
update isl-pol
y
lib for handling of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
drop distinction between barvinok-core and ba
r
vino
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doola
e
ge
remove b
e
rns
t
ein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
update isl for generic isl_pw_qpolynomial_
b
ound
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoo
l
aege
config
u
re
.
in: d
r
op b
v
_omega_prog
r
a
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
a
dd isl_ctx_peek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
isc
c
: parse barvi
n
o
k
o
ptions
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
er
d
oola
e
ge
expo
r
t i
s
l_qpolyn
o
mial_fro
m
_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
l
a
ege
Makefile
.
am: drop dependen
c
e on doc/omeg
a
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
up
d
ate isl for
r
ename of isl_pw_qpolyno
m
i
al_m
o
ve
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
verif_
e
h
r
har
t
.
c: ad
d
miss
i
ng include
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n Verdoolaege
configure
.
i
n
: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use isl
f
or argument par
s
ing
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoola
e
ge
update isl for keeping track of
u
ser options
commit
|
commitdiff
|
tree
2010-05-19
Sven
V
e
r
do
o
l
aege
tes
t
_bound:
r
e
write in C
commit
|
commitdiff
|
tree
2010-05-19
Sven V
e
rdoo
l
a
ege
update isl
for help
me
s
sage printin
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
ge
remo
v
e evalue_op
t
imum
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verd
o
o
laege
remove evalue_ran
g
e
_p
r
opagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaege
t
e
s
t_bound: us
e
i
s
l i
n
terf
a
ce for comp
u
ting bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdo
o
l
a
e
ge
b
a
rvin
o
k
_
bound
:
use isl interface for computing bounds
commit
|
commitdiff
|
tree
next