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
Sven Verd
o
ola
e
g
e
add isl_
c
on
s
tr
a
int_ge
t
_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
aege
add isl_
{
basic_,}map_ma
y
_be_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoola
e
ge
a
dd
i
s
l_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oolaeg
e
ad
d
isl_bas
i
c_se
t
_
expand_
d
ivs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ve
n
Verdoola
e
ge
isl_polyn
o
m
i
al
.
c: m
o
ve merge_div
s
t
o isl_l
o
cal_space
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_
l
ocal_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoolaege
isl_dim_size: handle
isl_dim_all
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doo
l
aege
add isl_con
s
traint
_
in
v
olves_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoola
e
ge
isl_print
e
r_pri
n
t
_
qpolyn
o
mia
l
: sup
p
ort prop
e
r isl
o
utput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaege
add isl_
q
polynomial
_
align_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add is
l
_map
_
al
i
gn_
p
a
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Ver
d
oolaeg
e
export
is
l
_b
a
sic_set_remove_
r
edunda
n
c
i
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoolaege
export
isl_qpolynomial
_
g
i
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolaege
export is
l
_
s
e
t_elimi
n
ate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
ol
a
ege
i
s
l/div
.
h: dro
p
d
e
pendence
on i
s
l/s
e
t
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oola
e
ge
hide isl_
d
iv in
t
ernals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_div_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_
m
at_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oolaege
doc: drop
d
ocumentat
i
on
f
or isl-poly
l
i
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Ver
d
oolaege
a
dd gmp flags to pkg-co
n
fig
f
ile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
expli
c
itly l
i
nk in gmp
i
n applic
a
tions
that reference
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Ver
d
oolaege
configure
.
ac
:
don't depend on aut
o
make
1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
Sven Verd
o
olaege
is
l
_pw_qpolyn
o
m
i
al_i
n
volves_dims: a
l
so ch
e
ck
w
he
t
he
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
ven
V
e
rdoolaege
a
dd
isl
_
union_map_plain_is_i
n
jective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
isl
_
map_intersect_ra
n
ge: add
spe
c
ial case for intersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
add i
s
l_vec_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Verdoola
e
ge
add
i
sl_union_map_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven V
e
rdoolaeg
e
rename *
_
f
a
st_* functions t
o
*_plain_
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdo
o
laege
Merg
e
branch
'
maint'
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Verdoola
e
ge
isl_map_rang
e
:
cor
r
e
c
tly handle maps with
0D dom
a
i
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven
Verdoo
l
aege
i
sl_
l
i
st
.
h: a
l
low inclusion from
C
++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven
Verdoolaege
isl_
t
ab_pip: do
n
't
simplify
domain in isl_f
o
r_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolaege
add isl_pr
i
nter_print_constrai
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolaege
ad
d
isl_constr
a
int_ge
t
_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sv
e
n Verdoolaege
a
d
d isl_mat_d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
S
v
en Verdool
a
ege
r
e
name isl
_
mat_dump to isl_mat_print_
i
n
t
ern
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolae
g
e
add isl_constraint_get_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdool
a
eg
e
Merge br
a
n
c
h
'maint'
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdo
o
laege
isl_basic_m
a
p_affine_hull: finalize re
s
ul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Gro
s
s
e
r
Remo
v
e
r
e
cently added unu
s
ed variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Tob
i
a
s
Grosser
Add
e
xter
n
C decla
r
ation to sc
h
edule
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
Sve
n
Ve
r
dool
a
ege
d
a
t
aflow analysis: don't
de
p
en
d
on word size du
r
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_u
n
i
on
_
set_
c
ompute_sched
u
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
add isl_
t
ab_basic_set_n
o
n_neg_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add i
s
l_t
a
b_
b
a
s
i
c_s
e
t_non_
t
rivial_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
isl_tab_pip
.
c:
add_lexmin_
e
q:
r
eturn int i
n
stea
d
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaeg
e
isl_tab_pip
.
c: rest
o
re_lexm
i
n: return int instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n
V
erdoolaege
isl_ta
b
_pip
.
c: ad
d
some
debugging code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
isl_tab
_
pip
.
c: fix typo i
n
com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
add isl_quicksort (copied from glibc)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl
_
printer_print
_
b
asic_s
e
t: also p
r
int invalid basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_union_map_is_injective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en
V
e
r
doolaege
ad
d
isl
_
union_ma
p
_is_bijecti
v
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl
_
union_m
a
p_is_single_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
add isl_mat_a
d
d_zer
o
_
r
ow
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
isl_blk: don't
r
euse overly l
a
rge blocks for s
m
all
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
add isl_hmap_ma
p
_bas
i
c_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
add isl_union_map_c
o
py
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
d
d isl_union_map_contains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
add isl_ba
s
i
c_
s
e
t
_t
r
ansf
o
rm_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
add isl_basic_set
_
offset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
chang
e
isl_mat_sub_alloc proto
t
ype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
m
ake isl
_
mat_sub_* functions private
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
lae
g
e
add isl_vec_ge
t
_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
add
i
sl_m
a
t_initi
a
l_non_zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl
_
mat_s
e
t_element_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
a
d
d i
s
l_
b
asic_set_add_constraints_dim_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
dd isl
_
d
im_map_r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
is
l
_dim_m
a
p:
allow sig
n
ed
mapping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
i
sl_dim_map: e
x
tract from
i
sl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoola
e
ge
chang
e
p
r
ototype of
isl_tab_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
add isl_
m
ap_r
e
move_
d
ivs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oola
e
ge
doc
:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Ve
r
d
o
o
l
a
eg
e
doc: add a not
e
on the accuracy of our appro
x
ima
t
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
ae
g
e
add isl_
u
n
i
on_set_coefficients
a
nd i
s
l_uni
o
n
_set_
s
olutions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
add
isl_union_set_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
S
v
e
n
Ver
d
oolaege
M
erg
e
bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-04-19
Sven
V
erdoolaege
i
s
l
_
t
a
b: alway free
s
aved basis undo r
e
cord
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
make sure destination fo
r
G
DB mod
u
le exists bef
o
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven V
e
rdoolaege
i
sl_tab_pip
.
c
:
add
_
lexmin_eq: remove m
i
sguided op
t
imiz
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
S
v
en Verdoolaege
i
sl
_
basic_map
_
l
e
xmin: turn off
e
q
u
ality detectio
n
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdool
a
e
g
e
use
s
ilent make ru
l
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
isl_
s
tream_read_map
:
f
i
x handling of divs in
tuples
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
S
ven Verdoo
l
aege
isl_mat_left_hermite: plug
m
em
o
ry leak on erro
r
path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven
Verdoolaege
p
lug
m
em
o
r
y leak in isl_mat_pr
o
d
uc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
V
e
rdoolaege
i
sl
0
.
0
6
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Ve
r
do
o
l
a
ege
doc: add
s
ome implementation detai
l
s
on
p
ar
a
metr
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Ve
r
doolae
g
e
isl_lp
.
c: avoid cla
n
g
w
arning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doo
l
aege
isl_s
t
ream_read_m
a
p
:
accept f
l
oord and
c
eild
e
x
pressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoola
e
ge
isl_strea
m
_read_map: accept min and max expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
isl_stream_rea
d
_map: properl
y
read nested divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaeg
e
is
l
_strea
m
_read_m
a
p: treat divs a
s
o
u
tput variabl
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl
_
m
a
p_coalesce: plu
g
memory le
a
k on
error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdo
o
laege
isl_
m
at_extend: avoid memory le
a
k whe
n
r
e
a
l
l
o
c
f
ails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaege
isl_b
a
sic_map_ov
e
rlying_set: avoi
d
memory le
a
k wh
e
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
V
e
r
doolaege
i
s
l_stream_getc: avoid
m
emory leak when
re
a
llo
c
fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
e
ge
r
udimentary
supp
o
r
t
f
or
asynchronous terminat
i
on of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verdoolaege
hide i
s
l_ctx internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en Verdoola
e
ge
isl_
v
e
c_read_from_file: drop input_format argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven V
e
rdoo
l
a
ege
isl_map
.
c: drop unused err
o
r la
b
e
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next