repo.or.cz
/
hiphop-php.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
intern_boxed_field_ref
2022-10-21
Vassil Mladenov
E
n
force like t
y
p
es in type hi
n
t positi
o
ns
commit
|
commitdiff
|
tree
2022-10-21
Vassi
l
M
lade
n
o
v
A
d
d
tests for current HHVM enforcement
commit
|
commitdiff
|
tree
2022-10-05
Vassil Mlad
e
n
o
v
Ad
d
hh_
c
l
i
e
nt
l
sp --ignore-
h
h-version + --namin
g
-table
.
.
.
commit
|
commitdiff
|
tree
2022-09-29
V
as
s
il Mla
d
enov
Add --alw
a
ys-
p
e
s
simise-return flag
f
or hhst
commit
|
commitdiff
|
tree
2022-09-29
Vass
i
l Mladenov
Ad
d
an option to log wh
e
n
we do a sound dynamic pass
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Vassil Mladenov
Add HH\FI
X
M
E\UN
S
AFE_
N
ONNULL_CAST
commit
|
commitdiff
|
tree
2022-09-01
Vassil Mlade
n
ov
Add
s
imple printi
n
g l
o
gic
commit
|
commitdiff
|
tree
2022-08-31
Vassil Mladen
o
v
Fix bu
g
w
i
th
s
ynthesized typeconst inheritance
commit
|
commitdiff
|
tree
2022-08-26
Vassil Ml
a
denov
R
esolve
infini
t
e
lo
o
p in Typing_object
_
get
r
elate
d
.
.
.
commit
|
commitdiff
|
tree
2022-08-22
Vassil
M
l
adenov
Res
o
lve
infinite loop for t
y
p
e c
o
nstan
t
s under sound
.
.
.
commit
|
commitdiff
|
tree
2022-08-08
Vass
i
l Mladenov
E
li
m
inate supportdy
n
am
i
c in
favor of support
d
yn
commit
|
commitdiff
|
tree
2022-07-20
Vassil Ml
a
denov
B
a
c
k
out "Co
n
cretize con
s
t
ant defa
u
lts i
n
abstract
.
.
.
commit
|
commitdiff
|
tree
2022-07-19
Vassil Mlade
n
ov
Concretiz
e
constant d
e
faults in abstract final classe
s
commit
|
commitdiff
|
tree
2022-07-12
Vassil Mladenov
Concretize constan
t
default
s
i
n a
b
stract final classes
commit
|
commitdiff
|
tree
2022-07-12
Vassil Mladenov
Decl_inheri
t
+ Typing_exte
n
ds: un
d
o
decl change, c
o
n
s
id
e
r
.
.
.
commit
|
commitdiff
|
tree
2022-06-29
Va
s
s
il Mladen
o
v
We
l
lforme
d
ness: check we
l
l-formedness of
requirements
.
.
.
commit
|
commitdiff
|
tree
2022-06-28
Vass
i
l Mladenov
Decl_inherit: fix cas
e
where t
y
p
e
constant
inheritan
c
e
.
.
.
commit
|
commitdiff
|
tree
2022-06-23
Vassil
Mlade
n
ov
Poison
a
ncestors upwards i
f
an unenforcea
b
l
e
return
.
.
.
commit
|
commitdiff
|
tree
2022-06-07
Vassil
M
lad
e
nov
R
el
a
x restriction t
h
at prevents defaults
a
n
d
conc
r
ete
.
.
.
commit
|
commitdiff
|
tree
2022-06-06
Va
s
sil
Ml
a
denov
Remove old type_
p
aram_
s
ha
d
owi
n
g experiment
commit
|
commitdiff
|
tree
2022-06-06
Vassi
l
Mladenov
Excl
u
de 437
4
from dead fixme remo
v
er
commit
|
commitdiff
|
tree
2022-05-27
Vassil Mladenov
Log p
e
s
sim
i
sati
o
n
for
e
xpl
i
cit type
hints o
n
closures
commit
|
commitdiff
|
tree
2022-05-25
Vassil Mladen
o
v
Unroll
t
ail recur
s
ion, report param
e
te
r
pessimisation
commit
|
commitdiff
|
tree
2022-05-17
Va
s
sil Mladenov
Targete
d
p
essimisation for par
a
met
e
r
s
commit
|
commitdiff
|
tree
2022-05-12
Vassi
l
Mladeno
v
Update mini-repo for
4
.
1
4
.
0
commit
|
commitdiff
|
tree
2022-05-12
Vas
s
il Ml
a
de
n
ov
Re
l
ease
t
o fbcode
commit
|
commitdiff
|
tree
2022-05-11
Vas
s
il Mlad
e
no
v
Add conflicti
n
g concr
e
te typeconst
c
heck, cha
n
ge
c
lass
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Vassi
l
M
laden
o
v
Typi
n
g
_extends: use m
e
mber
m
a
p for type c
o
ns
t
ants checks
.
.
.
commit
|
commitdiff
|
tree
2022-04-28
Va
s
sil Mlade
n
ov
Rework enable_strict_con
s
t
_semantics
t
o consider the
.
.
.
commit
|
commitdiff
|
tree
2022-04-26
Vassil Mladenov
Typing_extends: un
i
on all
p
are
n
t constants in
a
m
a
p
.
.
.
commit
|
commitdiff
|
tree
2022-04-06
Vassil Mladenov
S
tri
p
like type when consdier
i
ng object memoization
commit
|
commitdiff
|
tree
2022-04-06
Vassil Mladen
o
v
Allow ar
b
itrary s
p
lat de
s
tr
u
ctu
r
ing
fo
r
dyna
m
ic
commit
|
commitdiff
|
tree
2022-04-04
Vass
i
l
M
l
a
denov
Do not kee
p
around tempora
r
y ty
v
ars long
e
r than necessary
commit
|
commitdiff
|
tree
2022-03-25
Vassil Mladenov
Pessimise
v
oid e
x
cept
in top
l
eve
l
commit
|
commitdiff
|
tree
2022-03-24
V
a
ss
i
l Mlade
n
ov
Add u
p
casts to dynam
i
c after inout expressi
o
ns
commit
|
commitdiff
|
tree
2022-03-24
Vas
s
il Mladenov
Make
s
u
p
portd
y
n<mixed> f
o
r
a defaul
t
value from Shapes
.
.
.
commit
|
commitdiff
|
tree
2022-03-23
Vassil M
l
ad
e
nov
Delete pess_di
s
abled
commit
|
commitdiff
|
tree
2022-03-22
Vassil Mladenov
I
n
s
e
rt upcasts in return statements for when return
.
.
.
commit
|
commitdiff
|
tree
2022-03-17
V
a
ssil Mladenov
Remove a few t
e
st disables
commit
|
commitdiff
|
tree
2022-03-15
Vass
i
l
Mladenov
Traverse
i
mplicit parameter
s
in
Typing_v
a
riance
commit
|
commitdiff
|
tree
2022-03-11
Vassil Mladenov
R
e
move pess_exp,disa
b
led
commit
|
commitdiff
|
tree
2022-03-09
Vassil Mla
d
enov
Add missing
g
enerated
t
params and
c
onst
r
ain
t
s to env
.
.
.
commit
|
commitdiff
|
tree
2022-03-09
Vassil Mladenov
A
d
d op
t
ion to require types
f
or cl
a
s
s
consts
commit
|
commitdiff
|
tree
2022-03-01
Va
s
sil Mla
d
e
n
ov
Remove
unnecessar
y
pe
s
s_exp and pess_disable
d
commit
|
commitdiff
|
tree
2022-02-25
Vassil
Mladen
o
v
D
ynamic parameters upcast
i
ng
commit
|
commitdiff
|
tree
2022-02-23
Vassil
M
l
a
denov
Improve error messages
f
or polymorphic con
t
exts, add
.
.
.
commit
|
commitdiff
|
tree
2022-02-17
Vassil
M
ladenov
A
d
d types t
o
constants in
H
HI
s
commit
|
commitdiff
|
tree
2022-02-17
Va
s
sil
Mladeno
v
Back out "Add miss
i
ng
g
enerat
e
d
tpa
r
am
s
and constraints
.
.
.
commit
|
commitdiff
|
tree
2022-02-15
Vass
i
l Mladeno
v
Add missing
g
e
n
era
t
ed tparam
s
and constra
i
nts
t
o e
n
v
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
V
ass
i
l Mladeno
v
Commit exclusion li
s
t for pessimi
s
ation test
s
and
e
nab
l
e
.
.
.
commit
|
commitdiff
|
tree
2022-01-19
Vassil Mladenov
A
dd pessi
m
isation test ar
t
ifact
s
to gitigno
r
e
commit
|
commitdiff
|
tree
2022-01-19
V
a
s
sil
Ml
a
denov
Support ~ type
s
o
n
X
H
P attributes
that a
r
e enum {'x
.
.
.
commit
|
commitdiff
|
tree
2022-01-19
Vassil Mladenov
Appr
o
ve output of 14 pessimisation
t
e
sts
commit
|
commitdiff
|
tree
2022-01-12
Vassil Mladenov
Check we
l
l
f
ormednes
s
of cons
t
ructor ca
l
ls
commit
|
commitdiff
|
tree
2022-01-12
Vassil Mladenov
C
h
eck we
l
lfor
m
e
dness of calls
commit
|
commitdiff
|
tree
2022-01-12
Vassil
M
ladeno
v
Allo
w
effect-pol
y
morp
h
i
c support
d
yn clos
u
res
commit
|
commitdiff
|
tree
2021-12-14
Vassil Mladeno
v
Pessimise enum cla
s
s
definitions and
allow like types
.
.
.
commit
|
commitdiff
|
tree
2021-12-06
Vassil
M
lade
n
ov
Si
m
ple gat
i
n
g
for supportdyn
commit
|
commitdiff
|
tree
2021-11-30
V
a
ssil Mla
d
e
nov
Unbox ~?
t
y ex
p
ected ty
p
es deeply to fix pessimised
.
.
.
commit
|
commitdiff
|
tree
2021-11-16
Vassil
M
ladenov
noretur
n
<D:
d
y
namic
commit
|
commitdiff
|
tree
2021-11-15
Vassil
M
lade
n
ov
Consider re
t
ur
n
t
y
pe without like type
when typing
.
.
.
commit
|
commitdiff
|
tree
2021-11-11
Vassil
M
ladeno
v
Remove unu
s
ed
Cod
e
gen c
a
pabil
i
ty
commit
|
commitdiff
|
tree
2021-11-10
V
assil Mladenov
Remove re
f
erences t
o
(
lower
c
a
se
)
codegen and c
o
degen_u
n
safe
.
.
.
commit
|
commitdiff
|
tree
2021-11-10
Vassil M
l
adenov
Raise er
r
or whe
n
a trait is <<_
_
Consisten
t
Const
r
uct
.
.
.
commit
|
commitdiff
|
tree
2021-11-05
Vassi
l
Mlad
e
n
o
v
R
emove the codegen and codegen_unsafe co
n
texts from HH
I
commit
|
commitdiff
|
tree
2021-11-04
Vass
i
l
Mladen
o
v
Fix
hack
f
mt for conte
x
t al
i
ases
commit
|
commitdiff
|
tree
2021-11-02
Vassi
l
M
ladenov
L
og prop pessimisation for assignment
commit
|
commitdiff
|
tree
2021-10-30
V
assil Mla
d
enov
Ex
p
and dynamic for inf
e
rence of c
o
llectio
n
s
and lambda
s
commit
|
commitdiff
|
tree
2021-10-27
Vassil Mladenov
Make bidirec
t
ional type inf
e
re
n
ce work f
o
r collect
i
ons
.
.
.
commit
|
commitdiff
|
tree
2021-10-27
Va
s
sil M
l
adenov
Fi
x
internal error for Gener
a
tors
during SDT
c
h
e
c
k
commit
|
commitdiff
|
tree
2021-10-26
Vassil Mladeno
v
M
a
ke
f
ormat st
r
ings magic work wit
h
like types in more
.
.
.
commit
|
commitdiff
|
tree
2021-10-26
Vassil
Ml
a
de
n
ov
Pessim
i
ze p
r
ops defin
e
d o
n
constructors
commit
|
commitdiff
|
tree
2021-10-25
Va
s
sil Ml
a
den
o
v
Fix bug where defa
u
l
t cons
t
ructo
r
s
a
re made [
d
efaults]
commit
|
commitdiff
|
tree
2021-10-22
Vassil Mladenov
Rem
o
ve st
r
ay
.
out fi
l
e
commit
|
commitdiff
|
tree
2021-10-22
Vassil
Mlad
e
n
o
v
I
nter
p
ret pessimiz
a
ti
o
n
l
o
g
commit
|
commitdiff
|
tree
2021-10-21
Vassil Mlad
e
nov
Factor out pessimise_type, rename things, cha
n
ge log
.
.
.
commit
|
commitdiff
|
tree
2021-10-21
V
a
s
sil Mla
d
enov
Fix DDP for su
p
portdyn
a
m
ic
,
i
n
terpret
nonn
u
l
l and m
i
xed
.
.
.
commit
|
commitdiff
|
tree
2021-10-20
Vas
s
il Mla
d
enov
Log a p
e
s
s
imization
requ
i
rement whe
n
a para
m
subty
p
e
.
.
.
commit
|
commitdiff
|
tree
2021-10-15
Vassil M
l
adenov
Make variad
i
c parameter dynamic when relaxing c
a
l
l
ee
.
.
.
commit
|
commitdiff
|
tree
2021-10-13
Vassil Mladenov
Error for parent::
_
_construct in traits when parent
.
.
.
commit
|
commitdiff
|
tree
2021-10-13
V
a
ssil Mladenov
Allow compilation of `as` c
o
ns
t
rai
n
ts on concret
e
typ
e
.
.
.
commit
|
commitdiff
|
tree
2021-10-07
Vassil
M
ladenov
E
r
ror fo
r
parent::__construc
t
in traits when paren
t
.
.
.
commit
|
commitdiff
|
tree
2021-10-07
Vassil Mladeno
v
Fix error
code
R
ead -> Write
commit
|
commitdiff
|
tree
2021-10-06
Vassil
M
ladenov
Rem
o
ve PATC definition
t
ypechecker option
commit
|
commitdiff
|
tree
2021-10-06
Vassil
M
ladeno
v
Rem
o
ve Aast
.
T
CP
a
r
tiallyA
b
stract
commit
|
commitdiff
|
tree
2021-10-05
Vass
i
l Mladenov
R
e
serv
e
error code for new FIXME
-
able erro
r
commit
|
commitdiff
|
tree
2021-10-05
V
a
ssil Mladenov
Remove is_concrete
a
rgume
n
t
commit
|
commitdiff
|
tree
2021-10-05
Vassil Mladenov
Re
m
o
v
e Typin
g
_
d
efs
.
TCPar
t
ial
l
yAbstrac
t
commit
|
commitdiff
|
tree
2021-10-05
Vassil Mladenov
Rem
o
ve disable
_
pa
r
ti
a
ll
y
_
abstra
c
t
_
typecons
t
s optio
n
commit
|
commitdiff
|
tree
2021-10-01
Vassil Mladen
o
v
Use
inner type for dependent contexts w
h
e
n
par
a
m
e
ter
.
.
.
commit
|
commitdiff
|
tree
2021-09-29
Vas
s
il Mladenov
I
m
plement su
b
typing f
o
r Tsuppor
t
dynamic
commit
|
commitdiff
|
tree
2021-09-29
Vassi
l
Mla
d
e
n
ov
I
n
troduce supportd
y
na
m
ic
t
ype
hi
n
t a
n
d Tsupport
d
y
n
amic
commit
|
commitdiff
|
tree
2021-09-23
Vassil Mlade
n
ov
Use
new namespac
e
el
a
boration for c
t
x consts
commit
|
commitdiff
|
tree
2021-09-23
Vassil Mladenov
Add missing coeffect enc
a
psulat
i
o
n
tests to hphp
/
t
e
st
commit
|
commitdiff
|
tree
2021-09-20
Vassil Mladen
o
v
Log pessimiza
t
i
o
n for prope
r
t
ies that fa
i
l
sound dynamic
.
.
.
commit
|
commitdiff
|
tree
2021-09-17
Vassil Mladenov
Require
as
constra
i
nt on context
aliases
commit
|
commitdiff
|
tree
2021-09-17
Vassil Mladenov
Add anoth
e
r test case
for short context aliase
s
commit
|
commitdiff
|
tree
2021-09-16
Vas
s
il Ml
a
den
o
v
Regi
s
ter capabilitie
s
befor
e
savi
n
g env copy for SDT
.
.
.
commit
|
commitdiff
|
tree
2021-09-16
V
a
ssil Mlade
n
o
v
Skip SDT parent chec
k
on
n
on classe
s
/interfaces
commit
|
commitdiff
|
tree
2021-09-15
Vassil
Mladeno
v
A
d
d everything
_
sdt typecheck
e
r
option
commit
|
commitdiff
|
tree
next