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 gmp flags to pkg-config file
2011-05-15
Sven Verdoolaege
ad
d
gmp flags to pkg-co
n
fig file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven V
e
rdoolaege
explicitly li
n
k in g
m
p i
n
a
pplications t
h
at
r
eferenc
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolae
g
e
con
f
igur
e
.
a
c: don't d
e
pend on automake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
Sven Verdoolaege
isl_
p
w_qpoly
n
omial_in
v
olve
s
_dims:
a
lso che
c
k
wheth
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n Ver
d
oolaege
ad
d
i
s
l_
u
n
ion_m
a
p_plain_is_injectiv
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven V
e
rdoolae
g
e
isl_map_i
n
tersect
_
rang
e
: add s
p
ecial case for
inters
e
c
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
add isl
_
vec_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
add isl_uni
o
n
_
map_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoo
l
aege
rename *_fast_*
f
u
nction
s
to *_plain_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven
Ve
r
doolaege
Merge
branch '
m
aint'
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
isl_map
_
ran
g
e: corr
e
c
tly handle map
s
w
i
th 0D domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolaege
isl_list
.
h: allow inclusi
o
n from C++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoola
e
ge
is
l
_tab_pip: don't simplify d
o
main i
n
isl_for_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sv
e
n Verd
o
ola
e
ge
add isl_print
e
r_print
_
constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolaege
add i
s
l_constra
i
n
t
_g
e
t_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdo
o
l
ae
g
e
add
isl
_
mat
_
d
u
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Ve
r
doolaege
rename isl_mat_d
u
mp t
o
isl_mat_prin
t
_
intern
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolaege
add isl_constraint_
g
et_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven
V
e
rdoolaeg
e
M
e
rge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdo
o
lae
g
e
i
s
l_bas
i
c_map_affi
n
e_hull: finalize resul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Tob
i
as
Gro
s
s
e
r
Remove
r
ecently added unus
e
d variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Tobias G
r
osser
Ad
d
extern C d
e
clarati
o
n to schedule
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
Sven
V
erdoolaege
dataflow an
a
l
y
sis: don't depe
n
d on word size during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
add
i
sl_un
i
o
n_set_compute_sc
h
edule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
ad
d
i
sl_tab_
b
asic_set_non_neg_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoo
l
aege
add isl_tab_b
a
sic_
s
et_non_trivial_le
x
m
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_t
a
b_pip
.
c: ad
d
_lexm
i
n_
e
q: ret
u
rn int inst
e
a
d of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
isl_tab
_
pip
.
c: restore_lexmin: retur
n
int instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Ve
r
d
oolaege
isl_tab
_
pip
.
c: add some debugging code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
isl_tab_pip
.
c: fix typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
add isl_q
u
ick
s
or
t
(copie
d
fr
o
m glibc)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_prin
t
er_pri
n
t_basi
c
_set: also
p
rin
t
i
nvalid basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
dool
a
e
ge
add isl_un
i
o
n
_
m
a
p
_is_in
j
ective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdool
a
ege
a
d
d i
s
l_union_map_is_biject
i
ve
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
a
d
d isl_union_m
a
p_is_single_valu
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_mat_add_zero_r
o
ws
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolae
g
e
isl_blk: don't reus
e
ov
e
rly large blocks f
o
r small
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
ad
d
i
sl_hmap_
m
ap
_
basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
Ve
r
doolaege
add
isl_union
_
map_copy_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
dd isl_union_map_contains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
add isl_basic_set_transform_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
add isl_basic_set_offset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
r
doolaege
c
hange i
s
l
_ma
t
_
s
u
b_alloc prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
make isl_mat
_
sub_*
f
u
nct
i
ons private
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verd
o
olaege
add isl_vec_g
e
t_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolae
g
e
add
i
sl_m
a
t_initial_non_
z
er
o
_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verd
o
olaeg
e
add isl_ma
t
_
set_element_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
a
d
d isl_basic_set_ad
d
_
const
r
aints_dim_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
dd isl_dim_map_
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
isl_d
i
m_map:
a
llow s
i
gned ma
p
ping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_dim_map: e
x
tra
c
t fr
o
m
isl_
m
ap
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoola
e
ge
c
h
an
g
e p
r
ototy
p
e of is
l
_tab_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
V
e
rdoolaege
a
dd isl_map_remove_
d
i
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
do
c
:
f
i
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
do
c
:
a
dd
a note on
t
h
e a
c
c
uracy
of our approximation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
V
erdo
o
laege
a
dd
i
s
l
_
u
n
i
on
_
set
_
coe
f
ficients an
d
isl_union_set_solutions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
add
is
l
_union_set_
l
i
f
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2011-04-19
S
ven Verdoolaege
i
s
l_tab:
alway f
r
e
e saved basis undo record
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdool
a
ege
make sure destination for GDB m
o
dul
e
exist
s
before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
S
ven Verdool
a
ege
isl_tab_pip
.
c: add_lexmi
n
_eq:
r
emov
e
mi
s
guided opt
i
mization
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
isl_
b
asic_map_lexmin: turn
o
ff
e
q
u
a
l
i
t
y
d
e
t
ection on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
use s
i
lent make rules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ve
r
doolaege
isl_s
t
ream_read_map: fix handling of div
s
in tuples
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
S
ven Verdoolaege
isl_mat_left_hermi
t
e: plug memory lea
k
on
er
r
or path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaeg
e
plug memory
l
e
a
k i
n
isl_ma
t
_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoola
e
g
e
isl 0
.
0
6
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
ol
a
e
g
e
d
oc: add
s
ome
i
mplementation de
t
ails o
n
p
aram
e
tric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
i
sl_lp
.
c: avo
i
d c
l
a
n
g warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
isl_strea
m
_read_map:
ac
c
ept floord a
n
d
ceild
expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_stream_read_map:
a
c
c
ept mi
n
and max
expr
e
ssion
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en V
e
rdoola
e
ge
isl_stream_read_map
:
p
roperly read
nest
e
d divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_strea
m
_read_map:
t
reat
divs as
o
utput variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
la
e
ge
isl_map_c
o
alesce
:
pl
u
g memory leak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erd
o
olaege
isl_mat_extend: avoid mem
o
ry le
a
k w
h
en rea
l
loc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
is
l
_basic
_
m
a
p_ov
e
rlying_set: avoi
d
memory leak when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdo
o
laege
isl
_
stream_getc:
avoi
d
m
e
mory leak when real
l
oc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
rudimentary
s
upport for asynchronous termination of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verd
o
o
l
a
e
ge
hi
d
e isl_ctx interna
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl
_
vec_read_from_file: d
r
op input_for
m
at argum
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verd
o
ola
e
ge
isl_map
.
c: drop unu
s
e
d
er
r
o
r
label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl
_
inp
u
t
.
c
:
drop
unused er
r
or label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdool
a
ege
respect DE
S
TDIR when installing i
s
l
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolae
g
e
i
sl_strea
m
: accept "$" t
o
ken
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ven
V
erdoolaege
ad
d
isl_un
i
o
n
_m
a
p
_
p
ower
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolae
g
e
chang
e
is
l
_
m
ap_powe
r
inter
f
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erdoolaege
a
d
d isl_union_map
_
zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ven V
e
rdoolaege
ad
d
priva
t
e isl_
b
asic_map_swap_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verd
o
olaege
add isl_u
n
ion_ma
p
_
deltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoola
e
ge
Merg
e
branch
'maint'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoola
e
ge
is
l
_
ma
p
_deltas: don't copy fla
g
s
from
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
S
v
en Verdoolaege
isl
_
stream
_
read_map: accept
c
onstant expressions of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_
s
tream: accept "/\"
and "\/" as a
l
ternatives fo
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verd
o
o
laege
isl_stream:
o
nl
y
quo
t
e
new
l
ine using '\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl
_
s
tream: maintain private ungetc b
u
ff
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
isl_set_
l
ifting: simplify
a
nd
finaliz
e
res
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoola
e
ge
doc: fix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven
V
e
rdoolaege
doc: drop long outda
t
ed not
e
on transitive clo
s
u
r
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
Sven Ve
r
do
o
lae
g
e
add is
l
_basic_set_get_
d
im
_
name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdo
o
lae
g
e
isl_map
_
ident
i
ty
:
take dimen
s
ion s
p
ecification of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next