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
evalue_convert.cc: evalue_print_isl: print end-of-line
2010-08-31
Sven
Ve
r
doolaeg
e
eva
l
u
e_co
n
ver
t
.
cc: evalue_print_isl: p
r
int end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaege
i
s
cc: allo
w
coercion
o
f
binary lis
t
int
o
first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
ba
r
vinok_b
o
und: convert to
isl_pw_
q
poly
n
omial
o
nce
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdo
o
lae
g
e
barvinok_
b
ound
:
use isl to split on
do
m
a
i
n
s
ize
commit
|
commitdiff
|
tree
2010-08-26
S
v
en
V
e
r
doolaege
set sensible defaul
t
s with --p
o
lynomia
l
-
a
p
prox
i
m
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n V
e
rdoolaege
isl_pw_qpolyno
m
ial_sum:
r
euse bar
v
inok_optio
n
s if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
Verdoolaege
isl_map
_
c
a
rd: reuse
b
a
rvinok_options
i
f
a
vailable i
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdool
a
ege
u
pdate isl f
o
r al
i
g
n
ing parameters of union
a
rguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
iscc:
a
dd "join" operation on f
o
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaege
isc
c
: add "j
o
in" op
e
rati
o
n
on maps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolae
g
e
iscc: supp
o
rt addi
t
i
on on a pair of a fold
an
d
a qua
s
ipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaeg
e
update isl for
adding types t
o
i
s
l_{
u
nion_,}pw_qp
o
l
ynomia
l
_
f
olds
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
allow codegen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rd
o
olaege
iscc: codeg
e
n: de
t
ect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
iscc
:
use
simplifi
e
d CLo
o
G inte
r
face
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
update is
l
for renam
e
of isl_
p
w
_q
p
olynomial
_
fold_
a
d
d
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
o
l
a
e
g
e
iscc
.
c: union_pw_qpolynom
i
a
l_upp
e
r_
b
ound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdool
a
ege
sum
m
ate
.
c: fix
t
y
p
o
in
c
omment
commit
|
commitdiff
|
tree
2010-08-17
S
v
e
n Verdo
o
l
aeg
e
isl_map_appl
y
_pw
_
qpolynomial:
f
ix typ
o
commit
|
commitdiff
|
tree
2010-08-10
S
v
e
n V
e
r
d
oolaege
update isl from isl_union
_
map f
i
x
es
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n Verdool
a
ege
isc
c
: a
l
lo
w
inverse on non
-
union maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
iscc: add wrap and unwra
p
oper
a
t
i
o
ns
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
a
dd isl_union_
m
ap_apply_
u
nion_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
isl_pw_qpoly
n
omial_sum: h
a
n
d
le isl
_
pw_qp
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
upda
t
e isl for nested dimen
s
io
n
specification
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_
m
a
p
_card: po
s
tpone shuffling around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laege
upd
a
te
isl for isl_ba
s
ic_map_move
_
dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolae
g
e
isl_pw
_
qpolynomia
l
_sum: push con
v
ersion t
o
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verdoolaege
isl_pw_
q
polynomial_sum: check for unbounded
d
omai
n
s
commit
|
commitdiff
|
tree
2010-08-02
S
ven Verdoolaege
avoid use o
f
i
s
l_dim internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
iscc:
s
uppor
t
codegen opera
t
io
n
if
C
LooG is available
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
iscc: switch to usin
g
unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
add
isl_union_pw_qpoly
n
omial
_
s
um
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
r
d
o
o
la
e
ge
ad
d
isl_union_map_ca
r
d
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
Verdoola
e
g
e
isl_pw_qpolynomial_sum: t
a
ke tu
p
le names into account
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
V
erdoolaege
isl_map_card: preserve full domain dimensio
n
information
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoo
l
aege
update isl for change
in isl_hash_tab
l
e_
f
o
r
each
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoola
e
ge
b
a
rvinok_enume
r
ate
.
cc:
fix
p
rint
f
f
o
rmat
commit
|
commitdiff
|
tree
2010-07-03
S
v
en V
e
rdoo
l
aeg
e
doc
:
add some mo
r
e pap
e
rs refering
to the li
b
rary
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verd
o
ola
e
ge
update isl to v
e
r
sion 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laeg
e
configure
.
in: proper
l
y
a
dd
isl flags
a
n
d
libs
to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven
Ve
r
doolaege
c
o
nfigure
.
in
:
d
rop ca
l
l to gl
_
EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
genfu
n
.
cc: fix
printf forma
t
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdool
a
ege
test_appr
o
x
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_bound
.
c: fix print
f
for
m
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
o
l
aege
confi
g
ure
.
in: sto
p
comp
i
ling
Ome
g
a
by d
e
fault
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
erdoolaege
v
e
r
ify_lexsma
l
ler
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdo
o
laege
evalue
.
c
:
avoid u
s
e of alloca
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolae
g
e
e
v
a
l
ue_
i
sl
.
c
: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-20
Sven
Verdoolaege
i
s
cc
:
r
ecover
from error
s
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
update
i
sl for improv
e
d error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
S
v
en Verdoola
e
ge
d
oc: isc
c
: update
d
o
cum
e
nt
a
t
ion of "ub" oper
a
tor
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
e
st
_
approx: include cty
p
e
.
h
f
or isspace
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n V
e
rdo
o
laege
test_approx: include config
.
h for HAV
E
_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
test_bound:
include config
.
h
for
H
AVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
iscc: a
d
d vertices op
e
rations
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoolaege
o
p
tionally use
isl to perform parametric verte
x
enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
update isl-polylib for
handling of ratio
n
a
l sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
drop dist
i
nction between barvinok-co
r
e and
barvino
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
remove bernstei
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
up
d
ate isl for generic isl_pw_
q
polyno
m
ial_bo
u
nd
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
config
u
r
e
.
in: d
r
op
bv_
o
m
ega_
p
r
o
g
r
am
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_
c
tx_
p
eek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Ver
d
oola
e
ge
i
s
cc:
p
ar
s
e barvino
k
o
p
t
i
ons
commit
|
commitdiff
|
tree
2010-06-01
S
v
en
Verdoolaege
export
i
sl_qpoly
n
omial
_
f
rom_eval
u
e
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verd
o
o
l
aege
Makefile
.
am: drop depend
e
nce on doc/o
m
ega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
update isl for re
n
ame
o
f isl_pw_qpolynomial
_
move
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
v
e
rif_ehrhar
t
.
c: add missin
g
in
c
lude
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
configure
.
in: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
use isl for
argument parsi
n
g
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
V
erdo
o
laege
upd
a
t
e isl f
o
r
k
e
eping track of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoola
e
ge
t
est_b
o
u
nd: rewri
t
e in C
commit
|
commitdiff
|
tree
2010-05-19
S
v
en Verdoolaege
u
pdat
e
is
l
for he
l
p mes
s
a
g
e printin
g
commit
|
commitdiff
|
tree
2010-05-15
S
ven
V
e
rdoolaege
rem
o
ve
e
value_optim
u
m
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdool
a
ege
remove e
v
alue_r
a
ng
e
_propaga
t
io
n
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoola
e
ge
test_bound:
u
s
e
i
sl
i
nterfac
e
for c
o
mputing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaege
b
arvinok_bound: us
e
is
l
int
e
r
f
ace for computing
b
ound
s
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Ver
d
oolaeg
e
iscc: support
ub even if
GiN
a
C
support was no
t
compiled in
commit
|
commitdiff
|
tree
2010-05-14
S
ven V
e
rdoolae
g
e
a
dd generic i
s
l_pw_qpolyno
m
ial
_
bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
eg
e
update
isl for i
s
l_pw
_
qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
Verdoo
l
aege
test_bo
u
nd: use
isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
g
e
barvinok_bound: use
i
s
l
during ver
i
fication
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
v
er
i
fy
.
c: extract some hel
p
e
r
functions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
in
t
rod
u
ce "
b
ound" optio
n
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
options
.
c
:
f
i
x p
r
intf f
o
rmat
commit
|
commitdiff
|
tree
2010-05-10
Sven
V
erdoolaege
iscc:
add
application opera
t
i
o
ns
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
doo
l
aege
is
c
c: add read operation
commit
|
commitdiff
|
tree
2010-04-24
S
v
en
Verdoolae
g
e
iscc: fr
e
e opt
i
ons
commit
|
commitdiff
|
tree
2010-04-24
S
v
en V
e
rdoolae
g
e
update
isl for reading of strin
g
s
commit
|
commitdiff
|
tree
2010-04-21
Sven
Ver
d
oolaege
u
pdate isl
f
or fix
in isl
_
p
r
in
t
er_print
_
p
w
_
q
p
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
o
o
l
a
ege
update isl-po
l
ylib for c
h
ange in pkg
-
con
f
ig file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
iscc:
a
llow speci
f
ication
o
f output f
o
rmat
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Ve
r
doolaege
upd
a
t
e
isl for change i
n
isl_set_gist
a
r
gument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verd
o
o
l
aege
update isl for
ren
a
me of i
s
l_
m
ap_move
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdoolae
g
e
configur
e
.
in:
a
dd is
l
flags and libs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
iscc:
test isl_stream for eof ra
t
h
er than the
unde
r
l
y
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdo
o
laege
i
scc: ad
d
deltas oper
a
t
ion
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
update isl
for f
i
x
in i
s
l_map_delt
a
s
commit
|
commitdiff
|
tree
next