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_map.c remove unused isl_set_swap_vars
2011-04-21
Sv
e
n Verdoolaege
change prototype of isl_
t
ab
_
dum
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoola
e
g
e
ad
d
i
sl
_
m
a
p
_remove_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoo
l
aege
d
o
c
:
fix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
r
d
o
ola
e
g
e
doc: add a no
t
e on th
e
ac
c
uracy of our approxi
m
a
t
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
ad
d
is
l
_
u
nion_
s
et_co
e
fficients and isl_union_
s
et_solu
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sve
n
Verdo
o
laege
add isl
_
union_set_l
i
ft
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
S
v
en Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-04-19
Sven Ver
d
oola
e
ge
i
sl
_
tab: alwa
y
free saved b
a
sis undo
re
c
ord
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaeg
e
make sure destination for GDB module exists before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
is
l
_tab_pip
.
c: add_
l
exmin_eq: remove misguided optimiz
a
ti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven V
e
rdoolaege
isl_ba
s
i
c
_map_lexmin: turn
off e
q
ual
i
ty detect
i
on on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
use si
l
ent
m
ake rules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ver
d
oolaege
isl_stream_read_map: f
i
x handling
o
f divs in tuples
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdool
a
ege
isl_mat_left_hermite: plug memory lea
k
on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven V
e
r
doolae
g
e
p
l
ug
memory
l
e
a
k in
isl_ma
t
_pr
o
duct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
isl 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
doc: add some im
p
lementatio
n
details on paramet
r
ic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
Verdoolaege
i
sl
_
lp
.
c: avoid cla
n
g warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_stream
_
read
_
map: accept floord and ceil
d
expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
sl_st
r
eam_read_map: accept min and ma
x
expre
s
sions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoola
e
ge
isl_stream_
r
ead_
m
ap: prop
e
r
ly read
nested divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Ve
r
d
oola
e
ge
isl_s
t
ream_read_map: treat divs as output
variabl
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_map_coa
l
esce
:
plug memory leak
on error pat
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
o
o
laege
isl_mat_extend: avo
i
d
m
e
mory
leak when realloc fail
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
Ver
d
ool
a
ege
isl_bas
i
c_map_
o
v
e
rlying_set: avoid mem
o
r
y
leak when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
isl
_
stream_ge
t
c: avoid memory leak when reall
o
c fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
r
u
d
i
mentary support for asy
n
ch
r
onous termina
t
ion of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verdoolaege
hide i
s
l_ctx
in
t
ernals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ver
d
oolaeg
e
isl_v
e
c_read_f
r
om_file: d
r
op
i
nput
_
format
a
r
gumen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
ven Ver
d
o
olaege
i
s
l_ma
p
.
c: drop un
u
sed er
r
or labe
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verd
o
olaege
is
l
_inpu
t
.
c: dro
p
unused error la
b
el
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
ven Verdoolaege
respect
D
ES
T
D
I
R when installing is
l
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdool
a
ege
isl_stream: acc
e
p
t
"$" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ver
d
oolaege
add isl_union_map_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verd
o
olaege
ch
a
nge isl_map_power inte
r
fa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Ver
d
oolaege
add isl_union_map_zi
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdool
a
ege
add p
r
ivate
isl_basic
_
ma
p
_swap_va
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven
Ver
d
ool
a
ege
add isl_un
i
on_map
_
delt
a
s_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven
V
er
d
oolae
g
e
Merge branch
'
m
a
i
nt'
commit
|
commitdiff
|
tree
2011-03-10
Sve
n
Verdoolaege
isl_map_delt
a
s: don't copy flags fr
o
m
inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoola
e
g
e
isl
_
stream_read_map:
a
ccep
t
constant exp
r
essions of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ve
r
doolaege
isl_stream: accept "/\" and "\
/
" as a
l
ternati
v
es for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ver
d
oolaege
isl_
s
tream: o
n
ly
quote ne
w
l
ine usin
g
'\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaeg
e
isl_str
e
am: maintain private un
g
etc buff
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sve
n
Verdo
o
laege
isl_set_lif
t
ing
:
s
i
mplify and finalize re
s
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoo
l
aege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdool
a
eg
e
d
o
c: drop
l
o
n
g outdated note on transitive
closures
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sven Verdoolaege
add i
s
l_
b
a
s
ic_set_get_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
isl_map_identity:
t
ak
e
dimension s
p
ecificati
o
n of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdool
a
ege
rena
m
e
i
s
l_dim_m
a
p to isl_dim_m
a
p_fro
m
_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
S
ven Verd
o
o
l
aege
transitive closure: project out
para
m
eters
w
he
n
a
n
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ver
d
oolaege
p
riva
t
ely
e
xport isl_basic_set_r
e
set_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_set_lif
t
: pr
e
serve str
u
cture of space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ve
r
doola
e
ge
isl_pw_qpolynomial_bound: handle c
o
mbi
n
ation
o
f
wr
a
ppin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
i
s
l_
t
ab_pip
.
c: fix typ
o
i
n
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sve
n
Verdoolaege
isl_t
a
b: check for obviously empty ta
b
l
eaus after discov
e
rin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ve
r
doolae
g
e
i
sl_basic_
m
ap_
g
ist:
prefer co
n
train
t
s without exi
s
t
ent
i
al
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sve
n
Verdoo
l
aeg
e
isl_bas
i
c_
m
ap_s
o
rt
_
constr
a
in
t
s: change
c
ompa
r
ison rou
t
ine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoola
e
ge
i
s
l_tab_ineq_type: classify more constraints as be
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
isl_map_coale
s
ce: be more re
l
axed about multiple equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Ver
d
oola
e
ge
a
d
d isl_bas
i
c_
m
ap_from_domain_an
d
_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Ve
r
doolae
g
e
ad
d
i
s
l_basic_set_
n
eg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add isl_basic_set_fl
a
t_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sv
e
n Ve
r
do
o
laege
exp
o
rt
i
sl_basi
c
_m
a
p_fl
a
t
t
en
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add isl_basic_map
_
f
r
om_q
p
olyn
o
mial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream:
s
upport
\<newline>
line continuation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ver
d
o
o
laege
add isl
_
union_map_read_from_fi
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolae
g
e
isl_stream_read_map: accept 'true' and 'fa
l
se' con
s
tr
a
ints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
is
l
_stre
a
m_read_map: a
l
low extra ';' a
t
end of ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ve
r
doolaege
isl_stream_rea
d
_map: al
l
ow negat
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Ver
d
ool
a
ege
isl_str
e
am
_
re
a
d_map: al
l
o
w
exis
t
ential quantifi
c
ation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdool
a
ege
p
r
ivately export isl_ba
s
i
c_map_add_div_
c
onst
r
aints_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
i
s
l_mo
r
p
h_basic
_
s
et: prese
r
ve rat
i
onality of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaeg
e
add is
l
_
b
asic_set_
i
s_r
a
tiona
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdool
a
eg
e
isl_print
e
r_print_basic_map: expl
i
c
i
tly
m
a
rk
rational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven
Ve
r
doolaege
isl
_
stream_read
_
m
ap: r
e
ad rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaeg
e
isl_basic_m
a
p_i
n
sert: preserve rationality of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
doola
e
ge
add isl_basic_map_
s
et_rati
o
n
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
Verdo
o
lae
g
e
isl_basic_map_f
a
s
t_
c
mp: di
f
ferentiate b
e
twee
n
r
a
tional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
is
l
_output
.
c: remov
e
some code duplicati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
i
s
l_printer_print_basic
_
{set,map}:
d
on't
st
a
rt new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
S
ven Ver
d
oolae
g
e
isl
_
s
t
ream_read_map: ac
c
ept
'|' at start
o
f constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoo
l
ae
g
e
isl_
s
t
rea
m
: k
e
ep
track
of tex
t
ual representat
i
on o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sve
n
Verdool
a
e
g
e
i
sl_in
p
ut
.
c
:
clean u
p
read
_
disjunc
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaeg
e
i
s
l_
s
tre
a
m_
r
e
a
d_map: a
c
c
ep
t
disjuncti
o
ns wi
t
h
in a co
n
junct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_conve
x
_
hull
.
c: explicitly
m
ark w
r
ap
p
ing lp p
r
oblem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_tab_min: micro-
o
ptimization: postpone taki
n
g into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
isl_tab_add_
r
ow: add further explanation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaege
i
sl_tab
.
c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
isl
_
tab_pip
.
c:
c
orrectly detect n
o
n-negat
i
vity of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven V
e
rd
o
ola
e
ge
add tes
t
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
t
est b
o
t
h context
h
an
d
ling mechanisms of i
s
l_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaege
isl_tab_is_equality: properly support
"big
p
a
r
ameter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
isl_tab_pip
.
c: fix typ
o
in
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
i
s
l
_
affine_hull
.
c: f
i
x
t
ypos
in
c
omm
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_
u
nion
_
map_co
m
pute_f
l
ow: return access
e
s w
i
th no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
Merge
branc
h
'
m
ain
t
'
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verd
o
olaege
isl_union
_
map
.
c: inplac
e
:
pass
data point
e
r t
o
isl_hash_t
a
bl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verd
o
ol
a
ege
isl_dim_
m
ove: update p
a
rameters of nested
spa
c
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next