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
doc: fix typo
2010-06-28
S
v
e
n Verdoolaege
doc: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdool
a
ege
d
o
c: d
r
op duplicate book
t
itle fro
m
Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: use more explicit
notati
o
n
t
o
a
v
o
id confus
i
on
commit
|
commitdiff
|
tree
2010-06-27
S
v
e
n
Verdoolaege
add
isl_const
r
aint_is_div_con
s
traint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
isl_map_simplify
.
c: separate
o
ut isl_basic_map_is_div
_
con
s
tra
i
nt
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
e
g
e
isl_basic_
m
ap_from_constraint:
keep all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
laege
i
s
l_basic_map_
f
rom
_
constrain
t
:
o
nly ret
u
rn copy
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Ver
d
oolaege
isl_
c
onstraint_add_div: corr
e
ct
l
y set line to fir
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
V
e
rdoolaege
isl_pip: rena
m
e pip_options to avo
i
d con
f
lic
t
with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_convex_
h
ull
.
c
:
initial_f
a
cet
_
constraint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
d
o
c: describe backward incompa
t
ible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
doc: menti
o
n di
s
c
u
s
sion group
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
rename isl_basic_map_convex_hull
t
o
i
s
l
_
basic_map
_
r
e
move_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoola
e
ge
isl
_
a
f
fine_hull
.
c: outside_point: f
i
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_tab_rollback: avoid doubl
e
free
o
n error path
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolae
g
e
i
s
l_tab
.
c: t
a
b_mat_p
r
oduct:
avoid NU
L
L
pointer deref
e
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoolaeg
e
isl_
t
ab
_
e
xtend_co
n
s: avoid NULL point
e
r d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
d
o
olaege
implement antiqua
t
ed isl_basic_set_n_* in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoolaege
isl_map_co
n
vex_hull: avoid NULL
p
o
i
n
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_tab_ad
d
_valid_eq: return
i
nt inste
a
d of i
s
l_tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ver
d
o
o
laege
isl
_
aff
i
ne
_
h
u
l
l
.
c: affine_h
u
l
l
_with_co
n
e:
a
void
NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laeg
e
isl
_
equalities
.
c: par
a
met
e
r_com
p
ressi
o
n_mul
t
i
:
avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
basic_map_projec
t
_out: a
v
oid NULL
p
oint
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_coalesce
.
c: coalesce
_
pair:
a
v
oid NU
L
L
poin
t
er
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
aege
isl_
c
onve
x
_hull
.
c: extend: fix e
r
ror
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
impl
e
m
ent antiqua
t
ed isl_set_n
_
* in
term
s
o
f isl_s
e
t
_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_map_simp
l
ify
.
c:
no
r
malize_divs: a
v
oid NULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_input
.
c: vars
_
dro
p
: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
s
l_
c
o
n
ve
x
_hu
l
l
.
c: u
s
et_convex_hull_
w
rap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaeg
e
isl_set_wr
a
p_facet:
f
ix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
t
ab_min
:
avoid NULL pointe
r
dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
a
ffine_hull
.
c: e
x
tend_affine_hull
:
avoid N
U
LL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
s
l_basic_map
_
extend: plug
me
m
ory leak
o
n error pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_
a
ffi
n
e
_hul
l
.
c: equalities_in_unde
r
lying_set: a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_
s
et_preim
a
ge: avoid NULL poin
t
er
d
ereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoo
l
aege
isl
_
ta
b
_
p
i
p
.
c: no_s
o
l_in_strict
:
fix
erro
r
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
is
l
_a
f
fine_hull
.
c: equal
i
t
ie
s
_in_underlyi
n
g_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl_affine
_
hull
.
c: af
f
ine_hull: fix
e
rro handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaeg
e
isl_map_proje
c
t_ou
t
: fi
x
error return valu
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
basic_
m
ap_i
n
tersect_ran
g
e:
a
void N
U
L
L
poi
n
ter dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
is
l
_ta
b
_pip
.
c
:
find_solutions: fix error han
d
li
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdo
o
laege
i
s
l
_b
a
sic
_
ma
p
_
alloc_dim
:
fix error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doolaege
isl_b
a
sic_
m
ap
_
inte
r
sect: avoid NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoo
l
aeg
e
isl_tab
_
pip
.
c: sol_map
_
init: avoid NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_basic_
m
a
p
_
inters
e
ct_domain: avoid NULL p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaege
isl_flow
.
c: compute_val_based_depende
n
ces: fix er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_flo
w
_alloc:
f
ix
erro
r
ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verd
o
o
l
aege
isl_access_info_compute_flow: fix e
r
ro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl
_
{set,map}_fa
s
t_
i
s_emp
t
y: avoi
d
NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_f
l
ow
.
c:
avoid accessing dim field d
i
re
c
tl
y
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_access_info_comput
e
_
flow: avoid NULL pointe
r
dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_i
n
p
ut
.
c
: obj_read:
a
void NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
isl_map_subtract
.
c: tab_add_cons
t
raints: avoid
N
UL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_tab
.
c: clo
s
e_row
:
fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
s
l
_map_simplify
.
c: remove_duplicate_d
i
vs: av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_bas
i
c_map_
a
ff
i
ne_
h
ull:
avoid NU
L
L pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
la
e
g
e
i
sl_ta
b
_add
_
eq: return int instead of
isl
_
tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
m
ap_simplify
.
c: remove_duplicate_c
o
n
s
traints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simplify
.
c
: eli
m
inate_d
i
vs_i
n
eq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_
b
asic_ma
p
_eliminate_vars: a
v
oid
N
ULL pointe
r
derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_sample
.
c:
interval_sample: avoid
N
U
L
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaege
isl_sample
.
c: drop
_
c
onst
r
aints_i
n
v
olv
i
ng: avoi
d
N
UL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_stream_
n
ew: read_def
i
ned_
v
ar
_
list:
avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolae
g
e
isl_basic_map
_
i
n
tersect: avoid NULL
p
ointer de
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_sam
p
le
.
c: gbr_sample: avoid NU
L
L p
o
inter derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_test
.
c: avoid NULL
poin
t
er dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
er
d
oo
l
aege
isl_test: avoid ac
c
es
s
ing basi
c
set internals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
a
e
g
e
i
s
l
_
input
.
c: read_defined_var_list: avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_map_convex_
h
ull: a
v
oid NULL
pointer
deref
e
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
d
ool
a
ege
i
s
l_
b
asi
c
_m
a
p_normalize_cons
t
ra
i
nts: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolae
g
e
isl_ba
s
ic_map_total_dim: avo
i
d
NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
do
o
l
a
ege
isl
_
basi
c
_map_orde
r
_divs: avoid NULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
s
l_convex_hull
.
c:
i
sl_basic_set_add_equa
l
i
ty:
avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
is
l
_convex_
h
u
ll
.
c
:
compute_face
t
: avo
i
d NULL pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
isl_test
.
c
:
m
ap_is_equal: check
i
nput
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doo
l
aege
isl_
d
im
.
c: c
o
py_
n
ames: check
i
n
put dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolae
g
e
isl_dim_
d
up: che
c
k
input dim
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
sl_
b
asic_map_cow: check result of
allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
is
l
_stream_new_str: check result of allocation
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
is
l
_stream
.
c: fix
typ
o
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
isl_ta
b
_
pip
.
c: fi
x
typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
isl_tab
.
c
: fix t
y
pos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl
_
p
o
ly
n
omial
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_vert
i
ces
.
c:
f
i
x typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
ol
a
ege
isl_morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
isl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
r
doolaeg
e
i
s
l
_
m
ap
_
s
i
mplif
y
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en
Verdoolae
g
e
isl_input
.
c: accept mor
e
g
eneral
a
ff
i
ne
e
xpressions
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
er
d
oolaege
add isl_
v
ec_ad
d
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
add
i
sl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
add
i
sl_
s
e
t_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven
V
erdoolaege
add
i
s
l_
m
ap_is_tr
a
n
s
lation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
ex
p
ort isl
_
qpolynomi
a
l_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven
Verdoolaege
isl_po
l
ynomial
.
c: add
m
issing
i
n
cl
u
de
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
r
doolaege
isl_
m
a
p
_
transitive_closure: check whether de
c
omposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaege
a
d
d
isl_st
r
eam_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verd
o
olaege
add isl_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdool
a
e
g
e
add rud
i
menta
r
y
error
report
i
ng mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verdoolaege
add
i
sl_ve
r
s
i
on
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
i
s
l_
p
o
i
nt_alloc: avoid potential memory leak on error
.
.
.
commit
|
commitdiff
|
tree
next