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
add isl_map_is_bijective
2010-06-29
Sv
e
n Verdoolaege
add
i
sl_map
_
is_bijective
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n Verdoola
e
ge
doc: f
i
x t
y
po
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Verdoolaege
doc
:
drop duplicate b
o
ok
t
itle
fr
o
m Kelly1996clos
u
re
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
S
ven Verdoo
l
aege
doc:
u
se more explicit notation to avoid confusion
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rdoola
e
ge
add isl_const
r
a
i
nt_
i
s_div_constra
i
nt
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
o
olaege
isl_map_simp
l
i
f
y
.
c: separa
t
e out
isl_basic_map_is
_
div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
oolaege
isl_basic
_
map_from_const
r
ain
t
: keep all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
e
rdoolaege
isl_basic
_
m
ap_from_constraint:
only
r
e
turn copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
ol
a
eg
e
isl_con
s
t
rain
t
_add_div: co
r
rectl
y
set l
i
n
e to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoola
e
ge
isl
_
pip: rena
m
e pip_opt
i
o
ns t
o
avoid confl
i
ct
w
ith
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_conv
e
x_hu
l
l
.
c: initial_f
a
cet_co
n
s
tra
i
n
t: fix err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc: de
s
c
ribe backwa
r
d
incom
p
a
t
ible cha
n
ges
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
doc: mention disc
u
ssion g
r
o
u
p
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
r
ename isl
_
ba
s
ic_ma
p
_convex_hull to i
s
l_b
a
sic_map_remove_
r
ed
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
isl_
a
ffine_
h
ull
.
c: out
s
ide
_
po
i
nt
:
fix error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_rollback:
avoi
d
do
u
b
l
e fre
e
on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaeg
e
isl_tab
.
c: tab
_
ma
t
_produ
c
t:
a
void NULL poi
n
ter d
e
r
e
fe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
V
e
r
do
o
laeg
e
isl_t
a
b_e
x
te
n
d_con
s
: avoid NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
impl
e
ment a
n
tiquated isl_basic
_
s
et
_
n_* in
te
r
ms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_map_convex_hull:
a
void NUL
L
p
ointer der
e
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
e
ge
i
s
l_
t
ab_add_valid_eq: return int inste
a
d of
i
sl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oolaeg
e
isl_
a
ffine_h
u
ll
.
c
:
affine_hull_with_cone:
a
void NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laeg
e
isl_equalities
.
c
: parameter_com
p
r
es
s
i
o
n_m
u
lti
:
av
o
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolaege
isl_basic
_
m
a
p_project_out: a
v
oid NU
L
L poi
n
ter derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
do
o
laege
isl_coalesce
.
c: coalesce_pair
:
a
v
oid NULL
point
e
r de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laege
isl_
c
onvex_h
u
ll
.
c
: extend: fix
e
rror handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
imple
m
ent antiquate
d
isl_set_n_* in terms of isl_
s
et_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_m
a
p_
s
implify
.
c
:
normali
z
e_
d
i
vs: a
v
oid NULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
g
e
isl_input
.
c: va
r
s_drop: f
i
x error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
ge
is
l
_convex_hull
.
c
: use
t
_
convex_hull_w
r
ap_bounded
:
f
ix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doola
e
ge
i
s
l
_set_wr
a
p_
f
a
cet: fix error
h
a
nd
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_tab_min
:
avoid N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_affine
_
hull
.
c: exte
n
d_affi
n
e_hull: a
v
oid N
U
L
L pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l
_basi
c
_
m
ap_ext
e
nd
:
plug
m
emory
l
e
ak on error pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl
_
a
ffine_hull
.
c: equalities_in_u
n
derl
y
ing_set: a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
is
l
_basic_set_pre
i
mage:
avoid NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl
_
tab
_
pi
p
.
c: no_sol_in_strict: fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoola
e
ge
isl_affin
e
_hull
.
c:
e
q
uali
t
ies_in_underlying_s
e
t: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
affine_hull
.
c: a
f
fine
_
hul
l
: fix erro handling
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verd
o
olaege
isl_ma
p
_
p
roje
c
t
_
out: fi
x
erro
r
retu
r
n value
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
ola
e
ge
isl_basic_map_intersect_
r
ange
:
avoid NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
do
o
lae
g
e
isl_tab_pip
.
c: f
i
nd_solutions: f
i
x er
r
or han
d
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_bas
i
c_
m
ap_alloc_dim: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
o
l
a
ege
i
sl_basic_map_intersect: avoi
d
NULL pointe
r
dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
i
s
l_tab_pip
.
c: so
l
_ma
p
_
init: avoid NULL poi
n
ter d
e
r
eferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoola
e
g
e
i
s
l_basic_map_intersec
t
_domai
n
: a
v
oid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_fl
o
w
.
c: compute_
v
a
l
_based_dependences:
fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoolaege
i
sl
_
flow_alloc: fix
error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
sl_
a
c
c
ess
_
info_comput
e
_flow: fix
error hand
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_{set,ma
p
}
_fast_is_empty: av
o
i
d
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_
f
l
ow
.
c: avoid accessi
n
g
dim
field
d
irectly
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
ool
a
ege
i
sl_access
_
info_compute_flow: a
v
oid N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oolaege
isl_input
.
c
:
obj
_
read: avoid NULL point
e
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olae
g
e
isl_map_subtract
.
c
:
t
ab_ad
d
_constraints:
a
vo
i
d
N
UL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl
_
tab
.
c: c
l
ose_row
:
fix error h
a
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaeg
e
isl_map
_
simplify
.
c: remove_
d
uplica
t
e
_d
i
v
s
: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_basic_map_affine_hull: avo
i
d
N
ULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_
t
ab_add_eq: retur
n
int
i
nstead
o
f isl_t
a
b *
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaege
i
s
l_map
_
simplify
.
c:
remo
v
e_duplicate_constraints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_
m
ap_si
m
p
l
ify
.
c:
eli
m
i
n
a
te_divs_ineq: a
v
oi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
o
l
aege
i
s
l_basic_map_eliminat
e
_vars: avoi
d
NULL po
i
n
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_s
a
mple
.
c: inter
v
al_sample
:
avoid NULL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c: dr
o
p_c
o
nstrai
n
t
s_involving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
ege
isl_stream_new: read_d
e
fined
_
var_list: avoid doub
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_ba
s
ic_ma
p
_inter
s
ect:
a
void NU
L
L
p
oint
e
r derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
oolaege
i
sl_
s
ample
.
c: gbr_sample: avoid
N
ULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_test
.
c: avoid NULL p
o
inter d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoola
e
ge
i
sl_test: av
o
id
ac
c
essing
b
asi
c
set internals
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oola
e
ge
i
sl_input
.
c: r
e
ad_de
f
in
e
d_var
_
lis
t
: avoid dou
b
le free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_map_convex_hull: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_bas
i
c
_
m
a
p_nor
m
ali
z
e_constr
a
ints
:
avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_basi
c
_map_total_dim:
a
v
oid NULL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_m
a
p_order_divs: av
o
id NULL p
o
inter der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
s
l
_co
n
vex_h
u
ll
.
c: isl_basi
c
_set_ad
d
_eq
u
ality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_co
n
vex
_
hull
.
c: comput
e
_facet: a
v
o
id NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
ege
isl_test
.
c: map_
i
s_equa
l
: c
h
eck input
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_dim
.
c: copy_nam
e
s: check
i
nput dim
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
r
doolaege
isl_dim_dup:
c
heck input
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doola
e
ge
isl_ba
s
ic_map_cow: check re
s
ult of all
o
cat
i
on
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolae
g
e
isl_str
e
am
_
ne
w
_str: che
c
k
resu
l
t
of allocati
o
n
commit
|
commitdiff
|
tree
2010-06-25
S
ven Ver
d
oolaege
isl_s
t
ream
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
isl_tab_pip
.
c: f
i
x typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
Ve
r
doolaege
isl_tab
.
c: fix t
y
pos
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdool
a
ege
isl_polynomial
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaege
isl_vertices
.
c: fix
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
ege
isl_morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Ve
r
dool
a
ege
i
sl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Ve
r
dool
a
ege
isl_map_simplif
y
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl
_
inp
u
t
.
c: accept more general aff
i
ne
e
xp
r
essions
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Ve
r
doolaege
add i
s
l
_
vec
_
add
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
add isl_
v
ec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_se
t
_is
_
box
commit
|
commitdiff
|
tree
2010-06-24
Sven Ve
r
doo
l
aege
add isl_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Verdoolaege
expo
r
t isl_qp
o
l
y
nomial
_
i
n
vo
l
ves_di
m
s
commit
|
commitdiff
|
tree
2010-06-21
Sven Ve
r
doolae
g
e
i
sl_p
o
lyn
o
mi
a
l
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Verdoolaege
isl_ma
p
_tra
n
sitive_closure: check
w
h
ether decompositi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
a
d
d
i
s
l_stream_flush
_
tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaege
a
dd isl_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
a
d
d rudime
n
t
a
r
y error rep
o
r
ting mechani
s
m
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaeg
e
add isl_version
commit
|
commitdiff
|
tree
next