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_constraint_is_div_constraint
2010-06-27
Sven Verd
o
o
l
aege
add isl_
c
o
n
straint_is_di
v
_
constr
a
int
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl
_
m
a
p
_simplify
.
c: separate out isl_basic_map_is
_
d
iv_con
s
t
r
ai
n
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_
b
as
i
c_
m
ap_from_const
r
aint: keep al
l
di
v
s
, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
V
erdoolaege
isl_basic_ma
p
_f
r
om_constraint
:
only return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolaege
isl
_
c
o
nstr
a
int_a
d
d_div
:
corr
e
ct
l
y set line
to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
Ver
d
oola
e
g
e
isl_pip: rename pip_options to
a
v
o
i
d
conflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_convex_hull
.
c: initi
a
l
_
facet_constraint: f
i
x
e
rr
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
do
c
:
des
c
ribe bac
k
ward incompatible changes
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdo
o
laege
doc: mention discus
s
i
on g
r
oup
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoola
e
ge
rename isl_basic_map_convex_hull
t
o is
l
_basic_map_re
m
ove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
a
f
fine_hull
.
c: out
s
i
d
e
_poin
t
:
f
ix error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdool
a
e
g
e
i
sl_tab_roll
b
ack: a
v
oid double free
on e
r
ror p
a
th
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
is
l
_
tab
.
c: t
a
b_ma
t
_produc
t
:
a
void NULL pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verd
o
o
laege
isl_tab_extend_cons: avo
i
d NU
L
L
pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
impl
e
m
e
nt a
n
t
iqu
a
ted isl_ba
s
ic_set_
n
_* in
t
erms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_map_co
n
vex_hull:
a
void NULL pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
sl_tab_add_valid_eq: return
int instead of isl_
t
a
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
isl_affine
_
hull
.
c
:
affine_
h
ull_with_cone
:
av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
i
s
l_equalities
.
c: parameter_comp
r
essio
n
_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
ool
a
ege
isl
_
basic_map_project
_
out: avoid NULL poi
n
te
r
d
e
re
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_coalesce
.
c: co
a
l
e
s
c
e
_pair:
a
void NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oola
e
ge
isl_
c
o
n
vex_hull
.
c:
e
xte
n
d: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolae
g
e
implement ant
i
quated isl_set_n_* in te
r
ms of i
s
l_set
_
d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simplify
.
c: normalize
_
divs: avoid NULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
sl_input
.
c: vars_d
r
op:
fix error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_convex_hull
.
c
:
uset_convex_hull_wrap_b
o
unded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl
_
set_
w
ra
p
_facet: fix error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_tab_mi
n
: avoid NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaege
isl_affine_hull
.
c: ext
e
nd
_
affine_hul
l
: a
v
oid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_
b
a
sic_map_ext
e
n
d
: plug
m
emory leak o
n
e
rror path
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laege
isl_affine_hul
l
.
c: equalities_in
_
underlying_
s
et: a
v
oi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
e
rdoolaege
isl_basic_set_preimage: avoid
N
ULL pointer de
r
e
f
er
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoolae
g
e
isl_
t
ab_pip
.
c: no_sol_in_s
t
ric
t
: f
i
x
error ha
n
d
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_affine_h
u
ll
.
c
: equalities
_
i
n_underlyi
n
g
_set:
plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
o
o
laege
isl_affine_h
u
ll
.
c: aff
i
ne_hull: fix er
r
o handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_m
a
p_project_out: fix error return
value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_bas
i
c_map_i
n
tersec
t
_range: avoi
d
N
U
L
L
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolae
g
e
isl_tab_pip
.
c: find_solutions: fix er
r
or
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic
_
map
_
alloc_dim: fi
x
error h
a
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_basi
c
_map_
i
nters
e
ct
:
a
voi
d
N
U
LL p
o
inter derefer
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
is
l
_tab_
p
ip
.
c: sol_m
a
p
_init: avo
i
d
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
isl_basic_map_inters
e
ct
_
domain: avoi
d
N
ULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
ege
isl_flow
.
c: compute_val_based_d
e
p
endenc
e
s: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_flow_alloc: f
i
x error
handl
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolaege
isl_access_
i
nfo_compute_fl
o
w: fix
e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolae
g
e
isl_{set,map}_fast_is_e
m
pty: avoid N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
olaege
isl_flow
.
c: avoi
d
access
i
ng dim field directly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_a
c
ce
s
s_info_compute_
f
low:
a
void NULL poi
n
ter deref
e
re
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl
_
input
.
c
:
obj_read: avoid
N
ULL po
i
nter dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
isl_ma
p
_subtract
.
c: ta
b
_add_c
o
nstrain
t
s: avoid
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
t
ab
.
c: clos
e
_
row:
f
ix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
l
a
e
ge
isl_map_simplify
.
c
: remove_duplicate_
d
i
v
s:
a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_
b
asic_map
_
affine_hull: avoid NU
L
L pointer
dere
f
e
r
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoo
l
aege
isl
_
tab_add_eq:
return
int
instead of isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_map_simp
l
i
fy
.
c
: remove_du
p
lica
t
e_constraints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simplify
.
c: elimi
n
ate_di
v
s_ineq:
a
void NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolaege
isl_b
a
sic_map_
e
l
iminate_vars: av
o
id NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
o
l
aege
i
sl_sample
.
c: in
t
erval_sample: avoid NULL pointer
d
er
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c: drop_constra
i
n
ts_involvin
g
: a
v
oid
N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl
_
s
t
ream_n
e
w: read_defi
n
ed_var_list:
a
void double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolaege
isl_
b
asi
c
_map_intersect: avoid NULL
point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
isl_sa
m
ple
.
c: gbr
_
sample: avoid N
U
LL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl
_
t
e
s
t
.
c:
a
void NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test: avoid a
c
c
essi
n
g bas
i
c set interna
l
s
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olae
g
e
isl_input
.
c:
r
ead
_
defined_var_list: a
v
oid doubl
e
free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_
m
ap_co
n
vex_h
u
ll: avoid N
U
LL p
o
inter dere
f
e
r
enc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
ool
a
ege
is
l
_
b
asic_map_no
r
m
a
liz
e
_constra
i
nts: avoid NU
L
L
p
o
inte
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
a
ege
isl_basi
c
_ma
p
_tot
a
l_dim: avoid NU
L
L pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_basic_map_order_divs:
avoi
d
N
UL
L
point
e
r
d
e
refer
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olaeg
e
isl_convex_hull
.
c: isl
_
b
a
sic_s
e
t_add_equality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_con
v
e
x
_
hull
.
c: comp
u
te_facet:
a
void NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolae
g
e
isl_test
.
c: map_is_equal
:
check input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_dim
.
c: copy_names
:
check input dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_dim_dup: chec
k
in
p
ut di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_ba
s
ic_ma
p
_
c
ow: check
r
esu
l
t of allo
c
a
tion
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olaege
is
l
_s
t
rea
m
_new_str: check res
u
lt of alloca
t
ion
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
do
o
laege
isl_stream
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdo
o
laege
i
s
l_
t
ab_
p
ip
.
c
: fi
x
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaege
isl_tab
.
c: fix t
y
pos
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
ool
a
ege
i
s
l_
p
olynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Ver
d
oolaege
isl_
v
ertic
e
s
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n V
e
rdoolaege
isl_morph
.
c:
f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Ve
r
do
o
laege
isl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
isl_m
a
p_simplify
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdool
a
ege
isl_i
n
put
.
c
: accept
more gener
a
l affine expressi
o
ns
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
add is
l
_v
e
c_a
d
d
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdo
o
l
a
ege
add isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdo
o
laege
add isl_set_is
_
box
commit
|
commitdiff
|
tree
2010-06-24
Sven
V
erdoolaege
add isl_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
rdo
o
laege
export i
s
l
_
q
polynomial_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Ve
r
doolaeg
e
i
sl_polynom
i
al
.
c:
a
dd missing include
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoolaege
i
sl_m
a
p_transitive_clo
s
ure:
check
w
hether decompositio
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
r
doolaege
add isl_stream
_
flus
h
_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_stream_
s
kip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
add rudimentary err
o
r reporti
n
g mech
a
nism
commit
|
commitdiff
|
tree
2010-06-19
S
v
en
V
erdoola
e
g
e
add
isl_version
commit
|
commitdiff
|
tree
2010-06-19
S
v
en
Ver
d
ool
a
eg
e
isl_point_allo
c
: avoid potential
m
emory leak on er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Ver
d
oolaege
d
oc: do
c
um
e
nt is
l
_map_
d
elta
s
commit
|
commitdiff
|
tree
2010-06-15
Sven
V
er
d
oolaeg
e
isl_tab_pip
.
c
:
com
p
are all coeffi
c
ients
w
hen
c
heck
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
v
en Verdoola
e
ge
isl_pw_qpo
l
ynom
i
al{,_fold}_gist: use simple hull instead
.
.
.
commit
|
commitdiff
|
tree
next