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_constraint_get_bound
2011-05-16
S
v
en
Verdoolaege
add isl_
c
o
n
straint_get_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
laege
a
d
d
i
sl
_
{
basic_,}map_may_be_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolae
g
e
add isl_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoolaege
add isl_basic_set_expand
_
divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
laege
i
s
l
_polynomial
.
c
: mo
v
e
m
e
r
ge_divs to isl_
l
oca
l
_space
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaege
add
isl_local
_
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaeg
e
is
l
_dim_si
z
e: h
a
n
d
l
e
isl_dim_all
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n
Verdo
o
laeg
e
a
d
d
isl
_
co
n
straint_inv
o
lves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdoolae
g
e
i
s
l_pri
n
t
e
r
_
p
rint_qpolynomial
:
supp
o
rt proper is
l
outp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
o
la
e
ge
add isl_qpolynom
i
al_align_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolae
g
e
ad
d
isl_map_align_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
do
o
laege
export isl_basic_
s
et_remove
_
redundancies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Ve
r
doolaege
export isl_qpol
y
nomial_gis
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oola
e
g
e
export isl_se
t
_eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Ver
d
o
olaege
is
l
/div
.
h: dro
p
d
e
p
endence o
n
isl/se
t
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oolaege
hide
isl_div int
e
rn
a
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oolaege
add isl
_
d
i
v_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoola
e
ge
add isl_mat_ge
t
_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
doc: drop documenta
t
ion for i
s
l-pol
y
lib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
add gmp flags to pkg-
c
o
nfig file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Ve
r
doolaege
expli
c
itl
y
li
n
k
in
g
mp
i
n
applicati
o
ns
t
h
at re
f
erenc
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoo
l
aege
configure
.
ac: don'
t
depend on automa
k
e 1
.
1
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
Sven
Verd
o
olaege
isl_pw_qpol
y
nomial_invo
l
v
e
s_dims:
a
l
so check whether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ver
d
oola
e
ge
add isl_
u
n
i
on_m
a
p_plain_is_injective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n
V
erdoolae
g
e
isl_
m
ap_
i
ntersect_range: add special case f
o
r intersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
add isl_vec_sor
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolae
g
e
a
d
d
isl_
u
nion_map_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Ve
r
do
o
lae
g
e
rename *_fast_
*
functions to
*
_pl
a
in_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
Mer
g
e branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-05-05
S
ven Verdoolaege
isl_
m
ap_range: correct
l
y handle m
a
ps with 0D domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolaege
isl_list
.
h: allow inclusion from C
+
+
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Ve
r
doolaege
isl_tab_pip: don't
simplify domain
i
n isl_f
o
r_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sve
n
Verdoolaege
add isl_pr
i
n
t
e
r
_pr
i
nt_constr
a
int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven
V
e
rdoolaege
a
d
d isl_
c
o
n
straint_ge
t
_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdo
o
laege
add i
s
l_mat_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
rename isl_mat_dump t
o
isl_mat_print_internal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Ve
r
doo
l
a
e
ge
add i
s
l_constraint_get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven
V
erdoo
l
aege
Merge
b
ran
c
h 'maint'
commit
|
commitdiff
|
tree
2011-04-25
Sv
e
n Verdool
a
ege
isl_basic_map_affine_hull: fin
a
li
z
e resul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
To
b
ias
G
ro
s
s
e
r
R
emove re
c
ently added un
u
sed va
r
iables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Grosser
A
d
d
extern C d
e
claration to
schedule
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
Sven Verdoolaege
dataf
l
ow
analysis: don
'
t depend on
w
ord size
du
r
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
add isl_union_set_compute
_
schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n V
e
rdoolaege
a
d
d isl_
t
a
b_basic_set_no
n
_
n
eg_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
a
d
d isl_tab_bas
i
c_set_non_trivia
l
_le
x
min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en V
e
rdoola
e
ge
isl_tab_pi
p
.
c: add_lexmin_eq: return in
t
in
s
tead
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
i
s
l_tab_pip
.
c: restore
_
lex
m
in:
return i
n
t i
n
stead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdo
o
laege
i
s
l_ta
b
_pip
.
c: add
some
d
ebuggin
g
code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_t
a
b_pip
.
c: fix
t
ypo in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Ve
r
doolaege
a
d
d isl_qui
c
k
sort (copi
e
d from glibc)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
isl_pr
i
nter_print_bas
i
c_set: also print inv
a
l
i
d
b
asic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add
isl_
u
ni
o
n_map_is_i
n
jective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
dd isl_union_m
a
p_i
s
_bije
c
tive
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
ad
d
isl_union_map_is_single
_
valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoo
l
aege
ad
d
isl_ma
t
_
a
dd_zero_ro
w
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_blk: don'
t
reu
s
e overly la
r
ge
b
locks f
o
r smal
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_h
m
ap_map_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
add isl_uni
o
n_
m
ap_copy_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Ver
d
oolae
g
e
a
d
d
i
sl_
u
n
io
n
_m
a
p_con
t
ai
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
add isl_basic_s
e
t_transform
_
dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_b
a
sic
_
s
e
t_offset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdo
o
laeg
e
c
h
ange
i
sl_ma
t
_sub
_
allo
c
prot
o
t
yp
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
make
i
s
l_mat_
s
u
b
_* functi
o
ns
private
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdo
o
laege
add i
s
l
_vec_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoola
e
ge
add isl_mat_initial_non_
z
ero_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdo
o
laege
add i
s
l_mat_set_el
e
ment_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
o
l
aege
a
d
d
i
sl_basic_set
_
add_constr
a
i
n
ts_dim_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaeg
e
add isl_dim_map_r
a
nge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_
d
im_map: al
l
o
w
signed
m
apping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
i
sl_dim
_
map: ex
t
r
a
c
t
f
r
om isl_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
change proto
t
ype of
i
sl_
t
ab_d
u
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
V
e
rdoolaeg
e
add i
s
l_ma
p
_remove_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
doc
:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verd
o
olaege
doc: add a
n
ote
o
n the accuracy of
our approximation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
add isl_union_s
e
t_co
e
fficients and isl_
u
n
ion_s
e
t_solutions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sv
e
n Verdoo
l
aege
add isl_uni
o
n
_
set_l
i
ft
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
S
v
e
n
Verdoola
e
ge
Merge branch '
m
a
in
t
'
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
isl_tab
:
alway free saved basis
u
ndo r
e
cord
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven
Verd
o
o
laege
make sure des
t
in
a
tion for
G
DB module
e
x
ists before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoo
l
aege
isl_tab_pip
.
c
:
add_l
e
xmin_eq: remove misguide
d
optimiz
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sv
e
n Verdoolaege
isl_
b
asic_m
a
p_lex
m
in:
t
urn off e
q
uali
t
y d
e
tect
i
o
n
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
use
s
il
e
nt m
a
ke rules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
isl_stream_r
e
ad_map
:
fix handli
n
g
of divs in tupl
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven V
e
rdoola
e
ge
isl_ma
t
_left_he
r
mit
e
: plu
g
m
e
mory leak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven V
e
rdoolaege
p
l
u
g memory leak in isl_mat_p
r
odu
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
isl 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
doc: add some im
p
lementati
o
n
d
etails on
parametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
ge
isl
_
lp
.
c
:
avoi
d
c
la
n
g
w
arning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
is
l
_stre
a
m
_read_map: accept floord an
d
ceild expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolaege
isl_stream_read_map: acce
p
t
min and ma
x
ex
p
ressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolaege
isl_
s
tr
e
am_read
_
m
ap:
properly r
e
ad
n
este
d
divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolae
g
e
isl
_
s
t
r
e
am_rea
d
_
map: treat divs as o
u
t
p
ut v
a
riables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Ver
d
oolaeg
e
isl
_
map_
c
oalesce: plug
memory
leak on error pa
t
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_mat
_
exte
n
d: av
o
id
memory leak when re
a
ll
o
c fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_basic_map_
o
v
e
rlying_set: avo
i
d memor
y
lea
k
when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_stream_ge
t
c:
a
void memory leak when r
e
alloc fai
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n V
e
rdoolaege
rudimentary support
f
o
r
asynchro
n
ous term
i
n
a
tion of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verdoo
l
aege
h
ide isl_ctx internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en Verdoolaeg
e
isl_vec_
r
ead_from_fi
l
e: drop input_format
a
rgument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
ven Ver
d
oo
l
aege
is
l
_map
.
c: drop u
n
us
e
d e
r
ror
label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next