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
add isl_pw_qpolynomial_insert_dims
2010-08-04
Sven
V
erd
o
olaege
add isl_pw_qpo
l
y
nomial_insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add
isl_set_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven
Verd
o
o
l
aege
add isl_basi
c
_map_
i
mage_is_bounded
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
r
doola
e
ge
a
voi
d
NULL pointer exceptio
n
i
n isl_basi
c
_m
a
p_n_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
fi
x
isl_pw_
q
p
ol
y
nomial_rese
t
_
d
im
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl_
m
at_add_rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl_mat_add_zero_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-03
S
ven Ve
r
d
o
ola
e
ge
expo
r
t i
s
l_basic_ma
p
_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en V
e
rdoolaege
hide isl_dim
i
nter
n
als
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
add i
s
l
_
d
im_get_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoola
e
g
e
i
s
l_
b
asi
c
_ma
p
_r
e
s
e
t_dim: finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoo
l
aege
isl
_
transitive_clos
u
re
.
c: anonymize input
map du
r
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verd
o
olaege
isl_transitive_closure
.
c: keep track of dom
a
ins for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_dim_drop:
always r
e
move tuple name, even if number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdool
a
eg
e
i
s
l_dim_set_tuple
_
name: allow explicit removal of tup
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
a
ege
add support fo
r
u
n
ion
s
e
ts and relat
i
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
a
e
ge
isl_transitive_closure
.
c: ex
t
ract
o
ut
some reusable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
a
dd isl_pw
_
qpolynomi
a
l_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_ma
p
_has
_
equ
a
l_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
ven V
e
rdoolaege
a
d
d is
l
_dim_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
isl_di
m
: allow specification of
tuple n
a
m
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
e
n Ve
r
d
oola
e
ge
isl_
m
ap
_
fr
o
m_domain_and_range: implement in terms of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdool
a
ege
i
sl_basic_map_dom
a
in: proper
l
y set
d
ime
n
sion of resu
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
laege
pr
i
vately
export isl_set_re
s
et_d
i
m and isl_map_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doo
l
aege
is
l
_map_rea
d
:
e
xtract out
r
ea
d
_var_def
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_hash_tabl
e
_foreach
:
pass poin
t
er
t
o entry data
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_hash_ta
b
le_fore
a
ch: a
d
d user arg
u
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
isl_transit
i
ve_closure
.
c:
fix
d
ouble free on e
r
r
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verd
o
olaege
isl_map_
g
ist: u
s
e sim
p
le hull in
s
tead of convex
hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
V
e
rdo
o
laege
i
s
l
_map
.
c
:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven V
e
rdoolaege
is
l
_cat: read gene
r
ic objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
olaege
isl_printer: add NULL chec
k
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolae
g
e
make isl_
o
bj_none
a consta
n
t expression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
laege
add is
l
_
map
_
get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
i
s
l_map_fa
s
t_is_u
n
iverse: also de
t
ect r
e
d
undant repr
e
sentati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en
V
erdoolaege
add isl_map_
r
each
i
ng_p
a
t
h
_l
e
ngt
h
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
V
er
d
oolaege
is
l
_map_pow
e
r:
delay equati
n
g
p
ath lengths to
power
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_map_pow
e
r: ap
p
l
y
F
loyd
-
War
s
hall to compute
powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
v
e
n
Verd
o
o
l
aege
isl_map_lexmax: produce less cr
y
ptic error m
e
ss
a
ge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
V
e
rdoolaege
f
i
x
isl
_
basic_map_move_dims
i
n
p
resence of existenti
a
lly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaeg
e
isl_
t
e
st: drop debuggin
g
output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
i
sl_tra
n
si
t
iv
e
_clos
u
re
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verd
o
olaege
fix is
l
_map_
l
ex_ge an
d
i
s
l_map_lex_
l
e in
t
he
z
ero-dimensiona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verdoolaege
isl_prin
t
er_p
r
i
n
t
_ma
p
: rep
l
a
c
e
v
ariable by its definition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdo
o
la
e
ge
p
r
iv
a
tely export i
s
l
_
b
a
s
i
c_map_fast_cmp a
n
d isl_basic_map
_
f
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaeg
e
is
l
_di
m
_set_name: don't acc
e
pt names th
a
t look
like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-11
Tobi
a
s Grosser
Remove comma at the
e
nd of
enumera
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
S
ven
Ve
r
doolaege
i
sl_convex_
h
u
l
l
.
c: avoid side-effects in
ca
l
ls to
isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven V
e
rdoolaege
a
d
d isl_hash_built
i
n
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolaege
add i
s
l_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sven
V
e
r
doolaege
do
c
:
f
ix some typos
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoola
e
ge
isl
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
er
d
oolaege
Makefi
l
e
.
am: really include include/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
add i
s
l_m
a
p_is_bije
c
t
ive
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolae
g
e
doc: f
i
x t
y
po
commit
|
commitdiff
|
tree
2010-06-28
Sven V
e
rdool
a
eg
e
doc: drop duplica
t
e boo
k
ti
t
le from Kell
y
1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoola
e
ge
doc: use
more
explicit notation to
a
void
con
f
usion
commit
|
commitdiff
|
tree
2010-06-27
S
ven
V
e
rd
o
olaege
ad
d
isl_constr
a
i
nt_is_div_constr
a
int
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolaege
isl
_
map_si
m
plify
.
c
:
s
e
parat
e
ou
t
isl_basic_ma
p
_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
er
d
oolaege
isl_bas
i
c_map_
f
rom_constrai
n
t: ke
e
p all divs, ev
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
Ve
r
doola
e
g
e
isl_basic_m
a
p
_
from_cons
t
raint
:
o
nly retu
r
n
copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
is
l
_
c
o
ns
t
rai
n
t_add_div
:
correc
t
l
y
se
t
l
ine to fir
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaeg
e
i
sl_pip: rename
pip_
o
ptions to avoid confli
c
t with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_convex_h
u
l
l
.
c: initial_facet_constrai
n
t:
f
ix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
doc: describe
b
ackward incompatible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoola
e
ge
d
o
c: me
n
ti
o
n disc
u
ssio
n
group
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
rename isl
_
basic_
m
ap_conv
e
x_hull
to isl_basic_map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_affine_hull
.
c: outside_point: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
la
e
g
e
isl_t
a
b_rollback:
a
void doubl
e
free on e
r
ror
p
ath
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl
_
tab
.
c: tab_mat_pr
o
duct: av
o
i
d
N
U
LL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_ta
b
_ext
e
nd
_
cons
:
avoid NULL pointer
dere
f
eren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
imp
l
ement antiquated isl_basi
c
_set_n_* in
t
erms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doolae
g
e
i
sl
_
map_conve
x
_
hul
l
: avoid
N
ULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
g
e
isl_tab_add_valid_eq: retur
n
int ins
t
ead of isl_t
a
b *
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
s
l
_
affine_hull
.
c: aff
i
ne_hull_with
_
cone:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoola
e
g
e
isl_equ
a
lities
.
c: parameter
_
compression_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_basic_
m
ap_project_out: av
o
id N
U
LL pointer deref
e
renc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_coalesce
.
c: coalesce
_
pair: avoid NULL pointer d
e
re
f
e
r
en
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_c
o
nvex
_
hull
.
c
:
e
xtend: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
aege
implement antiqu
a
ted isl_set_n_*
in
terms of
i
sl_s
e
t_
d
im
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaeg
e
isl_map
_
sim
p
lif
y
.
c: normalize
_
div
s
: avoid NULL poin
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
i
n
p
ut
.
c: v
a
rs_
d
r
op: fix error
h
andlin
g
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
aege
isl_
c
onvex_hull
.
c: uset_conv
e
x_hull_wrap_bound
e
d
: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaege
isl_set_
w
r
a
p_facet:
f
ix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
isl_tab_m
i
n: av
o
id N
U
LL poi
n
te
r
der
e
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdool
a
eg
e
i
s
l_affine_hull
.
c: extend_affine_hull:
avoid
NULL
p
ointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
sl_basi
c
_map_e
x
tend: plu
g
m
e
mory leak on error pat
h
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_affine_hul
l
.
c
:
eq
u
alities_i
n
_underlying_set:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
i
s
l_basic_set_preimage: a
v
oid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
is
l
_tab
_
pip
.
c: no
_
sol_in_
s
trict: fix e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oolaege
i
s
l_af
f
ine_
h
ull
.
c
: equalities
_
in_underlyin
g
_set: p
l
ug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
is
l
_affine_
h
ull
.
c:
affine_hull: fix
erro h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
ege
isl_map_pro
j
ect_out: fix error ret
u
rn v
a
lu
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_basic_map_intersect_
r
a
nge: avoid
NULL pointer
d
erefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
d
oolaeg
e
is
l
_ta
b
_
p
ip
.
c: find_solutions:
f
i
x
err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
is
l
_ba
s
ic_map_alloc_dim:
f
i
x error
h
andl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_ba
s
ic_map_interse
c
t: avoid NULL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_tab
_
p
ip
.
c: sol_
m
ap
_
i
nit: avoid NULL
p
o
i
nte
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aege
isl_
b
asic_m
a
p_intersect_do
m
ain: avoi
d
NULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
is
l
_fl
o
w
.
c: compute_val_bas
e
d_
d
ependences:
f
i
x error
.
.
.
commit
|
commitdiff
|
tree
next