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_bound: use isl to split periods
2010-09-05
Sven Verdoolaege
barvinok_bou
n
d: use isl to spl
i
t
periods
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n Verdoolae
g
e
update isl for
isl_pw_q
p
olynom
i
al_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
V
e
r
doo
l
a
ege
d
o
c:
mark PolyLib interfac
e
obs
o
lescen
t
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaeg
e
Makefile
.
am
:
drop
r
eferen
c
es to obso
l
ete @bv_
b
arvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
S
ven Ve
r
doolaege
evalue_convert
.
cc: eval
u
e_print_is
l
: p
r
int en
d
-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Ve
r
d
o
o
laege
is
c
c: allow coercion of b
i
nary lis
t
into fir
s
t el
e
ment
commit
|
commitdiff
|
tree
2010-08-28
S
v
en V
e
rdoo
l
aege
b
a
rvinok_boun
d
: convert to isl_pw_
q
polynomial o
n
ce
commit
|
commitdiff
|
tree
2010-08-28
S
v
en
V
erdoo
l
aeg
e
barv
i
nok_b
o
u
nd: u
s
e i
s
l to
s
pli
t
on dom
a
in
s
i
z
e
commit
|
commitdiff
|
tree
2010-08-26
S
v
e
n
Verd
o
olaege
set s
e
ns
i
ble defaults
w
i
th --polynomial-approximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
en Verdoolaege
isl_p
w
_qpolyno
m
i
al_s
u
m
: reuse barvinok_o
p
tions
if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
e
n Verdoolaege
isl_map
_
card: reus
e
bar
v
i
n
ok_options if
a
vailable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdool
a
ege
updat
e
i
s
l
fo
r
aligning parameters of
union argument
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
iscc
:
ad
d
"join" operation on folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Ve
r
d
oolaege
iscc: add
"
join" operation on
maps and fol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoo
l
aege
isc
c
: support ad
d
i
t
ion
on a pair of a fold and a quasipolyn
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolae
g
e
u
p
d
ate isl for adding types t
o
isl_{union_,}pw_qpol
y
nomial_folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
V
erdoolaege
allow codegen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
s
cc
:
cod
e
gen: detec
t
strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
iscc:
u
se simpli
f
i
ed CL
o
oG
i
nterfa
c
e
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verd
o
olaege
u
p
date isl
f
or ren
a
me of isl_pw_qpolynomia
l
_fold
_
add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
iscc
.
c: union_pw_q
p
olynomial_u
p
p
er_bound: fix
m
emo
r
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ve
n
V
e
rdoolaeg
e
sum
m
ate
.
c: fix typ
o
i
n
co
m
ment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoola
e
ge
isl_
m
ap_apply_pw_
q
polynomial:
f
i
x typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoo
l
aege
update is
l
from isl_union
_
map fixes
commit
|
commitdiff
|
tree
2010-08-10
S
v
en Verd
o
olaeg
e
is
c
c: allow
i
n
ver
s
e on non-union
ma
p
s again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isc
c
: add wrap and unwrap
o
pe
r
ations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add isl_u
n
ion_map_apply_u
n
ion_p
w
_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
isl_pw_q
p
o
l
ynom
i
al_su
m
:
ha
n
dle isl_pw_qpolyno
m
ia
l
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoo
l
a
e
ge
u
p
date isl for
n
ested dimensio
n
specific
a
t
i
ons
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoo
l
aege
isl_
m
a
p
_ca
r
d: postpone
sh
u
f
fling around o
f
dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update
i
sl for isl_basic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdo
o
l
aege
is
l
_pw
_
qpolynomi
a
l_sum: push conversion t
o
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Ve
r
doolaege
i
s
l_pw_qpolynomial
_
sum:
c
h
eck for unbou
n
ded dom
a
ins
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Verdoolaege
avo
i
d use o
f
isl_dim
i
nternals
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdool
a
e
g
e
iscc: suppo
r
t c
o
degen operati
o
n if CLooG is
a
vailable
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
i
scc: switch to us
i
ng
u
n
ions
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaeg
e
a
d
d i
s
l_
u
nion_
p
w_qpol
y
nomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
a
ege
add isl
_
union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoola
e
ge
isl_pw_qpo
l
ynom
i
al_sum: take tuple name
s
int
o
acc
o
unt
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
isl_map_car
d
: pres
e
rve full
domai
n
di
m
e
n
sion information
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verd
o
olaege
update isl for change in
i
sl_hash_table_fore
a
ch
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ver
d
oolaege
ba
r
vinok_enu
m
erate
.
c
c
: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoola
e
ge
doc: add som
e
more
p
apers refering to th
e
library
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
ba
r
vinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erd
o
o
l
aege
update isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
c
o
nfi
g
u
r
e
.
in: proper
l
y
a
dd isl flags and
lib
s
to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
configure
.
in:
d
rop
call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
genfun
.
cc: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
t
est_approx
.
c: fix
p
r
i
ntf f
o
rma
t
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Ver
d
oo
l
aeg
e
test_bound
.
c: fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in: stop compi
l
i
n
g Omeg
a
by def
a
ul
t
commit
|
commitdiff
|
tree
2010-06-28
S
ven Verdool
a
ege
verify_lexsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
evalue
.
c: avoid use of al
l
o
ca
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaeg
e
e
value_i
s
l
.
c:
f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
Verd
o
olaege
iscc: recover fr
o
m errors
commit
|
commitdiff
|
tree
2010-06-20
S
v
e
n
Verdoolae
g
e
u
p
d
a
t
e
isl for impro
v
ed error ha
n
dl
i
ng
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdo
o
laege
iscc
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolae
g
e
doc: iscc: update documentati
o
n
of "ub"
o
perator
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
aege
test_app
r
ox: include
c
type
.
h f
o
r i
s
space
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
test_approx: include
config
.
h for HAVE_SYS_
T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
test_bound: include
config
.
h for HAVE_SYS_TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
i
s
c
c
: add
v
e
rtices operatio
n
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
optiona
l
ly us
e
i
s
l to
p
er
f
orm
p
a
rametri
c
vertex enumerati
o
n
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
updat
e
isl-polylib for
h
and
l
ing of
r
ational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoola
e
ge
drop distinction between barvino
k
-core
a
nd
b
arvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolae
g
e
re
m
ove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
update isl f
o
r gener
i
c isl_p
w
_qpolynom
i
al_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
co
n
fi
g
ure
.
i
n
:
d
rop bv_omega_pro
g
rams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_
c
tx_peek_barvinok_opti
o
ns
commit
|
commitdiff
|
tree
2010-06-07
S
ven V
e
rd
o
olaege
i
scc: parse barvinok o
p
t
ion
s
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
e
xport isl_qpolynom
i
al_f
r
om_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoolaege
Ma
k
efi
l
e
.
am:
drop dependence
o
n
d
oc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
update isl f
o
r
rename of
i
sl_pw_
q
polynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
rdoolaege
verif_e
h
rhart
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaeg
e
c
onf
i
gure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n
Verdo
o
laege
use isl
for argument parsi
n
g
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
V
e
rdo
o
laege
update isl
f
or keeping track of u
s
er options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verd
o
olaeg
e
test_bound: rewri
t
e in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoola
e
ge
u
p
date isl for help m
e
ssage printing
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolaege
remo
v
e evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaeg
e
remove
e
value_range
_
propagat
i
on
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
test_bound:
u
s
e isl inte
r
f
ace for comput
i
ng bounds
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdool
a
ege
b
arvinok_bo
u
nd: use isl in
t
erface
f
or c
o
mputing b
o
unds
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
o
olaege
iscc: support ub even if
G
iNaC
s
u
p
port was no
t
compi
l
ed in
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verd
o
olaege
ad
d
generic isl_pw_qpo
l
ynomial_bo
u
nd
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoo
l
aege
update isl for isl_p
w
_qpolyn
o
mial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
test_bound: use isl during
ver
i
fica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verd
o
ola
e
ge
barvino
k
_
b
ound: use isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
v
e
rify
.
c: extract some helper functio
n
s
for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoo
l
a
e
ge
int
r
oduce "bound" opti
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
V
erdoolaege
op
t
ions
.
c: fix
p
rintf
f
o
rmat
commit
|
commitdiff
|
tree
2010-05-10
Sven
Verdoo
l
aege
i
s
cc: add
application operations
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
r
doolaege
iscc: add r
e
a
d
oper
a
tion
commit
|
commitdiff
|
tree
2010-04-24
S
ven Ve
r
d
oolaege
iscc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdo
o
la
e
ge
update
i
sl for reading of s
t
rings
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verd
o
olaege
u
p
date isl for fi
x
in isl_printer_print_pw_qpoly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
a
e
g
e
upda
t
e isl-polylib for change
in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
S
ven
V
erdoola
e
ge
iscc: allow
specification o
f
outpu
t
format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
olaege
update
isl for change in isl_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
S
v
en Verdoolaege
upda
t
e isl for r
e
name of
i
sl_ma
p
_
m
ove
commit
|
commitdiff
|
tree
next