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
export isl_pw_aff_add
2011-04-21
Sven Verdoo
l
aege
a
dd
isl
_
mat
_
in
i
tial_non_zero_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
add isl_
m
at
_
s
e
t
_element_
s
i
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
r
do
o
laege
add isl_basic_set_add_
c
onstrai
n
ts_d
i
m_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
V
e
rdoolaege
a
d
d
i
sl_dim_map_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en
V
e
r
d
o
o
l
a
ege
isl_dim
_
map
:
a
l
l
o
w signed mapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
isl_dim_map: extract
from is
l
_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
change p
r
ototype of
i
sl_
t
ab_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl
_
map_
r
emove_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
doc
:
fix
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
doc:
a
dd a no
t
e
on the
a
c
c
uracy of our approximat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
add isl_union_set_coeff
i
cients and
i
sl_union_set_solu
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
add isl_union_set_
l
ift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sv
e
n
Verdoolaege
Merge
b
ranch 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoo
l
aege
isl_tab: alwa
y
free saved
b
asis undo
r
ecord
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
make sur
e
d
e
stin
a
tion for GDB m
o
d
u
l
e exis
t
s before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sv
e
n Verdool
a
ege
isl_tab_pip
.
c
: add_lexmin_eq
:
r
emove misguided opt
i
m
i
zations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ve
r
d
o
olaege
is
l
_basic_map_
l
e
x
m
i
n
:
turn off equality
d
etection on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
u
se sile
n
t mak
e
rul
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sv
e
n Ver
d
ool
a
ege
i
sl_str
e
am_read
_
map: fix handli
n
g of
divs in tuples
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sv
e
n Verdoolaege
is
l
_
mat_left_hermit
e
: plug memory leak on
error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolae
g
e
p
l
ug memory lea
k
in isl_
m
a
t_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoo
l
a
e
g
e
isl 0
.
0
6
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
V
erdoolaege
doc: add so
m
e i
m
plement
a
t
ion details on parametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolaege
isl_lp
.
c
: avo
i
d clang wa
r
ning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
laeg
e
is
l
_s
t
ream_read_map:
a
cce
p
t floord
and ceil
d
expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven V
e
rdo
o
laege
isl
_
stream_read
_
map: acc
e
pt min and max expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en
V
erdoolae
g
e
isl_stream_read_map:
pro
p
erly read nested divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaege
isl_stream_read_map
:
t
reat divs as output variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ve
n
V
e
rdoolaege
isl_map_coalesce:
p
l
u
g mem
o
ry
le
a
k on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n Verdoolaege
isl_mat_extend: avoid memory leak
wh
e
n
realloc
f
ails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
isl_basic_map_overlying_set:
a
void memory leak when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoola
e
ge
i
sl_stream_g
e
tc:
avoid me
m
ory lea
k
when realloc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoo
l
a
ege
r
u
d
imentary su
p
port for asynchronous termination of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
S
ven Ve
r
doolaeg
e
hide
i
sl_ctx internal
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven
V
erdoolaege
isl_vec_read_from_f
i
le: dr
o
p inp
u
t
_
f
ormat argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n Verdoolaege
isl_map
.
c
:
d
rop unuse
d
error label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n
Verdoolaege
isl_input
.
c: d
r
o
p
unused
error
label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
ve
n
Verd
o
ol
a
ege
respect DESTDIR
when in
s
tall
i
ng i
s
l
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Ve
r
doolaege
isl_stream: accept "$"
t
oken
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdoolaege
add isl_
u
n
ion_map_p
o
wer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Ver
d
oolaege
change isl_map_power interfa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ven V
e
r
d
o
o
laege
a
d
d
isl_union_ma
p
_zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdoolaege
add private isl_basic_map_swap_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
add isl_union_map_deltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven
Verdoolaeg
e
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verd
o
olaege
isl_map_
d
el
t
as: don't copy
flags
f
r
o
m in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
S
v
en Verdoolaege
isl_stream
_
read_ma
p
: ac
c
ept constant expressions of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_stream:
a
ccept "
/
\" a
n
d "\/" as altern
a
t
i
ves for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven
Ver
d
oolaege
is
l
_stream: only
q
uo
t
e
ne
w
l
i
ne us
i
ng '\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoo
l
ae
g
e
isl_stream: maintain private ungetc buffer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven
V
erdoolae
g
e
isl_set_lift
i
ng: simplify and finaliz
e
res
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Ver
d
oolaege
doc: fi
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven
V
erdo
o
lae
g
e
d
o
c:
drop long outdated note
o
n transitiv
e
c
losures
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
S
ven
V
erdoo
l
aege
a
dd is
l
_ba
s
ic_set_get_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven
Verdoolaege
isl_map_i
d
entity: take d
i
me
n
sion specifica
t
ion of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven
Verdoolaege
r
e
name
i
sl_d
i
m_map to isl_dim_map_fro
m
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verd
o
o
laege
transitive
closure: proj
e
ct o
u
t parameters when any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
priva
t
ely
export isl_ba
s
ic_s
e
t_res
e
t_di
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_set_li
f
t:
p
reserve str
u
ctu
r
e
o
f spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdool
a
ege
i
sl_pw_q
p
olynomial_bo
u
nd:
handle combinat
i
on o
f
wrappi
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verd
o
olae
g
e
isl_tab_pip
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
ven
V
erdoo
l
ae
g
e
isl
_
tab:
c
hec
k
for obviously empty t
a
bleaus after discoverin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ve
r
doolaege
isl_ba
s
ic
_
map_gist: prefer
contrain
t
s without
exi
s
tentia
l
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
Sven V
e
rdoolaeg
e
isl_basic_map_sort_constra
i
nts:
c
hange comparison routine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sv
e
n Verdoolaege
isl_tab_ineq_ty
p
e: classify more c
o
nstraints as
b
eing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
S
ven Verdoolaege
isl_map_coa
l
esce: b
e
more relax
e
d abou
t
m
u
ltiple equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sv
e
n Verdoolaeg
e
a
dd isl_basic_m
a
p_fr
o
m
_domain_and_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven V
e
rdoolaege
a
d
d isl
_
basic_set_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verd
o
olaege
add i
s
l_
b
asic_
s
et_flat_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
exp
o
rt isl_basic_map_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoo
l
aeg
e
add isl_basic_map_from_qpolyno
m
ial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdo
o
laege
isl_stream
:
suppo
r
t \<
n
e
wline> line c
o
n
t
inuatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Verd
o
olaege
add isl_union_map_read_from_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Verd
o
olaege
isl_stream_read_m
a
p: acce
p
t '
t
rue' and 'false' c
o
nstraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven V
e
rdoolaege
i
s
l_
s
tream_read_map: al
l
ow extra ';' at end of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream_
r
ead_map: allo
w
negations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_s
t
ream_read_map: allow ex
i
stentia
l
quant
i
f
i
cation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
ve
n
Verdoolaege
privately export isl
_
basic_map_add_div_constraints_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verdoolae
g
e
is
l
_morph
_
bas
i
c_set:
p
reserve ratio
n
ality of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdo
o
laege
add isl_
b
asic_set_is_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n
Ver
d
oolaege
isl_pr
i
nter_print_basic_map: explici
t
ly
mark rat
i
on
a
l
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
is
l
_st
r
eam_re
a
d_ma
p
: read rational map
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdoola
e
ge
isl_bas
i
c_map_insert: pr
e
serve rationality of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
e
n Ve
r
dool
a
ege
a
dd isl_basic_map_set_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en
Verdool
a
ege
i
s
l
_
bas
i
c_m
a
p_fast_cmp: diffe
r
entiate between rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
e
rdoolaege
i
s
l_output
.
c: remove so
m
e co
d
e duplication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
Ver
d
o
o
laege
i
sl
_
pr
i
nter
_
print_basic
_
{set,map}: don't star
t
new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sv
e
n Verdoolaege
i
sl
_
s
tream_read
_
map:
accept '|' a
t
start of constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sv
e
n Verdoolae
g
e
isl_stream: keep tr
a
ck of textual repr
e
sen
t
ation of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
S
v
en Verd
o
olaeg
e
isl_input
.
c:
clean up r
e
ad_dis
j
un
c
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoo
l
aege
is
l
_s
t
ream_read_ma
p
: acce
p
t disjun
c
tions within
a conjunct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_convex_hull
.
c
: expli
c
itly mark
w
rapping l
p
problem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
S
v
e
n Verdoolaege
isl_
t
a
b_min: micro-
o
ptimization:
p
ostpone ta
k
in
g
into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Me
r
ge branch 'maint
'
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolaege
isl_tab_add_row: ad
d
further explanation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
isl_tab
.
c:
fix
t
ypos in comm
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Ve
r
doolaege
isl_tab_pip
.
c: correctly de
t
ect non
-
ne
g
ativity of
d
i
vs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
l
a
e
ge
a
d
d
test
commit
|
commitdiff
|
tree
2011-02-05
S
v
en
V
erdoolaege
test both context handling mechanisms of isl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_is_eq
u
ali
t
y: pro
p
erly support
"
big
parameter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next