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
export isl_set_eliminate
2011-05-16
S
ven Verdoolae
g
e
export isl_set_eliminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n Verdoolaege
isl
/
div
.
h
:
drop dependence on isl
/
set
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
aege
hide isl_div int
e
rnals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Ver
d
o
o
la
e
ge
a
dd isl_div_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
lae
g
e
add isl_m
a
t_get
_
ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
ool
a
ege
doc: drop documentati
o
n for
isl-polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
add
gmp flags t
o
p
kg
-
c
o
nfig fil
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
S
v
en Ver
d
oolaege
explic
i
t
l
y lin
k
in gmp
i
n applications that
reference
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdo
o
laege
configur
e
.
ac: don't dep
e
nd
on automa
k
e 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
Sven Verdoolaege
isl_pw_qp
o
l
y
nomial_in
v
olves_dims:
also
c
heck
whether
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
ven
V
erd
o
olaege
a
dd i
s
l_
u
ni
o
n_map_plai
n
_
i
s
_
inj
e
c
tive
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
isl
_
map_interse
c
t_range
:
add
s
pecial case
f
o
r
intersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
ven Verdoolaege
a
d
d isl_vec_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
erdoolaege
add
isl_union_map
_
univ
e
rse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
ve
n
Verd
o
olaege
rename *
_
fast_* functions to *_plain_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoola
e
ge
Merge
branch
'
maint'
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Verdoolaege
isl_map_r
a
ng
e
: correctly h
a
ndle maps w
i
th 0D
d
o
mains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven V
e
rdoolaege
isl_list
.
h
: all
o
w inc
l
usion from C++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sve
n
Verdoolaeg
e
isl_tab_pip:
d
on't si
m
pli
f
y domain
i
n i
s
l_for
_
ad
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolaege
add isl_printer_pr
i
n
t_c
o
nst
r
aint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdo
o
laege
add isl_constraint_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
add isl_m
a
t
_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
rena
m
e isl_mat_d
u
mp to is
l
_ma
t
_print
_
inte
r
nal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven
Verdool
a
e
ge
add
isl_con
s
train
t
_ge
t
_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolaege
Merge branch
'maint'
commit
|
commitdiff
|
tree
2011-04-25
Sven
Ver
d
oolaege
isl_ba
s
ic_map_affine_hull: final
i
z
e
re
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
T
o
bias
G
rosser
Remove r
e
cently
a
d
d
ed unus
e
d
variable
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Tobi
a
s Grosse
r
A
dd extern
C declaration t
o
schedule
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
Sven Verdoolaege
d
a
taf
l
ow analysis: don't depend on
word size
d
uring
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
add isl_unio
n
_
set_compu
t
e_schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
a
dd i
s
l_t
a
b_b
a
sic_set_non_n
e
g_l
e
xmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
add isl_ta
b
_basic_set_non_trivia
l
_
lexm
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
isl_t
a
b_pip
.
c
: add_l
e
xmin_eq: r
e
tu
r
n
in
t
i
n
s
t
e
a
d
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
isl_tab_pip
.
c
: restor
e
_lexm
i
n: return in
t
instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
r
d
o
olaege
isl_t
a
b_
p
ip
.
c: add some deb
u
ggin
g
code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl
_
t
a
b
_pip
.
c: fix t
y
po in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoo
l
a
e
g
e
a
dd isl_quicksort (
c
o
p
ied from
gl
i
bc)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
isl_printer_print_ba
s
ic_se
t
:
also print i
n
v
a
l
id basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
add isl_union_ma
p
_is_inj
e
ctive
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
ad
d
isl_uni
o
n_
m
ap_is_bijecti
v
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaeg
e
add isl_union_m
a
p_is_s
i
ngle_
v
al
u
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en
V
erdoolaege
a
d
d isl_mat_add_zero_row
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
isl_bl
k
:
don't
r
euse overly lar
g
e blocks for small
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolae
g
e
add isl_
h
m
ap_map_ba
s
ic_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
d
o
olae
g
e
add isl_
u
nion_map_cop
y
_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
V
erdoolaege
add
i
s
l
_
union_map_
c
ontains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
l
aege
add isl
_
basic_set_transf
o
rm_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
add is
l
_basic_s
e
t_of
f
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdool
a
ege
change isl_
m
at_sub_
a
ll
o
c prototy
p
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
ma
k
e is
l
_mat_sub_* f
u
nction
s
p
rivate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
a
d
d isl_vec
_
get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
a
d
d
i
sl_
m
at_in
i
tial_n
o
n_z
e
ro
_
cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
ad
d
i
s
l_mat_set_ele
m
e
n
t_
s
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
dool
a
ege
a
d
d
isl_
b
asic_set_a
d
d_constraints_di
m
_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
d
d isl_dim_map_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolae
g
e
isl_d
i
m_
m
ap: allow signed mapping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
isl
_
dim_map: ex
t
ract from isl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
change pro
t
otype of isl_
t
ab_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
a
d
d isl_map
_
rem
o
ve_
d
ivs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
d
oc: add a note
on the accur
a
cy of our approximati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_union_set
_
coefficien
t
s and isl_un
i
on_
s
et_solutions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdo
o
la
e
g
e
ad
d
isl_union_set_
l
ift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sve
n
Verdoolaege
Me
r
ge b
r
anch 'maint
'
commit
|
commitdiff
|
tree
2011-04-19
Sven
Verd
o
ol
a
e
g
e
is
l
_tab: a
l
way free save
d
bas
i
s undo rec
o
rd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
make sure
d
estination for GDB module exists
before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdo
o
la
e
ge
isl_tab_p
i
p
.
c
:
add_lexmin_eq: remove misguided optimizations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdo
o
laege
i
s
l_basic_map_lexmin: tu
r
n off
e
quality
d
e
tection on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
S
v
en V
e
rdoolaege
use silent make rules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
isl_
s
tr
e
a
m_re
a
d_ma
p
: fix handlin
g
of divs in
tuples
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sv
e
n
V
erdoolaeg
e
i
sl_mat_l
e
ft_hermite
:
plug m
e
m
o
ry
l
eak on err
o
r path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
plug memo
r
y leak in
i
s
l_mat_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en V
e
rdoolaeg
e
isl 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
doc: ad
d
s
o
me implementation details
on para
m
etri
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdool
a
ege
isl_lp
.
c
:
a
v
oid clang warni
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
isl_
s
tream_re
a
d_map: a
c
c
e
p
t floord and c
e
ild e
x
p
ressi
o
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
isl_stre
a
m
_
r
e
ad_map: acce
p
t min and max expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
r
d
ool
a
e
g
e
is
l
_stream_read_m
a
p: properly re
a
d nes
t
ed
divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaeg
e
i
sl_s
t
re
a
m_read_map: trea
t
d
ivs as ou
t
put variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolae
g
e
is
l
_map_coalesce: plug memory
l
eak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doo
l
aege
isl_m
a
t
_
e
x
tend: avoid m
e
mory leak
w
h
en realloc fa
i
ls
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
isl_ba
s
ic_map_overlying_se
t
: avoid memory leak wh
e
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven V
e
rdool
a
ege
i
sl_stream_getc: av
o
i
d memory leak
w
hen realloc
f
ails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verd
o
olaege
rudime
n
t
a
ry su
p
port for async
h
ronous
t
ermination of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
S
v
en Verdool
a
ege
hi
d
e isl_ctx internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en Verdoolaege
isl_vec
_
read
_
from_file: drop input_
f
ormat argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sve
n
Ver
d
oolaege
i
sl_map
.
c:
d
rop unused error la
b
el
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ver
d
o
o
laege
isl_
i
n
p
ut
.
c: drop unused error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ver
d
o
o
l
a
e
g
e
respect DESTDIR when installin
g
i
sl
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
isl_str
e
am: accept
"$" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verdoolaege
a
dd
i
sl_union_map_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoola
e
ge
cha
n
ge isl_map_power interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
e
rdoolaege
a
dd isl_union_map_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
V
e
rdoolaege
add pri
v
ate i
s
l_
b
asic
_
map_s
w
ap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sv
e
n Verdool
a
eg
e
a
d
d isl_union_ma
p
_deltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven V
e
r
d
o
o
laege
Merge branch
'
mai
n
t'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoola
e
g
e
isl_
m
ap_deltas: don
'
t
copy flags from input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdo
o
laege
isl_stream_
r
ead
_
map: ac
c
ept
c
onstant expression
s
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
v
en Verdo
o
laege
i
sl_stream:
a
ccept "/\" a
n
d "\/"
a
s alt
e
rnat
i
v
es for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sve
n
Verdoolaege
isl
_
s
t
ream: only quote newline
u
si
n
g
'
\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next