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
Pretty print capabilities in generic subtyping errors
2020-12-23
Vassil Ml
a
denov
Pretty
print capabilities in generi
c
subtyping e
r
rors
commit
|
commitdiff
|
tree
2020-12-23
T
h
omas
Jiang
Test lift
i
ng
i
nterface
commit
|
commitdiff
|
tree
2020-12-23
T
h
oma
s
Jia
n
g
S
p
l
i
ceabl
e
in
t
e
r
face for "au
t
o-lifting"
commit
|
commitdiff
|
tree
2020-12-23
Wi
l
fre
d
Hughes
Ad
d
doc
c
omm
e
nts for a
l
l
stateme
n
ts an
d
e
x
p
r
essio
n
s
.
.
.
commit
|
commitdiff
|
tree
2020-12-23
Katy Voor
R
e
mo
v
e
N
o
InfiniteRe
c
ursionDet
e
ction runtime opt
i
on
commit
|
commitdiff
|
tree
2020-12-23
Arnab De
loosen all arra
y
-li
k
es b
e
for
e
assigning
H
HBBC types
.
.
.
commit
|
commitdiff
|
tree
2020-12-23
David Snider
expose shall
o
wdecl/l
e
gacydecl difference
commit
|
commitdiff
|
tree
2020-12-23
Vassil Mlad
e
n
o
v
Make goto defini
t
ion
i
gnore unsafe ca
p
abil
i
ti
e
s in
.
.
.
commit
|
commitdiff
|
tree
2020-12-22
S
h
aunak Kis
h
or
e
Raise seri
a
l
ization
n
otices in no
n
-arrprov
mo
d
e
commit
|
commitdiff
|
tree
2020-12-22
V
a
ssil Mladenov
Add hhconfig
f
la
g
fo
r
po
_
e
n
a
b
le_coeffects, cle
a
n up
.
.
.
commit
|
commitdiff
|
tree
2020-12-22
Shaunak Kis
h
ore
Fix Cl
s
Meth-HADVAs interactio
n
s in i
r
gen-t
y
pes
commit
|
commitdiff
|
tree
2020-12-22
James Wu
Add a serve
r
argument
to enable ifc on all file
s
commit
|
commitdiff
|
tree
2020-12-22
Vassil Mladenov
Hard e
n
able parsing of coeffects for hh_si
n
g
l
e_type_chec
k
commit
|
commitdiff
|
tree
2020-12-22
No
a
m Zilberstein
pri
n
t full mes
s
a
g
e for
u
nc
a
u
ght exceptio
n
s
commit
|
commitdiff
|
tree
2020-12-22
Shaunak K
i
sh
o
re
F
ix HADVAs bug in c
a
llable
commit
|
commitdiff
|
tree
2020-12-22
Leo Osvald
Inser
t
ca
p
abi
l
it
e
s for calls
outside body (toplevel)
commit
|
commitdiff
|
tree
2020-12-22
Vassil Mladenov
Mo
v
e capability
in
i
t
ial
i
z
a
tion ear
l
ier for functions
.
.
.
commit
|
commitdiff
|
tree
2020-12-22
Vassil Mlade
n
ov
C
hec
k
coeff
e
cts on __c
l
on
e
commit
|
commitdiff
|
tree
2020-12-22
David Snider
remove pure coeffect from rx exception file
commit
|
commitdiff
|
tree
2020-12-22
D
avid Snider
Ad
d
fn arg-based poly
m
orphism to collection
s
hiera
r
chy
commit
|
commitdiff
|
tree
2020-12-22
Lucian Wischik
s
ometime
s
hac
k
simply drops errors, due to d
e
ferred
.
.
.
commit
|
commitdiff
|
tree
2020-12-22
S
haunak Kishore
Delete de
a
d PHP array c
o
de
commit
|
commitdiff
|
tree
2020-12-21
Da
v
id Sn
i
der
Rena
m
e $callb
a
ckt
o
$fn i
n
c
o
llection
h
iera
r
chy
commit
|
commitdiff
|
tree
2020-12-21
Leo Osva
l
d
Let
PHP-style anon
.
use enclo
s
ing c
a
p
abil
i
ties
commit
|
commitdiff
|
tree
2020-12-21
Y
e
didya Feldblum
Cu
t
FOLLY
_
H
A
VE_MEMRCH
R
commit
|
commitdiff
|
tree
2020-12-21
S
t
e
ve Cao
rm unuse
d
dependency
commit
|
commitdiff
|
tree
2020-12-21
Thom
a
s
Jiang
M
a
ke E
x
pr
T
r
e
e's TIn
f
er type para
m
covariant
commit
|
commitdiff
|
tree
2020-12-21
Noam Zilberstein
F
u
n
ction
poin
t
ers
commit
|
commitdiff
|
tree
2020-12-21
Leo Osva
l
d
Enforce indexing & mutat
i
on outside T
A
S
T
check
[
2
/2]
commit
|
commitdiff
|
tree
2020-12-21
David Snide
r
Test case for
b
ug
wi
t
h ctx constant
s
with named cont
e
xts
commit
|
commitdiff
|
tree
2020-12-21
Davi
d
Snid
e
r
R
e
move
pu
r
e
context
from E
x
ceptions
.
hh
i
commit
|
commitdiff
|
tree
2020-12-21
Matth
e
w
Am
i
d
o
n
M
ake hackfmt ignor
e
non-hack files
commit
|
commitdiff
|
tree
2020-12-21
D
a
vid Snider
Back out "Add
fu
n
cti
o
n-ar
g
dependent
c
oe
f
fec
t
s to list
"
commit
|
commitdiff
|
tree
2020-12-21
Vassil Mladenov
Elaborate ctx con
s
tant nam
e
spa
c
es
commit
|
commitdiff
|
tree
2020-12-21
Vassil Mladenov
Instant
i
ate construc
t
or tparams
if
t
hey exis
t
commit
|
commitdiff
|
tree
2020-12-21
Leo Os
v
ald
type
-
check construct
o
rs i
n
att
r
ibutes with default
.
.
.
commit
|
commitdiff
|
tree
2020-12-21
Vassil
M
ladenov
Trans
f
orm
a
tion for parameter dependent co
n
tex
t
s
commit
|
commitdiff
|
tree
2020-12-21
Ben
H
a
r
rison
Add triv
i
a
l entry poin
t
s
t
o v
a
rio
u
s
t
es
t
s
commit
|
commitdiff
|
tree
2020-12-21
David
S
nider
A
dd
fu
n
c
t
i
o
n-a
r
g depende
n
t coef
f
ects
t
o
l
ist
commit
|
commitdiff
|
tree
2020-12-21
David Snider
Mo
v
e co
e
f
f
ects nast tests
i
nto a s
u
b d
i
r
e
ctory
commit
|
commitdiff
|
tree
2020-12-21
D
avid
Snider
Low
e
r context constants
commit
|
commitdiff
|
tree
2020-12-20
Leo Osva
l
d
Enfo
r
ce reactive index
i
ng & mu
t
atio
n
o
utside TAST check
.
.
.
commit
|
commitdiff
|
tree
2020-12-19
Sh
a
una
k
Kishore
Fix
a
ut
o
mar
k
in
g
bug: counted type
consta
n
ts
commit
|
commitdiff
|
tree
2020-12-19
Shaunak Kishore
Mitig
a
te HADV
A
s bug: return varray for
v
ec in array_slice
commit
|
commitdiff
|
tree
2020-12-19
Sh
a
unak K
i
shore
Drop nat
i
ve Shapes::idx 'opt
i
miz
a
t
i
on'
commit
|
commitdiff
|
tree
2020-12-19
Rick
Lavo
i
e
Whe
n
Enum
val
u
es collide,
p
rint out co
l
liding na
m
es
.
.
.
commit
|
commitdiff
|
tree
2020-12-19
S
hau
n
ak K
i
s
hore
Enable clsmeth
HADVAs
t
e
sts
commit
|
commitdiff
|
tree
2020-12-18
Max
K
atsev
Make adapter always operate on
n
on-nullable types
commit
|
commitdiff
|
tree
2020-12-18
Andr
e
Nash
R
e
p
la
c
e sprop
i
n
i
t loop wi
t
h
s
ingle memc
p
y
commit
|
commitdiff
|
tree
2020-12-18
Sh
a
u
nak Kisho
r
e
F
ix HADVAs bug: reified generics typecheck
s
commit
|
commitdiff
|
tree
2020-12-18
Shaun
a
k Ki
s
ho
r
e
Fix HADV
A
s
bug: APCSerialize
m
a
r
king
commit
|
commitdiff
|
tree
2020-12-18
Jake B
a
iley (Hacklang
)
Decl
a
re
f
olded classes
i
n
D
ecl
.
make_env when using
.
.
.
commit
|
commitdiff
|
tree
2020-12-18
Shaunak
K
ishore
A
d
d
uni
t
test for
t
y
p
ehin
t
ref
l
e
c
tio
n
commit
|
commitdiff
|
tree
2020-12-18
David Snider
some n
o
tes on =
=
/
=
=
=
commit
|
commitdiff
|
tree
2020-12-18
S
c
ott
O
wens
Update as and f
o
reac
h
typing fo
r
s
o
und
d
yn
a
mic
commit
|
commitdiff
|
tree
2020-12-18
Andrew Kennedy
Simplify a
n
d imp
r
o
v
e type
a
ccesses through int
e
rsections
.
.
.
commit
|
commitdiff
|
tree
2020-12-18
A
l
ex Snast
A
dd n
e
w options fo
r
curl v7
.
71
.
0 to hack (#8790)
commit
|
commitdiff
|
tree
2020-12-18
S
h
aunak Kis
h
ore
E
nable more tests
i
n HADVA mod
e
(2)
commit
|
commitdiff
|
tree
2020-12-18
Shaunak Kishore
Enable
m
o
re tests i
n
HADV
A
mode (1)
commit
|
commitdiff
|
tree
2020-12-18
R
i
ck Lavo
i
e
Enforce requ
e
s
t
memory limits for JSON
d
eco
d
er pa
r
se
.
.
.
commit
|
commitdiff
|
tree
2020-12-18
S
h
aunak
Kishore
S
m
all unmarking op
t
imizati
o
n
commit
|
commitdiff
|
tree
2020-12-18
Gu
i
lherme Ot
t
oni
Use Eva
l
.
HHIRG
e
n
e
rateAsserts
t
o control
e
m
ission
of
.
.
.
commit
|
commitdiff
|
tree
2020-12-18
Vassil
M
l
adenov
Lower `ctx $f
`
commit
|
commitdiff
|
tree
2020-12-17
Jake Baile
y
(
H
a
cklan
g
)
Renam
e
helpers to be more c
o
nsi
s
tent
commit
|
commitdiff
|
tree
2020-12-17
K
aty
V
oor
Har
d
cod
e
DivisionByZeroExceptio
n
in hhvm
commit
|
commitdiff
|
tree
2020-12-17
S
t
eve Cao
Enabl
e
Int64 for FileInfo
.
hash
commit
|
commitdiff
|
tree
2020-12-17
W
ilfred Hughes
Remove code that has no effect
commit
|
commitdiff
|
tree
2020-12-17
Shaun
a
k
K
i
shore
Avoid
t
run
c
ations i
n
MonotypeVec
commit
|
commitdiff
|
tree
2020-12-17
S
haunak Ki
s
hore
Intr
o
d
u
ce make_
t
v_of
_
typ
e
helper
commit
|
commitdiff
|
tree
2020-12-17
Catherine
G
asni
e
r
minor changes in File_p
o
s_sm
a
ll
commit
|
commitdiff
|
tree
2020-12-17
Leo Osvald
Mod
i
fy capability hierarchy & w
o
rk around l
a
ck of lower
.
.
.
commit
|
commitdiff
|
tree
2020-12-17
Mic
h
a
el Colavita
Improve M
I
nstrE
l
em
type pessimi
z
atio
n
commit
|
commitdiff
|
tree
2020-12-17
Leo Osv
a
l
d
Migrate outpu
t
&
s
tatic
prop checks &
R
x/Pure tests
commit
|
commitdiff
|
tree
2020-12-17
D
avid
Snider
Add empty coeffects list
t
o pure fu
n
ction
s
commit
|
commitdiff
|
tree
2020-12-17
Dav
i
d Snider
Ad
d
<
<
file
:
__EnableUns
t
able
F
eatures('
c
oeffects_
p
rovisional
.
.
.
commit
|
commitdiff
|
tree
2020-12-17
Dav
i
d
Snider
Mar
k
HHVM DateTimeZ
o
ne fn
s
as pure
commit
|
commitdiff
|
tree
2020-12-16
David S
n
ider
Mar
k
D
a
teTime
Z
one functio
n
s as
p
ure
commit
|
commitdiff
|
tree
2020-12-16
V
a
s
s
il Ml
a
denov
Some
r
enaming
commit
|
commitdiff
|
tree
2020-12-16
Mist
r
al Orhan Jean
.
.
.
Supp
o
rt dynam
i
c i
n
for
e
ach
commit
|
commitdiff
|
tree
2020-12-16
Mi
s
t
r
al
O
r
han Jean
.
.
.
M
u
table
c
o
l
l
e
ction assignment s
u
pp
o
r
t
commit
|
commitdiff
|
tree
2020-12-16
Mistral Orh
a
n Jean
.
.
.
Avoid
r
e
dundant
co
m
pu
t
ation
commit
|
commitdiff
|
tree
2020-12-16
Mis
t
ral Orhan
J
ean
.
.
.
Mutabl
e
collection acc
e
ss sup
p
ort
commit
|
commitdiff
|
tree
2020-12-16
Ri
c
k Lavoie
I
m
prove block merging i
n
HHB
B
C
commit
|
commitdiff
|
tree
2020-12-16
Rick La
v
oie
Add TVecish a
n
d TDictish types
t
o HHBBC
commit
|
commitdiff
|
tree
2020-12-16
R
i
ck L
a
voie
Rework inter
p
-minstr logic in HHBBC
commit
|
commitdiff
|
tree
2020-12-16
Rick
L
avoie
Calculate ty
p
e-constraint effects for sta
t
i
c
p
ropert
y
.
.
.
commit
|
commitdiff
|
tree
2020-12-16
Ri
c
k L
a
voie
Analyze
p
rotected
stati
c
pr
o
perties within HHBB
C
commit
|
commitdiff
|
tree
2020-12-16
Rick Lavoie
R
e
f
actor s
t
a
t
ic property inter
f
a
c
e
s in hhbbc
commit
|
commitdiff
|
tree
2020-12-16
Ric
k
La
v
oi
e
Check request heap limits be
f
ore allocati
n
g
in number_format
commit
|
commitdiff
|
tree
2020-12-16
Va
s
sil Mladenov
Ch
a
nge
t
ype of capabilities to
list of hint
s
commit
|
commitdiff
|
tree
2020-12-16
Michael Colavita
Be
s
poke key
/
value
type info
r
mation
commit
|
commitdiff
|
tree
2020-12-16
Michael
C
olavita
Improve deduct
i
on and han
d
ling
o
f
unreachabl
e
instructions
commit
|
commitdiff
|
tree
2020-12-16
O
guz
Ulgen
Ren
a
me
rx
.
h to coeffec
t
s
.
h
commit
|
commitdiff
|
tree
2020-12-16
Max Kat
s
ev
Al
l
ow
a user-de
f
ined adapte
r
t
o convert between runtime
.
.
.
commit
|
commitdiff
|
tree
2020-12-16
Ka
t
y V
o
o
r
Optimize (ne
w
ReflectionCla
s
s($class))->
commit
|
commitdiff
|
tree
2020-12-15
Jak
e
B
ailey (Hacklang)
T
r
a
c
k
whethe
r
the direct dec
l
parser was used i
n
typecheck
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Vincent Siles
Implemen
t
ren
a
min
g
for candida
t
e review
commit
|
commitdiff
|
tree
2020-12-15
Sh
a
u
nak Kishore
Array i
n
ou
t
bui
l
tins
p
reserve mar
k
ings
commit
|
commitdiff
|
tree
2020-12-15
Katy V
o
o
r
Optimize (new R
e
f
l
ecti
o
nClas
s
($cla
s
s))-
>
isAbstract
(
))
commit
|
commitdiff
|
tree
2020-12-15
Francesco Z
a
ppa
.
.
.
Enum Sup
e
r
t
yping [
4
.
hbb
c
c support ]
commit
|
commitdiff
|
tree
next