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_input.c: accept_affine: fix memory leak on error path
2010-03-04
Sve
n
Verdoolaege
isl_input
.
c
:
accep
t
_affi
n
e: fix memory lea
k
on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
er
d
o
o
laeg
e
isl
_
map_
i
nter
s
ect: detect e
m
pty result
a
lso in cas
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ver
d
oolaege
isl_
m
ap_read: skip
u
nti
l
th
e
end of the last line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoo
l
aege
i
s
l_stream_next_t
o
ken_on_sam
e
_
l
ine: check if last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
isl_set_w
r
ap_facet:
m
ake sure
s
et is
m
arked rat
i
onal
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
i
sl_co
a
lesce
.
c: fix typ
o
in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven V
e
rd
o
olaege
isl_map_read:
accept
l
ist
o
f predi
c
ated
elements
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
i
s
l_map
_
r
ead: ext
r
act o
u
t pa
r
sing of map body
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
d
oola
e
ge
isl_m
a
p_re
a
d: add dummy v
a
riable
n
a
me for unnam
e
d variables
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdoolaege
isl_stream: accept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven
Ver
d
oolaege
us
e
-O1 optimization lev
e
l for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n
Verdoolaege
i
s
l_ma
p
_read:
a
cce
p
t affine combinations of ea
r
lier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdoolaege
isl_map_read: construct
basic map while readin
g
v
a
r
i
a
b
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
V
erdoolaege
add a tra
n
sitive clo
s
ure
e
x
ampl
e
from
t
h
e Omega tes
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Verdoolaege
i
sl_ma
p
_t
r
ansitiv
e
_clo
s
ure: compute pow
e
r on
s
tr
o
ngly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaege
isl
_
map_transit
i
ve_closu
r
e: intersect with domain
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_m
a
p_tr
a
ns
i
t
iv
e
_clo
s
ure: extract out
construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
s
l_m
a
p_
t
rans
i
t
i
ve_closure: mov
e
acyclic
i
t
y
t
e
st
up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
isl_map_print: use consist
e
nt name
s
on al
l
d
i
sjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven
Ver
d
o
olaege
is
l
_
c
a
t: allow speci
f
ication of outpu
t
format
o
n
command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdool
a
ege
isl_map
_
print: support ISL_FO
R
MAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdo
o
l
a
ege
isl_map_co
a
l
esce
:
f
ix some regressions introduce
d
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laege
add is
l
_closure test application
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
erdoolaege
add
t
r
a
nsi
t
ive closure example f
r
om Kelly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
l
a
ege
i
s
l
_map_transitiv
e
_closure: const
r
u
c
t gener
a
l
paths
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdo
o
laege
i
s
l_map_transitive_
c
losure
:
prep
a
re for the construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
isl_map_transitiv
e
_closure: co
n
struct paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaeg
e
isl_transi
t
ive_c
l
osure: extra
c
t out construction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdo
o
laege
isl_ma
p
_transi
t
ive
_
closure: use more gene
r
ic
acyc
l
icity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
isl_map_print: add
p
arentheses around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl_hash_
t
abl
e
: use
s
ize that corres
p
onds to
t
he numb
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_
h
as
h
_table: grow ta
b
le
when
w
e run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
is
l
_map_coalesce:
o
nly use non-redundant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven
V
erdoolaege
add isl_
s
et_f
i
x_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
isl_map_read:
ac
c
ept chains of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
e
x
port isl_m
a
p_
a
lign_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verd
o
ol
a
ege
isl_map_read
:
f
o
rget existentia
l
ly
quantified
v
ariables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_in
p
ut
.
c: re
m
ove needless in
d
i
r
e
ction
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
doolaege
doc:
d
ocument how to inspect sets and re
l
ations
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n
Verdoolae
g
e
export isl_map
_
compute_div
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
ool
a
ege
is
l
_c
o
nstraint_div: mak
e
sure reques
t
ed div is a
known
d
i
v
commit
|
commitdiff
|
tree
2010-02-09
Sven Verd
o
ol
a
ege
doc:
d
rop d
o
cumentatio
n
of _dump
functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolae
g
e
i
s
l_m
a
p_
p
r
i
nt: improve outpu
t
commit
|
commitdiff
|
tree
2010-02-09
Sven Verd
o
o
laege
add isl_basi
c
_ma
p
_fo
r
each
_
constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoolaege
i
s
l_map_coalesce: hand
l
e mor
e
cas
e
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
privatel
y
export isl_set_wr
a
p_face
t
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
isl_convex_hull
.
c: wra
p
_facet
:
a
llo
w
unbounded f
a
cets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
doc: improve decription of isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_ma
p
_transit
i
ve_closure: improve
te
s
t for ex
a
ctness
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaeg
e
a
d
d a counter exa
m
ple for Theorem 1 of
t
h
e
COCO
A
paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
add isl_map
_
l
o
wer_bo
u
nd_si
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoola
e
ge
is
l
_map_pow
e
r: coa
l
e
s
ce domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
ool
a
ege
isl_flow
.
c:
a
dd missing isl_access_info_free re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
i
s
l
_
coalesce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
a
e
ge
isl_map_read: a
c
cept
l
ists of affine exp
r
essions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
a
d
d
isl_mat
_
from_row_vec and
isl_ma
t
_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
la
e
ge
isl_m
a
p_read: read extend
e
d polylib form
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
o
laege
a
d
d isl
_
s
tream_next_token
_
on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaege
i
sl_map_r
e
ad: make sure polylib con
s
traint
coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaege
i
s
l_{map,set
}
_d
i
m: handle NU
L
L input
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaege
isl_map_read: use more uniform way of reading in p
o
lylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_transit
i
v
e
_closure
.
c: fix typ
o
in comme
n
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
isl_ma
p
_tran
s
i
t
ive_closure: use mo
r
e relaxed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
add isl_
m
ap_pow
e
r a
n
d isl_map
_
trans
i
tive_clos
u
r
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
isl_map_subt
r
act
.
c: make some
i
nternal functions static
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
add
ge
n
eric isl_m
a
p_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
V
erdoola
e
g
e
add isl_{
m
ap,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
rename
isl_{map,set}_add
t
o isl_{map,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
is
l
_set_project_o
u
t: always
u
pdat
e
dimensio
n
, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rd
o
olaege
isl_dim_
j
oin:
d
on't require names of joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaeg
e
add
i
s
l_map_from_
d
o
m
a
in_
a
nd_range
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
isl_stream: treat "-" as o
p
erat
o
r rather
t
han a
s
-1
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaeg
e
isl_map_read
:
accept "strict" in
e
qualities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
is
l
_input
.
c:
f
ix memory deallocation
p
roblem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Ver
d
oolaege
add dependence
anal
y
si
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add isl_map_{par
t
ial_
,
}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
ad
d
privat
e
isl_{s
e
t,ma
p
}
_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoola
e
ge
basis_red
u
ction_t
e
mpl
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolaege
isl_t
a
b_
p
ip
.
c
:
f
i
nd_s
o
lution
s
: break when co
n
text becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Ve
r
doolaege
isl_
d
im_e
q
ual
:
don't
require name
s
of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
isl
_
dim
_
map
:
p
r
o
perly duplicate names
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdo
o
laege
isl
_
dim_dro
p
: properly a
d
just length of names
array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolae
g
e
doc: a
b
it mor
e
on
i
n
t
egers
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
dool
a
ege
doc:
describe
i
nput/
o
utput form
a
ts
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verdoo
l
aege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doola
e
ge
add
isl_ca
t
test a
p
plication
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add omega output
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdool
a
e
g
e
a
d
d isl ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
isl_test: use
i
sl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n Verdoolae
g
e
add isl_set_
r
ead_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdo
o
laege
add isl_m
a
p_rea
d
_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoola
e
ge
isl_map_read_from_file: allow unions in isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
dool
a
ege
isl_b
a
sic_map_rea
d
: read definit
i
ons of
existe
n
t
ial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
ol
a
ege
privately export isl_bas
i
c
_
m
ap
_
add_div_c
o
n
s
tra
i
nts
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolae
g
e
isl_basic_map_read: read a
f
fine constraint as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
i
s
l
_
input
.
c: op
t
ionally read
parameters from input
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
o
o
l
aege
tokenizer: acce
p
t
"and
"
keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaeg
e
export isl_map_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export is
l
_ba
s
i
c_map_read
_
f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdool
a
ege
drop redundant input_f
o
rmat argume
n
t from
reading
f
unctio
n
s
commit
|
commitdiff
|
tree
next