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
Sven
V
e
r
doolaege
ba
r
vinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven
V
erdoolaege
up
d
ate isl for fix i
n
parameter al
i
gnm
e
nt
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
r
d
oolaege
bar
v
inok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n V
e
rdoolae
g
e
iscc: a
d
d lexic
o
gr
a
phi
c
ope
r
ators
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n Verdoola
e
ge
update is
l
to
v
ersion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sve
n
Verdoolaege
iscc:
add "source" operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doo
l
aege
iscc: add sup
p
ort for
st
r
ing
s
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: print
error me
s
s
a
g
e on
u
se of unknow
n
iden
t
ifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc:
su
p
port union sets i
n
verti
c
es oper
a
tion
commit
|
commitdiff
|
tree
2010-09-06
Sven
Verdo
o
laege
add isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven
Verdoolaege
barvinok_b
o
un
d
: use isl to split periods
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n Ve
r
doo
l
a
ege
update
i
s
l
for
i
s
l
_
pw_qpol
y
nomial_split_
p
eriods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoo
l
aege
doc:
mark
PolyLib
interface obsole
s
cent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolae
g
e
M
ak
e
f
i
le
.
am
:
d
rop
r
eferences to obso
l
et
e
@bv_barvinok_bo
u
nd@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
eval
u
e
_
c
on
v
er
t
.
cc: evalue_print_isl: print end-of
-
l
ine
commit
|
commitdiff
|
tree
2010-08-30
Sven
V
erdo
o
laege
iscc: allow coer
c
ion of bi
n
ary
l
ist int
o
f
irst ele
m
ent
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoola
e
ge
barvinok_bound: conv
e
rt to
isl_pw_qpolynomia
l
once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoo
l
aege
b
a
r
vinok_bound: use i
s
l to split o
n
do
m
ain
size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoo
l
a
e
ge
set se
n
si
b
le defaults
wi
t
h --poly
n
omi
a
l-a
p
proximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
i
sl_pw_
q
polynomial_sum: reuse barvinok_options if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ver
d
o
o
laeg
e
isl_map_card: reuse barvinok_options i
f
available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ver
d
oolaege
u
p
d
ate is
l
f
or aligning parameters of union argume
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven
Verdool
a
e
ge
iscc: add "join" operation on fold
s
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
iscc:
a
dd "
j
oin" operati
o
n on map
s
and fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoola
e
ge
iscc: suppor
t
a
d
dition
on
a
p
air of
a
fold and a quasipolyn
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Ve
r
doola
e
ge
upd
a
te isl for
a
ddin
g
types to isl_{union_,}p
w
_
q
polynom
i
al_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
allow codege
n
on sets
commit
|
commitdiff
|
tree
2010-08-18
S
ven
Verdoola
e
g
e
iscc: c
o
d
e
gen: detect str
i
des
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc:
use
s
imp
l
ified C
L
ooG interfa
c
e
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
ool
a
e
g
e
u
pdate isl for rename o
f
is
l
_pw_q
p
oly
n
omial_fold_ad
d
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n
V
erd
o
olaege
iscc
.
c: union_pw_qpolynomial_up
p
er_bound: fix memo
r
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summate
.
c:
fix
typo in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
isl_map_
a
p
ply_pw
_
qpo
l
ynomial:
f
i
x
typo
commit
|
commitdiff
|
tree
2010-08-10
S
ven Ve
r
doolaege
update isl from isl_union_m
a
p fixes
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
Verdool
a
ege
i
s
cc: allow inve
r
se on non-
u
nio
n
maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdool
a
ege
iscc: ad
d
w
r
ap and
u
nwrap
o
p
e
rations
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaege
add isl_union_
m
ap_
a
pply_un
i
o
n_
p
w_q
p
olynomi
a
l
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
r
doolaege
isl_pw_qpolynomial_sum: han
d
le isl_p
w
_q
p
olynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven
V
erd
o
olae
g
e
u
p
date
i
sl f
o
r neste
d
dime
n
sio
n
specif
i
cations
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaeg
e
isl_map_card: post
p
one shuffling
a
round of dimen
s
ion
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoolaege
u
pdate isl for isl_basic_map
_
m
o
v
e_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
is
l
_pw_q
p
o
lynomial_sum
:
push conversi
o
n to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
V
erdoo
l
aege
isl_pw_qpo
l
ynomial_sum:
check for unbound
e
d
d
o
mai
n
s
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
avoid use of isl
_
dim int
e
rnals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
is
c
c
:
support codegen op
e
ration if
CLooG is available
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
iscc:
switc
h
t
o
u
sin
g
unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add is
l
_unio
n
_pw_
q
pol
y
nomia
l
_su
m
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolae
g
e
add isl_union_map
_
card
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdo
o
laege
isl_
p
w_qpoly
n
o
m
ial_sum
:
t
ake tuple n
a
mes i
n
to
a
cc
o
unt
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_m
a
p_card: preserve
full domain dimension informatio
n
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
u
p
date isl for cha
n
ge in
isl_hash_table_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
barvin
o
k_enumerate
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven V
e
r
d
o
olaege
d
oc: add some more papers r
e
fering to the
l
ib
r
ary
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
e
g
e
ba
r
vinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdo
o
laege
update
i
sl t
o
ver
s
ion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
o
o
laege
configu
r
e
.
in: proper
l
y
add is
l
flags and
l
ibs to pk
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolae
g
e
c
o
nfigur
e
.
in: drop
c
all to
gl
_
EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
genf
u
n
.
cc:
fix printf fo
r
m
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdool
a
ege
test_approx
.
c:
fix pri
n
tf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
test_bound
.
c:
f
ix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
er
d
ool
a
e
ge
configure
.
in: sto
p
compiling Omega by default
commit
|
commitdiff
|
tree
2010-06-28
S
v
e
n
V
er
d
o
o
l
aege
veri
f
y_lexsmaller
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
evalue
.
c: avoid us
e
of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
eva
l
ue_isl
.
c: fix t
y
p
o
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdo
o
la
e
ge
iscc: rec
o
ver from e
r
rors
commit
|
commitdiff
|
tree
2010-06-20
Sven
Verdo
o
lae
g
e
update isl
for improved e
r
ror h
a
n
dling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c
:
fi
x
ty
p
o
commit
|
commitdiff
|
tree
2010-06-13
Sven
Verdoolaege
doc: iscc: update document
a
t
ion of "ub
"
operat
o
r
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
tes
t
_a
p
p
rox:
i
nclude ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
test_
a
p
p
rox:
i
nclude conf
i
g
.
h
for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Ve
r
doolaege
test_bound: i
n
c
lude c
o
nfig
.
h for HAV
E
_
S
Y
S
_
TIM
E
S_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
cc: a
d
d
v
ertices o
p
er
a
t
ions
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
d
o
olaege
o
ptionally use
i
sl to
p
erform parametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
e
rdoo
l
a
e
ge
upda
t
e isl
-
p
o
l
y
lib fo
r
handling of
r
ational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
drop distincti
o
n between barvinok-c
o
r
e
and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
remove ber
n
stein
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdool
a
ege
updat
e
isl for generic
isl_pw_qpoly
n
omial_b
o
u
nd
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
c
o
n
f
igure
.
in:
dr
o
p b
v
_omega_p
r
ograms
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
a
d
d i
s
l_ct
x
_peek_
b
arvinok_opt
i
ons
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
iscc: parse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
export isl_
q
polynomi
a
l_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doolaege
Ma
k
ef
i
le
.
am: d
r
op dependence on doc/omega
.
te
x
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ve
r
doolaege
u
p
d
ate
isl for rename of isl_pw_qpolynomial
_
m
o
ve
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
verif_
e
hrhart
.
c: add m
i
ssing
include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
configu
r
e
.
i
n
: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
o
l
aeg
e
us
e
isl for argument parsing
commit
|
commitdiff
|
tree
2010-06-01
S
v
en V
e
rdoo
l
aege
update
isl
f
or keeping track of user option
s
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n Verdoolaege
test_bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
update isl for help message printi
n
g
commit
|
commitdiff
|
tree
2010-05-15
S
ven Ver
d
oola
e
ge
remove
e
v
a
l
ue
_
optimum
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaege
r
emo
v
e
evalue_range_pro
p
agation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
te
s
t_bound: u
s
e isl i
n
terf
a
ce for comput
i
ng bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barvinok_bound:
use isl interfac
e
f
or compu
t
ing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
ae
g
e
i
scc: sup
p
ort
u
b even
i
f
Gi
N
aC support was not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdo
o
laege
add
generic is
l
_
pw_qpo
l
ynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
u
pdate isl f
o
r
isl_pw_qpolyn
o
mial_
b
ound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
test_bound: use isl during verific
a
ti
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaeg
e
barvinok_bound:
use is
l
du
r
ing verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
verify
.
c: extract s
o
me he
l
p
er fu
n
c
tions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
introduce
"bound" optio
n
commit
|
commitdiff
|
tree
next