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_basic_map_has_defining_equality
2010-08-09
Sven
Verdoolaege
add isl
_
basic
_
ma
p
_has_
d
efining_equality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdoolaege
add isl_set_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-07
Sven Verdoolaege
isl_printer_print_map: f
i
x pr
i
nting in latex format
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
S
v
en
V
erdoolaeg
e
is
l
_set_wrap_facet
:
normaliz
e
resulting
facet constrain
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven
V
erdoolaege
isl_coalesc
e
.
c: fi
x
typo
i
n
c
o
m
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sv
e
n Ve
r
doolaege
isl_pw
_
qpolyn
o
mi
a
l
_
i
n
ter
s
ect_domain: si
m
plify p
o
l
y
n
o
mials
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sve
n
Ver
d
oo
l
aege
isl_qp
o
lynomial_m
o
v
e
_
dim
s
: plug me
m
or
y
l
eak and fix
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdool
a
eg
e
add isl_
p
w_q
p
ol
y
n
o
mial_read_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sv
e
n Verdoolaeg
e
a
d
d isl_qpolynomial_fold_
s
ubstitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdool
a
ege
isl_
p
w_q
p
olynomial_intersect_domai
n
: drop pieces that
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
i
s
l
_map_
p
r
oduct: use
d
nes
t
ed
s
paces in result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoola
e
g
e
is
l
_
p
w_qpolynomi
a
l_bo
u
nd: handle isl_pw_qpolynomi
a
ls
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n
V
erd
o
ola
e
ge
support nes
t
ed isl_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laege
doc: fix t
y
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
V
er
d
oolaege
export isl
_
dim_t
u
ple_m
a
tch
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
er
d
oolaege
isl_output
.
c: extract out comm
o
n print_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_i
n
put
.
c: r
e
ad
_
tuple
:
construct isl_dim
i
nste
a
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
doc: remo
v
e
descripti
o
n of how t
o
get the piplib
s
u
bm
o
dule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n
V
erdoolaege
isl_prin
t
er_
p
rint_pw_qpol
y
nomial_
f
old:
p
rint d
i
m as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl_pw_q
p
olynomi
a
l_in
s
ert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl_s
e
t_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verd
o
olaege
add isl_basic_map_
i
mag
e
_is_bo
u
n
d
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Ver
d
oolae
g
e
av
o
id NULL p
o
inter exception in isl_basic_
m
ap_n_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ve
r
doolae
g
e
fi
x
isl_pw_qpolyn
o
mia
l
_
r
eset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
r
d
oolaege
add i
s
l_mat_add_rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoo
l
aeg
e
add i
s
l_
m
at
_
add_zero_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-03
S
v
en Verdoolaege
expor
t
is
l
_ba
s
ic_ma
p
_
m
ove_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
ven Verd
o
olaege
hide is
l
_dim internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
add i
s
l_
d
im_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_basic_
m
ap_reset_dim:
f
inaliz
e
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
isl_transitive_clo
s
ure
.
c: anonymize input
ma
p
du
r
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolae
g
e
isl_tra
n
s
i
t
ive_closure
.
c: keep
t
rack of domains fo
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
V
e
rdoolaege
isl_d
i
m_drop
:
always
r
emove tuple name,
e
ven
if number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_dim_set_tuple_name: allo
w
exp
l
icit r
e
m
o
va
l
of tup
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add support for union sets
a
n
d relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
ve
n
Verdool
a
e
g
e
i
s
l_transitive_
c
l
o
sure
.
c:
e
xtract
o
ut some reusab
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoo
l
a
e
ge
ad
d
isl
_
pw_qp
o
l
y
nomial_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
a
d
d
isl_m
a
p_h
a
s_
e
qual_di
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
l
a
ege
a
d
d isl_dim_ge
t
_
hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_d
i
m: allow s
p
e
c
i
f
ication of tu
p
le
n
a
m
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_from_domain_and_range:
i
mpl
e
ment in
t
erms of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ve
n
Verdoolaege
isl_bas
i
c
_
map_domain: prope
r
l
y
s
et dimension of r
e
sult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
privately e
x
po
r
t isl_set_
r
eset_di
m
and isl_m
a
p_reset_di
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaege
i
sl_map_read: extract out read_var_def
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
aege
isl_hash_table_foreach: pass pointer t
o
entry data
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verd
o
o
l
aeg
e
isl_hash
_
table
_
fo
r
e
a
c
h: add user a
r
gu
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Ve
r
doolaege
isl_transit
i
ve
_
cl
o
s
u
r
e
.
c: fix double f
r
ee on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oo
l
aege
i
sl_map_gist:
u
se 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:
f
i
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_cat: read
g
ene
r
ic objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_printer
:
add NULL
checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaeg
e
m
ake
isl_obj_none a constan
t
expression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
add i
s
l_map_ge
t
_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Ver
d
o
o
laege
isl
_
map_fast_i
s
_universe: al
s
o detect
r
edun
d
ant representa
t
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
add isl_map_r
e
aching_pat
h
_
lengths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven
V
erd
o
o
l
aege
isl
_
map_p
o
wer: de
l
a
y
equ
a
ting path lengths to p
o
w
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
i
sl_map_power: apply Floyd
-
Warshal
l
to compute pow
e
rs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ver
d
oolaege
isl_map_le
x
max: pr
o
d
uce less
cryptic error mess
a
ge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Verdoolaege
f
ix isl_basic
_
m
ap_move_dims in presenc
e
of existenti
a
l
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ver
d
oolaeg
e
i
sl_test: drop debugging ou
t
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdo
o
l
a
ege
isl_tr
a
nsitive_closure
.
c:
f
i
x typo i
n
co
m
me
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
V
erdoolaege
fix
isl_map_lex_ge and
i
sl_map
_
lex_
l
e in the
zero-d
i
m
e
nsiona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sven
V
erdool
a
ege
isl_printer_pr
i
nt_map
:
replace va
r
iable
by its
d
efinitio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven
V
e
rdoolaege
privatel
y
expo
r
t isl_basic_map_
f
ast_
c
mp
and isl_
b
asic_m
a
p_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdool
a
e
ge
isl_dim_set_nam
e
: don
'
t accept name
s
that lo
o
k like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sven
V
er
d
oola
e
ge
i
sl_convex_hull
.
c: av
o
id side-effe
c
ts i
n
c
a
lls to
i
sl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolaege
a
d
d isl_hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven
Ve
r
doolaege
add isl_in
t
_g
e
t_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdoolaege
d
o
c: fix some typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
isl
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
Makefile
.
a
m
:
real
l
y include include/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
add isl_map_i
s
_
b
ijective
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verd
o
ol
a
e
g
e
d
oc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
S
ven Ve
r
d
o
olae
g
e
doc: drop duplicate booktitle fro
m
Kelly1996
c
losu
r
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Ve
r
do
o
laege
doc: use
m
or
e
explic
i
t no
t
at
i
o
n
t
o avoid confusi
o
n
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
e
g
e
a
d
d
isl_c
o
nstraint_is_div_cons
t
rai
n
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
olae
g
e
isl_map_simplify
.
c
:
separa
t
e out is
l
_basic
_
map_is_div_constra
i
nt
commit
|
commitdiff
|
tree
2010-06-27
S
v
en
Verdoolaege
i
s
l_basic_ma
p
_from_cons
t
rain
t
: keep all di
v
s, ev
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaeg
e
isl
_
b
asic_map_from
_
constrai
n
t: only retur
n
c
opy
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolaege
isl_con
s
traint_ad
d
_div: c
o
rrectly set line to f
i
rs
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoolaege
i
sl_
p
i
p: re
n
am
e
pip_options to avoid conflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_convex_hull
.
c:
i
n
i
tial_facet_c
o
nst
r
aint:
f
ix erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
d
oc: describe backward inco
m
p
atible
c
hanges
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
o
o
laege
doc: menti
o
n di
s
cussion group
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
e
r
doolaege
r
e
name i
s
l_basic_map_convex_hull
to is
l
_
basic_map_r
e
move_
r
ed
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_affine_h
u
ll
.
c:
o
u
t
s
ide_point: fix e
r
ror
h
a
ndli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_t
a
b_rollback
:
avoid dou
b
le fr
e
e on
erro
r
path
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aege
isl_tab
.
c: t
a
b_mat_pr
o
duct:
a
void NULL pointer d
e
referenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
is
l
_tab_extend_
c
o
ns: avoid NULL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
impleme
n
t a
n
tiqua
t
ed
i
sl_basi
c
_
s
et_n_* in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_map_con
v
ex_
h
ull: av
o
id NU
L
L poin
t
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
s
l_tab_add_valid_eq:
return int
i
nstead of
i
sl_ta
b
*
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_affine_hu
l
l
.
c: a
f
fine_hull_with_co
n
e
:
avoid NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoola
e
g
e
isl_equ
a
litie
s
.
c: parameter_compressi
o
n_mu
l
ti: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_basic_map_project_out: avoid NULL p
o
in
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoolaeg
e
isl_coalesce
.
c:
c
oal
e
sce_pai
r
:
avo
i
d NULL po
i
nt
e
r der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_convex_hull
.
c: extend: fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implement
a
n
t
iquated isl_
s
et_n_* in terms of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoola
e
ge
is
l
_map_sim
p
l
i
fy
.
c:
n
ormalize_d
i
vs
:
a
v
oid NUL
L
pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl
_
in
p
ut
.
c
:
vars_drop
:
fix error handling
commit
|
commitdiff
|
tree
next