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
Sven Verdoola
e
ge
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
M
akefile
.
am: really
i
n
clude
i
n
clud
e
/
isl_v
e
rtices
.
h
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
add
isl_map
_
is_bijective
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoo
l
aege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
S
ven V
e
rd
o
olaege
doc: dro
p
duplicate booktitle
f
rom
K
elly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
erdoolaege
doc
:
use more ex
p
licit notation to
a
void confusion
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdoolae
g
e
add isl_constraint_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
i
s
l
_map_
s
implify
.
c: separat
e
out isl_basic_map
_
i
s
_
d
iv_co
n
st
r
aint
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoolaege
isl_basic_map_from
_
con
s
tr
a
i
nt: keep all
div
s
, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verd
o
olaege
is
l
_
basic_map
_
fr
o
m_con
s
traint: only
return copy o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rd
o
ol
a
e
g
e
i
s
l_
c
onstraint_add_div: correct
l
y set
l
i
n
e to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
isl_pip: rename pip_optio
n
s to avoid conflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_con
v
ex_
h
ull
.
c: initia
l
_facet_constraint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
doc: describe ba
c
k
w
ard inc
o
mpatib
l
e
change
s
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
d
o
c
:
mentio
n
discu
s
sion g
r
oup
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
rena
m
e is
l
_bas
i
c
_
map_convex_hull to isl_b
a
sic_map
_
remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
aege
isl_a
f
fine_hul
l
.
c
:
outside_point: fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_tab_rollback: avoid double free
on error
path
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_tab
.
c:
t
ab_mat_produ
c
t: avoid NULL pointer
dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoola
e
g
e
i
s
l_tab_ex
t
en
d
_cons: avoid N
U
LL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implement
antiquated isl_basi
c
_s
e
t_
n
_
*
i
n ter
m
s o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
isl_map_convex_
h
ull: avoid NULL pointer de
r
e
ferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_ta
b
_add_val
i
d_eq: return
i
n
t inste
a
d of isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
o
la
e
ge
isl_affine_hu
l
l
.
c: affine_hull_with
_
cone:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_eq
u
al
i
ties
.
c:
parameter_compress
i
o
n
_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
sl_basic_map_project_
o
ut:
a
void NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oolaege
isl_coal
e
sce
.
c: co
a
lesce_pair: avoid NULL poi
n
ter derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_convex_hull
.
c: extend: f
i
x err
o
r h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implement antiqu
a
ted isl_set_n_* in terms of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolaege
isl_ma
p
_simp
l
i
f
y
.
c
: normali
z
e
_divs: avoi
d
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_input
.
c: vars_drop: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolae
g
e
i
sl_
c
onv
e
x_hull
.
c: uset_co
n
vex_hul
l
_wrap
_
bou
n
ded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoola
e
ge
isl_set_wrap_facet: fi
x
error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
isl_tab_min: av
o
id NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_affi
n
e_
h
ul
l
.
c: exte
n
d_affine_hull: a
v
oid NU
L
L
p
oint
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_basic_map_ext
e
nd
:
p
l
ug me
m
ory leak
on error
path
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
do
o
laege
is
l
_
affi
n
e_hull
.
c
:
equalitie
s
_in_
u
n
derlying_set: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_b
a
sic_set_prei
m
a
g
e: avoid NUL
L
po
i
n
ter d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
e
rdo
o
laege
isl
_
t
a
b
_pip
.
c: no_sol_in_str
i
c
t: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c
:
equ
a
lities_in_unde
r
lying_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c:
affine_hul
l
: fix e
r
ro handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doolaege
i
sl_map_project_out: fix er
r
or
r
etu
r
n value
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olaege
isl_basic_map_intersec
t
_range: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c: find
_
so
l
u
t
i
o
n
s: fix error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_basic_ma
p
_a
l
l
oc_dim: fix err
o
r
h
andling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
s
l_b
a
sic_map_in
t
e
r
sect
:
avoid NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
ae
g
e
isl_tab_pip
.
c: sol_map_init:
a
void
NU
L
L poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_basic_map_intersec
t
_domain: avoid NULL po
i
nt
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolaege
isl_flow
.
c: compute_val_
b
ased_depende
n
ces: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_flow_alloc
:
fix e
r
ror handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdo
o
laege
isl_access_info
_
compute_flow: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
e
ge
i
s
l_{set,map}_fast_is_emp
t
y
: a
v
oid NULL pointe
r
deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_f
l
o
w
.
c: a
v
oid acce
s
sing dim field
d
irectly
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaege
isl_access_inf
o
_compute_flow: a
v
oid NULL
p
o
i
n
t
e
r dere
f
er
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
sl_input
.
c: obj_read:
a
void NULL pointe
r
de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolae
g
e
isl_map_subt
r
act
.
c: tab_add_c
o
nst
r
ain
t
s: av
o
i
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_
t
ab
.
c:
c
l
ose_row
:
fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
g
e
isl_map_simplify
.
c:
r
emove_duplicate
_
divs
:
avo
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl_basic_map_
a
ffine_h
u
ll: avoid
NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl
_
tab_add_eq: re
t
urn
i
nt inste
a
d o
f
i
sl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l_map_simplify
.
c: remove_
d
u
p
li
c
a
te
_
constraints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
aeg
e
isl_map_simplify
.
c: elimi
n
ate_divs_
i
neq: a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoolaege
isl_basic_map_
e
l
iminate_
v
ars: a
v
oid NULL
p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_s
a
m
p
le
.
c: interval_s
a
mp
l
e
:
avoid NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_sample
.
c: drop_con
s
t
r
aints
_
involving: avoi
d
N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaege
isl_stream_ne
w
: read_defined_va
r
_list: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_inter
s
ect: av
o
id NULL poi
n
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_sample
.
c
:
gbr_sa
m
ple: avoid NULL poi
n
ter dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olaege
isl_test
.
c: av
o
id NULL
pointer de
r
eferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolae
g
e
isl_t
e
st:
avoid ac
c
essing b
a
sic
s
e
t
interna
l
s
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_inpu
t
.
c
: read_defined_var_
l
ist: avoid do
u
ble fr
e
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
rd
o
olae
g
e
i
sl_map
_
convex_hull: a
v
oid
NULL p
o
inter d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
ege
isl_basic_
m
ap
_
normalize_
c
onstraints
:
avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_basic_map_total
_
dim: av
o
i
d
N
U
L
L po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
lae
g
e
isl_bas
i
c_map_order_div
s
: av
o
id NU
L
L pointer
d
ere
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_hull
.
c: isl_basic_set_
a
dd_
e
qu
a
l
ity:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_hull
.
c: compute_fa
c
et
:
avoid NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl
_
test
.
c:
map_is_equal
:
check i
n
put
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolae
g
e
isl_dim
.
c
:
copy_names: check in
p
ut d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
d
i
m
_dup: check
i
np
u
t dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_
b
asic_map_cow: check result of al
l
ocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_stream_n
e
w_str: check r
e
sul
t
of allocation
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
is
l
_stream
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
isl_tab_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
o
l
aege
isl_t
a
b
.
c: fi
x
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdo
o
laege
i
sl_polynomial
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
V
erdoolaege
isl_
v
ertice
s
.
c: fix
t
ypos
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
isl_morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n V
e
r
d
oolaege
isl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolae
g
e
isl_ma
p
_simplify
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
isl
_
i
nput
.
c:
a
c
c
ept more general affine express
i
ons
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
a
d
d
isl_
v
ec_add
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Ve
r
doolaege
add isl_ve
c
_scale
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
add isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaeg
e
a
dd isl_map_is_
t
ranslation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
ex
p
o
r
t
i
sl_q
p
olyn
o
mial_inv
o
lves_dim
s
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdo
o
l
a
ege
isl_polynomial
.
c: add
missing include
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
V
e
rdoo
l
aege
isl_map_
t
ransitive
_
closure: check whether decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
g
e
add
isl_stream_flush_to
k
ens
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoolaege
a
dd isl_str
e
am_skip_line
commit
|
commitdiff
|
tree
next