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
Sv
e
n Ver
d
oolaege
a
d
d isl_
p
w
_qpol
y
n
o
mial_insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolaege
a
d
d isl
_
set_
i
nsert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaeg
e
add isl_basic_map_image
_
is_bounded
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ve
r
doolaege
avoid NULL pointer exc
e
ption in isl_basic_map_
n
_
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven
Ve
r
doolaege
fix
isl_pw_q
p
olynom
i
al_r
e
s
e
t_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rdoolaeg
e
a
d
d
isl_mat_add
_
rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdo
o
laege
add
i
s
l
_mat_add_z
e
ro_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-03
Sven Verdoola
e
ge
export isl_b
a
sic_map_move_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolae
g
e
hide
i
sl_dim in
t
ernals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolae
g
e
add i
s
l_dim_ge
t
_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
e
r
doolaege
isl_basic_map_reset_dim:
f
inal
i
ze result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
ven Verdoolaege
isl_
t
ransitive_cl
o
sure
.
c:
anonymize i
n
put map during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verd
o
olaege
isl_transitive_closure
.
c: keep tr
a
ck o
f
domai
n
s for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Verdo
o
laege
i
s
l_d
i
m
_
drop: always rem
o
v
e
tuple
n
am
e
, even if number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
ven
V
erdoo
l
a
e
ge
is
l
_dim_set_tuple_name: allow explicit removal of tuple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
ven
Verdoo
l
aege
a
dd sup
p
o
r
t for unio
n
sets and
r
e
l
ati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
is
l
_transitive_closure
.
c: extr
a
ct
o
ut some reusa
b
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdool
a
e
g
e
add isl_pw
_
qpolyn
o
mial_rese
t
_
dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verd
o
olaege
add
i
sl_map_has_equa
l
_
d
im
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en
Verdoola
e
ge
ad
d
isl
_
d
i
m_get_has
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
ola
e
ge
isl_dim: a
l
low
specifica
t
ion o
f
tupl
e
names
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoola
e
ge
i
s
l
_map
_
f
r
om_d
o
main_
a
nd_range: implement i
n
terms of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
s
l
_basic_map_dom
a
i
n
: properly set di
m
ension o
f
resu
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaeg
e
privately expor
t
is
l
_
set_r
e
set_dim
and i
s
l
_
map_
r
eset_d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolae
g
e
isl_map_
r
e
a
d
:
e
x
tra
c
t out rea
d
_
v
a
r
_
def
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Ve
r
doolaege
isl_hash_table_forea
c
h: pa
s
s po
i
nter t
o
entry
data
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
aege
isl_hash_t
a
ble_foreach:
a
dd user argumen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolae
g
e
isl_transiti
v
e_closure
.
c: fix d
o
uble free on
e
rror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
isl_map_g
i
st:
u
se sim
p
le hull
instead of convex hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdoolaege
isl_m
a
p
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
e
n Verdoolaege
isl_cat
:
read generic objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaege
isl_printer:
add NULL
c
h
ecks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoo
l
aege
make isl_obj_none
a
constant e
x
p
ression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
a
d
d
i
sl_map_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven
V
erdoolaege
isl_m
a
p
_
fast_is_u
n
i
v
erse:
a
lso detect redundant
r
epresentati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
V
e
rdoola
e
ge
add
isl_map_re
a
c
hing
_
path_lengths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdo
o
laege
i
sl_map
_
p
ower: delay e
q
uating
p
ath lengths to power
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
Verdoo
l
aege
i
s
l_
m
a
p_power: apply Fl
o
yd-Warshall t
o
comput
e
powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven
Ve
r
doolaeg
e
i
s
l
_
m
ap_l
e
x
m
ax: produ
c
e le
s
s cryptic
e
r
ror mes
s
age
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Verdoo
l
aege
f
i
x isl_basic_map_
m
ove_
d
ims in pre
s
enc
e
of existentially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
V
erdoolaege
isl_t
e
st: dr
o
p
debuggi
n
g ou
t
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Verdoo
l
a
ege
i
s
l_transitive_c
l
osure
.
c: f
i
x
typo in c
o
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en
V
erdoolaege
f
ix is
l
_map_l
e
x
_
g
e a
n
d
i
sl_map_lex_le in
the zero-dimensiona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
S
ven
Verdoolaege
isl_
p
rinter_
p
rint_map: replace variable by i
t
s de
f
inition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
S
v
en Verdoolaege
privately export
is
l
_basic_map_fast_cmp and isl_b
a
sic_map_f
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolae
g
e
i
s
l_dim_set_name: don't accept name
s
th
a
t look like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolaege
isl_convex_hull
.
c: avoid
s
ide-effec
t
s in calls to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdo
o
laege
add isl_
h
ash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolaege
add i
s
l_int_g
e
t_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdool
a
e
ge
do
c
: fi
x
so
m
e typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
erdo
o
laege
Makefile
.
a
m: really i
n
clud
e
include/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
rdoolae
g
e
add isl_map_
i
s_bijectiv
e
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n
Verdoolaege
doc:
fix
typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoo
l
aege
do
c
:
drop d
u
p
l
icate bookt
i
tle fr
o
m
Kel
l
y1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdo
o
laege
doc: use more explicit notation to av
o
id confusion
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Ver
d
o
o
l
aege
ad
d
i
s
l_constraint_is_div_
c
onstraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
isl_map_simplify
.
c: separ
a
t
e
out isl
_
basic_
m
ap_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_basic
_
map_from_const
r
aint: ke
e
p all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolaege
i
s
l_ba
s
ic_map_from_constrai
n
t: o
n
l
y
return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolaege
isl_
c
onstraint_add_div: correctly s
e
t line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
e
n Verdo
o
laeg
e
isl_pip:
r
ename pip_opti
o
n
s
to avoid confl
i
ct with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolae
g
e
isl_convex_hull
.
c:
i
niti
a
l_facet_con
s
t
r
a
i
n
t
:
fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
la
e
ge
doc: descri
b
e back
w
ard in
c
ompat
i
bl
e
changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
doc:
m
e
n
tion
d
isc
u
s
s
i
on group
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oolaege
rename
i
s
l_
b
asic_m
a
p_convex_hull to
i
sl_ba
s
ic_map
_
remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_af
f
ine_hull
.
c: outside_point: f
i
x erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
s
l_tab_rollback:
avoid dou
b
l
e
free
on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
laeg
e
isl_tab
.
c: tab_mat_prod
u
ct:
avoi
d
NULL
p
ointer
de
r
efe
r
en
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoolaeg
e
i
s
l_tab_extend_cons: avoid NULL pointer
d
e
re
f
er
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oolaege
implemen
t
antiquated i
s
l_
b
a
s
i
c
_s
e
t_n
_
* i
n
terms
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
e
ge
isl_map_conve
x
_hull: a
v
oid
N
UL
L
p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_tab_add_valid_e
q
:
r
eturn
int instea
d
o
f
i
sl_ta
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
s
l
_
a
ffine_hull
.
c: affine_hull_with_con
e
:
a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_equalit
i
es
.
c: paramete
r
_
c
ompre
s
sio
n
_m
u
lti: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
b
asi
c
_map_project
_
out: av
o
i
d NULL pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_co
a
lesce
.
c: coalesce_pa
i
r: av
o
id
NULL poi
n
t
er d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_convex_h
u
l
l
.
c
: extend:
fix
e
r
ror h
a
n
dli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
implem
e
nt ant
i
quated
i
sl_se
t
_n_
*
in terms of isl_s
e
t_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ma
p
_s
i
m
p
lify
.
c: normalize
_
divs:
a
void NULL pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aege
isl_input
.
c: vars
_
drop:
f
ix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
is
l
_c
o
nvex_hull
.
c: uset
_
con
v
ex_hull_wrap_bo
u
n
d
ed: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_set_wrap_facet: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_min: avoid NULL pointer der
e
f
ere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
s
l
_
affine
_
hull
.
c: exte
n
d_affi
n
e_hul
l
:
a
v
o
i
d
N
ULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ba
s
ic_map_extend: plug me
m
ory leak on er
r
o
r
path
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doo
l
aege
isl_affine_hull
.
c: equali
t
i
es_in_underlying
_
se
t
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_bas
i
c_set
_
preimage: avoid NULL pointer de
r
efer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_tab_pip
.
c: n
o
_
sol_in_strict: fix e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
o
laege
isl_affin
e
_hull
.
c: equalities_in_under
l
ying_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaeg
e
i
sl_
a
ffine_hul
l
.
c:
a
ffine_hull: fix erro handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
isl_map_project_o
u
t:
f
i
x
err
o
r return value
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_
b
a
s
ic_map_i
n
tersect
_
r
ange
:
avoid NULL
p
ointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl
_
tab_pip
.
c: find_solut
i
ons: fix error han
d
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
b
asic_map_all
o
c_d
i
m
:
fix e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oola
e
ge
i
s
l
_basic_map_inter
s
ect
:
avoid
N
U
LL point
e
r
d
e
r
efer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_t
a
b_pip
.
c:
s
ol_map_init: avoid
N
ULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
is
l
_
basic
_
m
ap_intersect_domain: avoid NULL
point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
flow
.
c: compute_val_based_
d
ep
e
n
d
ences: fi
x
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olae
g
e
isl_flow
_
alloc:
fix e
r
r
o
r
han
d
ling
commit
|
commitdiff
|
tree
next