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
ven Ver
d
o
ola
e
ge
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
Makef
i
le
.
am: really includ
e
i
ncl
u
de/isl_vertice
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
add
i
sl_map_is
_
bijective
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolae
g
e
doc: drop dupli
c
ate booktit
l
e f
r
om
K
elly1
9
96clo
s
ure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Verdoo
l
aege
do
c
: use more explicit notat
i
on to a
v
oid con
f
usi
o
n
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdoolaege
add isl_constraint_is_div_constrai
n
t
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Ver
d
oolae
g
e
is
l
_map_simplify
.
c
:
separate o
u
t is
l
_
b
asic_map_is_
d
iv_constraint
commit
|
commitdiff
|
tree
2010-06-27
S
v
e
n Verdoolaege
isl_b
a
sic_ma
p
_from_const
r
ai
n
t: ke
e
p all divs, e
v
en
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_
b
asic_map_from_con
s
traint: o
n
ly ret
u
rn copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolaege
isl_constraint_add_div: correctl
y
set lin
e
to firs
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolae
g
e
isl_p
i
p
:
rename p
i
p_op
t
ions to a
v
oid c
o
nflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_convex_hu
l
l
.
c: initial
_
facet_const
r
a
i
n
t
:
fix erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
doc:
d
escrib
e
backward incom
p
atib
l
e changes
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
doc: men
t
ion discussion
g
r
oup
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
rename isl_basic_
m
ap
_
convex_hull to isl_basic_map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
aege
isl
_
affine_hull
.
c: outside_point: fix er
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_rollback: avoid double free on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_t
a
b
.
c: tab
_
mat_produ
c
t: avoid
N
U
L
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
ge
isl_tab
_
extend_co
n
s:
avoid NULL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implement anti
q
uate
d
isl_basic_s
e
t
_
n_* in
terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
la
e
ge
i
s
l_map_convex_h
u
l
l
: avoid
NULL p
o
inter dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_ta
b
_add_valid_eq: re
t
urn
i
nt instead
o
f
isl_ta
b
*
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_affine_hull
.
c: af
f
ine_hu
l
l_with
_
cone: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_
e
q
ualities
.
c: para
m
eter_compressio
n
_multi: av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ver
d
oolaeg
e
isl_basi
c
_
map_
p
r
o
ject_out: avoid
NUL
L
point
e
r
d
e
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
isl_coalesce
.
c: co
a
les
c
e_pair: avoid NULL
p
o
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdo
o
laege
isl_co
n
vex_hull
.
c
:
extend: fix
e
rror handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
impleme
n
t antiquated i
s
l_set_n_* i
n
term
s
of isl_set_di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simp
l
ify
.
c: norma
l
ize_divs: avo
i
d
N
U
LL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laeg
e
isl_input
.
c
: v
a
rs_drop
:
fix err
o
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_convex_hull
.
c: uset_convex_h
u
ll_w
r
ap_
b
o
unded:
fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_set_wrap
_
facet:
fix error hand
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_ta
b
_min:
a
vo
i
d NULL
p
ointe
r
d
erefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_affine_
h
u
ll
.
c: exte
n
d_affine
_
h
u
ll: avoi
d
NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
d
o
olaege
isl_basic_map_extend: plug memory leak on error
p
ath
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_affine_hul
l
.
c: equalities
_
in
_
under
l
ying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_set_preimage: avoid
N
ULL pointer de
r
e
fer
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
o
olaege
i
sl_ta
b
_pip
.
c: n
o
_sol_
i
n_strict: fix er
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
s
l_affin
e
_hu
l
l
.
c: equal
i
tie
s
_in_underl
y
i
n
g_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_affine_hull
.
c: a
f
fine_hull: fi
x
erro handl
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolae
g
e
isl
_
map_projec
t
_out
:
fix erro
r
re
t
u
rn value
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doolaege
isl_basic_m
a
p_intersect_range: avoid
N
ULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_tab_
p
ip
.
c: find_solution
s
:
f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
ege
i
sl_basic_
m
ap_alloc_dim: fix
error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl
_
ba
s
ic_map_intersect: avoid NULL poin
t
er
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_tab_pi
p
.
c: sol_
m
ap_init: avoid NU
L
L poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
s
l_basic
_
map_interse
c
t_domain: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
a
ege
isl
_
flow
.
c: c
o
m
p
ute_val_based_
d
e
pe
n
d
ences: f
i
x error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l_flow_alloc: fix error
handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
sl_access_info_compute_flow: fix error
h
a
ndl
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_{set,map}_
f
ast_is_empty: avoid NUL
L
po
i
nter d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_f
l
ow
.
c: avoid acce
s
sing
d
im field
directly
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
sl_ac
c
ess
_
info_c
o
mpute_
f
low: avoi
d
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_input
.
c: o
b
j_
r
ead: av
o
i
d
NU
L
L
pointer
de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
ge
isl_ma
p
_su
b
tract
.
c: tab_add_
c
ons
t
r
a
i
nts: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_tab
.
c: c
l
ose_row
:
fix
e
rror ha
n
dli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
ege
isl_map_simplify
.
c
: remove_dupl
i
cate_divs: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl
_
b
asic
_
map_affine_hull: avoid
NULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_tab_add_eq
:
return int
instead of
isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simplify
.
c
:
r
e
move_du
p
l
i
c
a
t
e_c
o
n
straints: av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_map_si
m
plify
.
c: elimina
t
e_
d
ivs_i
n
e
q
: avoid
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
sl_basic_map
_
e
liminate_vars: avoid NU
L
L point
e
r derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
ge
isl_sample
.
c: inte
r
val_
s
ample: avo
i
d
NULL pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
sl_s
a
mple
.
c: drop_
c
onstra
i
nt
s
_involving: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaege
isl_
s
tream_new: read_defined_va
r
_list: avoi
d
double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_basic_map_intersect:
avoid NU
L
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoo
l
aege
isl_sample
.
c: gbr_sa
m
ple:
avoid NULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
i
s
l_test
.
c: avoid NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoola
e
ge
isl_test:
avoid a
c
cessin
g
b
asic set internals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laege
isl_input
.
c: read_defined_va
r
_lis
t
: avoid do
u
ble free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_map_c
o
nvex_hul
l
:
avoid
N
U
LL
pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolae
g
e
isl_
b
asic_map_no
r
malize_
c
onstraints
:
a
void NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_basic
_
m
a
p_to
t
a
l
_dim: avo
i
d
NU
L
L point
e
r
dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verd
o
o
laege
i
sl_basic_
m
ap_order_divs: avoid
NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_convex_hu
l
l
.
c: isl_bas
i
c_set_add_equality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
a
e
ge
i
s
l_convex_hull
.
c: comp
u
te_facet: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
s
l_test
.
c: map_is_equal: c
h
ec
k
input
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_dim
.
c: co
p
y_na
m
es: check i
n
put d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
i
sl_di
m
_dup
:
che
c
k
i
nput
d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
is
l
_basic_map_cow: c
h
eck result of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olae
g
e
isl_stream_new_str: check re
s
ult of allo
c
ation
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n
Verdoolaege
isl
_
stream
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl
_
tab_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
isl_tab
.
c:
f
ix typos
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdo
o
l
a
ege
isl_polynom
i
al
.
c: fi
x
ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_ver
t
ices
.
c
: f
i
x t
y
po
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
ege
isl_morp
h
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
isl_map_simplify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
V
e
r
doo
l
aege
isl_input
.
c:
ac
c
ep
t
m
ore general
affine expre
s
s
i
ons
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
ad
d
isl_v
e
c
_s
c
ale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_se
t
_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaeg
e
add isl_
m
ap
_
is_translat
i
o
n
commit
|
commitdiff
|
tree
2010-06-21
Sven Ve
r
doolaege
expo
r
t isl_qpolynomial_in
v
olves_
d
i
m
s
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_pol
y
nomial
.
c: a
d
d missing
i
nclude
commit
|
commitdiff
|
tree
2010-06-21
S
v
en Verd
o
olaege
isl
_
m
ap_transitive_clo
s
u
re: check whe
t
h
e
r
d
ecom
p
osit
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add
isl_
s
tr
e
am_f
l
ush
_
t
o
kens
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoolaege
add isl_stream
_
sk
i
p_
l
ine
commit
|
commitdiff
|
tree
next