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_reset_dim: finalize result
2010-08-02
Sven Verd
o
olae
g
e
isl_bas
i
c_map_reset_
d
im: finaliz
e
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verd
o
olaege
i
s
l_tr
a
n
s
itive
_
clo
s
ure
.
c:
a
nonymize input map during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_transitive_closure
.
c:
k
e
e
p
tr
a
ck of domains
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en
V
erdoolae
g
e
isl_dim_drop: alw
a
ys remov
e
tuple name, even if
number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Verdo
o
la
e
ge
isl
_
dim_set_tuple_name
:
all
o
w explic
i
t
r
emoval of
t
uple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add suppo
r
t
f
or union set
s
and rel
a
tion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_trans
i
t
iv
e
_cl
o
sure
.
c: extract o
u
t some reusable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laege
ad
d
isl_p
w
_qpo
l
y
n
omial_res
e
t_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
ven
V
erdoolaeg
e
add isl_
m
ap_has_equal_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
a
dd i
s
l_dim_get_ha
s
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
Verdo
o
la
e
ge
isl_dim: all
o
w
s
pecif
i
c
a
t
ion of tuple names
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoolaege
isl_map_
f
rom_domain
_
and_range: implemen
t
in terms of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
olaege
isl_basic_map_domain:
p
r
operly set dimension of result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
aege
p
rivately
e
xport isl_set_rese
t
_dim
a
nd i
s
l
_m
a
p_r
e
set_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaege
isl_map_read: extract out rea
d
_
var
_
d
e
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
olaege
isl_hash_table_forea
c
h: pass pointer to entry
data
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
is
l
_hash_ta
b
l
e
_
foreach
:
a
d
d user
a
rgument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven V
e
rdoolaeg
e
isl_transitive_closure
.
c
:
fix d
o
uble free on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Ve
r
doolaege
isl_map_gi
s
t: use simple hul
l
in
s
tead of convex hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
laege
isl_map
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
isl_cat: read gene
r
ic
objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoola
e
ge
isl_print
e
r: add NU
L
L
c
hec
k
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaeg
e
make isl_obj_none a cons
t
ant expre
s
sion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdoo
l
a
e
ge
add isl_map
_
g
et_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Ve
r
do
o
laege
isl_map_f
a
st_is_universe: also d
e
t
e
ct redundant representati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
Ve
r
doo
l
aege
add i
s
l_
m
ap_
r
eaching_path_
l
e
n
gth
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verd
o
ol
a
ege
i
sl_map_power: delay
e
quat
i
ng path
le
n
g
ths to power
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven
V
erdoolaege
i
s
l
_
m
ap_power: ap
p
ly Floyd-Warsh
a
ll
t
o
c
ompute powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ver
d
oolaeg
e
isl_
m
ap_l
e
xmax
:
produ
c
e
l
ess cryptic erro
r
messag
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Verdoolaege
fix i
s
l
_
basic_m
a
p_move_dims in presence
o
f existentially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
e
n
V
erdool
a
e
g
e
is
l
_te
s
t: dro
p
debuggi
n
g output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n Verdoolae
g
e
i
s
l_transitiv
e
_c
l
osure
.
c
:
fix typo
in commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
V
erdoolae
g
e
fix isl_map_l
e
x_ge and isl_map_lex_le in the ze
r
o-
d
im
e
nsiona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sven
V
erdoola
e
ge
isl_printer_print_map: replace variable by its d
e
finition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
S
ven
V
e
rdoolaeg
e
pr
i
vately expo
r
t isl
_
basic_map_fast_cmp
an
d
isl_basic_
m
ap_f
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaeg
e
i
s
l_dim_set_name:
d
o
n
't acc
e
pt names
that
look like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdo
o
laege
i
s
l_convex_hull
.
c: avoid side-effe
c
ts
i
n calls to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Ver
d
oolae
g
e
add isl_hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdo
o
laege
add isl_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sv
e
n Verdoolaege
d
oc: fix some typos
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
la
e
ge
Makefil
e
.
am: reall
y
inc
l
ud
e
include/isl_vertice
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Ve
r
dool
a
ege
add
i
sl_map_is_
b
ije
c
tive
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoo
l
aege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoola
e
ge
doc: dr
o
p
d
u
p
li
c
ate booktitle from Kelly1996c
l
o
s
ure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
e
rdoolaege
d
o
c: use
m
ore explicit notation to av
o
id
c
on
f
u
si
o
n
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolaege
add isl_constrai
n
t_is
_
div_c
o
n
stra
i
nt
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
r
doolae
g
e
i
s
l_map
_
simplify
.
c: separate out isl_basic_map
_
is_div_con
s
traint
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoolaege
isl_
b
asic_map_from
_
constrai
n
t:
keep all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erd
o
olaeg
e
isl
_
basic_map_from_constraint: only return
c
opy
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_
c
onstraint_add_d
i
v: correctly
s
et
l
i
n
e to f
i
rst
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n V
e
r
d
oola
e
ge
isl
_
pip: rename pip_op
t
ions to
a
vo
i
d
conflict
wit
h
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_convex_hul
l
.
c
: initial_facet_constraint: fix err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
d
oc: descri
b
e
backward incompa
t
ible changes
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
dool
a
ege
d
oc: mention discus
s
ion
group
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n V
e
r
d
oola
e
ge
rename isl_basic_map_convex_h
u
ll to isl_basic_map_remov
e
_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
ol
a
ege
isl_affine_hull
.
c: o
u
tside_point:
f
ix error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
olaege
isl_tab_rollback: avoid double fre
e
on error
p
ath
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_tab
.
c: ta
b
_
m
a
t_
p
r
o
d
uct: avoid
N
ULL pointer d
e
referen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_t
a
b_extend_cons: avoid NULL
poi
n
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
aege
implement antiquated is
l
_ba
s
i
c
_set_
n
_*
in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
is
l
_map_convex_hull: av
o
i
d NULL pointer dere
f
ere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolae
g
e
i
sl_tab
_
ad
d
_valid_eq: return int i
n
stea
d
of isl_t
a
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_affine_hul
l
.
c: aff
i
ne_hull_with_cone: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_equ
a
lities
.
c: parameter
_
co
m
pr
e
s
sio
n
_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laege
isl_basic_m
a
p_pro
j
ec
t
_ou
t
:
av
o
id NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolaege
isl_co
a
les
c
e
.
c: coa
l
e
sce_pai
r
:
avoid NULL po
i
n
ter
d
erefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_c
o
n
v
ex_hull
.
c:
extend:
fi
x
error h
a
ndli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
imple
m
ent antiqu
a
ted is
l
_set_n
_
* in te
r
m
s
o
f isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
er
d
ool
a
ege
isl_map_simpli
f
y
.
c: normal
i
ze_
d
ivs
:
avo
i
d NULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_inp
u
t
.
c: vars_drop: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
isl_convex_hull
.
c: use
t
_conve
x
_hul
l
_wrap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_set_wrap_facet: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_tab_min
:
avoid NULL pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
la
e
g
e
i
sl_affin
e
_
h
ull
.
c: extend
_
affine_hull:
avoid NULL poi
n
te
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map
_
e
xtend: plug memory
l
ea
k
on e
r
ror path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_h
u
ll
.
c: eq
u
a
l
ities_in_underlying_set:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolaege
isl_basic_set_p
r
eimage: av
o
id NULL
poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_tab_pip
.
c: no_so
l
_
i
n_strict: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
i
sl_affine
_
hull
.
c:
equalities_in_
u
nderly
i
ng
_
set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_af
f
in
e
_
hull
.
c
:
aff
i
ne_hull: fix erro handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_map_project_out: fix
error return valu
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
er
d
o
o
laege
isl_basic_map_
i
ntersect
_
range:
a
void NULL
p
o
i
nter
d
ere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolaege
isl_ta
b
_pip
.
c:
f
ind_solutio
n
s: fix error h
a
ndli
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verd
o
ol
a
ege
isl_basic_map_all
o
c_dim: fix error ha
n
dlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl
_
b
a
sic_map_intersect: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
t
a
b
_pip
.
c: sol_
m
ap_i
n
it: avoid NULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
isl
_
basic_map_intersect_domain: avoid N
U
LL pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoo
l
aege
i
s
l_flow
.
c: compute_val_based_d
e
pendenc
e
s:
fix err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_fl
o
w_alloc: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
sl_access_info_compute_flow: fix error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl
_
{set,map
}
_
f
ast_is_empty: avoid NULL
pointer
d
e
refer
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
aege
isl_flow
.
c: avoid
accessing dim
f
ield
directly
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoo
l
aege
i
sl_access_info_co
m
p
u
t
e
_flow: avoid NULL
p
ointe
r
de
r
e
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oolaege
isl_
i
nput
.
c: obj_read: avoid NULL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_map
_
subtract
.
c: tab_add_constrai
n
ts: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
.
c
: close_ro
w
: fix error hand
l
in
g
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
ola
e
ge
i
s
l_map_simplify
.
c: remov
e
_duplicate_divs: avoid
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoola
e
ge
isl_ba
s
ic_map_affine_hull: avoid NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
ege
isl_tab_ad
d
_eq: return
i
nt inst
e
ad of
i
s
l_t
a
b *
commit
|
commitdiff
|
tree
next