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 Verdoolaege
bar
v
in
o
k 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n Verdoolaege
is
c
c:
a
d
d
lexicographi
c
operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
update isl
t
o version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Ve
r
doolaege
iscc: a
d
d "source"
o
peration
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdoo
l
a
ege
iscc: add support fo
r
string
s
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoola
e
ge
i
scc:
print
er
r
or mess
a
g
e
on use
o
f un
k
no
w
n identifier
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoo
l
aeg
e
iscc: s
u
pport union sets i
n
vertices operation
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Ver
d
oolae
g
e
ad
d
isl_li
s
t_conc
a
t
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoola
e
ge
ba
r
vin
o
k_b
o
un
d
: use isl to s
p
lit pe
r
iods
commit
|
commitdiff
|
tree
2010-09-05
Sven
Verd
o
olaege
update
i
s
l
for isl_pw_qpolyn
o
m
i
al_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdo
o
laeg
e
doc: mark PolyL
i
b interface obsol
e
scent
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verdool
a
ege
Makefile
.
am: dr
o
p
r
e
ferences t
o
obsolete
@bv
_
bar
v
inok_bo
u
n
d
@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolae
g
e
evalue_c
o
nvert
.
cc
:
evalue_print_isl:
p
rint end-of-lin
e
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdo
o
laege
iscc: a
l
low
c
oercion of b
i
nary list in
t
o first e
l
ement
commit
|
commitdiff
|
tree
2010-08-28
Sven
V
erdoolaege
barvinok
_
bound: conv
e
rt to isl_pw
_
qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barvi
n
ok_bound: u
s
e isl to sp
l
it on
d
omain size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
s
e
t sensible default
s
with
-
-poly
n
o
mial-approxi
m
atio
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl
_
pw_qpol
y
nomial_s
u
m: re
u
s
e barvinok_opt
i
ons if av
a
ilabl
e
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verd
o
olaege
isl_map_ca
r
d
:
reuse barvinok_op
t
i
ons if avail
a
ble in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ver
d
oolaege
update isl
f
or aligning parameters of
u
nion argumen
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaeg
e
iscc: add "join" oper
a
tion on
fold
s
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
iscc:
a
dd "join" oper
a
tion on m
a
ps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Ve
r
doolaege
iscc
:
s
uppo
r
t
add
i
tion
o
n
a pair of a fold and a quasipo
l
yno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
update isl for a
d
ding ty
p
es to
isl_{un
i
on_,}pw_q
p
olynomial_fol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
allow codegen on se
t
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
iscc: codegen
:
detect
strides
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
iscc: use
s
implified
CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erd
o
ol
a
ege
updat
e
i
sl for rename of isl_pw_qp
o
lyno
m
i
al_f
o
ld_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
scc
.
c: union
_
pw_
q
polynomial_up
p
e
r_bo
u
nd:
f
ix memor
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaeg
e
summate
.
c: fix typo
i
n comm
e
nt
commit
|
commitdiff
|
tree
2010-08-17
Sven Ve
r
d
o
ol
a
e
g
e
isl_map_appl
y
_pw_q
p
olynomi
a
l: fi
x
t
y
p
o
commit
|
commitdiff
|
tree
2010-08-10
Sven
V
erdoolaege
update
i
s
l from isl_union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n Verdoo
l
aege
iscc: allo
w
inverse
on non-un
i
on
maps
a
g
ain
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoo
l
aege
iscc: add
wrap and u
n
wrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
add isl_u
n
ion_map_ap
p
ly_un
i
on_
p
w
_
qpoly
n
omial
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
isl_pw_qpolynom
i
al_sum: h
a
ndle isl_pw_qpoly
n
o
m
i
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
update isl for nested dimensio
n
specifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_map
_
card
:
postpone shu
f
fli
n
g around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
e
ge
update i
s
l
for isl_basic
_
map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Ve
r
d
oolaege
isl_pw_qpolynomial_sum: push conversio
n
t
o
P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
olaeg
e
isl_pw
_
qpo
l
ynomia
l
_sum:
c
heck for u
n
bounded doma
i
ns
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
avoid use of is
l
_dim internals
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ve
r
doolaege
iscc: suppor
t
c
odegen ope
r
ation if CLooG is available
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
iscc: switch to using un
i
on
s
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verd
o
ol
a
ege
add isl_unio
n
_pw_qpo
l
ynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
add i
s
l
_un
i
on_map
_
card
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoola
e
ge
isl_pw_q
p
olynomial_s
u
m
:
t
ake tuple names
i
n
to acc
o
unt
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
isl_map_ca
r
d: preserve full domain
d
imension infor
m
ation
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoo
l
aege
update isl for ch
a
nge in isl_h
a
sh_table_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
ba
r
vi
n
ok_enumerate
.
cc: fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-07-03
Sven V
e
rdoola
e
ge
doc: a
d
d so
m
e
m
o
r
e
p
a
pers refering to the library
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
up
d
a
t
e is
l
t
o
v
ersion
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
c
onfig
u
r
e
.
in: properly add isl flags and lib
s
to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
c
o
nfigure
.
in: drop c
a
l
l to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
g
enfun
.
cc: fix printf f
o
rm
a
t
commit
|
commitdiff
|
tree
2010-06-29
S
ven Ve
r
doolaege
t
es
t
_appro
x
.
c:
fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
t
e
st_bound
.
c: fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sven
Ve
r
doolae
g
e
con
f
igure
.
in
:
s
t
op
compiling Omega by default
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Ve
r
doo
l
aeg
e
verify
_
le
x
smaller
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
e
v
al
u
e
.
c: a
v
o
i
d
use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaeg
e
evalue
_
isl
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verd
o
olaege
i
scc: recover from error
s
commit
|
commitdiff
|
tree
2010-06-20
Sven
Verdoolae
g
e
update isl for i
m
p
r
o
v
ed err
o
r
handling
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n V
e
rdoolae
g
e
i
scc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
d
oc
:
iscc: upd
a
t
e
d
ocume
n
tation
of "ub" operato
r
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoola
e
ge
tes
t
_approx: include cty
p
e
.
h for
isspace
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
test_a
p
pr
o
x:
i
nclude config
.
h for HAV
E
_SYS_T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
o
olaege
test_bound: incl
u
de c
o
nfig
.
h for HAVE_SYS_TIMES
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
iscc
:
a
d
d vertices oper
a
tio
n
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
ola
e
ge
op
t
ionally use isl to perfor
m
p
a
ramet
r
ic
vertex en
u
meration
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oolaege
upda
t
e isl-polylib for
handling of r
a
ti
o
na
l
sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
drop disti
n
ction between
b
a
rvinok-core
a
nd barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaege
r
e
m
ove bernste
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
u
pdat
e
isl for g
e
ne
r
ic isl_p
w
_
q
pol
y
nomia
l
_
b
ound
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
config
u
r
e
.
in: drop
bv
_
omega
_
p
ro
g
rams
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_
c
tx_peek_b
a
rvin
o
k_options
commit
|
commitdiff
|
tree
2010-06-07
Sv
e
n Verdoolaege
i
s
cc: parse barvinok opti
o
ns
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
export isl_qpol
y
nomial_fr
o
m
_e
v
alue
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n
Verdoolaege
Ma
k
efile
.
am: d
r
op depen
d
ence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
update isl for r
e
name o
f
isl_
p
w_qpolynom
i
al_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
verif_
e
h
r
h
a
r
t
.
c: a
d
d missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolae
g
e
config
u
re
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n
Verd
o
o
laege
use isl for argum
e
n
t parsing
commit
|
commitdiff
|
tree
2010-06-01
S
ven
V
erdoolaege
update isl
f
o
r
keeping track of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven
V
erdoolaeg
e
test_bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
S
v
e
n Verdoolae
g
e
update isl for
help message printi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoola
e
ge
remove e
v
a
l
ue_optimum
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaeg
e
remove evalue_rang
e
_
p
r
o
pagat
i
on
commit
|
commitdiff
|
tree
2010-05-15
S
ven Ve
r
do
o
laege
test_bo
u
nd: use isl interfac
e
for computing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Ver
d
o
o
laege
barvinok
_
b
o
u
nd: u
s
e
i
s
l interface
for computing boun
d
s
commit
|
commitdiff
|
tree
2010-05-14
S
ven
Verdoolaege
is
c
c
:
support u
b
eve
n
if GiNaC s
u
pport was
n
ot comp
i
led i
n
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verd
o
olaeg
e
add
g
en
e
ric is
l
_
pw_qpo
l
yno
m
i
a
l_
b
ound
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolae
g
e
u
pdat
e
isl
f
or isl_pw
_
qpolynomial_bound_r
a
n
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
te
s
t_bou
n
d
:
use isl
d
uring
v
erification
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Ve
r
d
oolaege
barvinok_bound: use isl duri
n
g verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oola
e
g
e
ve
r
ify
.
c: e
x
tract some helper functions for
i
sl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
v
en V
e
rdo
o
laege
int
r
oduce "bound
"
optio
n
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n
Verdoolaege
options
.
c: fix prin
t
f
format
commit
|
commitdiff
|
tree
2010-05-10
S
ven Verdoolae
g
e
iscc: add application operations
commit
|
commitdiff
|
tree
next