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
add isl_div_get_ctx
2011-05-16
S
ve
n
Verdoolaege
add isl_div_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oolaege
add isl
_
mat_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en V
e
rdoo
l
aeg
e
doc
:
drop docum
e
ntation fo
r
isl-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
S
v
en Ve
r
doola
e
ge
add gmp
f
lags to pkg-config file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verd
o
olaege
ex
p
licit
l
y
l
ink in gmp in applications that
reference
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoo
l
aeg
e
con
f
igure
.
ac: d
o
n't de
p
end o
n
autom
a
k
e 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
Sven Verdool
a
ege
isl_pw_qpolynomial_invo
l
ves_
d
im
s
: also check whe
t
her
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n
V
erdoola
e
ge
add isl_u
n
ion_map_plain_is_injective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
isl_map_
i
ntersect_range: add spe
c
i
a
l
case for interse
c
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
add isl_
v
e
c_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n
V
e
rdoolaeg
e
add
i
sl_union_map_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n Verdoolaege
r
e
n
a
me
*
_f
a
st_*
f
unctio
n
s to *_plain_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
Merge bran
c
h 'maint'
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
erdoolaege
i
s
l_map_range: correctly han
d
le ma
p
s
w
ith 0
D
d
o
mains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
S
ven
V
erdoolaege
isl_l
i
st
.
h:
all
o
w
i
n
c
lusion
from C
+
+
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
S
ven Ver
d
o
ola
e
ge
isl_tab
_
pip: don't simplify
doma
i
n in isl_for_ad
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
S
v
e
n
Verdoolaege
add isl_
p
rinter_print_const
r
aint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sv
e
n
Verdoolaeg
e
add isl_con
s
traint_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
ad
d
isl
_
m
at_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sve
n
V
e
rdool
a
ege
rena
m
e i
s
l_mat_dump to isl_mat_
p
rint_inter
n
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
S
ven Verdoolaege
add
i
sl_constraint_
g
et_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sv
e
n V
e
rdoolaeg
e
Merge bra
n
ch
'maint'
commit
|
commitdiff
|
tree
2011-04-25
Sv
e
n Verdoo
l
aege
isl_basic_map_affine_hull:
finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
S
v
en V
e
rdool
a
ege
dat
a
flow analysis:
d
on't de
p
end on
word size during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
d
d
isl_union_set_co
m
pute_schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
add isl_tab_basic_set
_
n
on_n
e
g_lex
m
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
add i
s
l_
t
ab_basic
_
s
e
t_non_triv
i
al_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolae
g
e
isl_tab_pip
.
c: add_lexmin_e
q
: r
e
turn int
instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoola
e
ge
isl_tab_pip
.
c: re
s
tor
e
_lexmin: return int instea
d
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
rdoolaeg
e
i
sl
_
tab_p
i
p
.
c: add
s
ome de
b
ugg
i
n
g
c
ode
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
rdo
o
laege
isl_ta
b
_pip
.
c: fix typo
in comm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
a
d
d
is
l
_qui
c
kso
r
t
(copied from glibc)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdool
a
ege
isl_pri
n
ter_print_
b
asic_set: also prin
t
inva
l
id basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdool
a
e
g
e
add isl_uni
o
n_map_is_in
j
e
c
t
ive
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
rdoolaege
add isl_u
n
i
o
n_map_is
_
b
i
jective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
add isl_u
n
ion_map_is_
s
ingle_
v
alued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verd
o
olaege
a
dd
i
s
l_mat_add
_
zero_rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
isl
_
blk: don't
r
euse overly larg
e
b
locks for sm
a
ll
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_hmap_m
a
p_basic_
s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_union
_
ma
p
_copy_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n V
e
rdoolaege
add isl_union_map_contains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n V
e
rdoolaeg
e
add isl_
b
asic_set_
t
ransform_dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
add
isl_basic_set
_
offs
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
o
olaeg
e
c
h
ange isl_mat_s
u
b_alloc
p
rototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
m
ake
i
sl
_
mat_sub_* fun
c
tions private
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_
v
ec_get
_
c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
V
e
rdoolaeg
e
add i
s
l_mat_ini
t
ial_non_z
e
ro_col
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
rdo
o
la
e
g
e
add isl_mat_set_element_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verd
o
olaege
add isl_basic_set_add
_
c
o
nstra
i
nts_di
m
_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verd
o
olaege
ad
d
isl_dim_map_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
e
g
e
isl_dim_map:
a
llow s
i
gn
e
d mapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_dim_ma
p
: ext
r
a
ct from isl_ma
p
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
c
h
ange
p
rototype
o
f
i
s
l_tab_d
u
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
add
i
sl_map_remove_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
doc: fix
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
d
o
c:
a
dd a note o
n
the accur
a
cy of our approxima
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_union_set_coefficients and isl_
u
nion_s
e
t
_
solutions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
S
v
en Verdoolaege
add isl
_
uni
o
n
_
set_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdo
o
laege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-04-19
Sven
V
erd
o
olaege
i
sl_tab: alway
free saved ba
s
is undo rec
o
rd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sv
e
n Verdoo
l
aege
m
a
ke sure d
e
st
i
nation
for GDB m
o
dule
e
xists be
f
ore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
i
s
l_tab_pip
.
c: add_l
e
x
m
in_eq: r
e
mov
e
misguide
d
optimizat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
S
v
e
n Verd
o
olaege
isl
_
b
asic_map_lexmin: turn off equal
i
ty detec
t
ion
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ver
d
ool
a
ege
use sile
n
t make
rul
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
S
v
e
n Verdoolaege
isl_stream_r
e
ad_
m
ap: f
i
x handling o
f
div
s
in tuples
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven
Verdoola
e
ge
isl_mat_lef
t
_hermite:
plug memory leak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
plug memory leak
in i
s
l_
m
at_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Ver
d
ool
a
eg
e
i
s
l 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoola
e
g
e
doc: add some implementat
i
on details on parametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
sl_lp
.
c: avo
i
d clang warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
isl_st
r
e
a
m_read_
m
ap: accept floord and
ceild
e
x
pressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
isl_stream_read_map: acc
e
pt m
i
n and max exp
r
essions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaege
isl
_
stream_read_map: proper
l
y read nes
t
e
d divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaeg
e
isl_st
r
eam_read_
m
ap:
treat div
s
a
s
o
u
tput variab
l
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
a
e
g
e
isl_map_coalesce
:
plug memory
leak o
n
err
o
r pa
t
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
ge
isl_
m
at_extend: avoid
m
em
o
ry leak
w
h
e
n
re
a
ll
o
c fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
isl_basi
c
_map_overlying_set: avoid memory leak when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaeg
e
isl_stream
_
get
c
:
avoid memory leak when realloc fail
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Ve
r
doolaege
r
u
d
i
mentar
y
support for
a
synchronous t
e
rmination of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sv
e
n Verdoolaege
h
id
e
i
s
l_ctx interna
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n V
e
rdoolaege
isl_v
e
c_read_from_file:
d
ro
p
input_format
a
r
g
ume
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en V
e
rdoolae
g
e
is
l
_m
a
p
.
c: dr
o
p unuse
d
error label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sve
n
Ver
d
oo
l
aege
is
l
_inpu
t
.
c: drop
unused error label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sve
n
Verdoolaege
respec
t
DESTD
I
R when installing isl
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
isl
_
stre
a
m:
a
c
cept
"
$"
token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
a
d
d isl_union_ma
p
_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ve
r
doolaege
change isl_map_power interfac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdo
o
lae
g
e
a
dd isl_union_map
_
zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
v
e
n
V
erdoolaege
add private isl_basic_map_
s
wap_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolae
g
e
a
dd isl_
u
nion_map_de
l
tas_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sve
n
V
erd
o
olaege
Merge branch
'
maint'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoola
e
ge
isl
_
map_
d
eltas: don'
t
copy
f
lags from input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdo
o
lae
g
e
i
s
l_stream_rea
d
_map: accept constant ex
p
ressions of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sv
e
n Verdoolaege
i
s
l_stream: accept "/\"
and "\/" as
alternatives f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaeg
e
i
s
l_stream: onl
y
quot
e
ne
w
l
i
ne using
'\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
S
v
en Verdoolaege
isl_stream: mai
n
tain private ungetc buffe
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
S
ven Ve
r
doolae
g
e
isl_set_li
f
ting: simpl
i
fy and fina
l
ize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
S
ve
n
Verdoolaege
do
c
:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
S
ven Ve
r
doolaeg
e
doc: dr
o
p long outd
a
ted
note
on
tr
a
nsitive closure
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
S
ven Verdoolaege
add isl_basic_set
_
g
et_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next