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
Sven
V
erdool
a
ege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-28
S
ven Verdo
o
laege
d
oc: drop duplicate booktitle from Kelly1996
c
losure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
S
ven Verdoolaege
doc: use more explicit
n
o
tati
o
n to a
v
oid con
f
usion
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
add isl_
c
onstra
i
nt_is_div_constra
i
nt
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
la
e
g
e
isl_map_simplify
.
c: separ
a
te out i
s
l_basic_map_i
s
_div_constrain
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl
_
bas
i
c_map_from_constraint: keep all di
v
s, eve
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
i
sl_basic_map_
f
rom_c
o
nstraint: only return copy
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
oo
l
a
e
ge
isl_constraint
_
a
d
d_div: correctly set line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoo
l
ae
g
e
isl_pip:
r
e
n
ame pip_options t
o
avoid co
n
flict
with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
do
o
laege
isl_
c
onvex
_
hull
.
c: initia
l
_facet_constra
i
nt: fi
x
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Ver
d
oolaege
doc: describe back
w
ard i
n
compatible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolaege
doc: mention discussio
n
grou
p
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
r
e
n
ame isl_ba
s
ic_map_convex_hul
l
to isl
_
basic_map_remov
e
_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
e
rdo
o
l
a
e
ge
isl_affine_hull
.
c
: out
s
ide_p
o
int:
fix error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_rollbac
k
: avoid d
o
uble fr
e
e
on error
p
ath
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoola
e
g
e
isl_tab
.
c:
t
ab_m
a
t_product: avoid NULL p
o
i
n
t
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl
_
tab
_
exte
n
d_cons: avoid
NUL
L
poin
t
er deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
impleme
n
t antiquated isl_basic_set_n_* i
n
terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aeg
e
i
s
l
_
m
ap_convex_hu
l
l
: avoi
d
NUL
L
poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_t
a
b
_add_valid_eq: return int instead o
f
i
s
l
_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_a
f
f
i
ne_hu
l
l
.
c: aff
i
ne_hull_with_con
e
: a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
olae
g
e
i
s
l_equalities
.
c: param
e
te
r
_com
p
ressi
o
n_mu
l
ti: a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_basic_map_p
r
oj
e
ct_
o
u
t
: avoid NULL p
o
inter d
e
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oolaege
isl_
c
oalesc
e
.
c:
coalesce_pai
r
: avoid NULL pointer
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
laege
isl_convex_hull
.
c:
extend:
fix error h
a
n
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
imp
l
emen
t
antiquated isl_set_n_* in ter
m
s of
i
sl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laeg
e
isl_map_simplify
.
c: normali
z
e
_divs: avoi
d
N
ULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laeg
e
i
s
l
_
i
nput
.
c: vars_drop: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex
_
hull
.
c:
u
s
et_convex_h
u
l
l
_
w
ra
p
_bounded:
fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_set_w
r
ap_facet
:
f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
isl_tab_min: avo
i
d
NULL p
o
inter
der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
sl_affine_hull
.
c: exten
d
_affine_hull: avoid
N
ULL p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
ege
isl_basi
c
_map_ex
t
en
d
: plug me
m
ory leak on
error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_h
u
ll
.
c:
e
qualities_
i
n
_underlyi
n
g_set: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_basic_set_preimage: avo
i
d
NULL po
i
n
ter de
r
e
f
e
re
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
sl_tab_pip
.
c
:
no_sol_in_strict:
f
i
x
error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
sl_affine_
h
ull
.
c:
equali
t
ies_in_u
n
derly
i
ng_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
ege
isl_af
f
ine_hull
.
c:
affine
_
hull: fix
e
rro ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
er
d
ool
a
ege
isl_map_project_
o
u
t
: fix error r
e
turn va
l
ue
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Ve
r
doolaeg
e
isl_basic_map_
i
ntersect_ra
n
ge:
a
void NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ta
b
_pip
.
c: find_sol
u
tio
n
s:
fix error ha
n
dli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
e
g
e
isl
_
basic_map
_
a
lloc
_
dim:
f
ix error h
a
ndli
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_basic_map_i
n
t
e
r
sect: avoi
d
N
ULL point
e
r derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaeg
e
isl_tab_pip
.
c: sol
_
m
a
p_init: avoid
N
ULL poi
n
t
e
r derefer
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
g
e
i
sl_
b
asic_map_intersec
t
_d
o
main:
avoid NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doolaege
isl_flow
.
c: comp
u
t
e
_
val_based_dependences: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
ae
g
e
isl_flow_all
o
c: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
s
l_ac
c
ess_info_c
o
mpute_flow: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_
{
se
t
,map}_fast_
i
s_empty: avo
i
d NUL
L
pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoo
l
aeg
e
isl_flow
.
c: a
v
o
i
d access
i
n
g dim fie
l
d directly
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl_access_info_
c
om
p
ute_flo
w
: avoid N
U
LL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
i
s
l_input
.
c: obj_read:
a
voi
d
NULL pointer
d
er
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_
m
ap_su
b
t
r
act
.
c:
tab_
a
dd_constraint
s
: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
ege
is
l
_tab
.
c: cl
o
se_ro
w
:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ver
d
o
o
l
aege
isl_map_simp
l
if
y
.
c: r
e
move_dupl
i
cate_divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
is
l
_basic_map_affine_hull: avoid N
U
LL poin
t
e
r
derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
tab
_
add
_
eq: retu
r
n int inste
a
d
o
f isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
do
o
laege
isl_map_simplify
.
c
:
remove_d
u
plica
t
e_con
s
t
r
aints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
ege
i
sl_map_simplify
.
c: eliminate_
d
i
v
s
_ineq:
a
v
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map
_
eliminate_vars: avoid NULL point
e
r
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
oolaege
isl_
s
ample
.
c:
inter
v
al_s
a
mple: avoid NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c: dro
p
_co
n
straints_involving: avo
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doola
e
ge
isl_stream_new: read_define
d
_
v
ar_list:
a
v
o
id doub
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oolaege
is
l
_bas
i
c_map_int
e
rsect: avoid
NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sa
m
ple
.
c: g
b
r
_
s
ample: avoid NULL point
e
r derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_test
.
c: avo
i
d NULL pointe
r
derefer
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoola
e
ge
i
sl_test
:
avoid
access
i
ng basic set in
t
e
rn
a
ls
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_input
.
c
:
read_defined_var_
l
is
t
: avoid
double
f
r
ee
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_map_convex_h
u
ll: avoi
d
NULL poin
t
er dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aege
i
s
l_basic_map_normalize_constraints: avoid
N
UL
L
p
o
int
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_total_dim: avo
i
d NUL
L
pointer
d
ere
f
erenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aege
isl_basic_map_order_divs: avoid NU
L
L pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
er
d
o
olaege
isl_co
n
v
ex_
h
u
ll
.
c
: isl_basic_se
t
_add_equal
i
ty: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
is
l
_convex_hull
.
c:
c
omp
u
te_facet: avoid N
U
LL p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
s
l_test
.
c: map_
i
s_equal: check
input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_dim
.
c: c
o
py_name
s
: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl
_
dim_dup: check input di
m
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
o
l
aeg
e
isl_basic_map_c
o
w: check
r
es
u
lt of all
o
cat
i
on
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
s
tream_new_s
t
r
: check result of alloc
a
ti
o
n
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolae
g
e
i
sl_stream
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
is
l
_t
a
b_pip
.
c: fix typ
o
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
isl_ta
b
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
isl_p
o
lynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
a
e
ge
is
l
_ver
t
ices
.
c: fix typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
i
s
l_morph
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
isl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
isl_
m
ap_simplify
.
c:
f
i
x t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
i
sl_input
.
c: accept more genera
l
affine
e
xpress
i
o
n
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add
i
sl_v
e
c_add
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
add is
l
_vec_s
c
a
l
e
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
a
dd
i
sl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
a
dd isl_map_is
_
t
ransla
t
ion
commit
|
commitdiff
|
tree
2010-06-21
Sven Ver
d
ool
a
ege
export isl_qpoly
n
o
mia
l
_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
erdoolaege
isl
_
polynomial
.
c:
a
d
d
m
i
ssing
include
commit
|
commitdiff
|
tree
2010-06-21
S
v
en Verdoo
l
aege
isl_map_transitiv
e
_closure: ch
e
ck
wh
e
ther
dec
o
m
p
osit
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaege
add isl
_
s
t
ream_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_stream_s
k
i
p_line
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erd
o
olaege
add rudim
e
ntary error reporting mec
h
an
i
sm
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoolaege
ad
d
isl_versio
n
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erd
o
olaege
isl_point_alloc: a
v
o
id pot
e
ntial memory
leak on
er
r
o
r
.
.
.
commit
|
commitdiff
|
tree
next