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_basic_map_from_local_space: don't finalize result
2011-05-17
Sven Ve
r
doolaege
is
l
_basic_map_from_local_space: don't finalize
r
e
s
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en
V
erdool
a
e
g
e
a
d
d i
s
l_set_ad
d
_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erd
o
o
l
a
ege
ad
d
is
l
_e
q
uality_
f
ro
m
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doo
l
aeg
e
add is
l
_s
e
t_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoola
e
ge
add isl_constra
i
n
t
_
g
et_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
r
d
o
o
l
a
ege
add i
s
l_
{
basic_,}ma
p
_
may_be_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verd
o
olaege
add is
l
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
ola
e
ge
add isl_basic_set_ex
p
a
n
d_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
i
s
l_po
l
ynomial
.
c
:
move
m
er
g
e_divs to is
l
_
lo
c
al_space
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
r
d
o
o
lae
g
e
ad
d
isl_
l
ocal_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
isl_dim_s
i
ze: hand
l
e isl_
d
im
_
all
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
o
olaege
add is
l
_constraint_involves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n
V
erdoolaege
isl_pri
n
ter_print_qp
o
lynomial: support
p
r
oper isl out
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ve
n
Ver
d
oolaege
ad
d
isl_q
p
olynomial
_
a
l
ign_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoo
l
aege
add isl_map_align
_
para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
export isl_basic_s
e
t_re
m
ove_r
e
dundanc
i
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
e
x
p
o
rt isl_qpol
y
nomial_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdool
a
ege
expor
t
is
l
_s
e
t_el
i
minate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Ver
d
oolaege
isl/div
.
h
: drop de
p
endence on isl/set
.
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
i
nternal
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
olaege
add is
l
_
d
iv_
g
et_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n
Ve
r
doolaege
add isl_mat_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
doc: drop documentation for isl
-
polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Ve
r
do
o
la
e
ge
add gmp flags to
p
k
g-con
f
i
g
file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
explicitly link in gmp
in applica
t
ions
t
ha
t
reference
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sve
n
Verdoolaege
configure
.
ac: don't depend on a
u
tomake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
S
ven Verdoolae
g
e
isl_pw_q
p
o
lynomial_invol
v
e
s
_dims: also check wh
e
ther
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
erdoolaege
add isl_union_map_plain_is_injective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
erdoolaege
isl_map_intersect_
r
a
n
ge: add
s
pe
c
ial case
f
or intersectio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verd
o
olaege
a
d
d
i
sl_vec_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ver
d
oolaege
add isl_unio
n
_map_unive
r
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Verdool
a
ege
rename *_fast_* functions
to *_plain_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoo
l
aege
M
e
r
ge bran
c
h 'maint'
commit
|
commitdiff
|
tree
2011-05-05
Sven V
e
rdoolaege
i
s
l_map_range: c
o
rrectly ha
n
d
le m
a
ps wi
t
h 0D domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolaege
isl_li
s
t
.
h: allow
i
nclusion fro
m
C++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdool
a
ege
isl
_
t
ab_pip: don't simplify domain in isl
_
for_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolaege
add isl_p
r
inter_
p
rint
_
constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolaege
add isl_constraint_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
S
v
en
V
e
rdoolaege
a
d
d isl_mat_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
rename isl_ma
t
_dum
p
t
o
is
l
_mat_
p
rint_internal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdo
o
laege
ad
d
isl_
c
ons
t
raint_g
e
t
_
d
im
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoola
e
ge
M
e
rge branc
h
'maint'
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoo
l
a
e
ge
i
sl_
b
asic_ma
p
_
affine_hull: finaliz
e
r
e
su
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
Sven
V
erdoolaege
dat
a
flow analysi
s
: don't depend on word size during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
er
d
oolaege
add isl_un
i
on_set
_
co
m
pu
t
e_schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
a
dd i
s
l_tab_b
a
sic_se
t
_non_neg_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
add isl_tab_basic_
s
et_non_tri
v
ial_
l
e
x
min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Ve
r
doola
e
ge
i
s
l
_
t
a
b
_pip
.
c: add
_
lexm
i
n_eq: retu
r
n int instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
Ver
d
oolaege
isl_tab_pip
.
c: rest
o
re_lexmi
n
: return int instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
isl_tab_p
i
p
.
c: add some debuggin
g
code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n
Verdoolaege
i
s
l_tab
_
pip
.
c: fix
t
ypo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
d
d
i
sl_quickso
r
t (copied
f
rom
g
l
ibc
)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
is
l
_printer_print_basic
_
set: also
p
rint inv
a
lid b
a
sic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verd
o
olaege
a
d
d isl_
u
nion_map_
i
s
_
injective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
add isl_unio
n
_map_is
_
b
ij
e
ctive
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Ver
d
oolaeg
e
a
d
d isl_unio
n
_map_is_single_valu
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_m
a
t_add_zero_row
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoola
e
ge
isl_blk: don't
r
euse overl
y
large
b
locks for
s
mall
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
add isl_hmap
_
m
a
p
_bas
i
c_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoola
e
ge
ad
d
isl_union_map_co
p
y_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
add isl
_
union_map_contains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en V
e
rdoola
e
ge
add
i
sl_ba
s
ic_set_
t
ransf
o
r
m_dims
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
change
isl_mat_sub_alloc prot
o
type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
make isl_mat_sub_* fun
c
tions private
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
dd is
l
_vec_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
g
e
add isl_ma
t
_initial_non_ze
r
o_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
ae
g
e
add
isl_mat_set_elem
e
nt_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
d
o
olaeg
e
add isl_basic_set_a
d
d_constrain
t
s_dim_
m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
add isl_dim_map_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
isl_
d
im_map: allow signed map
p
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laeg
e
isl_dim_m
a
p: ex
t
ract f
r
o
m
i
sl_
m
ap
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Ve
r
doola
e
ge
change p
r
ototy
p
e of isl_tab_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
dd
i
sl_map
_
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
Sven Verdoolaeg
e
d
o
c: add a n
o
te
o
n the
a
ccuracy of
o
ur approx
i
ma
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
a
d
d
i
s
l_union_
s
et_coeffi
c
ie
n
ts a
n
d isl_union_set_solut
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaeg
e
add is
l
_unio
n
_set_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
Merge branch
'maint'
commit
|
commitdiff
|
tree
2011-04-19
Sv
e
n
Verdoolaege
isl_t
a
b:
a
lway free s
a
ve
d
basis
undo re
c
ord
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven
V
erdoolaege
make sure des
t
inat
i
on f
o
r
G
DB mo
d
ule ex
i
s
t
s before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdo
o
laege
isl_tab_
p
ip
.
c: add_lex
m
in_
e
q:
remove misguided opt
i
mizations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verd
o
ol
a
ege
i
s
l
_ba
s
i
c
_map_lexmin: turn off
e
qua
l
ity detection on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
us
e
silent mak
e
rul
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdool
a
ege
isl
_
stream_read_map: fix handling of
divs
i
n tuples
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sv
e
n
Verdoolaege
isl_m
a
t_l
e
ft_hermit
e
:
plug memor
y
lea
k
on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoo
l
aege
pl
u
g
memory leak in
i
sl
_
mat_produ
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verd
o
olaege
isl
0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
r
doolaege
doc:
a
dd some impl
e
mentation details on parametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
isl_lp
.
c:
avoid clang warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_strea
m
_read_map
:
accept floord
a
nd
ceild
expr
e
s
s
ion
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
d
o
o
laege
isl_
s
tream_
r
ead_map: accept min and m
a
x expres
s
ions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven
V
erd
o
olaege
isl_str
e
a
m
_read
_
map: properly
r
e
ad nested d
i
vs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
er
d
oolae
g
e
is
l
_s
t
ream_read_map
:
t
r
eat divs as outp
u
t variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_map_c
o
al
e
sc
e
: plug memory leak on error p
a
th
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdool
a
e
g
e
isl_mat_extend: avoid memory leak whe
n
realloc
fail
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_bas
i
c
_
map_ov
e
rlying_set: avoid me
m
o
r
y leak
when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoo
l
aege
i
sl_stream_getc: avoid
m
e
m
o
r
y leak
w
hen re
a
lloc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
rudim
e
nta
r
y support for asynchronous termination of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verdoolaege
hide isl_ctx
i
nternals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next