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 0.03
2010-06-29
Sven Verdool
a
ege
i
sl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
Makefile
.
a
m: real
l
y include include/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
a
d
d isl_map_is_bijective
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdool
a
ege
doc: fix
typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc
:
d
rop
duplicate
b
o
o
ktitle
f
ro
m
Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
S
ven Verdo
o
l
a
ege
doc:
use more explic
i
t notation to avoid co
n
fusion
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
add i
s
l
_
constrain
t
_is_div_cons
t
r
ain
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
i
s
l
_m
a
p_simp
l
i
fy
.
c:
separate o
u
t isl_basic
_
map_is_
d
i
v_constra
i
n
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doolaege
isl_b
a
sic_map_
f
rom_
c
on
s
train
t
: keep all div
s
, ev
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doolaege
isl_basic_map
_
fr
o
m_constraint: o
n
ly
r
eturn c
o
py
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
is
l
_constrai
n
t
_
add_div: co
r
rectly set line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_pip: rename pip_options t
o
a
v
o
i
d co
n
flic
t
with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_c
o
n
v
e
x_
h
ull
.
c
: i
n
itial_facet_constraint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc: de
s
cribe backwar
d
i
n
co
m
patible changes
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
d
oolaege
doc: mention d
i
scussion group
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolae
g
e
rename isl_basic_map_
c
onvex_h
u
l
l
to
i
sl_basic_map
_
remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
sl_
a
ffine_h
u
ll
.
c:
ou
t
side_point: fix er
r
o
r h
a
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
g
e
isl_tab_rollback: avoid double free
on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolae
g
e
isl
_
tab
.
c: tab_mat_prod
u
ct: avoid NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
t
ab_ext
e
n
d_cons:
a
void
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
impl
e
m
ent antiq
u
at
e
d
i
sl_basic
_
set_n_* i
n
term
s
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_m
a
p_convex_
h
ull:
avoid NU
L
L po
i
n
te
r
d
e
referenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aege
i
s
l_tab_add_valid_eq: r
e
tur
n
int instead of
i
sl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
is
l
_
affine_hull
.
c: affine_hull_with_co
n
e: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_e
q
ualitie
s
.
c: parameter_comp
r
essi
o
n_mult
i
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_
b
asic_map_
p
roject_out: avoid NULL pointe
r
dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_coal
e
s
c
e
.
c:
c
oales
c
e
_
pair: a
v
oid N
U
LL pointer der
e
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
i
s
l_co
n
vex_hull
.
c
: extend:
f
ix err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
ola
e
ge
imple
m
e
nt ant
i
quated i
s
l_set_n_* in terms of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olaege
is
l
_map_simplify
.
c:
no
r
malize_divs: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c: vars_d
r
op: fix error
handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaege
isl_convex_hull
.
c: uset_c
o
nvex_hull
_
w
r
a
p_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olae
g
e
isl_set_wrap_face
t
: fix erro
r
han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl
_
tab_min: avoid NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
a
e
g
e
isl_af
f
ine_hull
.
c: exte
n
d_af
f
i
n
e_hul
l
:
avoid NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_ex
t
end: plug mem
o
ry leak o
n
error p
a
th
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
s
l_affine_hull
.
c: equalitie
s
_
in_underly
i
ng_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_basi
c
_set_pr
e
image: av
o
id NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_tab
_
p
i
p
.
c: no_s
o
l_in_str
i
ct: fix erro
r
hand
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hu
l
l
.
c: equalitie
s
_
i
n_underlying_set
:
plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
aege
isl_aff
i
ne_hull
.
c: affine_hull:
fix erro
h
andling
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Ve
r
do
o
lae
g
e
isl_map_
p
rojec
t
_out: fix error
r
e
turn v
a
lue
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
isl_bas
i
c_map_in
t
e
r
sect_r
a
n
ge: avoid NULL poi
n
t
er dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c: find
_
s
o
l
u
tio
n
s
: fix erro
r
h
a
n
d
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_basic_map_alloc_dim: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_basic_map_intersect: avo
i
d
N
ULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
d
oolaege
isl_t
a
b_pip
.
c:
sol_map_init: av
o
i
d
NUL
L
po
i
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_basic_map_interse
c
t_do
m
a
in: avo
i
d NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
g
e
is
l
_flow
.
c: compute
_
val
_
based_
d
epen
d
ences:
f
ix
e
rr
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoola
e
ge
isl_flow_alloc
:
fix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_access_info_compute_flo
w
: fix e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
ge
isl_
{
set
,
ma
p
}_fast_is_empty: av
o
id NULL pointer
derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flow
.
c: avoid
a
ccess
i
ng di
m
fie
l
d directly
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
ge
isl_ac
c
e
s
s_info_compute_flow
:
avoi
d
NULL p
o
inter
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
isl_input
.
c
: obj_read: avoid NUL
L
pointer
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olaege
i
s
l
_map_subtrac
t
.
c: tab_add_constraints: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_
t
a
b
.
c
:
close_row: fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
isl_map_simpli
f
y
.
c
:
remove_duplicate_divs: avo
i
d
N
UL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
i
s
l_ba
s
ic_map_a
f
fine_hull: avoid NUL
L
po
i
nter der
e
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_tab_add_
e
q
: return i
n
t
in
s
tead of isl
_
tab *
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
e
r
d
oolaege
isl_
m
ap_simplify
.
c: rem
o
ve_duplicate_
c
onstraints: a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
m
ap
_
simplify
.
c
:
eliminate_divs_ineq: a
v
oid
N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_ba
s
ic_map_eliminate
_
v
ars: avoi
d
NULL
pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
laege
isl_
s
ample
.
c
: inter
v
al_sample: avoid NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdool
a
e
g
e
isl_sample
.
c:
d
rop_c
o
nstraints_involving: av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
ol
a
ege
is
l
_
stre
a
m
_
new: read_def
i
n
e
d
_
v
ar_list
:
avo
i
d
do
u
bl
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl
_
basic_
m
ap_intersect: avoid NULL p
o
i
nter deref
e
renc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
isl_samp
l
e
.
c
:
g
br_sample:
avoi
d
NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_test
.
c
: avoid NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
isl_te
s
t: avoid ac
c
essing ba
s
ic
set internals
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_inp
u
t
.
c: read_defined_var_list: avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_map_c
o
n
v
ex_hull: avoi
d
NULL po
i
nter derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
ae
g
e
isl_
b
asic_map_normaliz
e
_constraint
s
: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erd
o
olaege
isl
_
basic_map_
t
otal_dim: avoid NULL pointer derefe
r
en
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rd
o
olaege
isl
_
basi
c
_map_order_divs:
a
vo
i
d NULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laege
isl_co
n
vex_hull
.
c: isl_ba
s
ic_set_
a
dd_equality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
ola
e
ge
isl_convex_hull
.
c: compute_facet: avoi
d
N
U
LL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
oolaege
isl_test
.
c: map_is_equal: check in
p
ut
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_
d
im
.
c:
copy_names: check
i
n
put dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
dim_du
p
: check
i
nput dim
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
s
l_
b
asic_map_
c
ow: check
result of all
o
cati
o
n
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_stream_
n
ew_str: check
result
o
f allocation
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_stream
.
c
:
fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verd
o
o
l
aege
i
s
l
_
tab_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
eg
e
isl_ta
b
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
sl_po
l
ynomial
.
c
: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl
_
vertices
.
c: fix ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolae
g
e
i
s
l_morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
isl_m
a
p
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoola
e
ge
isl_
m
ap_simplify
.
c
:
fix
typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdool
a
ege
isl_input
.
c
:
accept more general aff
i
ne
expressions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
add isl_
v
e
c
_
a
dd
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
add isl_v
e
c_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
o
olaege
add isl_
s
et_is_box
commit
|
commitdiff
|
tree
2010-06-24
S
v
e
n Ver
d
oo
l
aege
add isl_map_is
_
transla
t
ion
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoola
e
ge
export isl_qpolynomial_in
v
olves_d
i
ms
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Verdoolaege
isl_
p
ol
y
n
o
mial
.
c: add
m
issing include
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoola
e
ge
isl_ma
p
_transitive_clo
s
ure: check whether d
e
composition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
add isl_stream_flush_to
k
ens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_s
t
ream_s
k
ip_line
commit
|
commitdiff
|
tree
next