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
iscc: register extra keywords in generic way
2010-10-11
Sven Verd
o
o
laege
iscc: re
g
ister extra k
e
y
w
ords in generic
w
ay
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolae
g
e
use isl to
p
e
r
f
orm "man
u
al_c
o
unt"
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Ver
d
oolaege
allow buildi
n
g
w
ithout
p
ip
l
ib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaeg
e
Polyh
e
dron
_
Reduced_
B
as
i
s: opti
o
nally use isl
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaege
fix dependence
on b
u
ild isl
commit
|
commitdiff
|
tree
2010-10-11
S
ve
n
V
e
r
d
o
ol
a
ege
isl_map_card: us
e
isl for f
a
ctorizat
i
on
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
is
l
_map_
c
ard: spl
i
t
d
i
m
ension fiddling f
r
om c
o
n
versi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
V
erdoolaeg
e
is
l
_map_card: use is
l
_pw_qpoly
n
omial_sum if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verd
o
o
l
aege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Ve
r
doolaeg
e
update isl for fi
x
in
parame
t
er alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Ve
r
doo
l
aege
i
s
cc: add l
e
xicographic operat
o
rs
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
rdoolaege
update is
l
to versi
o
n 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Ve
r
doolaege
iscc: add "source" operation
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
e
rd
o
o
laege
isc
c
: add support f
o
r strings
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaege
iscc:
p
r
i
n
t error
m
essage on
u
se of unk
n
own
i
d
e
ntifier
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdoolaege
iscc
:
s
u
pp
o
r
t
un
i
on s
e
ts in vertices operati
o
n
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdoola
e
ge
add isl_list_conc
a
t
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
erd
o
olaege
barvin
o
k_bound:
u
se isl to
s
p
lit periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoola
e
ge
u
pdate isl for isl
_
pw_qpolynom
i
al_split
_
periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
doc: mark PolyLib interfa
c
e obsolesce
n
t
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Verdoolaege
Makefile
.
am: drop ref
e
rences to o
b
sole
t
e
@b
v
_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
e
v
alue_con
v
e
rt
.
cc: eval
u
e_print_isl: prin
t
end-of-l
i
ne
commit
|
commitdiff
|
tree
2010-08-30
S
ven Ve
r
doo
l
a
e
ge
iscc
:
allow coerci
o
n
o
f
bi
n
ary
list into
f
i
rst element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolae
g
e
barvinok_bound: conve
r
t
t
o isl_pw_qp
o
lynomial once
commit
|
commitdiff
|
tree
2010-08-28
S
ven Verdoolaege
barvin
o
k_bound
:
use isl
t
o spl
i
t on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
V
e
rdoolaege
se
t
s
e
n
sible defaults with --polynomial-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
e
n
Verdoolaege
isl
_
pw_qpo
l
ynomial_sum: reuse barvinok_options if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoola
e
ge
isl_map_
c
a
rd: reuse barvinok_options if
avai
l
able in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdoolaege
u
p
date isl for
a
ligning parameters of union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laeg
e
i
scc:
add "join"
o
peration o
n
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
iscc: a
d
d "jo
i
n" o
p
erat
i
o
n
on
m
aps an
d
f
olds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
iscc:
s
upport add
i
tion on a pair of a fold
a
n
d
a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rd
o
olaege
update
i
sl for adding types to isl_{un
i
on_
,
}pw_qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
allow codegen on s
e
t
s
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoola
e
ge
iscc: codegen: detect strid
e
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
ool
a
e
ge
i
s
cc: use
s
implified CLooG
interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
upd
a
te isl for ren
a
me of isl_
p
w
_q
p
olynomial_fold
_
add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
is
c
c
.
c: union_pw
_
q
polynom
i
al_upper_bound: fi
x
memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summate
.
c
:
fix
typo in com
m
ent
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
is
l
_
map_apply_pw_q
p
oly
n
omial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Ver
d
oolaeg
e
up
d
ate isl from isl_union_map fix
e
s
commit
|
commitdiff
|
tree
2010-08-10
S
ven Verdoolaege
iscc: allow inverse on
n
on-union
m
a
p
s
a
gain
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
olaege
i
s
cc: add wrap and unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
er
d
o
o
laege
add
i
sl_union
_
m
ap_a
p
p
ly
_
uni
o
n_pw_qpo
l
ynomial
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdo
o
laege
is
l
_
p
w
_
q
p
ol
y
nomial_sum: handle
i
sl_pw_
q
polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoolaege
upd
a
te is
l
for nested dim
e
ns
i
on
s
pecification
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_map_ca
r
d: pos
t
pone shuffling
a
round of di
m
e
nsions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
u
p
d
ate
i
sl for isl_b
a
si
c
_map_mo
v
e
_
d
ims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoo
l
a
e
g
e
isl_pw_qp
o
l
y
nomial_sum: push conver
s
ion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Ver
d
ool
a
ege
isl_
p
w_qpol
y
n
o
mial
_
su
m
:
c
heck for unbou
n
ded domain
s
commit
|
commitdiff
|
tree
2010-08-02
S
ven Verdo
o
laege
avoid use of isl_dim inte
r
n
als
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
iscc:
su
p
port codegen operation if CLo
o
G is availa
b
le
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
isc
c
:
s
witch to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_
u
nion_
p
w_qpolynom
i
a
l_sum
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoo
l
aege
add isl_union
_
map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
isl_p
w
_qpolynomial_sum: ta
k
e
tuple names into account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laeg
e
is
l
_map_card: pre
s
erve fu
l
l domain
dim
e
nsi
o
n
i
nformation
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
u
pd
a
te isl
f
or cha
n
ge
i
n isl_
h
as
h
_table_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
barvin
o
k_enume
r
ate
.
cc: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-07-03
Sven V
e
rdoolaege
d
oc: add some
more p
a
pers refering to
t
h
e library
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n V
e
rdool
a
ege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
update is
l
to
version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
c
onf
i
gure
.
in: proper
l
y add isl
fl
a
gs and
li
b
s
to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in: drop cal
l
t
o gl_E
A
RLY
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoola
e
g
e
genfun
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
la
e
ge
t
e
st_approx
.
c: fix printf
f
o
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
tes
t
_bound
.
c: fix printf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in: s
t
op compi
l
in
g
Omega by de
f
ault
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdo
o
laege
verify_lexsmaller
.
c: fix
t
y
p
o
commit
|
commitdiff
|
tree
2010-06-27
S
ven
Verdoo
l
aege
evalue
.
c: avoid use
o
f
alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
ev
a
lue
_
isl
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
Verdo
o
laege
iscc: re
c
over
fr
o
m
e
rr
o
rs
commit
|
commitdiff
|
tree
2010-06-20
S
v
en Verdoolaege
u
p
dat
e
isl
f
or impro
v
e
d err
o
r ha
n
d
ling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
o
l
aege
iscc
.
c:
f
ix t
y
po
commit
|
commitdiff
|
tree
2010-06-13
Sven V
e
r
d
oolaege
d
o
c: is
c
c: upda
t
e documentation of "ub"
o
perator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
test_approx: include c
t
ype
.
h for is
s
pace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
est_
a
pp
r
ox
:
include config
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
tes
t
_bound: include
config
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolaege
iscc: add ver
t
ices o
p
e
r
ations
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
o
o
laege
opt
i
onally use isl to perform parametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
update
i
s
l-polylib
for handling of
r
ationa
l
sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
drop distinction bet
w
e
e
n barvinok-core
a
n
d barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
re
m
ov
e
bernstein
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoo
l
ae
g
e
update isl for
generic isl_pw_qpolynomial_
b
ou
n
d
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
con
f
igure
.
in: drop bv_omega_pro
g
rams
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
e
r
doolaege
add isl_
c
tx_pe
e
k_barvinok_opti
o
ns
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
iscc: pars
e
barvino
k
op
t
ions
commit
|
commitdiff
|
tree
2010-06-01
S
ven Ver
d
oola
e
ge
export isl_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolae
g
e
Mak
e
file
.
am: drop
d
ependenc
e
on doc/o
m
ega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
S
ve
n
Verdoola
e
g
e
update isl for rename of isl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven
Ver
d
oolaege
v
e
r
i
f_ehrha
r
t
.
c: a
d
d
m
issing includ
e
commit
|
commitdiff
|
tree
2010-06-01
Sven
Ve
r
doo
l
aege
conf
i
gure
.
i
n: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verd
o
olaege
use i
s
l
for
a
r
g
ume
n
t parsin
g
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
upd
a
te isl
f
or keepi
n
g track of user
o
ptions
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
test_
b
ound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdool
a
eg
e
u
p
d
a
te isl
for help mess
a
ge printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolae
g
e
remove evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolaege
remove evalue_r
a
nge_propagat
i
on
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
tes
t
_bo
u
n
d
: use
i
sl
interface for com
p
uting
b
o
unds
commit
|
commitdiff
|
tree
next