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
b
arvinok 0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
S
ven Verdoolaege
iscc: add lexicographic operators
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
V
e
rdo
o
laege
update isl t
o
v
e
rsion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Ver
d
oola
e
ge
iscc: add "so
u
rc
e
" operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: add
s
u
pport
for st
r
ings
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doolaeg
e
iscc:
p
rint error me
s
s
age on use of unk
n
ow
n
identif
i
er
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolae
g
e
is
c
c:
s
upp
o
rt union sets in vertices o
p
er
a
t
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oolaege
add isl_list_conc
a
t
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
barvinok_bound: use isl to s
p
lit period
s
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
update i
s
l
fo
r
is
l
_
pw_qpolynomia
l
_split_periods
commit
|
commitdiff
|
tree
2010-08-31
S
ven
V
erd
o
ol
a
e
g
e
d
o
c: mark PolyLib interfac
e
obs
o
le
s
cent
commit
|
commitdiff
|
tree
2010-08-31
Sven Ve
r
doo
l
aege
M
a
k
e
file
.
am: drop references
to obsolete @bv_ba
r
vinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
S
ven Ve
r
doo
l
a
e
ge
evalue
_
conv
e
r
t
.
c
c
: evalue_print
_
isl:
print end-
o
f-line
commit
|
commitdiff
|
tree
2010-08-30
S
ven Verdoolaege
iscc
:
allow coercion
o
f
b
i
nary li
s
t
int
o
first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdo
o
laege
bar
v
inok_boun
d
:
conve
r
t to isl_p
w
_qpo
l
ynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdo
o
l
aege
barvin
o
k_bound:
use isl to split on domain
size
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Ve
r
d
o
olaege
set sensibl
e
def
a
ults with --polyn
o
mial-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolae
g
e
is
l
_pw_qpolyno
m
ial_sum: reus
e
b
arvinok
_
opt
i
ons if avail
a
ble
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
rdoolaege
isl_map_
c
ard
:
r
e
use
barvino
k
_
opt
i
ons if av
a
ilable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
en
V
erdoo
l
aege
update isl
f
or alig
n
ing para
m
eters of
union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
iscc: add "join
"
operation on folds
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaege
iscc
:
add "join" operatio
n
on maps
a
nd folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
i
scc: s
u
pport addition on a p
a
i
r
of a fol
d
and a quas
i
polyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
Verd
o
olae
g
e
upd
a
te isl for addi
n
g types to
i
sl_{union_,
}
pw_qpolyn
o
mia
l
_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
allow codegen on se
t
s
commit
|
commitdiff
|
tree
2010-08-18
S
ve
n
V
e
rdo
o
laege
iscc: codegen:
detect str
i
des
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Ver
d
oolaege
iscc: us
e
simplified CLooG
interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oola
e
ge
update isl
f
or rename of is
l
_pw_qpolynomial_fo
l
d_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
.
c: un
i
on_pw_qpolyn
o
m
i
a
l_upper_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaeg
e
s
ummate
.
c:
fix t
y
po in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdool
a
ege
isl_ma
p
_apply_pw_qpo
l
y
nomial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdool
a
ege
u
pda
t
e
isl from
i
sl_union_map fix
e
s
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdo
o
la
e
ge
iscc: allow i
n
verse on no
n
-union
maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
i
s
c
c
:
a
dd
w
rap and unwrap ope
r
ations
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdool
a
ege
ad
d
isl_
u
nion_map_apply_union_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
olaege
isl_pw_qpolynomial
_
s
um: han
d
le isl_p
w
_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
u
p
d
ate isl for nested d
i
men
s
ion sp
e
cific
a
tions
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
i
sl_m
a
p_card: postpo
n
e shuffling around of dimens
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
upda
t
e
isl for isl_basic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rdoolaege
isl_
p
w_qpolyno
m
ial_sum: pu
s
h conve
r
sion
t
o PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Ver
d
oolaeg
e
isl_pw_qpolynomi
a
l_s
u
m: ch
e
ck for
u
nbo
u
nded domai
n
s
commit
|
commitdiff
|
tree
2010-08-02
Sven Verd
o
o
laege
avoid use of isl_dim
internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
scc: s
u
pport
codegen operation
if CLoo
G
is available
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
r
d
oolaege
is
c
c: swi
t
ch
to
u
si
n
g u
n
ions
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaeg
e
add is
l
_union
_
p
w_qpolyn
o
mial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
add i
s
l_union_map_c
a
rd
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laeg
e
isl_pw_qpolynomial_sum:
t
ake tuple names
into account
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Ve
r
doo
l
a
e
ge
isl_ma
p
_c
a
rd:
pres
e
rve
f
ull domain dime
n
sion informa
t
ion
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdo
o
l
a
ege
u
pdate isl for chan
g
e 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 for
m
at
commit
|
commitdiff
|
tree
2010-07-03
Sve
n
Verdoolaege
doc:
a
dd some mor
e
pa
p
ers
r
efer
i
ng to th
e
l
ibrary
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoola
e
ge
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
ol
a
ege
update i
s
l to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdo
o
laege
configure
.
in: properly
add isl flags
a
nd libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdo
o
lae
g
e
configure
.
in: drop ca
l
l to
g
l_EARL
Y
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdool
a
e
g
e
genfun
.
cc: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
t
e
st
_
approx
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
test_bou
n
d
.
c: fix
printf for
m
a
t
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoo
l
ae
g
e
confi
g
u
r
e
.
in: stop co
m
piling
Omega by def
a
ult
commit
|
commitdiff
|
tree
2010-06-28
Sven
Verdoolaege
verify_lexsmaller
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoolaege
evalue
.
c:
a
voi
d
u
se of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
evalu
e
_isl
.
c: fix t
y
p
o
commit
|
commitdiff
|
tree
2010-06-20
Sven Verd
o
olae
g
e
iscc: recover f
r
om
e
r
rors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
update isl for impr
o
ved er
r
or handling
commit
|
commitdiff
|
tree
2010-06-19
Sven
Ver
d
oolaege
i
s
cc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
S
v
en
Verdoolae
g
e
doc: iscc:
u
pd
a
te documen
t
ation of "ub" op
e
rator
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
tes
t
_appro
x
: includ
e
c
ty
p
e
.
h
for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx: includ
e
con
f
ig
.
h for
H
AVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
te
s
t_bo
u
nd: include config
.
h for
H
A
VE_
S
YS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
e
r
do
o
l
aege
iscc: a
d
d vertices operations
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Ve
r
d
oolaege
optional
l
y use isl to
perform parametr
i
c
ver
t
ex enu
m
e
ration
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
update isl-
p
o
l
y
l
i
b for handling of r
a
tiona
l
sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
drop distinction between barvinok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
r
d
oolaege
update is
l
for ge
n
eri
c
isl_pw_
q
polynomial_bou
n
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
con
f
igure
.
in: drop b
v
_omega_p
r
ograms
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl
_
c
t
x_pee
k
_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaeg
e
iscc:
p
arse b
a
rv
i
nok
options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
export isl_qpolynomial_from_ev
a
lue
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
Makefil
e
.
a
m
:
drop de
p
e
n
d
ence
on
d
o
c/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laeg
e
update
is
l
f
o
r rename of isl
_
pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
ve
r
if_ehrh
a
rt
.
c
:
add
m
issing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
con
f
i
gure
.
in
:
fi
x
t
y
po
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doolaege
use isl for argument parsin
g
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
upda
t
e i
s
l for
k
eepin
g
t
r
ack of user opti
o
n
s
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
te
s
t
_bound: re
w
rite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
update isl for help
message printi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n
Verdo
o
laege
r
e
m
ove e
v
alue_opt
i
m
um
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
o
laege
r
emo
v
e eval
u
e_ran
g
e_propagat
i
on
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
o
lae
g
e
test_
b
ound: use isl interface for computing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaege
barvino
k
_
bound: use isl i
n
terface fo
r
computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
i
s
cc:
s
upport ub even if GiNaC support was
not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add gene
r
ic isl_pw_qpolynomial
_
bou
n
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oo
l
a
ege
update
i
sl
for isl
_
pw_qpolynom
i
al_boun
d
_r
a
ng
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
lae
g
e
test_bound: use isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
bar
v
in
o
k_bo
u
n
d
: use isl d
u
r
in
g
verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
verify
.
c: extract so
m
e helpe
r
functions
f
or isl bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Ve
r
doolaeg
e
int
r
oduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
options
.
c
:
fix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sv
e
n Verdoolaeg
e
i
s
c
c
: add ap
p
lic
a
ti
o
n o
p
e
r
ations
commit
|
commitdiff
|
tree
next