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_coalesce: handle some cases of pairs of adjacent equalities
2010-08-05
Sven Verdo
o
laege
doc:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
v
en V
e
rdo
o
laege
e
xport isl_dim_tuple
_
m
a
t
c
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolaege
isl_output
.
c:
e
xtract out common print_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
ven
V
erdool
a
ege
i
s
l_i
n
put
.
c: re
a
d_tuple:
c
onst
r
uc
t
isl_dim instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
ve
n
Verdoolaeg
e
doc: remove
description of
h
o
w to get
the piplib submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ve
r
doolaege
isl_pri
n
ter_print_p
w
_qpoly
n
omial_fold: print
d
im as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
v
e
n
V
e
r
doolaege
add isl_p
w
_qpolyno
m
i
a
l_
i
nsert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaeg
e
add isl_set_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
ven Ve
r
doolaege
add isl_b
a
sic_map_im
a
ge_is_bo
u
n
ded
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoola
e
ge
avoid NUL
L
pointe
r
except
i
on
i
n
isl_basi
c
_m
a
p_n_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
ven
V
e
rdoolaege
fix isl_pw
_
qpol
y
n
omial
_
reset
_
di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
a
dd isl_m
a
t_add_
r
ows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en
Verdoo
l
aege
ad
d
i
s
l_ma
t
_add_zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
Sve
n
V
e
rdoolaege
export
i
sl_
b
asic_ma
p
_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdo
o
laege
hi
d
e isl_dim
i
nternal
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
e
n Verdoolaege
add isl_
d
im_
g
et_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
isl_
b
asic_m
a
p_reset_dim: finaliz
e
res
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
ven Verdool
a
ege
isl_transitive_clos
u
re
.
c:
a
non
y
mi
z
e
i
n
p
ut map du
r
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_t
r
ansit
i
ve_
c
lo
s
ure
.
c: keep track of domains for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ver
d
oolaeg
e
i
s
l
_di
m
_drop: a
l
ways remove tuple na
m
e, even i
f
n
umber
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
V
e
rdo
o
laeg
e
isl_dim_set_tuple
_
name: allow expli
c
i
t
rem
o
val
o
f tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add
s
uppor
t
for unio
n
sets and relati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdo
o
laege
isl_tr
a
nsitive_closure
.
c: extract
o
ut some r
e
usabl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add is
l
_pw_qpolynomial_
r
eset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n
Verdoolaege
add
is
l
_
map_ha
s
_equal_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
er
d
oolaege
add
i
s
l_d
i
m_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Ve
r
doo
l
aege
isl_di
m
:
allow speci
f
ication of tuple names
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n
Verdoolaege
i
sl_map_fro
m
_
do
m
ain_and_r
a
n
g
e: imp
l
e
m
ent in terms of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoo
l
ae
g
e
i
sl_bas
i
c
_m
a
p_domain
:
properly set dimension of result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
privately expo
r
t is
l
_set_reset_dim a
n
d isl_map_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Ve
r
doolaege
isl_map_rea
d
:
e
x
t
ract out rea
d
_var_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
olaege
isl_hash_table_foreach: pas
s
po
i
n
t
er to entry d
a
ta
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolae
g
e
isl_hash_table_
f
oreach:
a
dd user
a
rgument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verd
o
olaege
isl_transitive_clos
u
r
e
.
c: fix double
f
ree on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolae
g
e
isl
_
map_gist: us
e
simple hull ins
t
ead of convex hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
isl_map
.
c:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
isl_cat:
r
ead
ge
n
eric objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
i
s
l_printer: add
N
ULL
c
h
eck
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaege
make isl_obj_
n
one a constant e
x
pression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdool
a
eg
e
add isl_map_g
e
t_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
isl_
m
ap_
f
ast_is_uni
v
erse: also d
e
tect red
u
n
d
ant represe
n
ta
t
i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
a
d
d isl_map_reach
i
ng_path_leng
t
hs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven V
e
rd
o
olaege
isl_map_power: del
a
y equating path l
e
ngth
s
to power
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_map_power: apply
F
loyd-Warsha
l
l to comp
u
te powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en Verdoolaege
isl_m
a
p_lexmax: pro
d
uc
e
le
s
s
crypti
c
error messag
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Ver
d
oolaege
fix
isl_basic_ma
p
_
m
ove_dim
s
in pre
s
ence of exis
t
en
t
ially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sve
n
Verdoola
e
ge
isl_t
e
st: drop
d
ebu
g
ging output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verd
o
olaege
isl_transiti
v
e
_
c
l
osu
r
e
.
c: fix typo
i
n
co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verd
o
olaege
f
ix isl_
m
ap
_
lex_ge and isl
_
map_lex_le in the ze
r
o-di
m
ens
i
ona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
S
ven Verdoolaege
isl_printer_pri
n
t
_map: replace
v
ari
a
ble by its definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
S
v
e
n Verdoolaege
privately export isl_basic_ma
p
_fa
s
t_c
m
p and isl_basic_m
a
p_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
S
ven Verdo
o
laege
isl_d
i
m
_set_name: don't accept name
s
that look like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
Tobias Grosser
Remo
v
e
c
o
m
m
a at the e
n
d of enumeration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolaege
i
sl_convex_hull
.
c: avoid
side-effec
t
s in calls to isl_in
t
_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoo
l
aege
add is
l
_hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sv
e
n Ver
d
o
ol
a
ege
add
i
sl_int_g
e
t_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Ve
r
d
oolaeg
e
doc:
fix s
o
me typos
commit
|
commitdiff
|
tree
2010-06-29
S
v
en
V
erdo
o
l
a
ege
isl 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
dool
a
e
g
e
M
akefile
.
am: really
i
nclude include/is
l
_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
add
i
sl_
m
a
p
_is_bijective
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolae
g
e
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n Verdoolaeg
e
doc:
d
rop duplicate booktitle from Kelly1996clos
u
r
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdo
o
laege
doc: use more explicit n
o
tation to avo
i
d
c
onfusion
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verd
o
olae
g
e
add isl_
c
onstraint_is_d
i
v_co
n
str
a
int
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
laege
i
sl_map
_
s
implif
y
.
c
:
separate out isl_basic_map_is_div_cons
t
r
a
int
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoola
e
ge
is
l
_
b
a
sic
_
map_from_cons
t
raint: keep al
l
div
s
,
even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoola
e
ge
isl_basic_ma
p
_from_constraint
:
only return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n V
e
rdo
o
laege
isl_c
o
nstra
i
nt_add_div: correctly se
t
line to f
i
rst
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
o
olaege
isl_pip:
rename p
i
p_options to
avoid
c
onflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_co
n
vex_
h
ull
.
c
:
initial_facet_constraint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
doc: describe
b
ackw
a
rd inc
o
mpatible cha
n
ges
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoolaege
doc:
m
e
n
t
ion d
i
scussion gro
u
p
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoola
e
ge
re
n
ame isl_basi
c
_map_convex_hull to isl_basic_
m
ap_remo
v
e_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_affin
e
_hull
.
c
: outs
i
de_point: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl
_
t
a
b_rollback: avoid dou
b
le free on error path
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
olaege
isl_tab
.
c: tab_mat_pro
d
u
c
t: avoid NULL
pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
isl_tab_e
x
tend_cons: av
o
id NULL poin
t
er
d
erefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
m
plement
a
n
t
iquate
d
isl_basic_set_
n
_*
in term
s
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_co
n
vex_hull: avoid N
U
LL poin
t
er
d
ere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oola
e
g
e
isl_tab_
a
dd_valid_eq: return
int
instea
d
o
f isl_
t
ab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_affine_hull
.
c: aff
i
ne_hull_with
_
cone: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_equalities
.
c: pa
r
am
e
ter_
c
o
m
pre
s
si
o
n_multi:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic
_
map_project_o
u
t: avo
i
d NULL
p
oint
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoola
e
ge
i
s
l_coalesce
.
c: coalesce
_
p
a
i
r:
a
void NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_hull
.
c: extend
:
fix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
imp
l
e
m
ent a
n
tiq
u
at
e
d i
s
l_set_
n
_
* i
n
terms of isl_se
t
_
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolae
g
e
is
l
_map_simplify
.
c
: normalize_divs: avoid
NULL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
l
a
ege
isl_input
.
c: vars_drop
:
f
i
x
error
h
andli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oola
e
ge
i
s
l_convex_hu
l
l
.
c: us
e
t
_
convex_hull_wrap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
isl_set_wr
a
p_face
t
:
fix
error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_tab_min: avo
i
d
NU
L
L p
o
inter deref
e
r
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_affine_hull
.
c: extend_affine
_
hull
:
a
v
oid NU
L
L pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoolae
g
e
isl_b
a
sic_map
_
extend:
p
l
ug
memo
r
y leak on e
r
ror path
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_affine_hull
.
c
:
e
q
ualities_
i
n_underlying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolae
g
e
i
s
l
_basic_set_preimage:
avo
i
d
N
ULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdool
a
ege
i
s
l
_t
a
b
_pip
.
c: no_sol_in_strict: fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
ege
isl_affine_hull
.
c:
e
qual
i
ties_in_
u
n
derlying_set: p
l
u
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
ege
isl_affine_hull
.
c: affine_
h
ull: f
i
x erro hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_map
_
p
roject_out
:
fix error
r
e
turn valu
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olaege
isl_basi
c
_m
a
p_intersect_r
a
n
ge: avoid N
U
LL pointer der
e
ference
commit
|
commitdiff
|
tree
next