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
isl_tab_min: micro-optimization: postpone taking into account denominator
2011-02-10
Sven Verdoola
e
ge
i
sl_tab
_
min: micro-opti
m
i
z
ation: pos
t
pone taking into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Merge
b
ranch
'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaeg
e
isl_tab_
a
d
d
_
row: add further expl
a
nation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
isl_tab
.
c: fix typo
s
in
c
omment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
i
s
l_tab_pi
p
.
c: correctly
d
etect non-negativ
i
ty of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoo
l
aege
add t
e
st
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolaege
test both c
o
ntext handling mechanisms of isl_
p
ip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_i
s
_equ
a
lit
y
:
pr
o
p
erly su
p
port "bi
g
parameter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
isl
_
tab_pi
p
.
c: fix typo in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaege
isl_af
f
ine_hull
.
c: fix typos i
n
comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaege
isl_u
n
ion_map_compute_flow: r
e
t
urn accesses with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
Mer
g
e branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
isl_union_map
.
c:
i
n
place: pass
d
a
t
a
pointe
r
to isl
_
h
a
sh_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolae
g
e
isl_dim_mo
v
e: upda
t
e paramete
r
s of nested
s
paces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdool
a
ege
add isl_map_nat_un
i
ve
r
s
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sve
n
Verdoolaege
c
le
a
n up isl_set_from_ba
s
i
c_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
S
ven Verdoolaege
me
r
ge
i
sl_bas
i
c_set/isl_basic_m
a
p and isl
_
s
et/is
l
_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoolaege
rename "
o
me
g
a" transiti
v
e
c
losure to "b
o
x" transitive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven
V
erdoolaege
expo
r
t isl
_
int_ob
j
_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Ver
d
oola
e
ge
i
sl_verti
c
es
.
c: fix t
y
pos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
e
rd
o
olaege
i
s
l_union
_
tem
p
l
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verd
o
olaege
isl_map_su
b
tra
c
t
.
c:
n
_non_re
d
unda
n
t: propage isl_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verd
o
o
l
aege
isl_bernstein
.
c:
fix
typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaege
a
dd
isl_union
_
pw_qpolynomial_m
u
l_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verdoolaege
isl_st
r
eam_rea
d
_obj: read int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Ve
r
do
o
l
aege
add int objects for us
e
in
i
scc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoo
l
aege
isl_basic_ma
p
_
r
emove_di
v
s: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verd
o
olaege
add
isl_ba
s
ic_set_get_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven V
e
rdoolaege
Me
r
ge
branch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
er
d
oola
e
ge
isl_u
n
ion_
m
ap_
s
ample
:
do
n
't
r
eturn NULL on
e
mpty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdo
o
l
a
ege
isl_basic_map_set
_
tuple_name: final
i
ze result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
S
v
e
n
Verdoolaege
is
l
_transit
i
ve_closure
.
c: more anony
m
ize input map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
isl_basic_s
e
t_factorizer: mak
e
sure group i
n
forma
t
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sve
n
Verdo
o
laege
add is
l
_uni
o
n
_
map
_
range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
doc: docu
m
ent product functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
rename isl
_
basic_set_p
r
odu
c
t
to i
s
l_b
a
sic_set_list_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
S
v
e
n Ve
r
d
oola
e
ge
isl_set_convex_hull: optio
n
ally use Fourier-Motzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Ver
d
ool
a
ege
i
s
l
_basic_set_s
a
mple_point: explo
i
t factoriz
a
tion
i
f
any
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
ad
d
isl_morp
h
_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
change prototype of isl_vec
_
d
u
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
ad
d
isl_p
r
inter_prin
t
_ve
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doo
l
aege
add isl_
u
n
ion_set_appl
y
_u
n
ion_p
w
_qpolyn
o
m
ial_f
o
ld
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
e
x
port isl_uni
o
n_map_from_domain and isl_uni
o
n_map_from_ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en V
e
rdoolaege
is
l
_
bas
i
c_map_int
e
rs
e
ct_domain: r
e
place open
-
co
d
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
i
s
l_stream_r
e
ad_map:
accept modulo expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdool
a
ege
isl_ba
s
ic_
m
ap
_
inse
r
t
: don't simplify the res
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoo
l
ae
g
e
M
e
rg
e
branch
'
m
a
int'
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_basic_map_fro
m
_
constraint_matri
c
es: clear newly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verdoolaeg
e
isl
_
token_free: f
r
ee string re
p
r
e
sentatio
n
of keywords
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
isl_input
.
c
: read_factor: drop u
n
exp
e
cted identifi
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n
V
e
rdo
o
l
a
e
ge
isl_in
p
u
t
.
c: accept_aff
i
ne_facto
r
: avo
i
d double free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Tobia
s
Grosser
Add isl
_
union_(
s
et
/
map)_detect_equalities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
Verdo
o
l
a
ege
isl_stream_read_ma
p
:
a
llow space n
a
mes that happe
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
isl
_
stream_next_tok
e
n:
keep track o
f
stri
n
g
rep
r
esentation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
V
erdoolae
g
e
add isl_bas
i
c
_set_flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
Verdoolaege
ad
d
i
s
l_union_map_simple_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdoo
l
aege
Merge
branch 'mai
n
t'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Ver
d
oo
l
aege
add isl_set
_
r
emove_
u
nk
n
own_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaeg
e
isl_m
a
p_is_subset:
don't compute divs of minuend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaeg
e
rename
i
s
l_ma
p
_is_single
t
on to isl_map_fast_is_singlet
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdo
o
laege
add
i
sl_
m
ap_f
a
s
t
_is_single_valu
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rdool
a
ege
add isl_qpolynomial_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaeg
e
ex
p
ort isl_
u
nion_set
_
dum
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
isl_qpo
l
yn
o
mia
l
_add_on_do
m
ain:
c
ompu
t
e gist w
i
th respe
c
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sv
e
n Verdoolaeg
e
isl_union_map_coalesce
a
n
d
isl_
u
nion_ma
p
_
c
o
mp
u
te_d
i
vs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Ve
r
doolaege
isl_basic_m
a
p_sol
v
e_lp: use deno
m
ina
t
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaeg
e
Mer
g
e commit
'
isl-0
.
05
.
1'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven V
e
rdoola
e
ge
i
sl 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
ven Verdoolaege
isl_tab_
b
a
s
ic_map
_
p
a
rtial_lexopt: fix up
symmetry detectio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
v
en V
e
rdoolaege
isl_basic_map_
u
niverse: f
i
nalize resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
isl_seq
.
h: allow inclusion from C++
commit
|
commitdiff
|
tree
2010-12-31
To
b
ias Grosser
Ad
d
GDB m
o
dule that
d
efin
e
s an
i
sl
p
rint comma
n
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdo
o
laege
r
e
im
p
lement
isl_map_part
i
al_lexopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
S
ven
V
erdo
o
l
aege
isl_map:
f
i
x typos
in com
m
e
n
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
S
ven
Verdoolaege
add some more i
s
l_map_lexmi
n
tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
a
d
d
i
s
l
_
qpolynomial
_
a
dd_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaeg
e
ad
d
isl_pw
_
q
p
olynom
i
al_fold_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Verdoo
l
aege
a
dd isl_pw
_
q
p
olynom
i
al_dum
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ve
r
doolaege
add
i
sl_qpolynom
i
al_fold_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven V
e
r
d
o
olaege
add
isl
_
q
p
olynomial
_
fold_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoo
l
aege
i
sl_printer_print
_
q
polynomial_
f
o
l
d
:
support C format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ve
r
doo
l
aege
exp
o
rt is
l
_printer_print_qpoly
n
omial_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en
Verdoo
l
aege
export isl_union_map
_
dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
V
erdoolaege
add isl_{set,map}_dum
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
Verdoo
l
aege
ad
d
i
sl
_
basic_{set,map}_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
Verdoolaeg
e
isl
_
printer_pri
n
t_b
a
sic_{set,map}: don't
print n
e
wline
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
r
e
n
a
me i
s
l_
*
_dump to isl_*_print_int
e
rnal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-27
Sven Ve
r
doolaege
make isl
/
point
.
h self-con
t
a
i
ned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven
Verdoola
e
ge
i
s
l 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sv
e
n Verdoolaege
isl_printer_p
r
int_basic_map: plug memo
r
y leak o
n
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sve
n
Verdoo
l
ae
g
e
isl_dim_s
e
t_na
m
e: plug me
m
o
r
y leak when overwriting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verd
o
olaeg
e
isl_tab
_
ba
s
ic_map_partial_lexopt:
d
et
e
ct and exploit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaeg
e
isl_
t
ab_pi
p
.
c:
fix typos in
comme
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl_pip
:
limit
t
he
t
otal numb
e
r of p
a
rame
t
er values
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven V
e
rdo
o
laege
add
isl_basic
_
s
et_count_upto
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl_scan
.
c
: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-17
Tobias
Gro
s
ser
Do not hash the
m
emory
addr
e
ss of an isl
_
name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
S
v
en V
e
rdoolaege
isl_flow
.
c:
f
ix
ty
p
o
s in comment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
S
v
e
n
Ve
r
doolaege
i
sl_union_map_
c
o
m
pute_flow:
explo
i
t fixed dim
e
nsions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolae
g
e
i
s
l_union_map_compute_flo
w
: avoi
d
dependence
o
n pointe
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next