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_qpolynomial_move_dims: plug memory leak and fix reordering of divs
2010-08-06
Sven V
e
r
doolaege
isl_qpolynomial_move
_
dims: plu
g
memory
l
e
a
k and fi
x
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sve
n
Verdoolaege
add isl_pw_qp
o
ly
n
omial_read_f
r
om
_
str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven
V
erdoolaege
a
dd isl_qpolyno
m
ial_fold_sub
s
t
i
tute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_pw_
q
polyn
o
mial_int
e
rsect_d
o
main: dro
p
piece
s
tha
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoolaege
isl_ma
p
_pr
o
duct: used nes
t
ed spaces in result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
er
d
oolaege
isl_pw_qp
o
lynomial_bo
u
n
d: han
d
le isl_pw_
q
poly
n
om
i
als
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
s
upport nested isl_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaege
d
o
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdool
a
ege
e
x
p
ort isl_d
i
m_tupl
e
_match
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n V
e
rdoolaege
i
s
l_output
.
c: ext
r
act out common
p
rint_d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
i
s
l_input
.
c: r
e
a
d_tuple:
co
n
str
u
ct isl_dim instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
doc: remove descript
i
o
n
of how to get
t
he piplib
s
ubmodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolaege
i
s
l_printer_pri
n
t
_pw_qpolyn
o
mial_fold: print dim as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdo
o
laeg
e
add isl
_
pw_qpolynomial_insert_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rdoo
l
aege
add isl_set
_
i
n
sert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl
_
basic_
m
ap_i
m
age_i
s
_bounded
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en
V
erdoolaege
avoid NULL poi
n
ter exception
i
n isl_basic_map_n
_
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
olaege
fi
x
isl_pw_
q
polynomia
l
_
r
eset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl
_
m
at_
a
dd_rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Ve
r
doolaege
add isl_mat_ad
d
_zero_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-03
S
v
en
V
erdoolaeg
e
expor
t
isl_
b
asic_
m
ap_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
hide
i
sl_dim internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
add isl_dim
_
g
e
t_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
v
e
n Verdo
o
laege
isl_
b
asic_map_rese
t
_dim: final
i
ze resu
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
ven V
e
rdoolaege
isl_transitiv
e
_clo
s
u
re
.
c: anonymi
z
e inp
u
t map during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
i
s
l
_transit
i
v
e_closure
.
c: keep tr
a
ck of doma
i
ns for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ver
d
oolaege
i
s
l_dim_drop: a
l
ways
r
e
m
ove tuple
name, even if number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
doolaege
isl_di
m
_se
t
_tu
p
le_name: allow
explicit r
e
mo
v
al of
tuple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
add suppo
r
t for
union sets and relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaeg
e
isl_transitive_closure
.
c:
ext
r
act out s
o
m
e
reusable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
ad
d
i
s
l_pw_qpolynom
i
a
l
_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
add isl_
m
ap_has_equal_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_dim_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
Verdoolaege
isl_dim: allow
s
pe
c
ification of
tuple
names
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Ve
r
doolaege
isl_map_from_domain_and_range: imple
m
ent in terms of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaege
isl_basic_ma
p
_domain: pr
o
perly se
t
dimension of result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdool
a
ege
pr
i
va
t
e
ly ex
p
ort i
s
l_set_r
e
set_dim a
n
d isl_map_
r
eset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaege
isl_
m
ap_read: ext
r
act out read_var
_
def
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Ver
d
oolaege
isl_hash
_
ta
b
le_foreach:
pass pointer t
o
e
n
try data
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_hash_table_foreach: a
d
d
user argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n
Ver
d
oolae
g
e
isl_transi
t
ive_closure
.
c
:
fix
d
oub
l
e
fre
e
on
e
rror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en V
e
rdoolaege
isl_map_g
i
st: use
s
i
m
ple hull instead of conve
x
hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verd
o
olae
g
e
isl_map
.
c: fi
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoolaege
isl_
c
at: re
a
d gen
e
ric objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
i
sl_printer
:
add NULL checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
make isl_obj
_
none
a consta
n
t e
x
pression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Ver
d
oolae
g
e
add isl_map_
g
et_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n
Ver
d
oolae
g
e
isl
_
m
a
p_f
a
st_is_univers
e
: also det
e
ct
r
ed
u
n
d
ant represe
n
tat
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven
V
e
rdoolaege
add
i
sl_map_reachin
g
_
p
at
h
_l
e
ngths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
ven Ver
d
oolaege
i
s
l
_map_power: del
a
y equating
path lengths
t
o
power
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolae
g
e
isl_map_power: app
l
y Fl
o
y
d-Warshall to comp
u
te power
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdo
o
l
aege
isl_map_le
x
max: produce
les
s
cr
y
ptic error
message
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verd
o
olaege
fi
x
isl_
b
asic_map_move_d
i
ms in presence
of
e
x
isten
t
ial
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ve
r
doolaege
isl_test:
dro
p
debugging outpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
isl_transitive_cl
o
sure
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
fix i
s
l_map_lex_
g
e and isl_map_lex_l
e
in the zer
o
-di
m
ens
i
o
na
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sven Ver
d
oola
e
ge
isl_printer_print_map: replace variable b
y
its definition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sve
n
Verdoolaege
privat
e
ly
e
xport isl_basic_map_fast_c
m
p and isl_basic_map_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdo
o
laeg
e
isl_dim_s
e
t
_name: don't ac
c
e
p
t na
m
e
s
that look
l
ike
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-11
Tobias Grosser
Remove comm
a
at the e
n
d
o
f en
u
meration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sven V
e
rdoolaeg
e
isl_conve
x
_hul
l
.
c: avoid s
i
de
-
e
ffects in ca
l
ls to isl_in
t
_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Ve
r
d
oolaeg
e
a
dd
i
sl_hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven Ver
d
ool
a
ege
add isl_int_
g
et_str
commit
|
commitdiff
|
tree
2010-07-02
Sven V
e
rdoolaeg
e
doc:
fix s
o
me typos
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
Makefile
.
am: really include inc
l
ud
e
/is
l
_ve
r
tic
e
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
add isl_map
_
is_bijective
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdool
a
ege
doc:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
d
oc:
d
rop dupli
c
a
t
e booktitle from Kelly19
9
6c
l
osure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Verdoolaege
doc: u
s
e more explicit notat
i
on
to avoid
confus
i
on
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
laege
add
i
sl_constraint
_
is_div
_
c
onstraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoola
e
ge
isl_map_simplify
.
c: se
p
arate o
u
t isl_basic_map_is_div
_
c
o
n
s
t
ra
i
nt
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
is
l
_basic_map_from_constr
a
int: keep all divs,
e
ven
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_basic_
m
ap_fro
m
_
const
r
aint: onl
y
return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdo
o
l
a
ege
is
l
_const
r
aint_add
_
div: correctly set line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Ver
d
o
olaege
isl_pi
p
: rena
m
e pip_options
to
a
void
conf
l
i
c
t
wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_hull
.
c:
i
nitial_facet_constraint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
doc: describe backward incompatib
l
e
changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
doc
:
mention discussion group
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
rename isl
_
b
asic_map_
c
onvex_hull
t
o i
s
l_basic_map_re
m
o
v
e
_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hu
l
l
.
c: outsid
e
_point: fix
err
o
r
ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laege
isl_t
a
b_
r
ollback
:
avoid do
u
ble free on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
t
a
b
.
c: tab_mat_pro
d
uct: avoi
d
N
U
LL p
o
i
nte
r
der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verd
o
olae
g
e
i
s
l_tab_extend_
c
ons: a
v
oid NU
L
L p
o
i
nte
r
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
implement an
t
i
quated isl_ba
s
ic_set
_
n_* i
n
ter
m
s of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoolaege
isl_map_convex_hull
:
a
v
oi
d
NULL po
i
nter der
e
fer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oolaege
is
l
_tab_add_va
l
id_eq: return int instead
of isl_ta
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
a
ffine_
h
ull
.
c: affine_hull_with_cone
:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olaeg
e
i
sl_equalities
.
c: para
m
eter_com
p
res
s
ion_multi:
a
vo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
ege
isl_bas
i
c_m
a
p_project_o
u
t: a
v
oid NU
L
L
point
e
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
sl_coa
l
esce
.
c:
coalesc
e
_pair: avoid NULL pointer
de
r
efer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doo
l
aege
isl
_
con
v
ex
_
hull
.
c: e
x
tend: fix err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
ege
implem
e
nt
a
nt
i
quated isl_set_n_* in terms of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaege
isl_map_simplify
.
c: normalize_divs: avoid NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
sl_input
.
c:
vars_
d
rop: fix error
h
andlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
isl_convex_h
u
ll
.
c: uset_convex_hull_wrap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_set_w
r
ap_facet: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
a
e
ge
isl
_
tab_min: avoid NULL point
e
r deref
e
ren
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_affine_hull
.
c: extend_affine_hull: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_basic_map_extend: plug
m
e
mo
r
y leak on error path
commit
|
commitdiff
|
tree
next