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
isl_map_card: use isl for factorization
2010-10-11
Sv
e
n Verdo
o
laege
isl_map_card:
use isl
f
o
r factorization
commit
|
commitdiff
|
tree
2010-09-14
Sv
e
n Verdoolaege
isl_map_card: split dime
n
sion f
i
d
dling
f
rom c
o
nversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n Verdoolaege
isl_map_
c
ard: use isl_
p
w_qpo
l
ynomial_s
u
m if reque
s
ted
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
v
en V
e
rd
o
olaege
barvin
o
k
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolae
g
e
u
p
da
t
e isl for fix
i
n parameter alignm
e
nt
commit
|
commitdiff
|
tree
2010-09-10
S
v
en Verdoo
l
ae
g
e
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Ve
r
doo
l
aege
i
s
cc: add l
e
x
icographic operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
updat
e
i
sl to version 0
.
0
4
commit
|
commitdiff
|
tree
2010-09-07
S
v
en Verdoo
l
aege
iscc: add "source" o
p
eratio
n
commit
|
commitdiff
|
tree
2010-09-06
Sven Verd
o
olaege
iscc: add support for stri
n
gs
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolae
g
e
i
s
cc: p
r
int erro
r
message on use of unknown iden
t
ifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
d
o
olaege
isc
c
:
support union
sets in
v
ertices operation
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n
Verdoolaege
add isl_list_c
o
ncat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
barvinok_bound: use
isl to split per
i
ods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolae
g
e
u
p
d
a
te isl for i
s
l_pw_qpolyno
m
ia
l
_s
p
lit
_
per
i
ods
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Verdool
a
ege
doc: mark PolyL
i
b
interf
a
ce obsol
e
scent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
Makefi
l
e
.
a
m: drop references to obsolete @bv_barvino
k
_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdo
o
laege
e
v
a
lu
e
_convert
.
cc: ev
a
lue_print_isl: print
end-o
f
-l
i
ne
commit
|
commitdiff
|
tree
2010-08-30
Sven Ve
r
doolaege
iscc:
allow coe
r
cion of binary list
i
nto first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verd
o
olaege
bar
v
inok_bou
n
d
: con
v
ert to isl_pw_qpoly
n
omi
a
l once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
b
a
rvinok_bou
n
d: u
s
e isl
t
o split on domain s
i
ze
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
e
rdoolaege
se
t
sensible defaults
w
ith --p
o
ly
n
omial
-
approximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoola
e
ge
isl_pw_qp
o
lynomial_sum: reuse barvi
n
ok_opti
o
n
s
if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verd
o
olaege
isl_m
a
p_
c
ard: r
e
use barvi
n
ok_options if available
i
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdoolae
g
e
u
p
d
a
te
i
sl for
aligning parameters
o
f union a
r
guments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add "join"
operatio
n
o
n folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
e
r
doolaeg
e
i
scc: add "join" oper
a
tion o
n
m
aps
an
d
f
o
lds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
:
support addition on a p
a
ir o
f
a fold
a
nd a quasip
o
ly
n
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
update isl for
addin
g
types t
o
isl_{union_,}pw_qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
allow codegen on set
s
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
is
c
c: code
g
e
n: detect
s
trides
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
is
c
c:
u
s
e s
i
mplified CLoo
G
int
e
rface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
updat
e
is
l
for
rename
of is
l
_pw_qpolynomial
_
fold_
a
d
d
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
is
c
c
.
c: union_pw_qpolynom
i
al
_
upper
_
bou
n
d:
f
ix me
m
ory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summate
.
c
:
fix typo in co
m
me
n
t
commit
|
commitdiff
|
tree
2010-08-17
Sv
e
n Verdoolaege
isl_
m
ap_app
l
y_
p
w_qpolynomia
l
: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven
V
erdool
a
ege
update is
l
from isl_unio
n
_m
a
p fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
i
s
cc: allo
w
inverse on non-u
n
i
on map
s
a
ga
i
n
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
iscc:
a
dd wr
a
p a
n
d unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolaege
add isl_union_map_ap
p
ly_union
_
pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
S
ven V
e
rdoolae
g
e
isl_pw_q
p
olynomi
a
l_sum: handle is
l
_pw_qpo
l
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n Ve
r
doolaeg
e
update is
l
for
nested dimensi
o
n specif
i
cations
commit
|
commitdiff
|
tree
2010-08-05
Sven
Ve
r
doolaege
i
s
l
_
map_car
d
: p
o
stpone
s
h
uffling around of
dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolaege
upd
a
te is
l
for isl_basic_map
_
m
ove_d
i
ms
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoola
e
ge
isl_pw_
q
polyn
o
mial_sum:
p
ush conversion to
P
o
l
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolaege
isl_pw_q
p
olynomial
_
s
u
m: che
c
k
for unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
a
v
oid
u
se of
i
sl
_
dim intern
a
ls
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n
V
e
rdoolaege
is
c
c: suppo
r
t codegen operation
if CLooG is available
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
Verdoolaege
iscc:
switch
t
o
using u
n
ions
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Ve
r
doolaege
a
d
d
i
sl_union
_
pw_qp
o
lyno
m
ial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
a
dd i
s
l_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
d
o
olae
g
e
isl_pw
_
qpolynomial_sum
:
take tuple names int
o
acc
o
unt
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoo
l
aege
is
l
_map_card: preserve full do
m
ain dimension info
r
m
ation
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
u
pdate
i
sl
for change in isl_hash_table_forea
c
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
l
a
e
ge
bar
v
inok_enumera
t
e
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verd
o
o
laege
doc: ad
d
some
m
ore paper
s
re
f
e
r
ing to the library
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
o
o
la
e
ge
barvi
n
ok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
u
p
d
ate isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
configure
.
in: properly add isl flags
and
libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
ool
a
ege
configure
.
in: drop
cal
l
to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
genf
u
n
.
cc: fix
p
rintf
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
t
e
st_appr
o
x
.
c
:
fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doo
l
a
e
g
e
test_b
o
und
.
c: fix printf
f
or
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolae
g
e
con
f
igure
.
in: stop compil
i
ng Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
veri
f
y_lexsm
a
lle
r
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoola
e
ge
evalue
.
c: avoid use of all
o
ca
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olaege
evalue_isl
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaeg
e
isc
c
:
r
e
c
over from
errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdool
a
ege
up
d
ate i
s
l for improved
e
r
ror
h
andling
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoolaeg
e
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sve
n
Verdoolaege
doc: iscc: update d
o
c
u
mentation o
f
"ub" oper
a
t
or
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
ge
test_approx: i
n
clude ctype
.
h for i
s
spac
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
tes
t
_approx:
inclu
d
e config
.
h
for HAVE_SYS_
T
IME
S
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_bound:
i
nclude
c
o
nfig
.
h for HAVE_
S
YS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
ge
i
scc: add vertices operati
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optionally use isl to pe
r
f
o
rm parametric
v
ertex enumer
a
t
i
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
o
l
aege
update
i
sl
-
poly
l
ib for handl
i
ng of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
dro
p
distinction between barvin
o
k-co
r
e and
b
a
r
vinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
remove be
r
nstein
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
updat
e
isl fo
r
generic isl
_
pw_qp
o
lynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erd
o
olaege
c
o
nfigure
.
in: drop
bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
oolaege
ad
d
isl_ctx_pee
k
_barvinok_o
p
tions
commit
|
commitdiff
|
tree
2010-06-07
Sven V
e
rd
o
o
l
aeg
e
iscc
:
p
arse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
Verdo
o
l
aege
exp
o
rt isl_qpo
l
ynomia
l
_fr
o
m_evalue
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdo
o
laege
Ma
k
e
fi
l
e
.
am: drop depen
d
ence
on doc/ome
g
a
.
t
e
x
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaeg
e
updat
e
isl for rena
m
e of isl_p
w
_qp
o
lynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoolaege
verif_
e
hrhart
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
o
ol
a
ege
c
onfi
g
ure
.
i
n:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
d
o
olaeg
e
u
s
e
isl for argument parsing
commit
|
commitdiff
|
tree
2010-06-01
S
v
en
V
erdoolae
g
e
update isl for keeping track
of
user op
t
io
n
s
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
t
est_boun
d
: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verdoolaege
u
pdate isl fo
r
help message printi
n
g
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Ve
r
doolaege
remove evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove evalue_range_propagat
i
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaege
test_boun
d
: use
i
sl interface for computing b
o
u
n
d
s
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdool
a
e
g
e
barvinok_bound: use isl in
t
erface fo
r
computing bo
u
n
d
s
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verd
o
olaege
iscc: s
u
pport u
b
e
v
en if GiNa
C
supp
o
rt was not
compiled
i
n
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdo
o
laege
add ge
n
eric isl_
p
w_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
er
d
oolaege
upda
t
e i
s
l for isl_pw_qpolynomial_bound_r
a
nge
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
V
erdoolae
g
e
test_b
o
und: use isl during ver
i
fication
commit
|
commitdiff
|
tree
next