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_set_n_basic_set
2010-08-04
Sven Verdoolaege
add isl_mat_add_row
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdool
a
e
ge
a
d
d i
s
l_mat_add_zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
Sven Ver
d
ool
a
e
ge
e
xport
i
sl_basi
c
_map_move_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ver
d
oolaege
h
ide
i
sl_dim internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
add isl_d
i
m_
g
et_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_basic
_
map_reset_dim: finalize
r
e
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verd
o
olaege
i
s
l
_transitive_closure
.
c: a
n
onymiz
e
inpu
t
ma
p
d
u
ring
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n V
e
r
d
ool
a
e
g
e
isl_tr
a
nsitive_cl
o
sur
e
.
c: k
e
ep t
r
ack of
domains f
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_dim_drop: alwa
y
s remove tupl
e
n
ame, even i
f
number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_dim_
s
et_tu
p
le
_
name: allow explicit removal of tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add suppo
r
t
for u
n
ion sets and
re
l
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
rdoolaege
isl_tran
s
iti
v
e_closure
.
c: extract
ou
t
s
ome reusable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en V
e
r
doola
e
ge
add i
s
l_pw_q
p
olynomial
_
reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
add isl_map_has_equ
a
l_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
V
e
rdoolaeg
e
add isl_dim
_
get_has
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verd
o
olae
g
e
isl_dim:
a
llo
w
specification
o
f tuple names
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
e
n
Verdoo
l
aege
isl_
m
ap_f
r
om_domai
n
_a
n
d_range: i
m
plement in
terms
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
e
rdoolae
g
e
isl_
b
asic_map_d
o
mai
n
: properly set di
m
ens
i
on of
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Ver
d
oolaege
privately export isl_set_
r
eset_di
m
and isl_map_res
e
t_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
isl_map_r
e
ad: extra
c
t out read
_
var
_
def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
do
o
laege
isl_hash_table_foreac
h
:
pass pointer
to entry data
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaege
isl_h
a
s
h
_
t
able_forea
c
h: add
u
ser argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doola
e
ge
isl_trans
i
t
i
ve_
c
losure
.
c: fi
x
double free
o
n error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verd
o
ol
a
ege
i
s
l_ma
p
_gist: use simple hu
l
l
i
n
ste
a
d
o
f convex hu
l
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
isl_map
.
c: fix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
s
l_cat: rea
d
generic objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
isl_printer: add N
U
LL checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaege
make isl_obj_non
e
a constant exp
r
essi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
add i
s
l_map_get
_
ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoolaege
isl_m
a
p
_
fast_is_universe: a
l
so
detect redundant represen
t
a
ti
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ver
d
oo
l
aege
add isl_ma
p
_r
e
achin
g
_path_lengths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoola
e
ge
isl_map_pow
e
r: d
e
la
y
equating path length
s
to pow
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
i
s
l
_map
_
power:
apply Floyd-
W
arshall to com
p
ute po
w
ers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_map_lexmax:
p
rod
u
ce less cryp
t
i
c
error message
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven V
e
rdoola
e
ge
fix
i
sl_basic_map_move_
d
ims in pre
s
ence of
e
xist
e
nt
i
ally
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoo
l
a
e
g
e
is
l
_test: drop d
e
b
u
g
ging
outpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
i
s
l_trans
i
tive_
c
losure
.
c: fix typo
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdool
a
ege
fix isl_map
_
lex_ge and isl_
m
ap_lex_le in the z
e
ro-dime
n
sion
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sv
e
n Verdoolaege
isl_
p
rinter_
p
rint_map: replace variable by its d
e
finition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Ve
r
d
oolaeg
e
privatel
y
expo
r
t
isl_basic_m
a
p_fas
t
_cm
p
and isl_b
a
si
c
_map_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven
Verdoolaege
isl_dim_set_name: do
n
'
t
acc
e
pt na
m
es that look like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
To
b
ias Grosser
Remo
v
e c
o
m
m
a
at the end of en
u
meration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven
V
e
rdoolaege
i
sl_convex_hull
.
c
: avoid side-effects in calls to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sv
e
n
V
erdoo
l
aege
add i
s
l_hash_
b
uilt
i
n
commit
|
commitdiff
|
tree
2010-07-04
Sven
V
erdoolae
g
e
add isl_int
_
ge
t
_s
t
r
commit
|
commitdiff
|
tree
2010-07-02
Sven V
e
rdo
o
laege
doc:
f
i
x some ty
p
os
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
i
sl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
Makefile
.
am: real
l
y includ
e
include/isl_verti
c
es
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
add isl_map_is
_
biject
i
ve
commit
|
commitdiff
|
tree
2010-06-28
S
v
e
n Verdoolaege
doc:
fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdoolaege
doc: drop duplic
a
t
e
bo
o
ktitle fr
o
m
K
e
ll
y
1996clo
s
ure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: use mo
r
e
e
x
p
li
c
i
t n
o
t
a
t
io
n
to avoid
confu
s
ion
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoola
e
ge
add isl_con
s
traint_is_div_const
r
aint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl
_
map_s
i
mplify
.
c: se
p
arate out isl_
b
asic_map
_
is_di
v
_
constrai
n
t
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verd
o
olaege
is
l
_bas
i
c
_map_from_constraint:
k
eep
all divs
,
even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
oolae
g
e
i
sl_basic_map_from_constraint: only ret
u
rn co
p
y of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdo
o
l
a
ege
i
s
l_cons
t
raint_add_div: correctly set
l
ine to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
l
aege
isl_pip: rename pip_o
p
tions t
o
avoid conflict wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
ool
a
ege
isl
_
convex_hull
.
c: initi
a
l_facet_c
o
nstrain
t
: f
i
x error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
g
e
doc: de
s
cribe ba
c
kwa
r
d
in
c
ompatible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
doc: mention
disc
u
ssion group
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oo
l
aege
rename isl_basi
c
_map_convex_h
u
ll to isl_b
a
sic_map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_a
f
fine_hull
.
c: ou
t
s
ide_poi
n
t:
fix er
r
or handl
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_tab_rollback: a
v
oi
d
double free on err
o
r path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
.
c: ta
b
_ma
t
_pro
d
uct: avoid NU
L
L pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_tab_exten
d
_c
o
ns: avo
i
d NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laege
i
mplement
a
ntiqu
a
ted isl_basic_set_n_* i
n
terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_
c
onvex_hu
l
l: a
v
oid NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdo
o
l
ae
g
e
isl_tab_add_vali
d
_
eq: retur
n
in
t
instead
o
f isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
affine_hu
l
l
.
c: affine_hull_wit
h
_
cone:
av
o
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doolaeg
e
isl_equalities
.
c: p
a
rameter_com
p
ression_multi: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaege
isl_basi
c
_map_
p
roject_out: avoid NULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_coale
s
ce
.
c: coalesce_pair:
avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_h
u
ll
.
c: extend: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
m
p
lemen
t
antiquat
e
d isl_set
_
n
_* in terms of isl_s
e
t_dim
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolae
g
e
isl_map_simpl
i
fy
.
c:
n
o
rmali
z
e
_divs:
a
void NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
sl_input
.
c: vars_d
r
o
p: fix error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_convex_hu
l
l
.
c: us
e
t_co
n
vex_hull_wrap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_
s
et_wrap_facet: fix
e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
i
sl_tab_m
i
n
: avoid NULL pointer d
e
referenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolae
g
e
is
l
_a
f
f
ine_hull
.
c
:
extend_affi
n
e
_
hull:
avoid
NU
L
L pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_basic_map_
e
xtend: plug memory leak on e
r
ror path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_a
f
fine_h
u
ll
.
c
:
equalities_
i
n
_
under
l
ying_set:
avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdool
a
ege
is
l
_basic_set_preimage
:
av
o
id
N
ULL
p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdo
o
laege
i
sl_tab_
p
ip
.
c:
n
o_sol_in
_
strict: fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c: equalities_in
_
underly
i
ng_set: p
l
ug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_affine_hul
l
.
c:
a
ff
i
ne_h
u
ll:
f
i
x
e
r
ro han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
olaege
isl_map_project_out: fix
e
rror
return
va
l
ue
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
sl_basic_map
_
inter
s
ect_range: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_tab_pip
.
c: find_solutions: fi
x
error
handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
o
olaege
i
s
l_basic_
m
a
p_all
o
c_dim
:
fix erro
r
handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
sl
_
basic_m
a
p_intersect:
a
void NU
L
L p
o
in
t
er d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
s
l_tab_pip
.
c: sol_map_init: avoid N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
is
l
_basic
_
map_inters
e
ct_
d
omain: avo
i
d NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
i
s
l
_flo
w
.
c:
c
om
p
ute_
v
al_based_dependences: fix err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
is
l
_flow_all
o
c: f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_access_info_
c
ompute_flow: fix
e
rr
o
r hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_{set,
m
ap}_fa
s
t_is_
e
mpty: avoid
N
ULL
p
ointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flow
.
c: avoid accessing dim field directly
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
olaege
isl_acce
s
s_info_compute_flow: avoid NU
L
L
p
o
inter d
e
refe
r
ence
commit
|
commitdiff
|
tree
next