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
update .gitignore
2010-08-08
U
day
K
umar Reddy
update
.
gitignor
e
commit
|
commitdiff
|
tree
2010-08-07
Sven Ver
d
ool
a
ege
isl_printer_print_map: fix
p
rinting in latex
f
ormat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolae
g
e
i
s
l
_
set_wrap_facet: normalize r
e
s
u
lt
i
ng facet constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Ve
r
doolaege
isl
_
c
o
alesce
.
c: fi
x
typo in
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Ve
r
doolaege
isl_pw_qpol
y
n
o
mial_i
n
terse
c
t
_domai
n
:
s
implify p
o
lyn
o
mials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven
Verdoolaege
isl_qp
o
l
y
nom
i
a
l
_move_dims: plug
memory
leak and
f
ix
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Ve
r
doolaege
add isl_pw
_
qpo
l
ynomial_rea
d
_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
add isl_qp
o
lyn
o
mial_fold_substitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
a
e
ge
i
s
l_pw_qpolynomial_intersect_
d
omain: dro
p
piece
s
that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_ma
p
_
produc
t
: use
d
nested spaces in
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
isl_pw_qpolynomial
_
bound: hand
l
e
isl_pw_qpolynomials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
su
p
port nested i
s
l_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
V
erdoolaege
doc:
f
ix t
y
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
ex
p
ort isl_dim
_
tuple_match
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_ou
t
p
u
t
.
c: extract out common print_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoola
e
g
e
i
s
l
_
input
.
c: read_tu
p
le: construct is
l
_dim i
n
stead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
g
e
do
c
: remov
e
description of
h
o
w to get the pip
l
i
b subm
o
dule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Ve
r
d
o
ola
e
ge
isl_p
r
inter_print
_
p
w_
q
po
l
ynomial_fold
:
print dim as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
V
e
r
d
oolaege
a
d
d isl_pw_qpolynomial
_
inse
r
t
_
dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
r
d
o
o
laege
add isl_set_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
a
dd isl_bas
i
c_map_image_is
_
boun
d
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdool
a
ege
avoid NULL point
e
r exception i
n
isl_bas
i
c_map_
n
_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verdoola
e
ge
fix isl_pw_qpolynomial_reset
_
d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
ad
d
i
sl_mat_add_row
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rdoolaege
a
d
d
isl_ma
t
_add
_
zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
Sven Verdoolaege
export
isl_basic_map_move_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Ve
r
doola
e
ge
hide isl_dim in
t
ernals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Verdoolaege
a
d
d
i
sl_dim
_
ge
t
_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
ven Verdoola
e
ge
is
l
_b
a
sic_ma
p
_reset_dim: f
i
n
aliz
e
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
erdoolaege
i
sl_transitive_clo
s
u
r
e
.
c: a
n
onymize
i
nput map
during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Verdoolaege
isl_transitive
_
closure
.
c: k
e
ep tr
a
ck of do
m
a
i
ns for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
erdoolaege
i
s
l_
d
i
m
_d
r
op: alw
a
ys remove
t
uple n
a
me, even if number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verd
o
olaege
isl_dim_set_tuple_name: allow explicit
re
m
oval of tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
a
d
d
support for union
sets and relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_transitive_cl
o
sure
.
c: extract
out some
re
u
sable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
a
dd isl_pw_qpolynomial_reset_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_map_has_equa
l
_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoo
l
aege
add
isl
_
dim_
g
et_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoola
e
ge
is
l
_dim:
al
l
ow specificati
o
n of tuple
n
a
me
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoolaeg
e
isl_map_from_domain_and_range:
i
mplement in
t
e
rms of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolaege
is
l
_basic_map_domain: properly set dimension of result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoolaege
privately export isl_set_reset_dim an
d
isl_map_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
sl_m
a
p_read: extract out re
a
d
_
var_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
r
doolaege
isl_hash_table_fore
a
ch: pass
poin
t
er to ent
r
y da
t
a
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
V
erdoola
e
ge
isl_hash_t
a
ble_f
o
rea
c
h
:
add
u
ser a
r
gument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
isl_t
r
a
nsitive_closure
.
c: fix do
u
ble
f
ree on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoolaege
isl_
m
ap_g
i
s
t
: use simple hull i
n
stead of conve
x
hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaeg
e
is
l
_map
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en
Verdoolaeg
e
i
sl_cat: read
g
e
neric obj
e
cts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdool
a
ege
is
l
_
p
r
inter: add NULL
checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
g
e
make isl_obj_none a
c
o
n
stant expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
add i
s
l_ma
p
_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoolaege
isl_ma
p
_f
a
st_is_
u
niverse:
a
lso de
t
ect
r
edundant repre
s
entati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdo
o
l
a
e
g
e
a
dd isl_map_reaching_path_le
n
gth
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en Verdoolaege
isl_map_power:
d
el
a
y
equating path leng
t
hs
t
o
power
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
is
l
_
map_
p
ower: apply Floyd-Wa
r
s
h
all t
o
co
m
pute
p
owers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
v
e
n
Verd
o
olaege
isl
_
map
_
l
exmax: produce le
s
s
cryptic
e
r
r
o
r
m
essage
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
ven Verdoolaege
fix isl_ba
s
i
c
_m
a
p_mo
v
e_dims in presenc
e
o
f
existentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sve
n
Verdoolaege
isl_test:
drop debuggin
g
output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
ven Verd
o
olaege
isl_transiti
v
e_c
l
osure
.
c:
f
i
x
typo in
co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verd
o
olaege
fi
x
isl_
m
ap
_
lex_ge and isl_map_lex_l
e
in the zero-dimensiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sv
e
n Verdoolaege
isl_printer_prin
t
_m
a
p:
r
eplace variable by it
s
defini
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Ve
r
doolaege
privately export i
s
l
_basic_map_fast_
c
mp and isl_basi
c
_map_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
S
v
e
n Verdoolaege
isl
_
dim
_
set
_
n
ame: d
o
n
't accept n
a
mes
t
hat look like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
Tobi
a
s Gr
o
sser
Remo
v
e c
o
mma
at the end of enumer
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven
Ver
d
oolaege
is
l
_con
v
ex_hull
.
c: avoid side-effects in
calls
t
o isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sv
e
n
Verdool
a
ege
add isl_
h
ash_bu
i
lti
n
commit
|
commitdiff
|
tree
2010-07-04
Sve
n
Verdo
o
laege
add isl_
i
nt_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdoolaege
doc: fix som
e
typo
s
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoo
l
aege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
Ma
k
efi
l
e
.
a
m: really include incl
u
d
e
/isl_ver
t
ices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
add isl_map_is_bije
c
tiv
e
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
doola
e
ge
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verd
o
o
laege
doc: d
r
op duplicate book
t
itle from Kelly1996
c
losure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoo
l
aege
doc: u
s
e
more
e
xplicit no
t
ation to avoid c
o
nfusio
n
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
add is
l
_constraint_is
_
d
i
v
_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdoolaege
isl_
m
ap_simplif
y
.
c: s
e
p
a
r
a
te out is
l
_b
a
sic
_
map_is_
d
iv_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
is
l
_ba
s
i
c_map_fr
o
m
_constrain
t
: keep all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaeg
e
is
l
_
basic_map_from_c
o
ns
t
ra
i
nt
:
only return copy o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_c
o
nstraint_add_div: correctly set lin
e
to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_pip
:
r
e
name pip_opti
o
n
s
to avoid co
n
flict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aege
isl_c
o
nve
x
_hull
.
c: init
i
al_face
t
_constrai
n
t: fix
err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
a
ege
doc: describe b
a
ckw
a
rd incompati
b
le
chan
g
es
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
ge
doc: me
n
tion discussion group
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoola
e
ge
rename isl_basic
_
m
a
p
_
convex
_
h
ull to isl_basic_map
_
remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_affi
n
e_hull
.
c: outside_point: fi
x
erro
r
hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_rollback: avoid
double free on
e
rror path
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_tab
.
c: tab_mat_pr
o
duct
:
avoid
N
ULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
ege
i
sl_tab_extend_cons: av
o
i
d
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implement antiquated isl_basic_set_n_* in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_map_c
o
nve
x
_
h
u
ll: avo
i
d NULL pointer derefer
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_
t
a
b
_add_valid_eq: re
t
urn
int in
s
tead of isl_
t
ab *
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_affine_hull
.
c: affine_hull_with_co
n
e: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaege
isl_
e
qual
i
ties
.
c: parameter_compressi
o
n_m
u
l
t
i
: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
isl_basic_map_pr
o
ject_
o
ut: avoid NULL pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_coalesce
.
c: coalesce_pair: avo
i
d
NULL
poin
t
e
r derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erd
o
olaege
isl_conve
x
_hu
l
l
.
c:
ex
t
end: fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
implement an
t
iq
u
ated
i
s
l_s
e
t_n_* in ter
m
s o
f
isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_map_simplify
.
c: normalize_divs:
avo
i
d
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
do
o
l
a
ege
isl_input
.
c:
v
a
rs_drop: fix
error handling
commit
|
commitdiff
|
tree
next