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_flatten
2010-08-06
Sven
V
e
rdoolaege
add i
s
l
_
qpolyno
m
i
a
l
_fold_s
u
b
stitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
o
laeg
e
is
l
_pw_qpolynomial_inters
e
ct
_
domai
n
: drop
p
ieces
that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaege
i
sl
_
map_product: us
e
d nested
space
s
in result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
i
sl_p
w
_qpo
l
ynomial_boun
d
:
handle isl_pw
_
qpolynomials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
suppo
r
t nested isl_
d
im
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaeg
e
d
o
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
e
x
p
ort isl_
d
im_
t
uple
_
mat
c
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
ege
isl_o
u
tput
.
c: extract out common print_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
isl_input
.
c: read_tuple: co
n
struct isl_dim
i
nstead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laege
doc: rem
o
v
e descri
p
tion of how to get
t
he piplib submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en V
e
r
doolaege
isl_prin
t
er_print_pw_qpolynomial_fold: print di
m
as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdoolaege
add isl_pw_qpolyno
m
ial_insert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdoolaege
add isl_set_in
s
ert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
ven V
e
rdo
o
la
e
ge
add isl_basic_map_ima
g
e_is_b
o
unded
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
olaege
a
v
o
i
d NULL pointer exception i
n
isl_basic_map
_
n_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoola
e
g
e
fix isl_pw_
q
pol
y
nomial_re
s
et_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
ad
d
is
l
_mat_add_row
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
ven Verdoolaeg
e
ad
d
i
sl_mat_add
_
zero
_
c
ols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
Sve
n
Ver
d
oolae
g
e
export isl_basic_
m
ap_
m
ove_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n
Verdoola
e
g
e
hide
i
sl_
d
im interna
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdool
a
ege
add isl_dim
_
g
e
t_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
ven V
e
rdoolaege
i
s
l_basic_ma
p
_re
s
et_dim:
fi
n
a
l
ize
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
ven Verdo
o
laege
i
sl
_
tra
n
sitive_closure
.
c: anonymize inpu
t
map d
u
rin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
erdool
a
ege
isl_t
r
ans
i
tive_closure
.
c: k
e
ep track of
d
omains for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven V
e
rdoolaege
isl_dim_dr
o
p: always
r
emove tupl
e
name, even
i
f number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Verdoolaeg
e
is
l
_dim_s
e
t_t
u
ple_name: al
l
ow ex
p
licit
re
m
oval
o
f tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en
V
erdoolaege
add su
p
po
r
t for union sets
and relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Ve
r
dool
a
ege
isl_tran
s
itive_closure
.
c: extra
c
t out some reusable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoo
l
aege
add
i
sl_pw_qpolyno
m
i
a
l
_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
ven
V
e
rdoola
e
ge
add isl_map_has_
e
qua
l
_d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
a
d
d
isl_dim_
g
et
_
hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_dim: allow sp
e
cif
i
cation of tu
p
le nam
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_from_do
m
ai
n
_and_
r
a
nge: implement i
n
ter
m
s of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
ol
a
ege
isl_b
a
sic
_
map_domain:
p
roper
l
y set
dimens
i
o
n of result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
privat
e
ly export
i
sl_set_reset_d
i
m and isl_map
_
reset_
d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaege
i
sl_ma
p
_read: extract
out
r
e
a
d
_
var_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdool
a
ege
isl_hash_tab
l
e
_
foreach: pass pointer to en
t
ry
d
ata
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoolaege
i
s
l_hash_table_fo
r
each: add user argum
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ve
n
V
erd
o
ola
e
ge
isl_trans
i
tive_c
l
osur
e
.
c
: fix
d
ou
b
l
e
free on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en V
e
rdoo
l
aeg
e
isl
_
m
a
p
_g
i
st: use simple hull
i
n
stead
o
f 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
t
ypo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
g
e
isl_cat: r
e
ad generic objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoola
e
ge
isl_pri
n
ter
:
a
dd NULL checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdool
a
eg
e
make i
s
l_obj_none a cons
t
an
t
expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaege
add isl_map_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolae
g
e
isl_map_fast_is_universe: also d
e
tect redu
n
dan
t
r
epresentati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en Ve
r
doolaege
add isl
_
map
_
reaching_pa
t
h_lengths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ver
d
o
o
lae
g
e
isl_map_power: delay equating pat
h
leng
t
h
s to power
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
v
e
n
Verdo
o
laege
isl_
m
ap_pow
e
r: appl
y
F
l
oyd-Warsha
l
l
to compute power
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en Ve
r
doolaege
i
s
l_map
_
lexmax: produce
l
ess cryptic error message
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
f
ix isl_basic_map_move_
d
i
m
s in pr
e
sence
o
f
e
xist
e
ntiall
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
ven V
e
rdoolaege
i
s
l
_
tes
t
: d
r
op debu
g
ging outp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
ven Verdoolaege
isl_transitive_closure
.
c: fix typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ve
r
do
o
laege
fix
isl_map_
l
ex_ge and isl_map_lex_le in the zer
o
-dime
n
siona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verdoolae
g
e
isl
_
p
r
inter_
p
rint_map: replace v
a
riabl
e
by its definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven V
e
r
d
o
olaege
p
rivately
export isl_basic_m
a
p_fast_cmp and isl_
b
asic_ma
p
_
fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sv
e
n Verdoolaege
isl
_
dim_set_name:
d
on't accept
names t
h
at look like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
Tobias G
r
osser
Remove comma at t
h
e end of enumeration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven
Verdoo
l
ae
g
e
isl_
c
o
n
vex_hul
l
.
c:
a
vo
i
d side-e
f
fects in c
a
lls to i
s
l_
i
nt_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoo
l
aege
add isl_hash_
b
u
i
ltin
commit
|
commitdiff
|
tree
2010-07-04
Sv
e
n Verd
o
olaege
add isl_int
_
get_st
r
commit
|
commitdiff
|
tree
2010-07-02
S
v
e
n
Verdo
o
l
a
ege
d
oc
:
fix so
m
e t
y
p
os
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
i
s
l 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
Mak
e
file
.
a
m
: really include in
c
lud
e
/isl_vertic
e
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
a
dd isl_map_
i
s_bije
c
tive
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Ver
d
oolaege
doc: drop duplicate
bo
o
ktitle from Kelly1996
c
losure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdoo
l
ae
g
e
doc: use more explicit notation to avo
i
d con
f
usion
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
add isl_con
s
traint_is_di
v
_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
e
r
dool
a
ege
isl_
m
ap
_
simplify
.
c:
sepa
r
ate out isl_
b
a
s
i
c_ma
p
_is_div_
c
onstraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doolaege
i
sl_basic_map_
f
rom
_
con
s
traint: keep all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
oolaege
isl_b
a
sic
_
map_from_c
o
nstr
a
int: only return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_constraint_add_div: correct
l
y
set line to f
i
rst
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verd
o
olaege
i
s
l_pip: r
e
na
m
e
pip_o
p
tions t
o
a
void confl
i
ct with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_con
v
ex_hull
.
c: init
i
a
l
_fa
c
et_constrai
n
t: fix
er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoola
e
ge
doc: d
e
scr
i
be backwa
r
d
incom
p
atible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
d
o
c:
m
en
t
ion discussion gr
o
up
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
rename isl_basic_m
a
p_
c
onvex
_
hull to isl_basic_ma
p
_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
e
ge
isl_affine_
h
ull
.
c: outsi
d
e_poin
t
: fi
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_tab_
r
ollback: avoid double free on
error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_tab
.
c: t
a
b
_
mat_pr
o
duct:
a
void NULL point
e
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_ta
b
_
e
x
t
end_cons: avoid
NULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verd
o
olaege
implem
e
n
t
antiqu
a
ted isl_basic_set_n_* in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
ege
isl_m
a
p_c
o
nv
e
x_hull: avoid
NUL
L
pointer
dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_tab_add_va
l
id_eq: return int instead of is
l
_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaege
is
l
_affine
_
hull
.
c: affine_hull_with_c
o
ne: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_equalities
.
c: para
m
eter_compression
_
m
ulti: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_basic_map_project_
o
ut: avo
i
d NUL
L
poin
t
er d
e
ref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
ge
isl_coalesce
.
c
:
coalesce_pair: avoid NULL
p
ointer d
e
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
s
l_convex_hull
.
c:
e
xtend: fix err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
imple
m
ent antiquate
d
isl_set_n_* i
n
t
e
rms of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
is
l
_map_simplify
.
c: normalize_div
s
:
a
vo
i
d NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoo
l
aege
isl_input
.
c: vars_drop: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
i
sl_c
o
nve
x
_hull
.
c: uset_c
o
nv
e
x
_hul
l
_wrap_bo
u
n
d
e
d
:
fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laeg
e
isl_se
t
_wra
p
_f
a
c
et: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
eg
e
i
sl_tab_min: avoid NU
L
L
p
ointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
r
doolaege
isl_affi
n
e
_hull
.
c:
extend_affine
_
hull: avoid
N
ULL p
o
int
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
d
oolaege
is
l
_bas
i
c_map_e
x
tend: p
l
u
g
memo
r
y
leak
o
n error p
a
th
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_af
f
ine_hull
.
c:
e
quali
t
ies_in_underlying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
sl_basic_set
_
preimage: av
o
id NULL
pointe
r
dere
f
erence
commit
|
commitdiff
|
tree
next