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
doc: remove description of how to get the piplib submodule
2010-08-05
Sven
V
er
d
oolaege
doc: remove descrip
t
ion of how to get the piplib su
b
module
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoo
l
aege
isl_print
e
r_print_pw_q
p
olynomial_fold:
p
r
i
nt
d
im as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdool
a
ege
add isl
_
p
w_qpo
l
ynomial_insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaeg
e
a
d
d
i
sl_
s
et_
i
nsert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
er
d
oolaege
add
isl
_
basic_map_image_is_bounded
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
avoid NU
L
L poin
t
er exception in i
s
l_
b
asi
c
_map_n_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
fix isl_pw_qpolyno
m
ial
_
reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Ve
r
doolaege
add isl_mat_a
d
d_
r
ow
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
a
d
d i
s
l_mat_add
_
z
ero_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-03
Sven Verdoolaege
export isl_
b
asic_map_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaeg
e
hide isl_dim interna
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
add isl_dim_get_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_basic_map_reset_dim: finalize res
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_tr
a
n
sit
i
ve_c
l
osur
e
.
c: anonymize inp
u
t map dur
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
ven Verd
o
o
lae
g
e
isl_transi
t
ive_closure
.
c: kee
p
track of domains
f
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
erdool
a
e
ge
isl_dim_drop:
alway
s
re
m
o
v
e t
u
p
le name, ev
e
n if number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verdoolaege
isl_dim_set_tupl
e
_name: allow e
x
plici
t
r
e
mov
a
l
o
f tu
p
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verd
o
ol
a
ege
add
s
upport for
u
nio
n
sets an
d
relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en
V
e
rd
o
o
la
e
g
e
isl_t
r
ansitive_
c
losure
.
c
: extract out
s
ome reusable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoo
l
aege
add isl_pw_qp
o
lynomial_reset_d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_map
_
has_equal_d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdool
a
ege
add isl_dim_ge
t
_
h
as
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Ver
d
oolaege
isl_dim: allow specificati
o
n of tuple names
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoola
e
ge
isl_
m
a
p_from_do
m
ain_and_range:
implement in te
r
m
s of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaege
isl_b
a
sic_m
a
p_d
o
ma
i
n:
p
roperly set dimen
s
i
o
n of result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolae
g
e
p
r
ivately export
isl_
s
et
_
rese
t
_dim and isl_map_r
e
set_di
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
r
dool
a
ege
isl_map_read: extract
out read_var_
d
ef
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaeg
e
i
s
l
_h
a
sh_table_for
e
ach: p
a
ss
pointer to
e
nt
r
y dat
a
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_hash_table_foreach: add
u
s
er ar
g
umen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Ver
d
oola
e
ge
isl_tra
n
sitive_closure
.
c
:
fix double free o
n
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_
g
ist: use sim
p
le
hull in
s
tead of convex hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Ver
d
o
olaege
i
sl_map
.
c: f
i
x typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdool
a
e
ge
isl_c
a
t:
r
e
ad
g
eneric o
b
jects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en V
e
rdoola
e
ge
isl_printer: a
d
d
N
U
LL
c
hecks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaege
m
ake is
l
_o
b
j_none a const
a
nt exp
r
ession
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
g
e
add isl_map_get_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdool
a
ege
isl_map_fast_is_un
i
vers
e
: als
o
detect redundant representa
t
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven V
e
rd
o
olaege
a
dd isl_m
a
p
_reaching_path_lengths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_map_po
w
er: dela
y
equa
t
i
n
g path leng
t
hs to pow
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verd
o
olae
g
e
isl_map_power: apply Floy
d
-
W
arshall to com
p
ute p
o
wers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven V
e
rdoolaeg
e
isl_ma
p
_
le
x
m
ax: pro
d
uc
e
less cryptic err
o
r message
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
f
ix isl_basic_map_move_dims in prese
n
ce of existentia
l
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sve
n
V
erdoolaeg
e
isl_te
s
t: drop debugging output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n Verdoolaeg
e
isl_transitive_closure
.
c: f
i
x
ty
p
o in
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
fix isl_
m
ap_lex_g
e
and isl_map_
l
ex_l
e
i
n
the z
e
ro-dime
n
s
iona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sven Ver
d
ool
a
ege
isl_printe
r
_prin
t
_map: rep
l
ac
e
variable by its
d
efinit
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaege
pr
i
v
a
t
e
l
y
export
i
sl_ba
s
ic_map_fast_cmp a
n
d
isl_basic_map_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
S
v
en Verd
o
olaege
is
l
_dim_
s
et_name: don't accept names tha
t
look like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-11
Tob
i
as Grosse
r
Remo
v
e
c
omma at the end of enumeratio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sv
e
n Ve
r
doolaege
isl_c
o
nvex_hull
.
c: avoid
s
ide-effects in calls to isl_i
n
t_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoo
l
aege
add isl_hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verd
o
olaege
a
dd isl_int_ge
t
_
s
tr
commit
|
commitdiff
|
tree
2010-07-02
Sven Ve
r
d
o
o
l
a
e
g
e
doc: fix some typos
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaeg
e
is
l
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
M
a
kefile
.
am: really inc
l
ude
i
nc
l
ude/
i
s
l_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolae
g
e
add isl_map
_
is_bijective
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdool
a
e
ge
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verd
o
ola
e
ge
doc:
d
rop duplic
a
te bo
o
ktitle from K
e
l
ly1
9
96
c
l
o
su
r
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoo
l
aege
do
c
: use more exp
l
icit notation to avoid
c
onfusion
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoo
l
aege
add is
l
_c
o
nstraint_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
olaege
isl_map_simplify
.
c: separate out
i
sl_
b
asic_
m
ap_is_div_const
r
aint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
isl_bas
i
c_m
a
p_from_cons
t
rai
n
t: keep all
divs
,
even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
isl_ba
s
ic_map_f
r
om_constrai
n
t: only return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdoolaege
isl_con
s
traint_add_div: correctly set lin
e
to fi
r
st
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoo
l
a
e
ge
i
sl_pip: rena
m
e
pip
_
options to avoid confli
c
t wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_con
v
ex_hull
.
c: initial_f
a
cet_constraint
:
f
i
x
e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
aege
d
oc: describe
b
ackwar
d
incompatib
l
e changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc
:
mention
discussion group
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoola
e
g
e
rename isl_basic_map_co
n
vex_
h
ull t
o
isl_
b
as
i
c_map_r
e
move
_
r
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
la
e
ge
i
s
l
_affine_hull
.
c: outs
i
d
e_point:
fix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
ta
b
_rollbac
k
:
avoid double
free on error p
a
th
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
er
d
oolaeg
e
isl
_
tab
.
c
:
t
ab_
m
at_prod
u
ct
:
avoid NULL pointer
d
ere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
rd
o
olaege
isl_tab_exte
n
d_c
o
n
s
: avoi
d
NULL p
o
inter dere
f
erenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implement antiquated
i
sl_basic_se
t
_
n
_* in ter
m
s of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoola
e
ge
isl_
m
ap_con
v
ex
_
hull: avoid
NULL
p
ointer dere
f
eren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl
_
tab_add_vali
d
_eq: return
i
n
t
instead of
isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
i
sl_affi
n
e_hull
.
c: affine_hull_with_cone:
a
void NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
isl_
e
qualit
i
es
.
c: para
m
ete
r
_compress
i
on_multi: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_basic_map_pr
o
ject_out
:
avoid N
U
LL pointer
d
eref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
sl_coa
l
esce
.
c:
c
oales
c
e_pair:
avoid
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
ege
i
sl_con
v
ex_hull
.
c:
e
x
t
e
nd
:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
i
mpleme
n
t an
t
iquated isl_set_n_*
i
n
t
erms of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
e
r
dool
a
ege
isl_map_sim
p
lify
.
c: normaliz
e
_divs: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_input
.
c: vars_drop: f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_conve
x
_hu
l
l
.
c: use
t
_co
n
v
e
x_hu
l
l_wrap_bounde
d
: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolae
g
e
i
s
l_set_wrap_facet: fix error
ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_tab_min: avoid N
U
L
L
pointer d
e
refere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
a
ffine_hull
.
c: ex
t
e
n
d_affin
e
_
h
u
ll:
a
v
o
id
N
UL
L
point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
is
l
_basic_m
a
p_exten
d
: plug memory leak on
e
rror path
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doola
e
ge
isl_affine_hull
.
c: equaliti
e
s_in_u
n
der
l
yi
n
g_se
t
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
r
d
ool
a
ege
isl_bas
i
c
_set_preimage: av
o
i
d
NULL
p
oi
n
ter dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laege
isl_tab_p
i
p
.
c
: no_sol_in_strict
:
fix
e
rror han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_
a
ffi
n
e_hull
.
c: equalities_in_und
e
rlyin
g
_
set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_affine
_
hull
.
c: af
f
in
e
_hu
l
l: fix erro handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
isl_map_project_o
u
t: fix error r
e
tu
r
n
v
a
l
ue
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
ool
a
ege
i
sl_basic_map_intersect_range
:
avoid
NULL po
i
nt
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
isl_
t
a
b
_pi
p
.
c
:
find_sol
u
tions
:
fix
e
r
ro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
aege
is
l
_basic_map_alloc_d
i
m: fix err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_b
a
s
ic
_
map_interse
c
t: av
o
id NULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_ta
b
_pip
.
c: sol_
m
a
p
_init: avoid N
U
LL po
i
nter d
e
refe
r
ence
commit
|
commitdiff
|
tree
next