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_basic_map_from_qpolynomial
2011-02-18
Sven V
e
r
do
o
laege
add isl_bas
i
c_
m
ap
_
from_q
p
olynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
e
n Verdoo
l
a
e
ge
isl_s
t
r
e
a
m
: support \
<
newline> lin
e
con
t
i
n
uation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
add isl_
u
n
i
on_m
a
p_r
e
ad_from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Verdoolaege
isl_stream_rea
d
_map: a
c
ce
p
t
'
true' an
d
'fals
e
' constrai
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Verdoo
l
aege
isl_s
t
ream_read_map: allow ext
r
a ';' a
t
end of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
V
e
r
d
ool
a
ege
isl
_
stream
_
read_map:
a
l
l
o
w
negations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl
_
stream_rea
d
_
map:
allow existential quantification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
Ver
d
o
ol
a
e
g
e
pri
v
ately exp
o
r
t
isl
_
basic_map_add_div_
c
onstrai
n
ts_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolaege
is
l
_morph_basic_set:
p
reser
v
e rationality of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
r
doolae
g
e
add
i
s
l
_b
a
s
i
c_set_is_
r
ationa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdoola
e
ge
isl_printer_print_
b
asic_map: expli
c
itly mark
rational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven
Verd
o
olaeg
e
is
l
_stream_read_map: read ratio
n
al maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verd
o
olaege
isl_basic_ma
p
_
i
n
s
ert: preserve
r
ationality of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
Verdoolaege
add isl_bas
i
c_map_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verd
o
olaege
isl_
b
a
s
ic
_
map_fast_cmp:
differentiate betwee
n
r
a
tional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Verdoolaege
i
sl_output
.
c: remo
v
e some code d
u
plica
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
Ver
d
o
olaege
isl_pri
n
ter_print_basic
_
{set,map}: do
n
't start
new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven V
e
rdoolaege
isl_stre
a
m_read_map: acc
e
pt
'
|
'
at
start
o
f constrain
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sv
e
n Verdoolaege
isl_stream: keep
track o
f
t
e
xtua
l
rep
r
esenta
t
i
on of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdo
o
laege
isl_input
.
c
:
clean
u
p read_dis
j
uncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
isl_stream_
r
ead
_
map: accept disjunctions wi
t
h
i
n a
c
onju
n
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sv
e
n Verdool
a
ege
isl_
c
onve
x
_hull
.
c:
e
xp
l
i
c
itly mark wrapping lp problem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
S
v
e
n Verdoolaege
isl_tab
_
min: micro-opt
i
mization: post
p
one taking into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ver
d
oo
l
aege
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Ve
r
d
oolae
g
e
is
l
_ta
b
_
a
d
d
_row: add further explanat
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolae
g
e
isl_ta
b
.
c: fix t
y
pos i
n
comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolaeg
e
isl_tab_pip
.
c: correctly det
e
ct non-negativity of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
add
test
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rd
o
olaege
test
both context h
a
ndling
m
echanis
m
s of isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
is
l
_tab_is_equality: pro
p
erly suppor
t
"big
parameter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_
t
ab_pip
.
c: fix ty
p
o in
c
o
mme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
i
sl
_
affine_h
u
ll
.
c
:
fix
typo
s
in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
isl_un
i
on_map_co
m
pute_flow: re
t
urn access
e
s with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdo
o
laege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
V
erdoolaeg
e
isl_union_map
.
c: inplace: pass data
p
o
i
nter t
o
isl_hash_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
isl_dim_move: up
d
ate
pa
r
amete
r
s o
f
nested spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
ad
d
isl_map_n
a
t
_
unive
r
s
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
clean up isl
_
s
e
t
_
fr
o
m_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdo
o
laege
merge isl_
b
a
sic_se
t
/i
s
l_basic_ma
p
and isl_set/
i
sl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sve
n
Verd
o
olaege
rename "omega" transi
t
i
ve closure to "box
"
tr
a
n
sit
i
ve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
olaege
expor
t
is
l
_int_obj_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolae
g
e
isl_vertices
.
c: fix t
y
pos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Ve
r
doolaege
isl_un
i
on_templ
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
olaege
isl_
m
ap_subt
r
a
c
t
.
c: n_non_redu
n
dant
:
propage
isl
_
ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoola
e
ge
isl_
b
e
rnstein
.
c
:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
a
dd isl_u
n
ion_p
w
_qpolynomial_mul_
i
s
l_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolae
g
e
isl_stream_re
a
d_ob
j
: read int object
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verd
o
ol
a
e
g
e
add i
n
t ob
j
ects for use
in iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verd
o
olaege
isl_basic_map_rem
o
ve_divs: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
v
en
V
erdoolaege
add is
l
_basic_set_get_tuple_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven V
e
rdoolaeg
e
M
erge
branch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoo
l
aege
isl_union_
m
ap_sample: d
o
n't return NULL on empty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sv
e
n Verdoola
e
ge
isl_basic_map_set_
t
uple_name: finalize re
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sve
n
Verdoo
l
a
e
ge
i
s
l
_tra
n
s
i
t
i
ve_closure
.
c
:
more
a
nonymiz
e
input
m
a
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
isl_basic_set_fac
t
orizer:
m
ake
sure gro
u
p informat
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven
V
e
rdoolae
g
e
a
d
d
is
l
_union_map_range_produ
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verd
o
o
l
aege
d
oc:
document p
r
oduct
functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sv
e
n Ve
r
d
o
o
laege
renam
e
isl
_
basic_set_produ
c
t to
i
sl_ba
s
ic_s
e
t_l
i
st_produ
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven Ve
r
doo
l
aege
is
l
_
se
t
_conve
x
_hu
l
l: option
a
lly use Fourie
r
-Mo
t
zkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_
b
asic_set
_
sa
m
ple_point: exploit fac
t
orization if a
n
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add isl_
m
orph_
v
ec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
change p
r
o
t
oty
p
e of is
l
_vec_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add is
l
_printer_p
r
i
n
t_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
a
dd
isl_union_set_app
l
y_union_pw_qpolynom
i
al_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
ex
p
o
r
t i
s
l_union_
m
a
p_from_d
o
m
a
in and
isl_union_map_f
r
om
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
isl
_
basic_map_intersect_do
m
ain: replace ope
n
-coded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_s
t
r
e
am_read_map: accept mod
u
lo expre
s
sion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
i
sl_basic_
m
ap_insert:
don't simplify
the result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaeg
e
Merge branch
'
maint'
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_basic_map_from_constraint_matrices: clear
n
e
w
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolae
g
e
is
l
_token_fr
e
e: free string
r
e
p
res
e
n
t
ati
o
n of ke
y
words
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en
V
erdoola
e
ge
isl_input
.
c: r
e
a
d
_factor: d
r
op unexpected identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n Verdoolaeg
e
i
s
l_in
p
u
t
.
c: accept_affi
n
e_facto
r
:
avo
i
d
double free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Tobias Grosser
Add isl_union_(se
t
/
m
a
p)_detect_equali
t
ies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
isl_stream_r
e
ad_map
:
all
o
w space names that happen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven V
e
rdoolae
g
e
isl_stream_
n
ext_toke
n
: keep
t
rack of string representat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
e
r
dool
a
ege
add
isl_
b
asic
_
se
t
_f
l
atten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
Verdoolae
g
e
add isl_unio
n
_map_simple_h
u
ll
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Ve
r
d
o
o
l
a
ege
Merge branch 'main
t
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Verd
o
o
l
aege
ad
d
isl_set
_
remo
v
e_un
k
no
w
n_d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Ver
d
oo
l
aege
isl_map_is
_
subse
t
: don't compu
t
e divs of m
i
nuend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
e
n Verdoolae
g
e
r
ename isl_map_is_singleton to isl_map_fast_is_sing
l
e
to
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verd
o
o
l
a
e
ge
add isl_map_fast_
i
s_s
i
ngle_value
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
add
i
sl
_
q
p
olyn
o
m
ia
l
_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
export isl_union_s
e
t_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rdoolaeg
e
isl_qpo
l
yn
o
m
i
al_add
_
on_doma
i
n: compute gist
w
ith respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaege
isl_union
_
m
ap_coalesc
e
and isl_union
_
map_comput
e
_
d
i
vs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sv
e
n
Ver
d
oola
e
ge
isl_basi
c
_map_solve_lp
:
use
d
enom
i
nat
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
v
en Ver
d
o
o
l
a
ege
Merge co
m
m
i
t
'isl-0
.
05
.
1'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
erdoolaeg
e
isl 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
i
s
l_tab_basic_map_part
i
al_
l
exopt
:
fix up symmetry detection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sve
n
Verdoolaege
isl
_
basic_map_universe: finali
z
e r
e
sult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sve
n
Verdoolaege
isl_seq
.
h: allow
i
nclusion from C++
commit
|
commitdiff
|
tree
2010-12-31
Tobias Grosser
Add GDB
module that defi
n
es an islprint
c
ommand
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven
V
erdoola
e
ge
reimplement isl_m
a
p_partial_lexopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdool
a
eg
e
isl_
m
ap: fix ty
p
o
s
i
n
c
om
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
S
v
en
Verdoolaege
add so
m
e
more
i
sl_m
a
p
_lexmin t
e
sts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add isl_
q
polynom
i
a
l
_add_i
s
l_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ver
d
oolaege
a
d
d isl_pw_qpolynomial_fo
l
d_dum
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdo
o
l
a
e
g
e
add isl_pw
_
qpolyno
m
ial
_
dum
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next