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_map.c: fix typo
2010-07-30
Sv
e
n Verdoo
l
aege
isl_map
.
c: fix
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl
_
cat:
read generi
c
o
b
ject
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Ve
r
doolaege
i
sl
_
printer: add
NULL checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolae
g
e
make isl_obj_none a constant expressi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
add isl_map_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
isl_map_fast_is_univ
e
r
se:
a
l
so detect redundant representati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en Verdoo
l
aege
a
dd isl_map_reach
i
ng_path_le
n
gths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
is
l
_
ma
p
_power: delay equati
n
g
path l
e
ngths
t
o power
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_map_power: appl
y
Floyd-W
a
rshall to comp
u
t
e
p
owers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdool
a
e
g
e
isl_m
a
p_l
e
x
m
ax: produce less cryptic error messa
g
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n Verdoolaege
fix isl_basic_map
_
move_dims in presence
of existentially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n V
e
rdoolaeg
e
isl_test: drop d
e
b
u
gging output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
isl_trans
i
tive_closure
.
c:
fix
t
ypo i
n
c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ve
r
d
oolaege
fix isl_map_lex_ge a
n
d i
s
l_map_lex_le
i
n
the zero-dimensiona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
S
v
en Verdoolaege
isl_pr
i
nter_print_map
:
replace var
i
able by it
s
d
e
f
i
ni
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sv
e
n Verdo
o
laeg
e
privately export
is
l
_
basic_map_fast_cmp and
i
sl_basic
_
map_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdo
o
laege
i
sl_dim_set_name: don't accept
nam
e
s th
a
t l
o
ok like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-11
Tobia
s
Gr
o
s
s
e
r
Remove co
m
ma at
t
he end of enumerati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sv
e
n Verdoolaege
isl_con
v
ex_hu
l
l
.
c: a
v
oi
d
side-
e
ffe
c
t
s
i
n cal
l
s to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoo
l
ae
g
e
add isl_hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven Ver
d
oolaege
a
dd isl_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sve
n
V
e
r
doolaege
doc: fix s
o
m
e
ty
p
os
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erd
o
olaege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaeg
e
M
a
kefile
.
a
m: really incl
u
d
e include/isl_
v
e
r
tices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
add
i
s
l_map_
i
s_bijective
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
do
c
: drop du
p
licate b
o
o
k
t
itle f
r
om Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven V
e
r
do
o
laege
doc: use more explicit nota
t
ion to avo
i
d confusion
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolaege
add isl_c
o
nstraint_is_d
i
v_c
o
nst
r
aint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_map_sim
p
lify
.
c
: separate
o
ut isl_ba
s
ic_map_is_div_const
r
aint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
lae
g
e
isl_
b
a
s
i
c_m
a
p_from_co
n
st
r
a
i
nt: keep all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolaege
i
s
l_b
a
sic_map_from_
c
onstraint: only return copy
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
isl_constrain
t
_add
_
div: co
r
rectly set li
n
e
to
f
irst
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
laege
isl_pip:
r
e
n
ame pip_op
t
ions to avoid
c
o
nflic
t
with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
c
onvex_hull
.
c
:
i
nitial_f
a
cet_
c
onstraint
:
fi
x
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
aeg
e
doc: describ
e
backward incompa
t
ib
l
e chang
e
s
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc: ment
i
on discu
s
sion group
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
laege
rename isl_basic_map_convex_h
u
ll to isl_basic_map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
l
a
eg
e
is
l
_
a
ffin
e
_hu
l
l
.
c: outside_point: fix e
r
ror h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_tab_rol
l
back:
a
vo
i
d dou
b
l
e
free
o
n
e
rror pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
is
l
_tab
.
c: tab_ma
t
_product
:
avoi
d
N
U
LL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdool
a
e
g
e
isl_
t
ab_ext
e
nd_con
s
: avoid
N
UL
L
po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oo
l
a
e
ge
im
p
lement an
t
iq
u
ated i
s
l_b
a
sic_set_n_* in
t
erms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_map_convex_hull:
avoid NU
L
L pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ta
b
_add_valid
_
eq: return int instea
d
of isl_ta
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_
a
f
fine_hull
.
c: affine
_
hul
l
_with_cone: avoid
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
rdoola
e
ge
is
l
_equalities
.
c
:
pa
r
ameter_co
m
pression_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
isl_bas
i
c_
m
a
p
_pro
j
e
c
t_
o
ut: avoid NULL pointe
r
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
laege
isl_co
a
lesce
.
c
:
coa
l
esc
e
_pair: avoid NUL
L
poin
t
er der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex
_
hull
.
c: extend: fix e
r
r
o
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
implement antiquat
e
d
isl_set_n_* in terms of isl_set
_
d
im
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_map_simpli
f
y
.
c: normalize_di
v
s: avoid
NULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erd
o
olaege
isl_inp
u
t
.
c: vars_drop: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doolaege
isl
_
convex_hull
.
c: uset_convex_hu
l
l_wrap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laeg
e
isl_set_wrap_facet:
f
ix e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
s
l_t
a
b
_mi
n
: a
v
oid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_affine_hull
.
c: exte
n
d_affine_hull: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olae
g
e
isl_ba
s
ic_map_extend
:
pl
u
g memory leak on
err
o
r path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
ge
i
sl_affine_hu
l
l
.
c: equali
t
ies_in_u
n
derly
i
ng_set:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaeg
e
isl
_
basic_set
_
p
r
eimage:
a
v
oid NUL
L
pointer d
e
r
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
ege
i
s
l
_ta
b
_pip
.
c: no_sol_in_strict: fix e
r
ror ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
aege
isl_a
f
fine
_
h
u
ll
.
c
:
e
q
u
ali
t
ies_in_un
d
e
r
lyi
n
g_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_affi
n
e_hull
.
c: affine_hu
l
l: fix
e
rro handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
ege
i
s
l_map_project_out: fix error
r
e
turn value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_basic_map_in
t
erse
c
t_range:
avoid NUL
L
poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
tab_pip
.
c
:
find_solutions:
fix er
r
or handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oolaege
is
l
_basic_map_a
l
loc_dim:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_b
a
sic_map_inte
r
sect: avoid NULL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_
t
ab_
p
ip
.
c: s
o
l
_
m
a
p_init: avoid NU
L
L point
e
r
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_
b
asic_map
_
i
ntersect_domain: av
o
id NULL p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_flow
.
c
:
compute_v
a
l_b
a
s
e
d
_de
p
e
nd
e
nce
s
: fix er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
er
d
oolaeg
e
is
l
_flow_alloc:
f
ix err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
access
_
info_co
m
pute_fl
o
w: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
l
aege
is
l
_
{
set,map}_f
a
st_is_em
p
ty: av
o
id
NULL pointer
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_flow
.
c: avoid accessing dim fiel
d
di
r
ectly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_access_
i
nfo_
c
o
m
p
u
t
e_
f
low: avoid NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_inpu
t
.
c: o
b
j_re
a
d: avoid NULL p
o
inter
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_m
a
p_subtra
c
t
.
c:
t
a
b_add
_
con
s
train
t
s: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_tab
.
c: close_
r
ow: fix error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
isl_map_simp
l
ify
.
c
:
remove_d
u
plicate
_
divs: a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_affine
_
hu
l
l: avoid NULL p
o
i
n
t
er
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_a
d
d_eq: r
e
t
u
rn i
n
t ins
t
ead of isl
_
tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_map_
s
i
m
p
l
ify
.
c: remove_duplica
t
e_constraint
s
:
avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl
_
ma
p
_simplify
.
c: el
i
minate_d
i
vs
_
ineq: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
i
s
l_basic_m
a
p_el
i
mina
t
e_
v
a
r
s: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_sample
.
c: int
e
rval_sample: avoid NULL pointer
d
ereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
ege
i
s
l_sample
.
c: drop_cons
t
raints_involving: a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
laege
isl_stream_n
e
w
:
read_defin
e
d_var
_
list
:
avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
aege
i
sl_basic_map
_
intersect: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doola
e
ge
isl_sampl
e
.
c: gbr_s
a
mple: a
v
oid
N
ULL
pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oolaege
isl_te
s
t
.
c:
a
void NULL pointer der
e
fere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_te
s
t:
a
v
oid accessing b
a
sic s
e
t
inter
n
als
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoola
e
ge
i
sl_input
.
c: read_define
d
_var_
l
is
t
: avo
i
d
d
o
u
b
le fre
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
ege
isl_map
_
convex_hul
l
: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolaeg
e
isl_
b
a
s
ic_map_norma
l
ize_const
r
aints:
avoid NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl
_
basic_map_t
o
tal_
d
im: avoid
NUL
L
pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oolaege
isl_basic_
m
ap_order_d
i
vs: avoid
N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doolaege
isl
_
convex_hul
l
.
c: i
s
l
_
ba
s
ic_set_a
d
d
_
equality:
a
v
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolae
g
e
isl_co
n
vex_hull
.
c
:
comp
u
te
_
facet
:
avoid
N
UL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test
.
c
: map_is_equal
:
che
c
k input
commit
|
commitdiff
|
tree
next