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_convex_hull.c: remove unused swap_ineq
2011-04-21
Sven Verdoola
e
ge
ad
d
isl_basic_set_offset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
change
is
l
_mat_su
b
_alloc prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
V
e
rdoolaege
make
i
sl_mat
_
su
b
_* functions private
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
add isl_vec_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdo
o
laege
a
dd isl_mat_initial_non_ze
r
o_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
add isl_mat_set_element_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
a
d
d isl_basic_set_ad
d
_con
s
traints_dim_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolae
g
e
add isl_dim_map_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oo
l
aege
isl_dim_map: allow sign
e
d
mappin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
isl_
d
im
_
map: ex
t
ract from isl_
m
ap
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
chang
e
prototyp
e
o
f isl_
t
a
b_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add
isl_ma
p
_
re
m
ove_di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
d
oc: fix t
y
po
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
doc: add a
note o
n
the accuracy of our appro
x
imation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_union_set_coe
f
ficients an
d
isl_uni
o
n
_
set_solution
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoola
e
ge
add i
s
l_un
i
on_
s
et_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdo
o
laege
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
isl_tab
:
alway free saved basi
s
undo rec
o
r
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sve
n
V
erdoolaege
make sure de
s
ti
n
ation for GDB module exists be
f
o
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
isl_tab_pip
.
c: add_lexmin_e
q
: remove misguid
e
d
o
ptimizations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
isl_
b
a
s
i
c
_map_lexmin: turn off
equality detection on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
use
s
i
lent make r
u
les
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoola
e
g
e
isl_stream_
r
ead_
m
ap:
fi
x
handling of divs in tuples
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
S
ven Ve
r
doolaege
isl_ma
t
_
left_h
e
r
m
ite: pl
u
g
m
emory leak o
n
error p
a
th
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaeg
e
p
l
ug memory
leak in
i
sl_mat_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
dool
a
e
ge
d
oc: add some impl
e
m
e
n
tatio
n
d
e
tails on
p
aramet
r
ic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_l
p
.
c: av
o
i
d
cl
a
ng w
a
rning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oola
e
ge
is
l
_stream_read
_
map: acc
e
pt floo
r
d and ceild expres
s
ions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
Verdoo
l
a
ege
isl_
s
tream_read_
m
ap:
a
c
c
ept min and
m
a
x expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdool
a
ege
isl_stream_rea
d
_m
a
p: properly read
n
ested divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaeg
e
isl_stre
a
m
_
read_
m
ap: treat
d
i
v
s a
s
output variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
s
l_map
_
c
o
a
lesce: plug memory leak on error pat
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_m
a
t
_
exte
n
d: av
o
i
d
m
e
mory le
a
k when rea
l
loc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
i
s
l_basic_map_overl
y
i
n
g_set: avoid memory l
e
a
k when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Ve
r
d
oolaege
isl_stream_
g
etc: avoid memory leak when realloc fail
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
rudimentary support
f
o
r
asynchronous termination of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sv
e
n Verdoolaege
hide isl_c
t
x
i
nternal
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoo
l
a
ege
isl_vec_read_
f
rom
_
f
i
l
e
: drop
i
nput_format argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en Verdoolaeg
e
i
s
l
_map
.
c: drop unused
error label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_inpu
t
.
c:
d
ro
p
u
n
used error l
a
bel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven
V
erdoolaege
respect DESTDIR
w
hen installing isl
.
p
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Verdoolaege
isl_stream: accept "$" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erdoolaege
add isl_union_map_pow
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolae
g
e
chang
e
isl_map_power interfac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolae
g
e
add is
l
_union_map_z
i
p
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_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
S
v
en
V
erdoo
l
aege
M
erge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-03-10
S
v
en Verdoolaege
is
l
_ma
p
_deltas
:
don't copy flags from inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verd
o
o
l
aege
isl_str
e
am_read_map: acce
p
t constant
e
xpressio
n
s o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ve
r
dool
a
ege
isl_strea
m
: accept
"
/\" and
"
\/" as alte
r
natives for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_
s
tr
e
am
:
on
l
y quote newline u
s
i
n
g '\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ver
d
oolaege
isl_s
t
ream:
maintain priv
a
te u
n
get
c
buffer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven
V
er
d
oolaege
isl_set_lifting:
simplif
y
an
d
finalize
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Ve
r
doolaege
doc: fix
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdo
o
laeg
e
doc:
d
r
o
p long out
d
ated note on transi
t
ive closure
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
Sven Verd
o
o
laege
a
d
d isl
_
basic_set_get
_
dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Ver
d
o
olaege
isl
_
map_ident
i
ty: take dime
n
s
i
o
n
specific
a
ti
o
n of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdo
o
laege
r
e
name isl_di
m
_map t
o
is
l
_dim_ma
p
_from_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven
V
e
r
doolae
g
e
transiti
v
e
c
los
u
re: project out
parameter
s
when any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
privately expor
t
is
l
_b
a
s
ic_set_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
e
rdoolaege
isl_set
_
lift
:
preserve stru
c
ture of spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_pw_qpolyno
m
ial
_
bound: handle combination
o
f wrapping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
ven Ve
r
doolaege
is
l
_tab
_
pip
.
c: fix
t
ypo
in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verdoolaege
isl_tab
:
check for obviously
emp
t
y tableaus aft
e
r discove
r
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verd
o
olaege
isl
_
basic_
m
ap_g
i
st: pre
f
er contr
a
i
n
ts withou
t
existentially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
Sven Verdoo
l
aege
isl_basic
_
map_sort_constraints: c
h
ange co
m
parison ro
u
tine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
S
v
en
V
erdoolae
g
e
isl_tab_ineq_type: classify more constraints a
s
being
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
S
v
e
n
Verdoolaege
isl_m
a
p
_coalesce: be more
relaxed about multip
l
e
e
qual
i
ties
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven V
e
rdoolae
g
e
add isl_basic_map_from_domain_and_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
ven Verdoolaege
add isl
_
b
asic_s
e
t_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
ven Verd
o
olaege
add isl
_
basic_set
_
fl
a
t_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven
Verdoolaege
export isl_basic_map_
f
l
atten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
v
en Verdoolaege
add isl_basic_map_from_qp
o
ly
n
omial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream: support \<new
l
ine> line continuatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Verdoolaege
add isl_unio
n
_
m
ap_read
_
f
rom_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven V
e
r
d
oolaege
isl
_
stream_rea
d
_ma
p
: accept 'tru
e
'
a
n
d 'fal
s
e' const
r
a
ints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ve
r
doola
e
ge
isl_stream_read_ma
p
: allow extra
'
;
'
at end of ma
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream
_
r
ead_m
a
p:
allow negations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
Verdoolaege
isl_
s
t
r
e
a
m
_read_m
a
p: allow
existential
quantificati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ver
d
oolae
g
e
private
l
y
export is
l
_
b
as
i
c
_
map_add_di
v
_constraints_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
oolaege
isl_
m
orph_basic_set: pr
e
s
erve ra
t
ionality of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
a
d
d isl_basic_se
t
_is_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
d
oolaege
i
s
l_p
r
inter_print
_
basic_map: explicitly mark rational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Ve
r
doolae
g
e
isl_st
r
ea
m
_
r
ead_map: re
a
d r
a
tional maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_basic_map_ins
e
r
t
:
p
reserve ratio
n
ality
o
f input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolaege
add
i
sl_b
a
sic_map_set_rationa
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Verdoolaege
isl_basic_map_fast_cmp
:
d
iff
e
re
n
tiate bet
w
een rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erd
o
olaege
isl_out
p
ut
.
c: remove some code duplication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Verdoolaeg
e
isl_printer_p
r
i
n
t_basic_{set,map}: don't start n
e
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Ve
r
d
o
olaege
isl_s
t
ream_read_ma
p
:
acce
p
t
'
|
' at start of c
o
nstra
i
n
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sv
e
n Ve
r
do
o
l
a
e
g
e
isl_stream: k
e
ep track of
t
extual rep
r
esentation
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sve
n
Verdoola
e
ge
isl_input
.
c
: cl
e
an up
r
ead
_
d
isjuncts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
S
ven Verdoolaege
isl_
s
tre
a
m_
r
e
ad_map:
accept dis
j
unctions within a conj
u
nct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_convex_hull
.
c: explicitly
mark wrapping lp problem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl
_
tab_
m
in: m
i
cro-op
t
imizatio
n
: postpone
t
aking
into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Merge branch 'ma
i
nt
'
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
V
erdoolaege
isl_tab_add_row
:
add
f
urther explan
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verd
o
olae
g
e
isl_tab
.
c: fix typos in
c
om
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next