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
Sve
n
Ver
d
oolaege
barvinok
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verd
o
olaege
iscc: add lexicographic operators
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
erdoolaege
u
p
date
isl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verd
o
olaege
iscc: add "so
u
rce" operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdo
o
la
e
ge
is
c
c:
add s
u
pp
o
rt for s
t
r
i
ngs
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
i
s
cc: pri
n
t er
r
or mes
s
a
g
e
on use o
f
unknown
i
denti
f
ier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
is
c
c
: support
union se
t
s in v
e
r
tices operatio
n
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doolaege
add i
s
l_list_concat
commit
|
commitdiff
|
tree
2010-09-05
S
v
en Ve
r
doolaege
barvinok_bou
n
d: use
i
sl to split p
e
r
i
ods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoola
e
ge
update isl fo
r
isl_pw_qp
o
lynomial_s
p
lit_per
i
ods
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Verdoolaege
doc: mark Poly
L
ib interfa
c
e obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
Ma
k
efile
.
a
m
: dro
p
referenc
e
s
to
obsolete @bv
_
ba
r
vi
n
ok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Verd
o
olaeg
e
evalue_convert
.
c
c: eval
u
e_print_isl: p
r
int end-of-
l
ine
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaege
iscc
:
a
llow c
o
erc
i
on o
f
binary lis
t
into
first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Ve
r
doolaege
b
ar
v
inok_bound
:
convert to isl_pw_qp
o
lynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven V
e
rdoolaege
barv
i
nok_bo
u
n
d
: u
s
e is
l
to split
o
n domain
s
ize
commit
|
commitdiff
|
tree
2010-08-26
Sven
Verdoolaeg
e
set sen
s
ible defaults with --polyno
m
ial-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaege
isl_pw_qpolynomia
l
_s
u
m: re
u
se barv
i
n
ok_options i
f
available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ver
d
o
o
laege
isl_
m
ap_card:
reuse b
a
rvinok_opti
o
ns i
f
av
a
ilable
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
e
n
Verdoolaeg
e
update isl fo
r
al
i
gning param
e
ters of union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
iscc:
add "join" operation on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
i
scc: add
"
j
o
i
n
" o
p
eration on m
a
ps an
d
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolae
g
e
isc
c
: supp
o
rt addit
i
on on
a pai
r
of
a
fold and a
q
uasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
u
p
dat
e
isl for
a
dding types to isl_{uni
o
n
_
,}pw_qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
allow codegen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verd
o
olaege
iscc
:
codegen: d
e
tect
strides
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
iscc: use
simp
l
ified
CLooG
i
nterface
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
update
isl for
r
ename of
i
sl_pw_qp
o
l
ynomial
_
f
o
ld_add
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdo
o
laege
iscc
.
c: union_pw_qpol
y
nomial_upper_bound: fix
m
e
m
ory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
summate
.
c: fix ty
p
o in c
o
mment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
isl_map_appl
y
_pw_qpolyn
o
mial: fix
typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdool
a
ege
update i
s
l
f
r
om isl_u
n
i
o
n
_map fix
e
s
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoola
e
g
e
i
scc: all
o
w inverse on
n
o
n
-union maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
is
c
c:
add w
r
ap and unwrap oper
a
tions
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoo
l
aeg
e
a
dd
isl_union_map_apply_un
i
o
n_
p
w_qp
o
lynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_pw_qpolyn
o
mial_sum: handle isl
_
pw_qpoly
n
omia
l
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update
i
sl for
nested dime
n
sion specificatio
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
isl_ma
p
_ca
r
d: postpone s
h
uffling
a
round of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolae
g
e
upd
a
te isl f
o
r isl_basic_
m
ap_mov
e
_
dims
commit
|
commitdiff
|
tree
2010-08-04
S
v
e
n Verdool
a
ege
isl_pw_qpolyno
m
ial_sum: push conversi
o
n
t
o
Po
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n
Verdoola
e
ge
isl_pw_qpolynom
i
al_sum
:
che
c
k for u
n
bounded
d
om
a
ins
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
avoid us
e
of isl_dim
internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: support co
d
egen operation if CLooG i
s
available
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: switch to usi
n
g unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
ool
a
ege
add isl_
u
nio
n
_pw_qpolynomi
a
l
_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
ola
e
ge
a
dd isl_unio
n
_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
isl_pw_qp
o
ly
n
omia
l
_s
u
m: take tuple names into
a
ccount
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_map_car
d
:
pr
e
serve full
do
m
ain
d
i
mension information
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
up
d
a
t
e isl for change i
n
isl_hash_table
_
f
ore
a
ch
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
barvinok_
e
nu
m
erate
.
c
c
: fix
p
rintf f
o
rmat
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
d
o
c: add
some
more papers refe
r
i
ng to the
l
i
b
rary
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rd
o
o
l
aege
b
a
rvinok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verd
o
olaege
upd
a
te isl to
v
e
rsion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
configure
.
in:
p
r
o
perly add isl fl
a
gs an
d
libs
to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdo
o
laeg
e
config
u
re
.
in: drop call to
g
l_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
genfun
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
test_appr
o
x
.
c: fix
p
rintf format
commit
|
commitdiff
|
tree
2010-06-29
S
ve
n
V
e
rdoolaeg
e
tes
t
_bou
n
d
.
c:
f
ix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in: stop
compil
i
ng Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
erdool
a
ege
verif
y
_le
x
s
m
aller
.
c:
fix
typo
commit
|
commitdiff
|
tree
2010-06-27
S
ven V
e
rdoolaege
eva
l
ue
.
c: avo
i
d
u
se of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
a
e
ge
evalue_isl
.
c:
f
ix ty
p
o
commit
|
commitdiff
|
tree
2010-06-20
Sven Ve
r
doolaege
iscc: recover f
r
om
e
rro
r
s
commit
|
commitdiff
|
tree
2010-06-20
S
ven Verdoolaege
upda
t
e isl for improved err
o
r
handlin
g
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verd
o
olaege
iscc
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaeg
e
doc: iscc: update
docu
m
entat
i
on of "u
b
" oper
a
to
r
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
d
o
olaege
test
_
appro
x
:
inc
l
u
de ctype
.
h
for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
tes
t
_app
r
ox: include config
.
h fo
r
HAV
E
_SYS_TIM
E
S_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
olaege
t
e
st_bo
u
n
d:
include
c
onfig
.
h
for HAVE_SYS
_
T
I
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
iscc:
add vertices operation
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olae
g
e
optionally use is
l
t
o
perf
o
r
m
parametric
v
ertex e
n
umeration
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
up
d
a
t
e isl-
p
olylib
for handl
i
ng o
f
r
ational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
dr
o
p distinction between barvinok-core an
d
b
a
rvinok
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
d
oo
l
aege
up
d
a
te
isl
f
or generic is
l
_
p
w
_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
configure
.
in: drop bv_omega_pro
g
rams
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoolaege
add
i
sl_ctx
_
p
e
e
k_barvinok_opt
i
ons
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
is
c
c: parse barvin
o
k
options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
export isl
_
qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
Makefile
.
am:
drop de
p
ende
n
ce on do
c
/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
S
ven
V
er
d
o
ol
a
eg
e
update isl for rename of isl_pw_qpoly
n
omial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rd
o
olaege
verif_ehrhart
.
c: a
d
d m
i
ssing incl
u
d
e
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
configure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n
V
erd
o
olaeg
e
use isl for arg
u
me
n
t parsin
g
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
update i
s
l for keepi
n
g track of user o
p
t
i
ons
commit
|
commitdiff
|
tree
2010-05-19
Sven V
e
rdoolaege
test_bound
:
rewrite
in
C
commit
|
commitdiff
|
tree
2010-05-19
S
v
en Verdo
o
laege
upd
a
te isl for
help
messag
e
pr
i
nting
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove evalue_opti
m
um
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
rem
o
ve evalue_ran
g
e
_propaga
t
i
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
test_bound: use
i
sl interfac
e
for computing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
ba
r
vino
k
_
b
ound:
use isl
in
t
e
r
face
f
or computing b
o
unds
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
is
c
c: sup
p
ort ub even if GiNaC su
p
port wa
s
not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
add generic isl_pw_qp
o
lynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
u
pdate
i
sl for isl_pw_q
p
olynomial
_
b
ound_range
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
test_bound: use
i
sl during
verifi
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
barvinok_bound: use isl
d
uring v
e
rification
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Ve
r
doolaege
verif
y
.
c
:
extract some helper
functions for isl
based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
introduce "b
o
u
n
d" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
options
.
c: fix print
f
f
o
rmat
commit
|
commitdiff
|
tree
2010-05-10
S
v
en Verdoola
e
ge
iscc: ad
d
a
ppl
i
cation operations
commit
|
commitdiff
|
tree
next