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
Fix typo in comment.
2011-05-15
Sven Verdoolaege
add gmp fla
g
s to pkg-config file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoo
l
aeg
e
e
x
pl
i
cit
l
y link in gm
p
i
n applications that reference
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven V
e
rdoolaege
conf
i
gure
.
ac
:
don't depend on
a
uto
m
ake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
Sv
e
n Verdool
a
e
ge
isl_pw_qpoly
n
o
m
i
al_inv
o
lves_dims: al
s
o
ch
e
ck whether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoola
e
ge
add isl_uni
o
n_map_plain_is_
i
njective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
Ver
d
oolaege
i
s
l_map
_
intersect_range: add special case
f
o
r
intersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ve
r
doolaeg
e
add isl
_
v
e
c
_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven V
e
rdoolaege
add isl_union_map_u
n
iverse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
rename *_fast_
*
funct
i
ons
to *_plain_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en
Verdoolae
g
e
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdo
o
laeg
e
i
s
l_map_range:
c
orrectly ha
n
dle maps wi
t
h
0
D domain
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolaege
i
sl_
l
ist
.
h: allow inclusion
f
rom C++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolaege
isl_tab_pip: don't simplify doma
i
n
i
n isl_for_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven
V
er
d
o
o
laege
add i
s
l_printer_print_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven
V
erdoolaege
add i
s
l
_con
s
tr
a
int_ge
t
_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
a
d
d isl_
m
at_dum
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
S
v
en V
e
r
doolae
g
e
rename
i
sl_mat
_
dum
p
to
i
sl_
m
at_prin
t
_
interna
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verd
o
olaege
add
isl_cons
t
ra
i
nt_get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdo
o
laege
Merge br
a
nch 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-04-25
Sven Ver
d
oolaege
isl_basic_m
a
p_affine_hu
l
l: finalize resul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
T
o
bias G
r
osse
r
Remove recently
a
dded
unused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
T
obias
Grosser
Add extern C decl
a
ratio
n
to schedule
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
Sven
V
erdoo
l
aege
d
ataflow an
a
lysis: don't depen
d
on word size
d
uring
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
l
a
e
g
e
add
isl_uni
o
n_s
e
t_co
m
pute_schedul
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doola
e
ge
add isl_tab_bas
i
c_set_non_n
e
g
_lexm
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
do
o
laeg
e
add
i
sl
_
tab_basic_set_non_trivial_lex
m
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
i
sl_t
a
b_
p
ip
.
c: add_lex
m
i
n_eq: ret
u
rn
int
i
nstead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
isl_tab_pip
.
c: restore_le
x
min:
r
eturn
i
nt i
n
stead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_tab_pip
.
c: a
d
d
s
om
e
debugging code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
r
d
oolaege
isl_
t
ab_pip
.
c
:
fix typo
i
n com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolae
g
e
add isl_quicks
o
r
t
(c
o
pie
d
from glibc)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
isl_print
e
r_
p
rint_basic_set: al
s
o p
r
int invalid basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdool
a
ege
a
d
d
is
l
_union_map_is
_
injective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_union_map_is_b
i
jec
t
ive
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
V
e
r
doolaege
add isl_union_
m
ap_is_single
_
valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
V
erdoolaege
add isl_mat_add_zero_rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolae
g
e
isl_
b
lk: don't r
e
u
s
e over
l
y
l
a
rge bloc
k
s for small
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
ad
d
isl_hm
a
p_map_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolae
g
e
add i
s
l
_
union_map_copy_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
v
en Verdoolaege
a
dd
isl_bas
i
c_set_transform_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
ad
d
is
l
_basic_set_offset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
change isl
_
mat_sub_alloc
protot
y
pe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
m
ake isl_mat
_
sub_* functions private
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
a
d
d isl_v
e
c
_get_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Ve
r
doola
e
ge
ad
d
is
l
_mat_initia
l
_non_z
e
ro_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdool
a
ege
add isl_
m
a
t
_
se
t
_element_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
o
laege
add isl_
b
asic_set_add_
c
onstraints_dim_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
ool
a
ege
ad
d
isl_dim
_
map_r
a
nge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdool
a
ege
i
sl_
d
i
m
_map:
a
llow sig
n
e
d
mapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en
V
erdoolaeg
e
isl
_
dim_map: extrac
t
from isl_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
change pro
t
otype of isl_ta
b
_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
add isl
_
map_rem
o
ve_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
d
oolae
g
e
doc: fi
x
ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
doc:
add a note on t
h
e
a
c
c
u
racy of
our approximation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
add isl_
u
nion_set_coeffi
c
ients and isl
_
union_set_s
o
lutions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
S
v
en Verdool
a
e
ge
add i
s
l_
u
nion_
s
et_l
i
ft
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verd
o
olaeg
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-04-19
Sven
V
e
rdoolaege
i
s
l_
t
ab: alway fre
e
saved basis undo re
c
ord
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sve
n
Verdoolaege
make sure destination for GDB modul
e
exi
s
ts b
e
fore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
isl_
t
ab_pip
.
c: add_le
x
min_e
q
: remove misguided
optimizations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sve
n
Verdoolaege
isl_basic_map_lexmin: turn
of
f
equalit
y
d
ete
c
tion on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
S
ven V
e
rdoo
l
aege
us
e
silent
m
ake rules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven
Ver
d
ool
a
ege
i
sl_stream
_
r
ead_map: fi
x
ha
n
d
l
ing of divs in tuple
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sv
e
n
Verdoolaege
isl_mat_left_he
r
mite: p
l
u
g me
m
ory leak on
error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven
Verdoola
e
g
e
plu
g
memory leak in is
l
_
m
at
_
product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
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
do
c
:
add so
m
e impleme
n
t
at
i
on d
e
tails on
p
a
ramet
r
ic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
i
sl_lp
.
c: avoid clang warni
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_st
r
ea
m
_read
_
m
a
p: accep
t
floord and cei
l
d expre
s
sions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
r
d
oolaege
isl_stre
a
m
_
rea
d
_m
a
p
:
a
ccept min
a
nd m
a
x e
x
p
ressio
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven V
e
rdoolaege
i
s
l_stream_read_
m
ap:
prop
e
rly re
a
d n
e
sted
d
ivs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Ver
d
oolaege
i
sl_
s
tream_read
_
map: treat divs
a
s
output variab
l
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaege
isl_map_coa
l
e
s
ce: plu
g
memory leak on error p
a
th
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
isl_mat_ex
t
end
:
avoid memor
y
leak when real
l
oc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
isl_
b
asic_map_ov
e
rlyin
g
_set: avoid
m
e
mory lea
k
when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en
Verdoolaeg
e
isl_str
e
am_get
c
: avo
i
d mem
o
ry
l
eak when
r
eallo
c
fail
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
o
olaege
r
udimentary support for
asynchronous
t
ermin
a
t
ion of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verdoolaege
hide isl_
c
tx in
t
ernals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaeg
e
isl_vec
_
read
_
from
_
file: dr
o
p input_f
o
rmat argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
v
e
n Verdoola
e
ge
i
sl_map
.
c: drop unused er
r
or label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
v
e
n
Ve
r
d
o
olaege
isl
_
inp
u
t
.
c: drop unused error label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven V
e
rdoo
l
a
ege
re
s
p
e
ct DESTDIR when install
i
ng
is
l
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
isl_stream: accept "$" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdo
o
laege
add isl
_
union_map_powe
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verd
o
ol
a
ege
chang
e
isl_
m
ap_
p
ower
interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
e
rdo
o
lae
g
e
add isl_un
i
on
_
map_
z
ip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Ve
r
do
o
laege
add p
r
i
vat
e
isl
_
basic_map_swap_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Ve
r
d
oolaege
add
i
sl_union_m
a
p_deltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sve
n
Verdoo
l
a
e
g
e
Merg
e
br
a
nch 'm
a
int'
commit
|
commitdiff
|
tree
2011-03-10
S
v
en Verdoolaege
isl_map_del
t
as: don't c
o
py
f
lags f
r
om in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoola
e
ge
isl_stream_
r
ead_map
:
ac
c
ept
co
n
stan
t
expressi
o
n
s
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verd
o
olaege
is
l
_strea
m
: accept
"
/
\
" a
n
d
"
\/" as alternati
v
es for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verd
o
ola
e
ge
isl_st
r
eam
:
only quote newline using
'
\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoola
e
ge
is
l
_stream: m
a
intain pr
i
vat
e
un
g
etc buffer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoo
l
aege
i
s
l_set_lifting:
s
impl
i
fy and finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven
V
e
rdoo
l
aege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sv
e
n Verdoolaege
do
c
: drop lon
g
ou
t
dat
e
d note
o
n transit
i
v
e closures
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
S
v
en Verdoolae
g
e
a
dd
is
l
_
basic_set
_
ge
t
_di
m
_nam
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
S
v
en
Verdoolaege
isl_map_identity:
ta
k
e d
i
men
s
ion specification of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next