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_pw_qpolynomial_intersect_domain: simplify polynomials using equalities
2010-08-06
Sv
e
n
Verdoolaege
isl_pw_qpolynomial_intersect_d
o
ma
i
n
: simplify
polynomials
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Ve
r
d
o
ola
e
g
e
isl_qpoly
n
omial_move_
d
i
m
s: pl
u
g memory leak
a
nd fix
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdool
a
ege
ad
d
isl_pw_qpolynomial
_
read_
f
r
om_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven
V
erdoolaege
add isl_qpo
l
y
n
omial_f
o
ld_subst
i
tut
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
isl_pw_qpolyn
o
mial_inters
e
ct_d
o
m
ain: drop
piece
s
tha
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
isl_map_product: used nested
s
p
aces in result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
isl_pw_qpolynomial_bound: handle isl_pw_q
p
o
l
y
n
omials
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
supp
o
r
t nested isl_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
e
r
dool
a
e
ge
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
o
olae
g
e
export isl_dim_tuple_match
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
Ve
r
doolaege
isl_output
.
c: extrac
t
ou
t
common print_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdo
o
laege
is
l
_input
.
c: read_tuple: construct
i
s
l
_dim
i
nstead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
S
v
en
Verdoolaege
do
c
: r
e
move descriptio
n
o
f how to g
e
t the p
i
plib su
b
module
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Ve
r
doolaege
isl_
p
rinter_pr
i
nt_
p
w_qpolynomial_fold: print
d
im
a
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ver
d
oo
l
aege
add isl_pw_qpolynomial_
i
nsert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
ad
d
isl_se
t
_inser
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rdoolaeg
e
add
isl_basic_map_image_i
s
_bo
u
nded
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en V
e
rdoola
e
ge
av
o
id NULL poi
n
t
e
r exc
e
p
t
ion in i
s
l
_
basic_map_n_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
fix isl_pw_qpolynomial_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
ven Ver
d
oolaege
add
i
s
l
_
m
at_a
d
d_ro
w
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
ven
V
e
rdoolaege
add isl
_
mat_a
d
d_zero_
c
o
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-03
Sven Verd
o
ola
e
ge
export isl_b
a
sic_map_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en
V
erdoolaege
h
id
e
isl_dim inter
n
als
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
erdoolae
g
e
add i
s
l_d
i
m
_
get_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
i
s
l_basic_ma
p
_
reset_dim: finalize resu
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdo
o
laege
isl_transit
i
ve_cl
o
sure
.
c: anonymize
i
npu
t
map d
u
ring
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
is
l
_tran
s
i
tive_
c
los
u
re
.
c: keep
t
rack
of domains for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_d
i
m_drop: always remove
t
uple name,
e
ve
n
if number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ver
d
o
ol
a
ege
isl_d
i
m
_
s
e
t_t
u
ple_n
a
me
:
allow explicit removal
o
f tu
p
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
add supp
o
rt for union s
e
ts and relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdool
a
e
g
e
isl_transi
t
iv
e
_closure
.
c: extract out some reusable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
g
e
add
i
s
l_pw_qpolynomial_reset_d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdool
a
e
g
e
add
i
sl_map_has_
e
q
ual_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
ad
d
isl_dim_
g
et_
h
ash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
is
l
_dim: allow sp
e
cificatio
n
of tuple na
m
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoolaege
isl_map
_
fr
o
m_domai
n
_
an
d
_range
:
implement in
t
erm
s
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
is
l
_basic_
m
ap_
d
om
a
in: properly s
e
t dimensio
n
of
resu
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoolae
g
e
privately export i
s
l_se
t
_reset_dim and isl
_
map_reset_d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Ve
r
doo
l
aege
i
sl_m
a
p_r
e
ad
:
extr
a
ct out read
_
var_def
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaeg
e
isl_hash_tabl
e
_foreach: pass pointe
r
to ent
r
y d
a
ta
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaege
isl_h
a
sh_tabl
e
_
f
o
rea
c
h
:
add user ar
g
um
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_
t
ransitive_clo
s
u
re
.
c:
fix double f
r
ee on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doo
l
aege
isl_map
_
g
ist:
use
s
imple hul
l
instead of
c
onv
e
x hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdo
o
laege
isl_map
.
c: fix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
i
sl_c
a
t: read gen
e
ric obje
c
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
r
d
o
olaege
isl_printe
r
:
add
N
ULL ch
e
cks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
make
i
sl_obj_no
n
e
a cons
t
an
t
expression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdool
a
ege
add isl_
m
ap_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
sl_m
a
p_fast_is_
u
ni
v
erse
:
also detec
t
redun
d
ant
r
epres
e
ntati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaeg
e
a
dd isl_m
a
p_reach
i
ng
_
path_lengths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
i
s
l_m
a
p_power:
delay e
q
uat
i
ng path lengths
to
po
w
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verd
o
ola
e
ge
isl_ma
p
_power: apply Floyd-Warshal
l
to compute pow
e
rs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
v
e
n Verdoola
e
ge
isl_map_lexmax: produce
les
s
cryptic error message
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en Verdoola
e
ge
fix isl_ba
s
ic_map_move_dims in p
r
es
e
nce of exis
t
ential
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ve
r
doolaege
isl_test:
d
rop
d
ebugging output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
e
n
Verdoolaeg
e
isl_
t
ra
n
s
i
tive_closure
.
c: fix
t
ypo in commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdo
o
laege
fix
isl_map_lex
_
ge and isl_ma
p
_l
e
x_
l
e in the zero-dimensiona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sven Ve
r
d
oolaege
isl_printe
r
_pr
i
nt_m
a
p: replace
v
a
r
iable by its
d
e
fini
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdool
a
ege
pr
i
vately
e
xport isl_b
a
s
ic
_
map_fast_cmp and isl_basic_map_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
S
v
en Verdoo
l
aege
isl
_
dim
_
s
e
t
_name: don't
a
ccept name
s
that lo
o
k
like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sv
e
n V
e
rdoolaege
isl_co
n
vex_
h
ull
.
c: avoi
d
si
d
e-eff
e
cts i
n
cal
l
s to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sv
e
n
Ver
d
oolaege
add isl_has
h
_builtin
commit
|
commitdiff
|
tree
2010-07-04
S
ven Ver
d
o
olaege
ad
d
isl_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdoolae
g
e
d
oc:
fix some typos
commit
|
commitdiff
|
tree
2010-06-29
S
ven Ve
r
doolaege
i
s
l
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
Makefile
.
am: rea
l
ly inclu
d
e include/is
l
_ve
r
tices
.
h
commit
|
commitdiff
|
tree
2010-06-29
S
ven
V
er
d
ool
a
ege
add isl_map_is_
b
ijective
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n V
e
r
d
oolae
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
V
e
rdoolaege
doc: dr
o
p dup
l
icate
boo
k
t
itle from Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
d
o
c: use more explicit notation t
o
avo
i
d confusion
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
add isl_co
n
straint_
i
s_div_c
o
n
str
a
in
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
is
l
_map_simplify
.
c: se
p
arate out isl_basic_map_is_di
v
_con
s
tra
i
nt
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_
b
asic
_
map_from_constraint: keep all divs,
even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoola
e
ge
isl_basic_
m
ap_from_constraint:
only return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoo
l
aege
i
sl_co
n
straint
_
add_di
v
: correctly set
line to fir
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rd
o
olaege
isl_pip: rename pip_options to
a
void confli
c
t
with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
is
l
_c
o
nvex_hull
.
c: initi
a
l_facet_constraint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
doc: describe backward incompati
b
le
changes
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
a
e
ge
doc: men
t
ion discussion group
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdool
a
ege
re
n
ame isl_bas
i
c_m
a
p
_
convex_hull
t
o isl_basic_
m
ap_r
e
mov
e
_
r
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_a
f
fine_hull
.
c: outside_point: f
i
x error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_tab_rollback
:
avoid double free on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_tab
.
c
:
tab_mat_produ
c
t:
a
v
oid N
U
LL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
eg
e
isl_tab_ext
e
n
d_con
s
: avoid
NU
L
L pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implement
a
ntiquated isl_b
a
sic_set_n_*
i
n te
r
ms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoo
l
aege
i
sl_ma
p
_con
v
e
x
_hull: avoid NULL p
o
inter de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Ve
r
d
oo
l
a
e
g
e
i
sl_tab_a
d
d
_
valid_eq: return i
n
t instead of
isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
s
l_affine_hull
.
c: affine_hull_with_cone: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_equa
l
ities
.
c: paramet
e
r_compressi
o
n_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
sl_
b
asic_map_pro
j
ect_out: avoi
d
NULL point
e
r d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_coal
e
sce
.
c: c
o
alesce_pair: av
o
id NULL p
o
inter d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
c
on
v
ex_hull
.
c: exten
d
: fix
e
rror hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
l
a
eg
e
implement an
t
iq
u
ated isl_set_n_* in terms of isl_
s
et_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
ege
i
sl_map_simplify
.
c
:
normalize_divs:
a
voi
d
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
o
l
aege
isl_inpu
t
.
c
:
v
ars_
d
rop:
fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex
_
hull
.
c:
u
set_convex_
h
ull_
w
rap_bo
u
nd
e
d: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
l
aege
isl_
s
et_wr
a
p
_facet: fix error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoo
l
aege
is
l
_ta
b
_min:
a
void NULL
p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine
_
hull
.
c: extend_affine_hul
l
: avo
i
d NULL
p
oi
n
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
is
l
_basic_map_exte
n
d
:
plug memory leak
on
e
rr
o
r path
commit
|
commitdiff
|
tree
next