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
S
v
en Ver
d
o
o
laege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
Ve
r
do
o
la
e
ge
M
akefi
l
e
.
a
m
:
r
eally include in
c
lude/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
Verd
o
olaege
a
dd isl_map_is
_
b
ijec
t
ive
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdool
a
eg
e
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
S
v
en
Verdoolaege
doc: drop d
u
pl
i
ca
t
e booktitle from Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
d
oc: use
m
ore ex
p
licit n
o
tation to avoid
c
onfusio
n
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
olaege
add isl_constraint_is_div_
c
onstr
a
int
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
ol
a
ege
isl_map_simplify
.
c: separate o
u
t isl_basic_
m
ap_is_div_co
n
s
trai
n
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoola
e
ge
is
l
_basic_map_f
r
om_c
o
n
strai
n
t: keep all di
v
s,
e
v
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
oolaege
isl_basic_map_fr
o
m_constra
i
nt:
only return copy
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_constraint_add_d
i
v: correctly set line
to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaeg
e
isl_pip: rename
p
ip_o
p
tions to
a
void conflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_convex_hull
.
c
:
i
n
itial_facet_constraint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
do
c
:
d
escribe backward incompatible c
h
anges
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
a
ege
doc:
m
ent
i
on discussion group
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
rename
i
s
l_basic_map_
c
onvex_hull
to
i
s
l_basic
_
map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl_aff
i
ne_hull
.
c: outside_point: fix
e
r
r
or handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_tab
_
rollback
:
avoid double free on error path
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
erdoolaege
i
s
l
_tab
.
c: tab_mat_
p
roduct: avoid NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_tab_
e
xten
d
_c
o
ns: avoid NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
impl
e
ment antiquated
i
sl_basic_set_n_* in
t
erms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
s
l
_
m
a
p
_con
v
ex_hul
l
: avoid
NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
olaege
isl_
t
ab_a
d
d_vali
d
_eq: return int i
n
stead of is
l
_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_affine
_
hul
l
.
c:
a
ff
i
ne_
h
ull_wi
t
h_cone: avoid NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_equal
i
ties
.
c: par
a
meter_compr
e
ssion_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l
_
basic_map_project_o
u
t: avoid NULL p
o
in
t
er de
r
eferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_co
a
l
e
s
ce
.
c: coal
e
sce_pair: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
i
sl_c
o
nv
e
x_hull
.
c: extend: fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
imp
l
emen
t
an
t
i
q
u
at
e
d isl
_
s
et_n_* i
n
terms of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
isl_
m
ap_
s
im
p
lify
.
c: no
r
m
al
i
ze_divs: a
v
oid N
U
LL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
i
nput
.
c: vars_drop
:
f
ix error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_convex_h
u
ll
.
c: uset_conv
e
x_hull_wrap_bo
u
n
ded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_set_wrap_
f
acet:
f
ix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl
_
tab_min: av
o
id
N
ULL poi
n
ter
d
erefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
erdool
a
eg
e
i
s
l_affine
_
h
ull
.
c:
e
x
tend_af
f
ine_hull: avoid NULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolae
g
e
isl_
b
asic_map
_
extend: plug memory leak o
n
error pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoola
e
ge
isl_aff
i
ne_h
u
l
l
.
c: equ
a
li
t
ies_
i
n_unde
r
lying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl
_
basi
c
_
s
et_preimage:
a
void
N
ULL poin
t
e
r derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoolaeg
e
isl_tab_pip
.
c: no_sol_
i
n_strict: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_affine_hu
l
l
.
c: equal
i
ties_i
n
_un
d
e
r
l
ying_se
t
: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_affine_hull
.
c: affine_hull: fix erro ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolae
g
e
isl
_
map_pr
o
ject_out:
f
i
x
error return value
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaege
is
l
_bas
i
c_map
_
inters
e
ct
_
range:
avoid NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_
t
ab_pip
.
c: find_solution
s
: fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_
b
asic_map_all
o
c_d
i
m:
f
ix error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
olaege
isl_basic_map_inter
s
ect:
avoid NULL
p
oi
n
ter
d
erefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_tab_pip
.
c
: sol_
m
ap_init: av
o
id NULL
p
ointe
r
der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_basic_map_i
n
ters
e
c
t
_domain: avoid NULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoola
e
ge
is
l
_flow
.
c:
c
ompute_v
a
l_based_dependences
:
fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_fl
o
w_alloc:
f
ix
e
r
r
o
r
han
d
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
e
rdo
o
laege
isl_acce
s
s
_
i
nfo
_
compute_fl
o
w:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
{se
t
,map}_fast
_
is_empty: avoid NUL
L
poi
n
ter d
e
r
ef
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_flow
.
c: avoid accessing dim field directly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_a
c
cess
_
info_compute_flow:
avoid
NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doola
e
ge
i
sl_input
.
c: obj
_
r
ead: a
v
oid N
U
LL p
o
inte
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_map_subtract
.
c
:
tab_add_
c
onstrai
n
ts:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laeg
e
isl_tab
.
c
:
close_row: fix error
h
a
ndlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_map_simplify
.
c:
r
em
o
ve_dup
l
icate
_
divs:
a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_basic_map_affi
n
e_h
u
l
l: avoid N
U
L
L pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
o
laege
is
l
_tab_add_eq: return int ins
t
e
a
d
of i
s
l_ta
b
*
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
i
s
l
_map_simplify
.
c: remove_duplicate_constr
a
ints:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl
_
map_si
m
p
l
ify
.
c: eliminate_
d
ivs_ineq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_
b
asic_map_eliminate_vars: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_
s
ample
.
c: interval_sam
p
le:
avoid NULL pointe
r
derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
i
sl_sample
.
c
:
d
rop_co
n
straints_involvin
g
:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_stre
a
m
_new: read_d
e
f
i
ned_var_list: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdo
o
lae
g
e
isl_basic_map_in
t
ersect:
avoid NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_
s
ample
.
c:
gbr
_
s
a
mpl
e
: av
o
id NULL pointer
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oo
l
a
eg
e
isl_
t
es
t
.
c:
a
void NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_test: avoid
a
ccessing basic set inte
r
nals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_input
.
c
:
re
a
d_defined_var
_
list: av
o
id do
u
bl
e
free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdo
o
laege
isl_map_con
v
ex_hull: avoid NULL po
i
nter d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_basic_map_
n
o
rmalize
_
con
s
tr
a
i
nts:
a
void NULL po
i
n
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_t
o
tal_dim: avoid NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
g
e
isl_basic_map
_
order
_
d
ivs: av
o
id NULL pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_convex_h
u
ll
.
c: isl
_
basic_set_add_equa
l
i
t
y: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdo
o
laeg
e
isl_convex_hull
.
c: com
p
ute_facet: av
o
i
d
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
t
e
s
t
.
c: m
a
p_is_equal
:
check inp
u
t
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaeg
e
isl_di
m
.
c: copy_names: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_dim_dup: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
s
l_basic_map_cow: check result of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rd
o
olaege
isl_str
e
am_
n
ew_s
t
r
:
check r
e
sult of all
o
cation
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_stream
.
c
:
fix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
is
l
_tab_pi
p
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
i
s
l_ta
b
.
c
: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_pol
y
nomial
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
i
s
l_v
e
rt
i
ces
.
c: fi
x
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
isl_morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolae
g
e
isl_ma
p
.
c
:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
sl_ma
p
_si
m
plify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaege
isl_input
.
c: accept m
o
re genera
l
a
f
fine expr
e
ssions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaege
add isl_vec_scal
e
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
add
isl_set_is_b
o
x
commit
|
commitdiff
|
tree
2010-06-24
Sven
V
e
r
doolaege
add isl_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven Ve
r
doolaege
export isl_q
p
olynomial_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
S
v
en Verdoolaege
isl
_
p
o
l
ynom
i
a
l
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
erdoola
e
ge
isl_
m
ap_transitive_closure: che
c
k whether deco
m
p
osition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
ven Ver
d
oolaege
add isl_
s
tr
e
a
m
_f
l
ush_toke
n
s
commit
|
commitdiff
|
tree
2010-06-19
Sven
Ve
r
d
o
ol
a
ege
add isl_str
e
am_ski
p
_li
n
e
commit
|
commitdiff
|
tree
next