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
split off type declarations for isl_map and isl_set to separate files
2011-05-20
Sven
V
e
r
d
oo
l
a
ege
Merg
e
b
ranch '
m
aint'
commit
|
commitdiff
|
tree
2011-05-20
Sven
Verdoolae
g
e
isl_qpolynomial_*
const
r
uctor
s
:
check dim
b
e
fore accessing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
S
v
e
n Ve
r
doolaege
add isl_qpolyn
o
mia
l
_from_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
S
ven Ver
d
o
o
laege
isl_qpo
l
ynomial_inv
o
lv
e
s_dims: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
i
sl_polyn
o
mial
.
c: f
i
x typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
S
v
en
V
erdo
o
laege
add isl_af
f
_get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-17
Sven Verd
o
o
l
a
ege
isl_basic_m
a
p_from_
l
ocal_
s
pace: don't final
i
ze
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oolaege
add isl_set_add_co
n
s
t
r
a
in
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolaege
ad
d
i
s
l_equali
t
y_from_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add i
s
l
_set_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n
Ver
d
ool
a
ege
add isl_constra
i
nt_get_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_{
b
a
s
i
c_
,
}map_may_be_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdo
o
laege
add isl_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en V
e
rd
o
olaege
add isl_basi
c
_
s
et_expand_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
isl_p
o
lyno
m
ial
.
c: move merge_divs to is
l
_local_s
p
ac
e
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdool
a
ege
add isl_local_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
isl_dim
_
size
:
h
a
ndle i
s
l_dim_all
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add
i
s
l_constr
a
i
n
t
_involves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
isl_print
e
r_print_qpoly
n
o
m
i
al: su
p
port pro
p
e
r is
l
output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en
Verdoolaege
add isl_qp
o
ly
n
omial_
a
lign
_
param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolaege
a
d
d isl_map_
a
lign_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolaege
exp
o
rt
i
sl_basic_set_remove_redundanci
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n Verd
o
olaege
exp
o
rt isl_qpolyno
m
i
a
l
_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoolaege
export isl
_
set_e
l
im
i
nate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
olaege
isl/div
.
h:
d
rop
d
e
pende
n
ce on isl/set
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
hide isl_
d
iv internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
add isl_div_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
laege
add isl_m
a
t_get_c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdo
o
l
aege
doc: drop documentat
i
on f
o
r isl
-
polyli
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
add gm
p
fl
a
gs to pkg-confi
g
f
ile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven V
e
rdoolaege
explicitly link in gmp
in applications that
refe
r
e
nce
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven
V
er
d
o
o
laege
configu
r
e
.
a
c: don't depend
on automake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
Sven Verdoolae
g
e
isl_pw_qpolynomial_involves_dims: also check whether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoola
e
ge
add i
s
l_union
_
map_plain_is_
i
nj
e
ctive
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n Verdool
a
eg
e
isl_
m
a
p_intersect
_
range: add special
c
ase f
o
r intersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en V
e
rdoo
l
aege
add
i
sl_vec_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
ven Verdoolaege
add isl_union_map_u
n
iverse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
erdoolaege
rename
*_fast_* func
t
ions to
*
_
plain_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
erdoolaege
M
erg
e
b
r
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-05-05
Sven
Verdoolaege
isl_map
_
range:
correctly
h
andle maps w
i
th 0D doma
i
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
S
ven Ver
d
oolae
g
e
i
s
l
_list
.
h: allow inclusion from
C
++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolaege
isl_tab_pip: do
n
't simplify d
o
main in isl_for_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven Ver
d
oola
e
g
e
add isl_prin
t
er_print_constra
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
S
ven Ve
r
d
o
ol
a
ege
a
d
d isl_constrai
n
t
_g
e
t_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
a
dd i
s
l_mat_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
S
ven Ver
d
oolaege
re
n
ame isl_mat_dump to
i
sl_mat
_
pr
i
nt_int
e
rn
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolaege
a
d
d
i
sl_constraint_get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven
Verdoolaege
M
e
rge bra
n
ch 'm
a
i
nt'
commit
|
commitdiff
|
tree
2011-04-25
Sven
Ve
r
doolaege
isl_basic_map_affine
_
hull
:
finalize
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
Sven Verdoolaege
d
ataf
l
ow analy
s
is: don't
d
epe
n
d on word size during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_un
i
on_set_compute_schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
Verdo
o
laeg
e
add isl_tab_bas
i
c
_s
e
t_n
o
n_neg_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verd
o
o
l
aege
add
isl_tab
_
b
a
sic_se
t
_non_t
r
ivial_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
a
e
g
e
isl_tab_
p
ip
.
c: add_lexmin_eq:
return int instead
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaeg
e
i
s
l_tab
_
pip
.
c: rest
o
re_l
e
xmin: return int
instea
d
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
e
ge
isl_t
a
b_pip
.
c
:
add some debuggi
n
g
code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
isl_tab_pi
p
.
c: fix t
y
p
o in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
add isl_quicksort (co
p
i
ed
f
rom glibc)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
isl_p
r
inter_print_basic_
s
e
t
: also print inv
a
lid basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n V
e
r
doo
l
aege
add isl_union_map_is_
i
njective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
add
isl
_
union_m
a
p
_
is_bi
j
ective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
add isl_u
n
ion_map_i
s
_
sin
g
l
e
_valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdo
o
laege
add isl_
m
at_add_zero_rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_bl
k
: do
n
't reuse o
v
e
r
ly large bl
o
c
k
s for small
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add
i
sl_h
m
ap_map_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoola
e
ge
add
is
l
_union_map_c
o
py
_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
add is
l
_union
_
map
_
c
ontains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
rdoolaege
add i
s
l_basic_s
e
t_transform_d
i
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
add isl_basic_set_offset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
change isl_mat
_
sub_alloc prototyp
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doo
l
a
e
ge
make isl_mat_sub_*
f
unctions p
r
ivate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
ad
d
isl_v
e
c
_
get_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
add
isl_mat_initia
l
_n
o
n
_
z
e
r
o_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdo
o
laege
add isl_mat_s
e
t_
e
lemen
t
_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoo
l
aege
add
i
sl_basic
_
set_add_
c
onstraints_dim_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add is
l
_dim_map_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
isl_dim_map: allow signed mapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verd
o
o
l
aege
isl_dim_map: extract from isl_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Ve
r
doolaeg
e
cha
n
ge
p
rototype of
i
sl_tab_dum
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_ma
p
_remove_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
d
oc: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
d
oc: add a note
on the acc
u
racy of our approximat
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
add i
s
l_union
_
se
t
_coeffic
i
e
n
t
s and isl_union_set_solu
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoo
l
aeg
e
add isl_un
i
on_set_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Ve
r
d
o
o
l
aege
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-04-19
Sv
e
n Verdoo
l
aege
isl_tab:
alway free saved
b
asi
s
undo r
e
cord
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
make sure destination for GDB mo
d
ule exists before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
isl_
t
ab_pip
.
c
:
a
dd_lexmin_eq: rem
o
ve misguided opt
i
mi
z
ation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ve
r
doola
e
ge
isl
_
ba
s
ic_map_
l
exmin: turn off equality dete
c
t
i
o
n on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
S
v
en
V
erdoo
l
a
e
ge
use silent make rul
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdo
o
la
e
g
e
isl_s
t
ream_r
e
a
d_map: fix hand
l
i
n
g of
d
ivs in tuples
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
S
ven V
e
rdoolaege
isl_mat_left_hermite: plug memor
y
leak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verd
o
o
la
e
ge
plug me
m
ory l
e
a
k
in isl_mat_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
i
s
l 0
.
0
6
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdool
a
eg
e
doc
:
ad
d
so
m
e implementation
d
etails o
n
parametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Ve
r
doolaege
is
l
_lp
.
c
: avoi
d
clang warni
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
i
sl_s
t
ream_r
e
ad_map: acc
e
p
t floord and ceild expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
isl_s
t
ream_read_
m
ap:
ac
c
e
pt
min and max expr
e
ss
i
ons
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doo
l
aege
isl_stream_read_map: properly read nested divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
isl_str
e
am_r
e
ad_map: treat divs as output
v
ariables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next