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_{basic_,}map_may_be_set
2011-05-16
Sven Verdoolaege
add isl_{
b
asic_,}
m
ap_may_be_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
a
dd
i
sl_basic
_
set_e
x
pa
n
d_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdool
a
ege
i
s
l
_
polynomial
.
c: move
m
e
r
ge_divs t
o
is
l
_local_
s
pace
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
add isl_local_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n Verdoolaege
isl_d
i
m_size: handle isl_dim_all
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verd
o
ola
e
ge
add isl_
c
onstraint_i
n
volves
_
d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
aege
i
sl_print
e
r_pr
i
nt_qpolynomial: s
u
p
p
ort p
r
oper isl outp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
a
e
ge
add
is
l
_qpolynomial_alig
n
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
e
r
doolaege
add i
s
l
_map_align_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
aege
ex
p
ort isl_basic_set_remove_
r
edun
d
ancies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
export isl_qpol
y
nomial_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdo
o
l
a
e
g
e
export
i
sl_s
e
t_eliminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n Ver
d
oolaege
isl/div
.
h: drop d
e
pen
d
en
c
e on isl/se
t
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
hide isl_div
i
nternal
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n
Verdoolaege
a
d
d isl_div_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n
Verdoolaege
ad
d
isl
_
mat_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
aege
doc:
drop
d
ocum
e
ntation for isl-polyli
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sv
e
n Verd
o
o
laege
add gmp flags to pkg-config file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verd
o
olaege
explicitly li
n
k in gmp in app
l
ications that
refer
e
nce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sv
e
n Verdool
a
ege
configur
e
.
ac: don't depend on automake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
Sv
e
n
Verdool
a
e
g
e
isl_pw_qpolynomial_involves_
d
i
m
s: also check whe
t
her
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven V
e
rdoolaege
add isl_u
n
ion_
m
a
p_plain_
i
s
_
i
njectiv
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
ven Verdoolaege
isl_map_inters
e
ct_range: add specia
l
case for intersecti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
erdo
o
l
a
ege
add
isl_vec_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
a
d
d
isl_union_map_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n V
e
rdoolaege
ren
a
me *_
f
ast_* func
t
ions to *_plain_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Verdool
a
ege
isl_map_ran
g
e
: corre
c
tly handle maps with 0D do
m
ai
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
S
v
en Verdo
o
laege
isl_list
.
h: allow in
c
lusion f
r
o
m
C++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdo
o
laege
isl_tab_pip: d
o
n't si
m
pli
f
y domain in isl_for_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sv
e
n Verd
o
o
laege
add isl
_
printe
r
_p
r
int_c
o
nstraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sv
e
n Verdoolaege
a
d
d isl
_
constraint_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
ad
d
isl_mat
_
dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven Ver
d
oolaege
re
n
a
m
e isl_mat_
d
ump to
is
l
_
m
a
t_print_int
e
rnal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven
Verd
o
olae
g
e
add isl_constraint
_
get_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
S
v
en Verdo
o
laege
Merge
b
ranch 'main
t
'
commit
|
commitdiff
|
tree
2011-04-25
Sven
Verd
o
ola
e
ge
i
sl_basic_map_affine_hull: finaliz
e
r
e
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
Sven V
e
rdoo
l
aege
dataflow analysis: d
o
n't dep
e
nd on word size during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verd
o
olaege
add isl_uni
o
n_s
e
t
_
comp
u
te_schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
add isl_
t
ab_basic
_
set_non_
n
e
g_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Ve
r
doolaege
add isl
_
tab
_
bas
i
c
_
s
et_non_trivial_l
e
xmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Ver
d
oolaege
isl_tab_pip
.
c
:
add_le
x
min_eq: return int
i
nstead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verd
o
olaege
isl_tab
_
pi
p
.
c: res
t
ore_l
e
xmi
n
:
r
e
turn int instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
is
l
_tab_pip
.
c: add some debugg
i
ng c
o
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
isl_tab_pip
.
c:
fix typo
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdo
o
lae
g
e
add isl_quicksort (copied from glibc)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n
Verdoolaege
i
sl_printer
_
print_basic_set: also pr
i
n
t invalid basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en V
e
rdool
a
ege
add isl_union_map_is_injective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oo
l
aeg
e
add isl_uni
o
n_map_is_bi
j
ecti
v
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
o
l
aege
a
d
d isl_union_map
_
is_single_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
add isl_mat_ad
d
_zero_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
isl_b
l
k: don't reuse overly
l
arge
blocks for
s
m
a
ll
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
V
e
rdoolaege
add isl_hmap_map_basic_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Ver
d
oolaege
add isl_union_ma
p
_copy_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
add isl_union_map_contains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
ae
g
e
a
dd isl
_
basic_se
t
_tra
n
sf
o
rm_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
r
doolaege
add isl_basic_set_
o
ffset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Ver
d
oolaege
c
h
ange isl_ma
t
_
sub_all
o
c proto
t
ype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
make
i
sl_mat_sub_* fun
c
t
i
ons private
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en
V
erdoolaege
add isl_vec_g
e
t_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Ver
d
o
olaeg
e
add isl_mat_initial_non_zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
dool
a
ege
add isl
_
m
a
t
_set_element_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n
Verdoolaege
add isl_b
a
sic_set_a
d
d_cons
t
r
a
in
t
s_dim_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
a
d
d
i
sl_dim_map_r
a
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en V
e
rdoolaege
isl_dim_map: allow signed
m
apping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
i
s
l
_
dim_map: extract from
i
s
l
_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
rdoolae
g
e
c
h
ange pr
o
totype of
i
sl_t
a
b_du
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
a
d
d
i
s
l
_
map_remove_div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
doc: add a note o
n
t
h
e accuracy of our approximatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
e
ge
add
is
l
_
union_set_coefficients a
n
d isl_un
i
on_s
e
t_sol
u
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
S
ven Verdoolaege
add
isl_uni
o
n_s
e
t_
l
ift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
S
v
en Verdool
a
e
g
e
Merge branch
'm
a
int'
commit
|
commitdiff
|
tree
2011-04-19
S
ven Verdoolaege
isl_tab: alway
f
ree saved
b
asis u
n
do record
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven
V
erdoolae
g
e
make sure des
t
in
a
tion fo
r
GDB module exists before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
isl_tab_pip
.
c: add_lex
m
i
n
_eq: remove
misguided opti
m
izations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
i
s
l_basic_map_lexmin
:
turn
off equalit
y
detect
i
on on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verd
o
ola
e
g
e
use silent make
rules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
isl_stream_read_map: fix
h
andli
n
g of divs in
t
upl
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven
Ver
d
oolaege
isl_m
a
t_left_hermite:
plug memory leak on
error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven
Verdoolae
g
e
plug m
e
mo
r
y
le
a
k in isl_mat_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolae
g
e
isl 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
d
o
c:
a
dd some imple
m
enta
t
ion
d
et
a
ils on para
m
etr
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en
V
erdoolaege
isl_lp
.
c: a
v
oid clang war
n
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven
Verdoolaege
is
l
_strea
m
_read_map: a
c
c
e
p
t
floord and ceild e
x
pressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_st
r
eam_
r
ead_ma
p
:
accept min and
max expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Ve
r
d
oolaege
isl_stream_r
e
a
d_map: properly re
a
d nested divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
isl_str
e
a
m
_read
_
map: treat divs
as
o
utput v
a
riables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Ver
d
o
o
laege
isl_map
_
c
oalesce: p
l
ug memory le
a
k
o
n
e
rror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
isl
_
mat_e
x
tend: avoid m
e
m
ory
l
e
a
k whe
n
realloc fai
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
isl_basic_map_overl
y
i
n
g_se
t
: avoid mem
o
ry leak
when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Ve
r
doolaege
isl_stream_
g
e
tc: avo
i
d memory leak w
h
en real
l
oc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
a
e
g
e
r
u
d
i
mentary support fo
r
asynchron
o
u
s termina
t
ion of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sven
V
erdoolaege
hide i
s
l_
c
tx
i
n
tern
a
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoola
e
ge
i
s
l
_
vec_read_f
r
om_file: drop input_format a
r
gum
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sve
n
Verd
o
olaege
isl
_
map
.
c: drop unus
e
d
error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdo
o
l
ae
g
e
i
sl_input
.
c:
d
r
op unused er
r
or label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n Verdoola
e
ge
respe
c
t DESTDIR when ins
t
all
i
ng isl
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en V
e
rdoolaege
isl_stream: acce
p
t
"
$" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next