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 Verdoolae
g
e
a
d
d isl_qpoly
n
omial_align_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add
isl_
m
ap_ali
g
n_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdoolaege
e
x
port isl_
b
asic_set_remove_r
e
dundancies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
export isl
_
qpolyno
m
i
al
_
gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
expo
r
t isl_set_eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
olaege
isl/di
v
.
h: drop depen
d
ence
on isl/s
e
t
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Ve
r
doolaege
hide i
s
l_div internal
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add is
l
_div_get_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_mat_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolaeg
e
doc: drop docum
e
ntation f
o
r isl-polyl
i
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven
V
erdoolaege
add gmp
fl
a
gs to
p
k
g-co
n
f
i
g
f
ile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdool
a
ege
explicitly
link i
n
g
m
p in a
p
plications that r
e
ference
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
S
v
en Verdoolaege
config
u
re
.
ac: don't dep
e
n
d
on au
t
omake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
Sven Verdoola
e
ge
isl_
p
w_qpolynomi
a
l_invo
l
ves_d
i
m
s
: also check wh
e
th
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoola
e
ge
add isl_union_map_plain_
i
s
_
injective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ver
d
oolaege
isl_
m
ap
_
intersect_r
a
nge: add special case fo
r
int
e
rs
e
ction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven V
e
rdoolaege
add isl_
v
ec_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
er
d
oolaege
a
d
d isl_union
_
map_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
e
r
doo
l
aege
rename
*
_fast_
*
function
s
t
o
*_plain_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
Verdoolaege
Mer
g
e branch 'maint'
commit
|
commitdiff
|
tree
2011-05-05
Sven Verd
o
ol
a
ege
isl_ma
p
_range: cor
r
ectly
handle maps wi
t
h 0D domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
S
ven Verd
o
ola
e
ge
i
s
l_list
.
h: allow inc
l
u
sio
n
f
rom C++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven
V
erdoolae
g
e
isl_tab
_
pip: d
o
n'
t
si
m
plify domain
i
n i
s
l_for
_
a
d
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
S
v
en Verdoolaege
add
i
s
l_print
e
r_print_
c
onstraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
S
v
e
n Verd
o
olaege
a
d
d is
l
_con
s
traint
_
ge
t
_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
a
dd isl_
m
a
t
_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaeg
e
rename i
s
l_mat_
d
ump
t
o is
l
_mat
_
print_inte
r
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
S
ve
n
Verdoola
e
ge
ad
d
isl_constr
a
i
nt_get
_
d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoo
l
aege
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolaege
i
sl_basic
_
ma
p
_affine_hull: fi
n
alize re
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
To
b
ias Grosser
Remove recent
l
y added
u
nused variabl
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Tobi
a
s Grosser
Add ext
e
rn
C
declaration to schedule
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
Sven Ver
d
oolaege
dataflow analysis: don
'
t depend on
w
ord s
i
ze during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
add is
l
_union_
s
et_compute_schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doo
l
aege
add isl_tab
_
basic_
s
et_n
o
n_neg_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
V
erdoolaeg
e
add isl_tab_basic_s
e
t_non_triv
i
a
l
_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n
Verdoola
e
ge
isl_t
a
b
_
pip
.
c: add_
l
exmi
n
_
eq: retur
n
i
n
t inste
a
d of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
isl_t
a
b_pip
.
c: restore_
l
exmin: return int inst
e
ad of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
is
l
_tab_pi
p
.
c
:
a
d
d some de
b
ugging c
o
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoo
l
aege
isl_ta
b
_
pip
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
dd is
l
_quicksort (copied from
glib
c
)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
isl
_
printer_print_basic_set
:
a
lso print
i
nvalid basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_union_m
a
p_is_
i
nj
e
ct
i
ve
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdool
a
e
g
e
add
i
s
l_union_map_is_bijectiv
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_union_map_is_sin
g
l
e_va
l
ued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
a
e
ge
ad
d
isl_mat_a
d
d_zer
o
_rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
isl_blk: don't reuse o
v
erly larg
e
b
l
o
c
k
s for small
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
do
o
la
e
ge
add isl_hmap_map_
b
asic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdo
o
laege
a
d
d isl_union_map_copy_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verd
o
olaege
add i
s
l_unio
n
_
map_contains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
add
isl_basic_
s
et_tr
a
nsform_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoola
e
ge
add isl_basic
_
set_o
f
fse
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
rdoolae
g
e
change isl_mat_
s
ub_alloc prot
o
type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
make isl_mat
_
sub_* functions private
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
add isl_vec_ge
t
_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
ad
d
i
s
l_mat_ini
t
i
al_non_zero
_
c
o
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
d
d isl_ma
t
_
se
t
_e
l
e
m
e
nt
_
si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolae
g
e
add isl
_
bas
i
c
_
set_a
d
d_constraints_dim_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_dim_
m
ap_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_dim_map: allow s
i
g
n
e
d
mapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
isl_dim_map: extract from isl_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdo
o
laege
chang
e
prototype
of isl_tab_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
add
isl_ma
p
_rem
o
ve_di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
d
oc: fi
x
t
y
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
doc: add a note
on the
a
c
c
uracy of our app
r
oximati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_uni
o
n_set_coef
f
icients and isl_unio
n
_set_sol
u
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolae
g
e
add i
s
l
_u
n
ion_set_
l
ift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
S
ven Verdoolaege
M
erge br
a
nch 'm
a
int'
commit
|
commitdiff
|
tree
2011-04-19
Sven Verd
o
olaege
i
sl_
t
ab: alw
a
y free saved basis u
n
do record
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Ve
r
d
o
o
laege
m
ake
s
u
r
e
destination
f
or GDB mod
u
le
e
xists before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
is
l
_tab_pip
.
c: add_l
e
xmin_eq: remove misgu
i
d
ed opt
i
miza
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sve
n
Verd
o
olaege
isl_basic_map_lexmin
:
turn
off equality d
e
tecti
o
n on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
S
ven Verdo
o
la
e
ge
use s
i
le
n
t mak
e
rules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoola
e
ge
isl_stream_read_map: fix handling of div
s
in
tuples
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sv
e
n Verd
o
ola
e
ge
isl_mat_left_hermite: plug memory leak
o
n
e
rro
r
pat
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ver
d
oolaege
p
l
u
g mem
o
r
y leak in isl_ma
t
_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
i
s
l 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
doc: add some impleme
n
tation deta
i
ls on parametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
is
l
_
l
p
.
c
: avoid clang warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
laege
isl_st
r
e
am_read_map: accept floord and c
e
ild
e
xpressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdo
o
laege
isl_strea
m
_read_
m
ap:
a
ccept min a
n
d max
e
xpression
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
ola
e
ge
isl_stre
a
m
_read_map: prope
r
l
y read
nested di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
rdoolaeg
e
isl
_
stream_read_map: tre
a
t
d
i
v
s
a
s o
u
tput variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
isl_map_coalesc
e
: plug memory leak on error pat
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
isl_m
a
t
_
ext
e
nd: avoid memory leak when realloc f
a
il
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en
V
erdoolaege
i
sl_
b
as
i
c_map_
o
verlying_set: avoid mem
o
ry le
a
k when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
i
sl_
s
tream_getc:
a
vo
i
d
mem
o
ry leak when
r
ea
l
lo
c
fai
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoola
e
ge
r
u
dimentary supp
o
rt fo
r
asynchronous termination of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
S
ven
Verdoolaege
hide i
s
l_ctx inter
n
als
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ver
d
oo
l
a
e
ge
isl_vec_re
a
d_from_f
i
le
:
d
rop
input_fo
r
mat
a
rgument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoo
l
a
e
ge
is
l
_map
.
c
:
d
rop unused error label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
v
e
n Verd
o
ol
a
ege
isl_input
.
c: drop un
u
sed error
label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
respe
c
t DESTDIR when
insta
l
l
ing i
s
l
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erdoolae
g
e
i
s
l_st
r
eam
:
acc
e
pt
"$" t
o
k
e
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verd
o
olaege
add isl_union_map_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
c
hange isl_map_powe
r
interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n
V
e
rdoolaege
add
i
sl_union_map_zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven V
e
rdoolaeg
e
a
dd
private i
s
l_basic_map_swap_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
add isl
_
union_map_d
e
l
tas_
m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sve
n
Verdoolaege
M
erge branch 'main
t
'
commit
|
commitdiff
|
tree
next