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_qpolynomial_align_params
2011-05-16
Sven
Verdoolaege
add
i
sl_q
p
olynomial_align_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaeg
e
add is
l
_map_align_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
e
x
po
r
t
isl_basic_set_re
m
ove_redund
a
ncies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
ex
p
or
t
isl_qpol
y
n
o
mi
a
l_gis
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verd
o
olaege
export isl_set_
e
limi
n
ate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdool
a
ege
isl/div
.
h: drop
d
ep
e
ndence on is
l
/s
e
t
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
o
olaege
h
i
d
e
isl_div
i
nternals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven
Verdoolaege
a
dd
i
sl
_
div_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolaege
add
isl_mat_get_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
a
e
g
e
d
o
c: dro
p
documentation f
o
r isl-p
o
lyl
i
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Ve
r
doolaege
add gmp flag
s
to pkg-co
n
fig file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
expli
c
it
l
y link in
g
m
p
i
n applications that referen
c
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
S
v
en Verdoola
e
ge
con
f
igu
r
e
.
a
c
: don't depen
d
on auto
m
ake 1
.
1
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
Sven Verdool
a
ege
is
l
_
p
w_qpolynomial_invol
v
e
s_dims
:
also che
c
k whether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n
V
erdoolaege
add isl_u
n
ion_
m
ap_plain
_
is_i
n
jective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ver
d
oolaege
isl_map_int
e
rsect_ra
n
ge: add special
case
for inters
e
ction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verd
o
olaeg
e
add isl_vec_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
erdoola
e
ge
add isl_union_map_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
r
ename
*
_fast_* functions to *_
p
lain_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
Merge
b
ranch '
m
aint'
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
isl_
m
a
p
_range: co
r
rectly
h
andle maps wit
h
0D dom
a
ins
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolaege
i
s
l_list
.
h: allow inclusion
from C++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sv
e
n Verdoo
l
aege
isl
_
tab_pi
p
: don't simplif
y
domain in
i
sl_for_ad
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolaege
a
dd isl
_
printer_print_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
S
v
en V
e
r
doolaege
add isl_constrai
n
t_
g
et_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven
V
erdoolaege
add isl_mat_du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven
Verdoolaege
rename
i
sl_mat
_
dump to isl
_
m
a
t_p
r
int_internal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolae
g
e
add isl_constraint_get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
S
v
en Verdoolaege
Merge branch 'm
a
in
t
'
commit
|
commitdiff
|
tree
2011-04-25
Sv
e
n
Verdoolae
g
e
isl_basic_
m
ap_affine_hull: final
i
ze result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
Sven Ve
r
d
o
olaege
dataflow ana
l
ysis: don
'
t depe
n
d
on word s
i
ze during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en V
e
rdoo
l
aege
add isl_union_s
e
t_comput
e
_schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
Ver
d
oolaege
add isl_tab_basic_s
e
t_non_neg_lexmi
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Ver
d
oolaege
add isl
_
t
a
b
_
b
asic_s
e
t_non_trivial_lex
m
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
r
doolaege
isl_tab_
p
i
p
.
c: a
d
d_lex
m
in_eq:
return int instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
isl_tab_pip
.
c
:
restore_lexmin:
return int
i
nste
a
d of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
i
s
l_tab_p
i
p
.
c: add some deb
u
g
g
ing code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n Verdo
o
laege
i
s
l
_tab_p
i
p
.
c: fix
t
ypo in
c
omm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
Verdoolaege
a
d
d isl_quicksor
t
(copied from glibc)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
V
e
rdoolaege
is
l
_pri
n
te
r
_p
r
int_b
a
s
ic_set: als
o
print invalid basi
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
la
e
ge
add i
s
l_
u
nion_
m
ap
_
is
_
in
j
ective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
add is
l
_u
n
ion_map_is_bijective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add is
l
_union_
m
ap_is_
s
ingle_va
l
ue
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Ver
d
oolaege
add isl_mat_add
_
ze
r
o_rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaeg
e
isl_blk: don
'
t r
e
u
se
ove
r
ly la
r
ge blocks for small
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
ad
d
isl_hm
a
p
_map_basic_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
V
e
rdo
o
laege
a
d
d i
s
l_unio
n
_map_
c
opy_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_union_map_contains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verd
o
ol
a
ege
add is
l
_
basic_set_transform_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Ver
d
oolaege
a
dd isl_basic
_
set_offset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
change isl_mat_sub_alloc
prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
make is
l
_
mat_sub_
*
functions private
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
d
d is
l
_vec
_
get
_
ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
g
e
add i
s
l
_mat_initial_non_zero_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
add isl_mat_
s
et_element_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Ver
d
oolaege
ad
d
isl
_
bas
i
c_set_
a
dd_
c
onstraints_d
i
m_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
d
d isl_dim_map_
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
is
l
_d
i
m
_
map
:
allow
signed mapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Ve
r
d
ool
a
ege
isl_di
m
_map: e
x
tract from isl_m
a
p
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
change proto
t
y
pe
of isl_tab_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoo
l
aege
a
d
d isl_map_rem
o
ve_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
doc: fi
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
do
c
: add a
n
ote
o
n the ac
c
uracy of our approxi
m
atio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
V
e
rdoolaege
a
dd isl_union_set_coeffi
c
ients and
i
sl_unio
n
_set_solution
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoola
e
ge
add isl_union_s
e
t_li
f
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verd
o
olaege
Merge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-04-19
Sven
V
e
rdoolaege
isl_tab: alway free sa
v
ed basis un
d
o record
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Ve
r
doolae
g
e
make sure destina
t
i
on fo
r
G
D
B m
o
du
l
e
exists b
e
fore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven
Verdoolaege
is
l
_tab_pip
.
c
:
a
dd_lexmin_eq: remove misguided optimization
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven
V
erdoolaeg
e
isl_basic_ma
p
_l
e
xmi
n
: turn o
f
f e
q
ua
l
ity detection on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
S
v
en
Verdoolaege
use silent m
a
ke
r
u
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven
Verd
o
olaege
i
s
l_stre
a
m_
r
ea
d
_
m
ap: fix handling of divs in tuples
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoo
l
ae
g
e
isl
_
mat_left_h
e
rmite: plug
m
emo
r
y
leak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
S
ven Verdoolaege
p
lug memory leak
in
i
sl_mat_pr
o
duct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
V
e
rd
o
ola
e
ge
isl 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
doc:
a
dd some implementation
details on paramet
r
ic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
g
e
isl_lp
.
c: avoid clang warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n
Verdoolae
g
e
isl_s
t
ream_read_map:
a
c
c
ept floord
and ceild expr
e
ssions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaege
isl_stream_read_map: accept min a
n
d max
expr
e
ss
i
ons
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_stre
a
m_read_map: properly rea
d
nested
d
iv
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
isl
_
str
e
am
_
r
ead_m
a
p: treat divs as output
variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n Verdoolaege
i
s
l
_map_coa
l
esce: plug
m
emory leak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
isl
_
mat_exten
d
:
avoid memory leak whe
n
realloc fa
i
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Ve
r
doolaeg
e
isl_
b
a
s
i
c_map_overlying_set: avoid memory leak wh
e
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoo
l
aege
i
s
l
_
stream_get
c
: a
v
oid memory leak when realloc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaege
rudime
n
tary
s
upport for asy
n
chronous
termination of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sven
V
er
d
oolaege
hide isl_ctx internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
v
e
n
Verdoolaege
isl_vec_read_
f
rom_file
:
drop in
p
ut_format argume
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sve
n
Verdool
a
ege
is
l
_map
.
c:
d
rop u
n
used error l
a
b
el
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_
i
nput
.
c: drop unused
e
rror labe
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
r
e
s
p
e
c
t D
E
STDIR when
installi
n
g isl
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ve
r
doolaege
isl_s
t
ream: accept "$" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ver
d
oolaeg
e
ad
d
isl_uni
o
n
_
m
a
p
_
power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verdo
o
laege
change is
l
_ma
p
_po
w
er inter
f
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n
V
erdoolaege
add isl_u
n
ion_map_zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verdoolae
g
e
add pri
v
a
t
e
isl_ba
s
ic_map_swap_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
add i
s
l_unio
n
_
m
ap_deltas
_
ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdo
o
laege
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2011-03-10
Sven Ve
r
do
o
lae
g
e
isl_m
a
p_delt
a
s: don'
t
c
o
py flag
s
f
rom i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaeg
e
isl_stream
_
r
e
a
d_map: accept cons
t
ant express
i
ons of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next