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
fix isl_basic_map_move_dims in presence of existentially quantified variables
2010-07-23
Sven Ve
r
doolae
g
e
f
i
x isl_bas
i
c_map_move_dim
s
in presenc
e
of existentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sve
n
Verdoolaege
isl_tes
t
: drop debugging o
u
t
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
v
e
n Verdoolaege
i
s
l
_
transitive_c
l
osu
r
e
.
c
:
fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ver
d
oolaege
f
i
x i
s
l
_map_lex_ge a
n
d isl_map_lex_le in the z
e
ro-dimensiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
S
ven Verdool
a
ege
isl_printer_pr
i
n
t
_map: rep
l
ac
e
va
r
iable by its
definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
S
v
e
n Verdoolaege
privately
export isl_basic_map_fast_cmp and isl_basic_map_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven
V
erd
o
olaege
isl_d
i
m_set_name: don't accept names
t
hat look like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
To
b
ias Grosser
Remove comma at the end of enumerat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven V
e
rdoola
e
ge
isl_c
o
n
vex_hull
.
c:
av
o
id side-effects i
n
calls
t
o isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolaeg
e
add isl_hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven Ve
r
do
o
laeg
e
add isl_in
t
_
get_
s
tr
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdoolaege
d
oc: fix some typos
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
Makefile
.
am: really include include/isl_vertic
e
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
add isl_map_is_bi
j
ec
t
ive
commit
|
commitdiff
|
tree
2010-06-28
Sven
Verdoolaege
d
o
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sven
Verdoolaege
doc: d
r
op duplicate
booktit
l
e from
Kell
y
1
996clos
u
re
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
S
ven Verdoolaege
do
c
: use more expli
c
it notat
i
on to avoid confusion
commit
|
commitdiff
|
tree
2010-06-27
S
ven
Ver
d
oolaege
add isl_
c
onstraint_is_div_constra
i
n
t
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdo
o
laege
isl_map_simplify
.
c:
s
eparate out i
s
l_basic_map
_
is_div_co
n
straint
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolaege
isl_basic_map_from_co
n
str
a
in
t
: keep all divs, ev
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
r
d
oolaege
isl_basic_m
a
p_from
_
c
o
nstrain
t
:
o
n
l
y ret
u
rn co
p
y
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdool
a
ege
isl_constraint_add_div: co
r
rectly
s
et line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n
V
erdo
o
laeg
e
isl_pip
:
r
e
na
m
e pip_options to a
v
oid
conflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
olaege
isl_
c
onvex_hull
.
c: initi
a
l_facet_constraint:
f
ix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
d
oc: describe bac
k
wa
r
d incompatible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
do
o
l
aege
doc: mention discussion
group
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
rename i
s
l
_basic_map_convex_hull to
isl
_
b
asi
c
_map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
e
rdoolaege
isl_affine_hull
.
c: outside_point
:
fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolae
g
e
isl_ta
b
_rollbac
k
: avoid double fre
e
o
n error
p
ath
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
t
ab
.
c
:
tab_mat_product: avoid NULL
po
i
nter
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_tab
_
exten
d
_c
o
ns: av
o
id NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
impleme
n
t antiquated isl
_
basic_set_n_* in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ma
p
_
c
onve
x
_
hull: avoid NULL pointer
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolaege
isl_tab_add_valid_eq:
return int i
n
stead of i
s
l_t
a
b *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_affine_h
u
ll
.
c:
af
f
ine
_
hull_with_c
o
ne: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
oolaege
i
sl_
e
qualiti
e
s
.
c: parameter_
c
o
m
pres
s
ion_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_basic_m
a
p
_proj
e
ct_out: avoid
N
ULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolaege
isl_coale
s
ce
.
c: coal
e
s
c
e_
p
air: avoid NULL pointe
r
de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_convex_hull
.
c
: extend: fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
mplement antiquated is
l
_
set_
n
_
*
in term
s
of isl_
s
et_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simpl
i
fy
.
c: normalize_
d
i
v
s: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laeg
e
isl
_
inpu
t
.
c: vars
_
dro
p
: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolae
g
e
isl_convex_
h
ull
.
c
:
uset_con
v
e
x
_hull_wrap_bounded:
fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
set_wrap_facet: fix
erro
r
h
and
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
isl_tab
_
min: avoid NULL point
e
r de
r
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
laege
isl_affine_hull
.
c:
ext
e
nd_affi
n
e_hu
l
l: avoid NU
L
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl
_
basic_m
a
p_exte
n
d: plug memo
r
y leak on error
p
ath
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_affi
n
e_h
u
l
l
.
c
: equalities_in_underlying_set: av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
isl_basic_se
t
_preimage:
a
vo
i
d NU
L
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c:
n
o_sol_in_strict: fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
s
l_af
f
ine_hull
.
c:
equ
a
lities_in_underlying_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c: aff
i
ne_hull
:
fix err
o
handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
i
s
l
_
ma
p
_p
r
oject_out: fix error
return val
u
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
s
l_ba
s
ic
_
map_intersect_range
:
avoid NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
isl_tab_pip
.
c: find_solutions:
f
ix
e
rro
r
h
a
n
d
l
in
g
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
oolae
g
e
isl_basic_
m
a
p
_
alloc_dim: fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
do
o
laege
isl
_
basic_map_intersect: avoid NULL poi
n
ter dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_
t
ab_pip
.
c: sol_map_init: avoid NULL poi
n
ter de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl_basic
_
map_intersect_domain: avoid NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_flow
.
c: compute_val_
b
ased_dependences: f
i
x error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flow_alloc: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
ol
a
ege
isl_ac
c
ess_info_compute_flow: fix error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_{set,map}_fast
_
is_empty: avoid NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_flow
.
c
:
avoid acces
s
ing
d
i
m
f
ield d
i
rectl
y
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
olaege
i
sl_acce
s
s_info_compute_flow: avoid NULL
pointer
d
e
refere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
ege
isl_i
n
put
.
c: obj_read: avoid NUL
L
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
s
l_map_subtract
.
c: tab_a
d
d_constraints: avoid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laege
isl_tab
.
c: close
_
row: f
i
x
e
r
r
o
r h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_map_si
m
pli
f
y
.
c: r
e
m
o
v
e
_
duplicate_divs: avoid
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_basic_map_affine_hul
l
: avoid NUL
L
pointer deref
e
re
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
eg
e
isl_tab_add_eq: return in
t
instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl
_
ma
p
_simplify
.
c: remove_d
u
p
l
icate_constraint
s
: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_map_si
m
p
lify
.
c: eliminat
e
_di
v
s_ineq
:
avoid
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_basi
c
_map_eliminate_vars: avoid NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c: interv
a
l_sample: avoid NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolae
g
e
i
s
l_sa
m
ple
.
c: drop_
c
ons
t
raint
s
_involving: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_strea
m
_new: read_define
d
_var_lis
t
: a
v
oid do
u
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
laege
isl
_
basic_
m
ap_
i
nte
r
sect: avoid NULL pointer de
r
ef
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoola
e
ge
isl_
s
ample
.
c: gbr_sample: avoid NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_test
.
c
: avoid
N
U
L
L poi
n
ter dere
f
eren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolae
g
e
isl_test: avoid accessing basic set internals
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoolaege
i
sl_inp
u
t
.
c:
read_define
d
_var_list: avo
i
d double
f
ree
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoo
l
aeg
e
isl_ma
p
_
c
onvex_hull: avoid NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
g
e
isl_bas
i
c_map_norma
l
i
ze_co
n
s
t
raint
s
: avoid
N
ULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
isl_basic_map_total_dim: a
v
o
i
d
N
ULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoo
l
aege
isl_ba
s
ic_map_o
r
de
r
_
d
i
vs: avoid NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_h
u
ll
.
c: isl
_
basic_se
t
_add_equali
t
y
:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_c
o
nvex_hull
.
c: co
m
p
ute_facet
:
avoi
d
NUL
L
p
o
in
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl
_
test
.
c: map_is_equal:
c
heck input
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
olaege
isl_dim
.
c: copy_name
s
:
c
hec
k
input di
m
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
sl_dim_du
p
: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oolaege
isl_bas
i
c_map_cow: c
h
e
c
k
r
e
s
ult of
allocation
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
s
l_stream_new_str:
c
h
eck result of al
l
oc
a
tio
n
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
i
sl_s
t
r
e
am
.
c: fi
x
t
y
po
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
isl_tab_pip
.
c: fix ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oo
l
aeg
e
isl_tab
.
c
: fix
t
ypos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
isl
_
po
l
ynomial
.
c:
fix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl
_
vertices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
isl_
m
orph
.
c: fix t
y
po
commit
|
commitdiff
|
tree
next