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_insert
2010-08-04
Sven Ve
r
doolaege
ad
d
isl_set_i
n
sert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl_basic_map_i
m
age_
i
s
_bounded
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdoolaege
avoid
N
U
LL pointer exception i
n
is
l
_basic_map_n_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Ver
d
oolaege
f
ix isl
_
pw_
q
polynomial_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolaege
ad
d
i
s
l_mat_add_
r
o
w
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ve
r
doolaege
add isl
_
m
a
t
_
add_z
e
ro_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
Sven
Verdoo
l
aege
export
isl_basic_map_m
o
ve_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n
Verdo
o
lae
g
e
hide isl_dim internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
ad
d
isl_dim_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n
V
erdoolaege
isl_basic_map_reset_dim: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven
Verdoolaege
isl_transiti
v
e
_closure
.
c: an
o
n
ymize input m
a
p dur
i
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaeg
e
i
s
l
_transitive_closure
.
c: keep t
r
ack of domai
n
s for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdo
o
laege
isl_di
m
_drop: alwa
y
s remove
t
uple
name, even if number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdool
a
ege
i
s
l_dim
_
set_tuple_name: allow explicit removal of tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Ver
d
oolaege
add suppo
r
t for union s
e
ts
a
n
d re
l
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
isl_tra
n
si
t
i
v
e_closure
.
c: ext
r
a
ct
out some re
u
sable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolae
g
e
add is
l
_pw_
q
polynomi
a
l
_
reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
o
olae
g
e
add isl_
m
ap_
h
as_equal_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
r
d
oolaege
add isl_dim_
g
e
t
_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
is
l
_d
i
m: allow specif
i
cat
i
on of tuple
n
am
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
o
laege
isl_ma
p
_from_do
m
ai
n
_
a
nd_range
:
implement
i
n terms of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_
b
asic_map_doma
i
n: properly set dimension of r
e
su
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoolaege
p
rivately export isl_set_reset_d
i
m and isl_
m
a
p
_re
s
et_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_read:
extract out read_
v
ar_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolae
g
e
isl_hash_
t
able_
f
oreach:
pass
pointe
r
to entry data
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verd
o
olaege
isl_h
a
sh_table_foreach: add user argumen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
e
n Verdoo
l
a
e
g
e
i
s
l_tran
s
itive_
c
losure
.
c: fix double free on e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
aege
i
s
l_ma
p
_gist: u
s
e si
m
ple hull i
n
ste
a
d of convex
hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
aege
is
l
_
map
.
c:
f
i
x
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_
c
at: read ge
n
eric obje
c
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
s
l_printer: a
d
d NULL ch
e
c
ks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Ver
d
o
olaege
make is
l
_ob
j
_none a
constant expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
add isl_map_get_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
isl_map_
f
ast_is_unive
r
se:
also
detect re
d
u
ndant representati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
add is
l
_map_reachi
n
g_path_lengths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en Ve
r
doola
e
ge
isl_map_power: dela
y
e
q
uating p
a
th
l
en
g
t
h
s
t
o po
w
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_map_pow
e
r
:
app
l
y
F
l
oyd-Warshall to compute
powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven V
e
rd
o
olaege
is
l
_map_lexmax: prod
u
ce less cryptic error message
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
ven Ve
r
do
o
laege
fix isl_basic_map_move_
d
ims in presen
c
e of e
x
istent
i
ally
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdool
a
ege
i
s
l_test: drop d
e
bugging o
u
tput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en
V
erdoolaege
isl
_
tra
n
si
t
ive_closure
.
c: fix
typ
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoo
l
aege
fix isl_map_lex_ge and isl_map
_
lex_
l
e i
n
t
h
e z
e
r
o
-d
i
men
s
iona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sven
V
erdoolaege
isl_prin
t
e
r
_print_map
:
replace variable by i
t
s definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdool
a
ege
p
rivately
export i
s
l_basic_map_fast_cmp and isl_basic_m
a
p_f
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sve
n
Verdoolaege
isl_dim
_
set_na
m
e
:
d
on't accept na
m
es that look li
k
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
Tobi
a
s Grosser
Remove comma at the end of enumeration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Ve
r
doola
e
ge
i
sl_convex_hull
.
c:
a
void s
i
de-effec
t
s
in calls to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Ve
r
d
oola
e
g
e
a
dd
i
sl_hash_bu
i
ltin
commit
|
commitdiff
|
tree
2010-07-04
Sve
n
Verdoolaege
add isl_in
t
_g
e
t_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdoolae
g
e
doc:
fix some typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
Mak
e
file
.
am: real
l
y inclu
d
e include/isl_
v
ert
i
c
es
.
h
commit
|
commitdiff
|
tree
2010-06-29
S
ven V
e
rdoolaege
add isl_map_is_
b
iject
i
ve
commit
|
commitdiff
|
tree
2010-06-28
Sven V
e
r
doolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
e
r
d
o
o
laege
doc: dr
o
p du
p
l
i
ca
t
e b
o
oktit
l
e from Kelly1996clo
s
u
re
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Ver
d
oolaege
doc: use mo
r
e
e
xplicit no
t
ation to avoid conf
u
sion
commit
|
commitdiff
|
tree
2010-06-27
S
ven
V
e
r
d
o
ol
a
ege
add isl_const
r
aint_i
s
_
div_
c
ons
t
raint
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doolaege
isl_map_simplify
.
c: separa
t
e
out isl_basic_ma
p
_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven
Ve
r
doolaege
isl_b
a
sic_map_from_constraint: keep all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaeg
e
isl_bas
i
c_map_fr
o
m_const
r
ain
t
: only return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
isl_constrai
n
t_add_div: correctly set line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl
_
p
ip: rena
m
e
pip_options to avoid
c
onflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolae
g
e
isl_convex_hull
.
c: initi
a
l_facet_constrai
n
t:
f
ix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
ege
doc
:
describe back
w
ard inc
o
mpatible
c
hange
s
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
d
oolae
g
e
d
oc: m
e
ntion disc
u
ssion grou
p
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
e
ge
rename i
s
l_b
a
sic_m
a
p_convex_hull to i
s
l
_
basic
_
ma
p
_
r
e
move_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_affine_h
u
ll
.
c
:
outside_point: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
sl
_
t
a
b_rollbac
k
: av
o
id double fre
e
on error pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oolaeg
e
isl_tab
.
c: tab_mat
_
product: avoi
d
N
U
LL poi
n
ter
deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
ge
isl_tab_extend_
c
o
ns:
avoid
NUL
L
p
o
inte
r
de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
eg
e
imp
l
ement antiq
u
ated is
l
_basic_set_
n
_* in
t
erms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
i
sl_m
a
p_convex_
h
u
l
l
: avoid NUL
L
pointer dere
f
er
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_t
a
b_
a
dd_v
a
lid_eq
:
re
t
urn int ins
t
ead of
isl
_
ta
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doola
e
ge
isl_aff
i
ne_hull
.
c
: affine_hull
_
with_co
n
e: avoid
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_e
q
ualities
.
c
:
p
arameter_compression_multi: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olae
g
e
isl_basi
c
_map_project
_
out: avoid
NUL
L
pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_coale
s
c
e
.
c: coales
c
e_
p
air: avoid NULL pointer de
r
efere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_hull
.
c: ext
e
n
d: fix er
r
o
r
han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
m
ple
m
ent ant
i
qua
t
ed
i
sl_set_n_
*
in terms of isl_s
e
t
_dim
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoolae
g
e
i
sl_ma
p
_si
m
plify
.
c: n
o
rmalize_di
v
s: avoid N
U
LL pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oola
e
ge
isl_input
.
c:
v
a
r
s
_
drop: fix e
r
ro
r
handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ve
r
d
oolaege
is
l
_co
n
vex_hull
.
c: us
e
t_con
v
ex_hu
l
l_wrap_bounded
:
f
i
x
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_set_wrap_facet: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl
_
tab_min:
a
v
oid NU
L
L point
e
r der
e
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_affine_hull
.
c:
extend
_
af
f
in
e
_hull: avoi
d
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
o
olae
g
e
isl_ba
s
ic_map_ex
t
end: plug m
e
mo
r
y leak on error
p
a
t
h
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
isl_affine_hull
.
c: e
q
u
a
liti
e
s_i
n
_un
d
erlying_set: av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
eg
e
isl_basic_s
e
t_prei
m
age: avoid
NUL
L
p
oi
n
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rd
o
olae
g
e
isl_tab_pip
.
c: no_sol_in_strict: fix e
r
ro
r
handlin
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaege
isl_affin
e
_hu
l
l
.
c
:
equal
i
ties_in_
u
nde
r
lying_set: plu
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
sl_affin
e
_h
u
l
l
.
c:
a
ffine_
h
ull: fix
erro
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
map_pr
o
ject_o
u
t: fix er
r
or
return va
l
ue
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolae
g
e
isl_basi
c
_map_intersect_r
a
nge: avoid NU
L
L p
o
inter der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
do
o
laeg
e
isl_tab_pi
p
.
c: fi
n
d
_so
l
u
t
ions: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doolaege
is
l
_
b
asic_ma
p
_al
l
o
c
_d
i
m: fix err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_basi
c
_ma
p
_inters
e
ct: av
o
id NULL
p
o
inter derefer
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
laege
is
l
_tab_pip
.
c:
s
ol_
m
ap_init: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
r
dool
a
eg
e
isl_ba
s
ic_map_interse
c
t_d
o
main:
a
v
o
id
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_flow
.
c: c
o
mpute
_
v
al_based_
d
ependences: f
i
x
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_f
l
ow_alloc: fi
x
error h
a
n
d
li
n
g
commit
|
commitdiff
|
tree
next