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_stream_read_obj: read reductions
2010-08-18
Sven Verdool
a
ege
isl_stream_read_obj: read reductions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
isl_input
.
c
: read
_
factor: fix read after
f
ree
in
err
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
sl
_
s
t
ream_error: pri
n
t unexpected identifier nam
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Ver
d
oolaege
rename isl_p
w
_qpolynomia
l
_fold_add to is
l
_p
w
_
q
polynomial_fol
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verd
o
ol
a
ege
do
c
: min
o
r clarificat
i
on on
o
pera
t
ions on uni
o
n
sets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
add isl_union_set_g
e
t_
c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-11
Sven V
e
rdoo
l
a
e
ge
isl_map_gist: a
l
so perform gist in u
n
ivers
e
conte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-10
Sven
V
erdoola
e
ge
isl_union_map: construct new isl_union_ma
p
on ope
r
atio
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
is
l
_
union_
m
ap_is_empty:
fix typo t
h
at res
u
lted in mem
o
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
S
v
en Verdoolaege
add isl_basic_map_h
a
s_defin
i
ng_equa
l
ity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
Sven
V
er
d
oolaege
add
isl_set_ge
t
_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-07
S
v
en Verdoolaege
isl
_
printer_print
_
map: fix pr
i
nting in
latex
fo
r
m
at
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Ve
r
do
o
lae
g
e
isl_set_wrap_f
a
ce
t
: normalize
r
esulti
n
g facet
c
onstr
a
int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
S
ven Verdoolaege
isl_c
o
alesc
e
.
c: fi
x
ty
p
o
i
n co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sv
e
n Verdoolaege
isl_pw_qpolynomial_intersect_domain: simplify polynomi
a
ls
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sve
n
Verd
o
o
laege
isl
_
qpo
l
ynomial_move_dims: plug memory leak and fix
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven V
e
r
d
oolaege
a
d
d is
l
_pw_
q
polynomial_read
_
fro
m
_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven
V
erdoolaege
add isl_qpolynom
i
al_fol
d
_substit
u
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_pw_qpolynomial_intersect_dom
a
in: d
r
op pieces that
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolaege
isl_m
a
p_produ
c
t:
u
sed nest
e
d s
p
aces
i
n
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Ve
r
doolaege
isl_pw_qpolynomial_bou
n
d:
handle isl_p
w
_qpolynomials
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
support nested is
l
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
S
ven
V
erdo
o
laege
doc: fix
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
ege
export isl
_
dim_tuple
_
m
a
t
ch
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
ege
isl_out
p
u
t
.
c: extract o
u
t co
m
mon print_
d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Ver
d
oolae
g
e
isl_i
n
put
.
c: read_tuple: con
s
truc
t
isl_
d
i
m instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
la
e
ge
doc:
remove des
c
r
i
p
tion of how to
g
e
t
the piplib submod
u
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdool
a
ege
isl_printer_print_pw_qpol
y
no
m
i
al_fold: print dim as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
olaeg
e
add isl_pw_qpolynomi
a
l_in
s
ert_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verdoo
l
a
ege
add isl_set_ins
e
rt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Ver
d
oola
e
ge
add isl_bas
i
c_map_i
m
age_is_bounded
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verdoolaege
avoi
d
NULL poi
n
ter excepti
o
n i
n
i
s
l
_
basi
c
_map_n_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolae
g
e
fix isl_pw_
q
polynom
i
al_re
s
et_di
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven
Ve
r
doolaege
add isl_mat_add_r
o
ws
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
a
dd isl_mat_ad
d
_ze
r
o
_
co
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-03
Sve
n
Ver
d
oolaege
e
x
port i
s
l
_
bas
i
c_map_move
_
dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
hide
i
sl_dim internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
doolaege
ad
d
is
l
_dim_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
i
sl
_
b
a
si
c
_map_rese
t
_
d
im
:
finaliz
e
r
e
sult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ver
d
oolaege
i
sl_transitive_closure
.
c:
a
n
onymize input m
a
p during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolae
g
e
isl_t
r
ansi
t
ive_closure
.
c: keep tr
a
ck of
d
om
a
ins f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoo
l
aege
isl
_
dim_d
r
op:
a
lways re
m
ove tuple name, even if num
b
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
ve
n
Verdoolaeg
e
isl_dim_set_tuple_name: al
l
ow ex
p
licit remo
v
a
l of tuple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Ve
r
d
oolaege
add s
u
ppor
t
f
o
r union se
t
s and rel
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n Verdoola
e
ge
isl_tran
s
itive_c
l
o
s
ure
.
c
:
extract out some
reu
s
able
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
a
d
d i
s
l
_pw_
q
polynomial
_
reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
e
g
e
add isl_map_has
_
e
q
ual_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
g
e
add is
l
_
dim
_
get_h
a
sh
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
a
e
ge
isl_dim: allow specifi
c
ation of t
u
ple n
a
mes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
isl_map_from
_
d
o
mai
n
_a
n
d_range
:
implement
i
n terms of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaeg
e
isl_b
a
s
ic_m
a
p_
d
omain:
pro
p
erly set dimensio
n
of result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdoolaeg
e
p
rivately exp
o
r
t
i
s
l_
s
e
t
_
reset_d
i
m and isl_m
a
p
_reset_d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
l
a
ege
is
l
_
m
ap_read: e
x
tract
o
ut read_var
_
d
ef
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_hash_
t
abl
e
_for
e
ach
:
pa
s
s
p
oi
n
ter to e
n
t
ry
d
ata
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdoola
e
g
e
i
sl_has
h
_t
a
ble_fo
r
eac
h
: add us
e
r argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Ve
r
doolaeg
e
isl_
t
r
a
nsiti
v
e_closure
.
c: fix double free
o
n err
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
e
rdoolae
g
e
isl
_
map_gi
s
t: use
s
imple hul
l
inste
a
d of co
n
vex hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoolaege
i
sl
_
map
.
c: fi
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
isl_cat: read gene
r
ic objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
o
l
aeg
e
isl_printer:
add N
U
LL checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdo
o
la
e
ge
make isl_
o
bj_none a constant exp
r
essi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
add
i
sl
_
map_ge
t
_c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map
_
fast_is_
u
niverse: also detect redu
n
dant
r
e
prese
n
t
ati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoo
l
aege
add isl_ma
p
_rea
c
hing_
p
ath_lengths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en V
e
r
doolaeg
e
isl_map_power: delay
e
quating path length
s
to power
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sv
e
n Verdoola
e
ge
is
l
_m
a
p_po
w
e
r: apply Floyd-Wars
h
all
to compute powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
ven V
e
rdoolaege
is
l
_map_lexm
a
x:
p
r
oduce less cry
p
tic
e
rror message
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
ven Verdo
o
lae
g
e
fix isl_basi
c
_ma
p
_move_d
i
ms in
prese
n
ce of exi
s
tentia
l
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ve
r
doolaege
isl_test: drop
debug
g
i
ng output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
ven Verdoo
l
aege
i
s
l
_transitive
_
closure
.
c
:
fix
t
y
p
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
ven Verdoolaege
fix is
l
_
m
ap_lex_ge and i
s
l
_ma
p
_lex_le in the zero-d
i
mension
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sven Ver
d
oolaege
isl_printer_print
_
m
a
p: rep
l
a
c
e
v
aria
b
l
e
by
i
ts
d
ef
i
nitio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Ve
r
do
o
laege
privately ex
p
o
r
t is
l
_basic_map_fas
t
_cmp a
n
d isl_basic_map_f
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven V
e
r
d
o
o
l
a
e
ge
i
s
l
_di
m
_
s
et_
n
ame:
don't ac
c
ept names that
l
ook li
k
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sv
e
n Verdoolae
g
e
i
s
l_con
v
ex_hull
.
c: avoid side-effects in
calls
to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
S
v
e
n Ve
r
doolaeg
e
a
dd i
s
l_ha
s
h_
b
u
iltin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoola
e
ge
add
i
sl_
i
nt_ge
t
_str
commit
|
commitdiff
|
tree
2010-07-02
S
ve
n
Verd
o
o
l
aege
doc
:
fix some
t
ypos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
i
s
l
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
Ma
k
efile
.
am: rea
l
ly include inc
l
ude/isl_ver
t
ic
e
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
add isl_map_is_bijectiv
e
commit
|
commitdiff
|
tree
2010-06-28
Sven Verd
o
ol
a
e
g
e
doc: fix
t
yp
o
commit
|
commitdiff
|
tree
2010-06-28
Sven V
e
rdoo
l
aege
d
o
c
: drop duplic
a
te booktitle from Kelly1996cl
o
sure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaeg
e
doc:
use more e
x
p
l
i
cit
notation
t
o avoid confusi
o
n
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
a
d
d isl_constraint_is_div_constrai
n
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_map_
s
i
mplify
.
c: s
e
parate out
isl_basi
c
_map_i
s
_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
d
o
olae
g
e
isl_b
a
sic_map_from_con
s
train
t
: keep all
d
ivs, eve
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_basic_map_
f
rom_con
s
tra
i
nt: on
l
y retu
r
n copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
V
e
r
do
o
laege
isl_constraint_ad
d
_d
i
v
:
correct
l
y set line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoo
l
aege
isl_
p
ip: ren
a
m
e
pip_options to avo
i
d
c
onflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_convex_hull
.
c: initial_
f
a
c
et
_
const
r
ain
t
: fix e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
d
o
c
:
describe backward incompatible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolae
g
e
doc: mention discussion group
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
r
ename isl_basic_
m
ap_convex_hu
l
l to is
l
_basic_map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl
_
affine_hull
.
c: outside_p
o
i
n
t
: fix err
o
r handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_t
a
b_rollbac
k
: avoid double
f
ree on error
p
ath
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_ta
b
.
c: tab_m
a
t_pr
o
duc
t
: avoid NULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdool
a
ege
isl_tab_extend_cons: a
v
o
id NULL pointer
d
erefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implement antiqu
a
ted isl_ba
s
i
c
_set_n_
*
in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_map_convex
_
hu
l
l: avoid NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
next