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_basic_map_from_constraint: keep all divs, even redundant ones
2010-06-27
Sven Verdoolae
g
e
isl
_
basic_
m
ap_from_
c
onstraint: ke
e
p all
divs
,
even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
olaege
i
s
l_basic_map_f
r
om
_
constraint: only
r
etur
n
copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_con
s
train
t
_
add_div: correctly s
e
t
line
t
o first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolaege
isl_pip: rename pip_options
t
o avoid co
n
f
l
i
ct with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
eg
e
isl_co
n
vex_hull
.
c:
initial_
f
acet
_
constra
i
n
t: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erd
o
olaege
doc: d
e
scribe ba
c
k
ward inc
o
mpatible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aeg
e
doc: me
n
tion discussion
g
roup
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
ren
a
m
e isl_basic_ma
p
_con
v
ex_hul
l
to isl_basi
c
_map_remo
v
e
_
red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
o
l
aege
isl_affine_hull
.
c: outside_point: fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
i
s
l
_
ta
b
_rollback: avoid double free
on
e
r
r
or
p
at
h
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoola
e
ge
isl_tab
.
c: t
a
b
_ma
t
_produ
c
t: a
v
oid NULL p
o
inter derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doolaege
isl_tab
_
extend_con
s
: avoi
d
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
r
do
o
la
e
ge
implemen
t
antiquated is
l
_basic_set_n_* in terms o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
d
o
olaege
isl_map_
c
o
n
vex_h
u
l
l: avoid NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
isl_tab_add_valid_
e
q
: return int instead
of isl
_
tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doola
e
ge
isl_
a
ffine
_
hull
.
c: affine_h
u
ll_wit
h
_cone: avoid NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl
_
equalities
.
c:
p
aram
e
t
e
r_
c
ompression_mu
l
ti: av
o
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl
_
bas
i
c
_
map_
p
roject_out: avoid NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
s
l_c
o
alesce
.
c:
c
oalesce_p
a
ir: avoid NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_
h
ull
.
c: extend: fix error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
impl
e
me
n
t antiquate
d
isl_set_n_* in
t
erms of i
s
l_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolae
g
e
isl_map_simplify
.
c: normalize_div
s
: av
o
id NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
g
e
isl_input
.
c: var
s
_drop: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
s
l_convex
_
h
u
ll
.
c: uset_convex_hul
l
_wrap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_set_wr
a
p_facet
:
fix
e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_tab_
m
i
n:
a
v
oid NULL p
o
inter dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_aff
i
ne_hull
.
c: exte
n
d_affine_hull
:
avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
s
l_ba
s
i
c_
m
ap_extend
:
plug memory leak
o
n error pat
h
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_af
f
in
e
_hull
.
c: equ
a
lit
i
e
s
_in_underlying_set:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl
_
b
a
s
i
c_se
t
_p
r
e
imag
e
: avoid
N
U
L
L pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c: no_sol
_
in_strict:
fix e
r
ror handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_
a
ffine_hull
.
c
:
equalities_i
n
_
u
n
derlying_set:
plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
affin
e
_
h
u
l
l
.
c: affine_hull: f
i
x
erro handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_map_project_out: fix error retur
n
value
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
is
l
_basic
_
map
_
intersect
_
rang
e
: av
o
i
d
NULL
po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolae
g
e
i
sl_
t
ab_
p
ip
.
c: find_solutions: fix er
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_ba
s
i
c_map_all
o
c_dim: fix error
h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_basic
_
map_intersect: avo
i
d NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
is
l
_tab_pip
.
c: sol_map_i
n
it: av
o
i
d NUL
L
po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
i
sl_basic_
m
a
p_intersect_doma
i
n: avoid NULL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_flow
.
c:
compute_va
l
_ba
s
ed
_
d
e
pen
d
en
c
es: fix
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_flow_a
l
loc: fix erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoolaege
i
s
l
_
access_inf
o
_
c
ompute_
f
low: fix err
o
r
ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
o
l
aege
is
l
_{set,map
}
_
f
ast_is_e
m
p
ty: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_flow
.
c:
avoid acces
s
i
ng d
i
m fi
e
ld di
r
ectly
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
sl_access_in
f
o_compute_
f
low: avoid NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_input
.
c: obj
_
read:
avoid NU
L
L
p
ointer
dere
f
eren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
d
oo
l
aege
isl
_
map
_
s
ubtrac
t
.
c: tab_add_const
r
aints: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
sl_tab
.
c: close_row: fix er
r
or h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_map
_
si
m
p
lify
.
c:
r
e
move_duplicat
e
_di
v
s
: avoid NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n V
e
r
d
ool
a
e
g
e
isl_bas
i
c_m
a
p_aff
i
ne_hull: avo
i
d N
U
LL pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
ege
isl_tab_
a
dd_eq:
r
eturn int
i
nst
e
ad of is
l
_
tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl
_
map_
s
impl
i
fy
.
c: remove_
d
up
l
icate_
c
onst
r
aints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolae
g
e
isl_map_simpl
i
fy
.
c: elimi
n
ate_divs_in
e
q:
a
v
o
id NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Ve
r
doolae
g
e
isl_basic_map_el
i
min
a
t
e_vars: avoid
N
ULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
sample
.
c
:
i
nterval
_
sample: avoid NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c:
drop_constrai
n
t
s_
i
nvolvi
n
g
: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_str
e
am_new: read_de
f
ined_va
r
_list
:
avo
i
d double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_basic
_
m
a
p_int
e
rse
c
t: avoid NU
L
L poin
t
er d
e
refere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sampl
e
.
c: gbr_sample: avoid N
U
LL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
t
est
.
c:
avoid NULL
p
o
int
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_test: avoid accessing
b
asic se
t
int
e
rna
l
s
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rd
o
olaege
isl_input
.
c
: read
_
defined_var_list: avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_m
a
p_convex_hull: avoid NULL pointe
r
d
e
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_b
a
sic_map_n
o
rmalize_const
r
aints: a
v
o
i
d NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
i
s
l_b
a
sic_map_tot
a
l_dim:
a
void NU
L
L pointer der
e
f
e
r
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
i
sl_basic_map
_
order_
d
i
vs
:
a
v
oid N
U
LL p
o
inte
r
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
is
l
_
convex_h
u
ll
.
c:
isl_basic_set_add_equa
l
ity
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
la
e
ge
isl_c
o
n
v
ex_
h
ul
l
.
c
: compu
t
e_facet: avo
i
d N
U
LL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test
.
c:
m
ap_is_e
q
ual: check input
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oo
l
aege
isl_
d
im
.
c: copy
_
names: check input
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doolaege
isl_dim_dup
:
chec
k
inpu
t
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
s
l_basi
c
_map_cow: check result of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
s
trea
m
_
n
e
w_str: che
c
k result
o
f
a
lloca
t
i
o
n
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
d
oolae
g
e
isl_stream
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaege
isl_tab_pip
.
c: fix t
y
p
o
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_tab
.
c: fix
typos
commit
|
commitdiff
|
tree
2010-06-25
S
ve
n
Ver
d
oolaege
isl_polynom
i
al
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_vertice
s
.
c
:
f
i
x typos
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verd
o
olaege
isl_morp
h
.
c: f
i
x t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdool
a
ege
isl_m
a
p
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
isl_map_si
m
plify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
V
erdoolaege
is
l
_input
.
c: acc
e
p
t more general
a
f
fin
e
expression
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oo
l
a
e
ge
add isl_v
e
c_add
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
add isl_ve
c
_scale
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
Verdoolaege
add
isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Ver
d
oolaege
add isl_
m
ap_is_translat
i
on
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
export isl
_
qp
o
lyn
o
mial_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoo
l
aege
isl_polynomial
.
c: add miss
i
n
g
include
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdo
o
laege
isl_map_transiti
v
e_c
l
osure: c
h
eck wh
e
ther d
e
co
m
positio
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
ven V
e
rdoolaege
add isl_stream_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoo
l
aeg
e
add isl_stream_
s
kip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
add
rudi
m
e
ntary
e
rror reporti
n
g
me
c
hanism
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
e
rdo
o
l
a
ege
add
i
sl_ve
r
sion
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
isl_
p
oint_allo
c
: avoid potential memo
r
y lea
k
on
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolaege
d
o
c: document i
s
l_map_d
e
ltas
commit
|
commitdiff
|
tree
2010-06-15
S
v
en V
e
rdoolaege
isl_tab_pip
.
c: c
o
m
pare al
l
coef
f
icients
when c
h
eckin
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sve
n
Verdool
a
ege
isl_
p
w_qpolynomial{,_
f
old}
_
gis
t
:
use simple
h
u
l
l
ins
t
e
a
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
ola
e
ge
add i
s
l_set_
s
e
t_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl_stream_read_set
commit
|
commitdiff
|
tree
next