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
V
e
r
d
oolaege
isl 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
M
a
kefil
e
.
am: reall
y
include include
/
isl_verti
c
e
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n Verdoola
e
ge
add isl_m
a
p_is_bijecti
v
e
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdo
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
e
rdoo
l
aege
doc
:
d
r
op dup
l
i
c
a
te bookti
t
l
e
from Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
doolae
g
e
doc: use
more explic
i
t nota
t
i
o
n t
o
a
v
oid con
f
usion
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doolae
g
e
add
i
sl_constraint
_
i
s
_div_
c
onst
r
aint
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
oolaege
isl_ma
p
_
s
i
mp
l
if
y
.
c: separate out isl_basic_map
_
is_d
i
v
_co
n
straint
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
oolae
g
e
isl_basi
c
_map_from_const
r
ain
t
: ke
e
p all
d
i
v
s, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolaeg
e
isl_basi
c
_map_
f
rom_constraint: only return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
i
s
l
_constraint_add_div: correctly set line to f
i
rst
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rdoolaege
isl_pip: rename pip_options to avoid con
f
l
ict wit
h
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_conve
x
_
hul
l
.
c: initial
_
facet_co
n
straint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc: describe backw
a
r
d
incompat
i
b
le cha
n
ges
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verd
o
o
laege
doc: m
e
ntio
n
di
s
cu
s
sion g
r
o
u
p
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
rename
i
s
l
_
bas
i
c_map_convex_hu
l
l to isl_basic_map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
laege
isl_affin
e
_hu
l
l
.
c: ou
t
s
i
de_poi
n
t: fix error
h
andlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_tab
_
rollback: avoid doubl
e
f
r
ee o
n
er
r
or path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_tab
.
c: tab_mat_pro
d
uct
:
avoid NULL po
i
nter dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_tab_ex
t
end_cons: a
v
o
id
N
ULL p
o
inter
derefe
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
imple
m
e
nt ant
i
quated isl_b
a
sic_set_n_* i
n
terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
a
ege
is
l
_map
_
convex_h
u
ll
:
av
o
i
d NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl_ta
b
_add_v
a
lid
_
eq: return int inste
a
d of isl
_
t
a
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
ege
is
l
_a
f
fine_hull
.
c: affi
n
e_hull
_
with_cone: avoi
d
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_equaliti
e
s
.
c: param
e
ter_compression_multi:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_basic_map_projec
t
_o
u
t: avoid NULL point
e
r derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Ver
d
ool
a
ege
i
s
l_coal
e
sce
.
c
: c
o
alesce_pair: avoid NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_convex_
h
ull
.
c
: exten
d
: fi
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aege
implement antiquated isl_set_n_* in te
r
m
s of isl
_
se
t
_d
i
m
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
isl_map_
s
im
p
lify
.
c: normaliz
e
_divs
:
av
o
i
d NULL poi
n
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
o
o
laege
i
s
l_
i
n
p
ut
.
c:
vars_drop: fix
e
r
ro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_hull
.
c
:
uset_convex_hull_wrap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
ge
isl_set_wrap_facet: fix
error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_
m
in: avoid NULL pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_
a
ffine_
h
ul
l
.
c: exte
n
d_aff
i
ne
_
hull:
avoid NU
L
L pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
ge
isl_b
a
sic_
m
ap_extend: plug
m
emor
y
leak on error path
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdool
a
e
ge
isl_affine_hull
.
c: eq
u
alities_in_u
n
d
e
r
lying_set: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_ba
s
ic_set_prei
m
a
g
e: avoi
d
N
ULL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
o
o
la
e
ge
isl_tab_pip
.
c: n
o
_sol_in_strict: fix error hand
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
isl_affi
n
e_
h
ull
.
c: equalitie
s
_in
_
und
e
rlying_set: pl
u
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
ege
isl
_
affi
n
e_hull
.
c: affine_hull: f
i
x erro
h
a
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaege
i
s
l_map_
p
roject_out: fix e
r
ror
r
eturn v
a
l
u
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_basic_map_intersect_range: avoid NU
L
L pointer
derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_ta
b
_pip
.
c: fin
d
_sol
u
ti
o
n
s
:
f
ix er
r
o
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
is
l
_
basic_map
_
alloc_dim
:
fix
e
r
ror
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
is
l
_
basic_map_
i
n
tersec
t
: avoi
d
NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
is
l
_tab_pi
p
.
c: sol_map_init: avoi
d
N
U
LL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_basic
_
m
ap_intersect_domain: avoid NULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_fl
o
w
.
c: compute_val_ba
s
ed
_
de
p
en
d
ences: fix err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
la
e
ge
isl_f
l
o
w_alloc: fi
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
a
ccess_
i
nfo_compute
_
flow: fix
e
r
ror ha
n
dli
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolaege
i
s
l_{se
t
,
m
ap}_fast_i
s
_empty: avoid
NULL
p
o
i
nter derefe
r
enc
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
o
ola
e
ge
isl_flow
.
c: avoid acce
s
si
n
g dim field directly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
a
c
ce
s
s_info_compu
t
e_flow: avoid
N
U
L
L pointe
r
d
e
referenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
s
l
_input
.
c: o
b
j_read: avoi
d
N
ULL pointer
d
e
refe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_map_s
u
btract
.
c
: tab_add_const
r
a
int
s
: avoi
d
N
U
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
i
s
l_
t
a
b
.
c: close_row: fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaeg
e
isl_m
a
p_simplify
.
c: remove
_
dup
l
icate_divs:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
is
l
_
basic_m
a
p_a
f
fine
_
hull: avo
i
d NU
L
L pointer de
r
e
fere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
isl_tab_
a
dd_eq: return in
t
instead of isl_ta
b
*
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
ol
a
ege
isl_map_simplify
.
c:
r
emove_duplicat
e
_constraints: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_map_simp
l
i
fy
.
c
: eliminate_divs
_
ineq: a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
s
l
_
basic_map_eliminate_vars
:
av
o
id NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
is
l
_sample
.
c: int
e
rval_sample: avo
i
d NULL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl
_
sample
.
c: drop_constraint
s
_involving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
do
o
laege
isl_stream_new: read
_
defined
_
var_li
s
t: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoola
e
g
e
isl
_
b
a
sic_map_intersect: av
o
id
NULL poi
n
t
e
r dere
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
s
ample
.
c: gbr_sample: avoid
NULL p
o
int
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
ege
isl_
t
est
.
c: a
v
oid NULL pointe
r
deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
sl_test: avoi
d
acc
e
ssin
g
basic set in
t
ernals
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_input
.
c: read_defin
e
d_var_list: a
v
oid double fr
e
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
ool
a
eg
e
isl_map_c
o
nvex_hull: avoid NULL pointer
de
r
eferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_basi
c
_map_norm
a
lize_con
s
t
r
aint
s
: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoola
e
ge
isl_
b
asic_map_total_dim: avo
i
d NULL p
o
inter der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
l
a
ege
isl_basic_map_o
r
der_divs
:
avoid NU
L
L
p
oin
t
e
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdool
a
ege
i
sl_
c
on
v
ex_hull
.
c: i
s
l_basic_set_add_equalit
y
: a
v
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl
_
con
v
ex_hull
.
c: compute_facet: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_test
.
c: map_is_equ
a
l: chec
k
input
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl_dim
.
c: copy
_
na
m
es: check
in
p
ut dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_dim_dup: check
i
n
pu
t
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oolaeg
e
isl_basic_map_cow: ch
e
ck result of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
ool
a
ege
isl_stream_new
_
str: check
r
esult of allo
c
a
t
ion
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaeg
e
isl_stream
.
c:
f
ix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdool
a
ege
isl_ta
b
_pip
.
c
:
fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
a
e
g
e
isl_ta
b
.
c:
f
ix typos
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
i
sl_polyn
o
m
ial
.
c
:
f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoo
l
aege
isl_ver
t
i
c
es
.
c: fix ty
p
o
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
sl_mo
r
ph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n Ver
d
oolae
g
e
isl_ma
p
.
c:
fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_map_simplify
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_input
.
c: ac
c
ept more general
aff
i
ne expressions
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaeg
e
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdo
o
l
aege
add isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add i
s
l
_se
t
_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verd
o
olaeg
e
add isl_m
a
p_
i
s_translation
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoolaege
ex
p
ort is
l
_qp
o
lyno
m
i
al
_
involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Verdoolaege
i
sl_polynomial
.
c
:
add
missing inclu
d
e
commit
|
commitdiff
|
tree
2010-06-21
Sven
Verdoola
e
ge
isl_map_transitive_c
l
osure: check whet
h
e
r
decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_s
t
ream_flush
_
tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doola
e
g
e
add isl_stream_skip_line
commit
|
commitdiff
|
tree
next