repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
isl_map_transitive_closure: improve accuracy by copying some mixed delta constraints
2010-02-18
Sven Verdo
o
laege
isl_map_transitive_c
l
osure: improve accuracy
by copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en
V
erdoolaege
isl_map_transitive_clo
s
ure: perform
e
x
ac
t
ne
s
s
ch
e
ck
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_transitive_closure: ref
o
rmulate
exact
n
e
ss tes
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en
V
erdoolaege
a
dd a t
r
an
s
itive closure e
x
ample f
r
om
t
he Omega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoo
l
aege
isl_map_
t
ransitive_closure: com
p
u
te power on strong
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaege
isl
_
map_transitive_cl
o
sure:
int
e
rsec
t
with doma
i
n
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolae
g
e
i
s
l
_map_transitiv
e
_closure: e
x
tract out const
r
uction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_
m
a
p
_transitive_closure: mo
v
e ac
y
c
l
icity test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
aege
a
dd isl_se
t
_
l
ower
_
bound_s
i
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
is
l
_map
_
print
:
use consi
s
tent names on all disjunct
s
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoolaege
isl_cat: allow
specification of output format on comm
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoola
e
g
e
isl_m
a
p_print: support ISL_FORMA
T
_POLY
L
IB
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdoola
e
ge
i
s
l_map_coalesc
e
: fix some regressions introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
add isl_closu
r
e test application
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
add
t
ran
s
itive cl
o
s
u
re example from
K
elly's 1996 pap
e
r
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
isl_map_transi
t
ive_cl
o
sure:
c
o
n
struct general pat
h
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl
_
m
a
p_transit
i
ve_clos
u
re: prepare for the constructi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_transitive_closure:
const
r
uct paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
l
aeg
e
is
l
_
t
r
ansitive_c
l
o
s
ure: extra
c
t out c
o
nstructi
o
n
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Ver
d
o
o
laege
isl_map_tr
a
nsitiv
e
_closure: use more generic acycl
i
city
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaeg
e
isl_map_pr
i
nt
:
a
dd p
a
rent
h
eses
around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_hash_table: use size that cor
r
es
p
onds
to th
e
number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl
_
hash_table:
grow table when we run out of
e
ntries
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
i
s
l
_map_c
o
alesce: only use non-redu
n
dant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sve
n
Ve
r
d
ool
a
e
g
e
add isl_se
t
_
fix_
s
i
commit
|
commitdiff
|
tree
2010-02-13
S
v
e
n V
e
r
d
oolaege
is
l
_map_read:
accept chains of
co
m
pa
r
iso
n
s
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
Verdoolaege
expo
r
t isl_map_al
i
g
n_di
v
s
commit
|
commitdiff
|
tree
2010-02-10
Sven
V
e
rdoolaege
isl
_
map
_
read: forget existentia
l
l
y quant
i
fied vari
a
bles
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven
V
erdoolae
g
e
isl_inpu
t
.
c:
r
emove ne
e
dless indir
e
cti
o
n
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdo
o
l
aege
d
oc: docu
m
e
n
t
how t
o
in
s
p
ect sets a
n
d relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
export
i
sl_map_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
o
olaeg
e
isl_constraint_div:
make s
u
re requested div is a
k
nown div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdool
a
ege
doc: drop documen
t
atio
n
o
f _dump functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oo
l
aege
isl_map_p
r
int: improve out
p
ut
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdoolaege
add isl_basic_map_foreac
h
_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
dool
a
ege
i
sl_map_coalesc
e
:
handle m
o
re cases
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verd
o
olaege
pri
v
ately export isl_set_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
V
erd
o
olaege
isl_con
v
ex_hull
.
c: wra
p
_facet:
allow
u
nbou
n
d
e
d f
a
cets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
doc: impro
v
e decription of isl_map
_
transitiv
e
_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
isl_map_transitive_
c
lo
s
ure:
i
mprove
t
e
st for exact
n
e
ss
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoolaeg
e
add a cou
n
te
r
example for Theorem
1 of the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add
isl_map_lo
w
er
_
bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
s
l_ma
p
_power: co
a
lesce domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
o
laege
isl_flow
.
c:
add mis
s
ing isl_access_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
Ver
d
oolaege
isl_coa
l
esce
.
c: fix
typo
i
n commen
t
commit
|
commitdiff
|
tree
2010-02-07
Sven V
e
r
doolaege
i
n
c
lu
d
e/isl_i
n
t
.
h:
argument of mp_get_memory_function
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
isl_
m
ap_read: accept lists of af
f
ine
e
xpression
s
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
a
eg
e
add
i
sl
_
mat_fro
m
_row_vec and is
l
_mat_v
e
c_conca
t
commit
|
commitdiff
|
tree
2010-02-04
S
ven
Verdo
o
laege
isl_map_re
a
d: re
a
d ex
t
ended
polylib
format
commit
|
commitdiff
|
tree
2010-02-04
S
v
en
V
erdoo
l
aege
a
d
d is
l
_s
t
r
eam_next_
t
oken_on_same
_
l
ine
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map
_
read: ma
k
e
s
ure polyl
i
b constraint coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
s
l_{map
,
set}_dim
:
h
andle NU
L
L input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
ol
a
ege
i
sl_
m
ap_read: us
e
more u
n
i
f
orm wa
y
of reading in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl
_
transitive_closure
.
c:
f
ix
typo i
n
comm
e
nt
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
i
s
l
_map_tra
n
sitive_closure: use m
o
re rel
a
xed exactn
e
ss
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
add isl_map_power
and
i
s
l
_
m
a
p
_transitive_clos
u
re
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
isl_ma
p
_subtract
.
c: make some internal fu
n
ctions
s
tat
i
c
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verd
o
olaege
a
d
d
generic isl_ma
p
_proj
e
ct_out
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaeg
e
add
isl_{m
a
p,
s
et}_a
d
d
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
rename isl_{ma
p
,set}_add to isl_{map,set}_add_basi
c
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
isl_set_proj
e
ct_out:
a
lwa
y
s update dimension,
e
ven
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Ver
d
o
o
l
aege
is
l
_
d
i
m_join:
d
on't r
e
quire names of
joine
d
variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verd
o
olae
g
e
add isl
_
map_f
r
om_do
m
ain_and_range
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Ver
d
oolaege
isl_strea
m
: trea
t
"-"
as operator rathe
r
tha
n
a
s
-1
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
Ver
d
o
o
lae
g
e
isl_
m
a
p
_
r
ead:
a
cc
e
pt "strict" in
e
qualities
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaeg
e
i
sl_input
.
c:
fix
memory de
a
llocat
i
on p
r
oblem on
m
i
ssing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add dependence analys
i
s
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoolaege
add isl_ma
p
_{pa
r
t
i
al_,
}
l
exopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add private isl_{set,map}
_
m
ake_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoo
l
a
e
ge
basis
_
reduction_
t
emp
l
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdo
o
laege
isl_tab_pip
.
c: find_solution
s
:
br
e
ak when context become
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolaege
is
l
_
dim_equal: do
n
't require
n
ames of
i
nput and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoola
e
ge
isl_dim_ma
p
: properly dup
l
icate n
a
mes
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
oolaeg
e
isl_dim_dro
p
: prope
r
ly
adjus
t
length of name
s
array
commit
|
commitdiff
|
tree
2010-01-26
Sven V
e
r
doolaege
doc: a bit mor
e
on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven V
e
rdoolaege
doc: des
c
ribe input/output
formats
commit
|
commitdiff
|
tree
2010-01-26
S
ven Verdool
a
e
ge
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_cat te
s
t applicatio
n
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add omega
o
utput
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add
i
sl
output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_tes
t
: use
isl_set_read_from
_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
V
erd
o
olaege
ad
d
isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolae
g
e
add isl_
m
ap_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_
m
ap_read_from_file: allow unions
in isl fo
r
mat
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven
V
erdoolaege
isl_basi
c
_map_read: read
definitions of exi
s
tential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
V
e
rdoolaege
priva
t
ely export is
l
_basic_map_add_div
_
co
n
st
r
ai
n
t
s
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
i
s
l_basic_
m
ap_re
a
d
:
read affine cons
t
rai
n
t a
s
t
w
o affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdool
a
e
ge
isl_input
.
c:
optionally read pa
r
ameters from
input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
tokeniz
e
r: accept "a
n
d
" keywo
r
d
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdool
a
ege
exp
o
rt isl
_
map_
r
e
a
d_fr
o
m
_
file
commit
|
commitdiff
|
tree
2010-01-25
Sven
Ver
d
oolae
g
e
e
x
port isl_basic_map_
r
ea
d
_
f
ro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rd
o
ola
e
ge
dr
o
p
r
e
dundant inp
u
t_f
o
rmat argument from re
a
d
i
ng
f
unctions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
isl_in
p
ut
.
c: merge functio
n
s for reading PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input_ome
g
a
.
c: accept
P
o
ly
L
ib inpu
t
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
o
laege
isl_input_omega
.
c
: prep
a
re for reading parametr
i
c uni
o
ns
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
ae
g
e
i
s
l_input_ome
g
a
.
c: finalize an
d
si
m
plify
r
esu
l
ting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl
_
input_o
m
ega
.
c: fix che
c
k for mem
o
ry
alloc
a
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
a
ege
isl_st
r
e
a
m
_next_token: skip comm
e
nt lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolaege
isl_tab_ba
s
ic
_
map_parti
a
l_le
x
opt: properly handle em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Ver
d
o
o
lae
g
e
isl_basi
c
_ma
p
_s
e
t_to_empty:
r
e
move sample (if any)
commit
|
commitdiff
|
tree
next