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
Store weak pointers by hash
2022-01-12
Leo Osvald
Ba
t
c
h
multipl
e
f
i
les in
H
STC --
t
ype mod
e
and its ben
c
hmark
commit
|
commitdiff
|
tree
2022-01-07
Leo O
s
vald
Support us
i
n
g
precom
p
ute
d
nami
n
g table
in SerD
e
benchmark
.
.
.
commit
|
commitdiff
|
tree
2022-01-07
Leo Osvald
S
u
pport a quiet log
l
ev
e
l for
h
h_sh
o
w
(*_env), d
i
sabled
.
.
.
commit
|
commitdiff
|
tree
2022-01-04
Le
o
Osvald
Write a native
benchmark for ty
p
e (d
e
)seriali
z
ati
o
n
.
.
.
commit
|
commitdiff
|
tree
2022-01-04
Leo Osvald
Write R
u
st
l
i
brary for deserializing via ty
p
e
c
hecker
commit
|
commitdiff
|
tree
2021-12-21
Le
o
Os
v
al
d
W
rite FFI for aut
o
-
serializing a
t
ype to
JSON
commit
|
commitdiff
|
tree
2021-12-17
Leo Osvald
Suppo
r
t
mode hh_si
n
gle_type_
c
heck --type
commit
|
commitdiff
|
tree
2021-09-14
Leo O
s
vald
B
an glo
b
als in
d
efault args if
c
tx
l
acks AccessGlobals
.
.
.
commit
|
commitdiff
|
tree
2021-08-31
Leo Os
v
ald
Fix tast_holes
t
es
t
commit
|
commitdiff
|
tree
2021-08-29
Leo Osvald
Disa
b
le tast
_
hole
s
test
in dune
commit
|
commitdiff
|
tree
2021-07-16
Leo O
s
val
d
Intro
d
uce `contro
l
l
e
d` in typechecke
r
commit
|
commitdiff
|
tree
2021-06-30
Leo
Osval
d
D
on't sim
p
lify
i
n
te
r
s
e
c
t
ion
s
befor
e
addi
n
g c
o
e
f
fe
c
ts
.
.
.
commit
|
commitdiff
|
tree
2021-06-30
L
e
o Osvald
Make [defa
u
lt
s
] be a finite
capability set
commit
|
commitdiff
|
tree
2021-06-19
Leo Os
v
ald
Avoid
si
n
gle
-
e
l
em
e
nt
i
n
tersection to
avo
i
d NAST
e
rro
r
s
commit
|
commitdiff
|
tree
2021-06-15
L
e
o
Os
v
ald
Introduce
a
codegen c
o
n
text and
e
scape ha
t
ch codegen_unsafe
commit
|
commitdiff
|
tree
2021-06-04
L
eo Osvald
Don't tre
a
t ::
c
lass
a
s :
:
VARIANT (
r
equirin
g
write_props)
commit
|
commitdiff
|
tree
2021-05-03
Leo O
s
vald
Migra
t
e te
s
ts fr
o
m `rx` to `oldrx
`
to keep good
cove
r
age
commit
|
commitdiff
|
tree
2021-04-29
Leo Osvald
Type-check context con
s
tants [
3
/?]: li
f
t
p
arser
ban
commit
|
commitdiff
|
tree
2021-04-29
Leo Osval
d
Pretty print contexts
i
n bo
u
nds of ctx consts [2/?
.
.
.
commit
|
commitdiff
|
tree
2021-04-29
Leo Osv
a
l
d
Pretty pri
n
t co
n
texts in bounds of ctx consts [1/?]
commit
|
commitdiff
|
tree
2021-04-21
Leo
Osvald
Stop enforcing c
a
l
ling c
o
nventions for `rx`
commit
|
commitdiff
|
tree
2021-04-21
Leo Osvald
Fix su
b
typing of clos
u
res
with unsafe ca
p
ab
i
lities
commit
|
commitdiff
|
tree
2021-04-14
Leo
O
svald
Reduce 24
K
events / sec
d
uring s
p
i
k
es fo
r
GET
_
CLIENT_CHANNE
L
.
.
.
commit
|
commitdiff
|
tree
2021-04-07
Leo Os
v
al
d
Cle
a
n up duplicated helpers for d
e
cl s
u
btyp
i
n
g
commit
|
commitdiff
|
tree
2021-04-07
Leo Osv
a
l
d
Type
-
chec
k
context
constants [2/?]:
ac
c
ess
commit
|
commitdiff
|
tree
2021-04-07
Leo Osvald
T
y
pe-check context constants
[
1/?]: in
h
eritance
commit
|
commitdiff
|
tree
2021-03-30
Leo O
s
vald
Add lower
b
o
unds to AST for type
c
o
nstants [3/?
]
: dir
e
ct
.
.
.
commit
|
commitdiff
|
tree
2021-03-22
Leo O
s
vald
Add lower boun
d
s to AST for con
t
ext
constants
[2/
?
.
.
.
commit
|
commitdiff
|
tree
2021-03-18
Leo Osvald
Add lo
w
er bou
n
ds to
AST for
type
c
o
n
stants [1/?]
commit
|
commitdiff
|
tree
2021-03-17
Leo Osvald
Fix a typo in parser
t
o
cre
a
t
e
context (not type)
c
onstraints
commit
|
commitdiff
|
tree
2021-03-11
Leo Osvald
Open-sour
c
e
the V
i
sion
d
oc (predates HIP)
commit
|
commitdiff
|
tree
2021-03-10
Leo Osvald
Forbi
d
i
m
purities in def
a
ult args of callable
s
exc
e
pt
.
.
.
commit
|
commitdiff
|
tree
2021-02-08
Leo Osva
l
d
Ren
a
me *_con
s
traint to *_as_constra
i
nt
commit
|
commitdiff
|
tree
2021-02-02
Leo
O
svald
Ban redeclaratio
n
s of context constants in parser
commit
|
commitdiff
|
tree
2021-01-16
Leo Osvald
E
n
force arity
check on
c
ontext l
i
st
commit
|
commitdiff
|
tree
2021-01-13
L
eo Osv
a
ld
U
X
: clarify error message (defined -> Hack provides)
commit
|
commitdiff
|
tree
2021-01-12
Leo Osvald
UX
:
ban by default non
-
c
ontexts in context list
commit
|
commitdiff
|
tree
2021-01-10
Leo Osvald
Clean up HH\Contexts in naming
s
peci
a
l
n
ames
commit
|
commitdiff
|
tree
2021-01-09
Leo
O
s
vald
Po
i
nt to context d
e
fi
n
itions
i
n
c
oeffect-rel
a
ted e
r
rors
commit
|
commitdiff
|
tree
2020-12-31
Leo Osvald
Migra
t
e not-imme
d
ia
t
ely-awaited Awa
i
table
c
heck to
.
.
.
commit
|
commitdiff
|
tree
2020-12-29
Leo Osvald
Migrate
R
x
\IS_EN
A
BLED logic to coeffects
commit
|
commitdiff
|
tree
2020-12-28
Le
o
Osv
a
ld
Canonicalize
(
H
H
\
)Rx\IS_ENABLED to s
i
mp
l
ify furth
e
r
.
.
.
commit
|
commitdiff
|
tree
2020-12-28
Leo
O
svald
Don't
o
verload `a
n
on` for both PHP-style anon
.
fu
n
s
.
.
.
commit
|
commitdiff
|
tree
2020-12-22
Leo Osvald
Insert capabilites for ca
l
ls
o
utside bod
y
(toplevel)
commit
|
commitdiff
|
tree
2020-12-21
Leo
O
svald
Let
P
H
P
-s
t
yl
e
ano
n
.
use enclosing capabil
i
tie
s
commit
|
commitdiff
|
tree
2020-12-21
Leo Osvald
Enforce i
n
de
x
ing & mutation ou
t
s
i
de TAST check
[
2/2]
commit
|
commitdiff
|
tree
2020-12-21
Le
o
O
s
v
a
ld
type-check construct
o
rs in attributes
w
i
th default
.
.
.
commit
|
commitdiff
|
tree
2020-12-20
Leo Osvald
E
nforce
r
e
act
i
ve indexing & mutation out
s
ide
T
AST check
.
.
.
commit
|
commitdiff
|
tree
2020-12-17
Le
o
Osval
d
M
odify capability hierarchy & wo
r
k a
r
o
und l
a
c
k of lower
.
.
.
commit
|
commitdiff
|
tree
2020-12-17
Leo
O
svald
Mi
g
r
ate output
&
stati
c
prop chec
k
s
& Rx
/
Pure tes
t
s
commit
|
commitdiff
|
tree
2020-12-15
Leo Os
v
ald
Wr
i
te comprehensi
v
e HHVM tests with
c
o
nte
x
t
s
yntax
commit
|
commitdiff
|
tree
2020-12-15
Leo Osvald
Parse & lower contex
t
list on PHP-style a
n
on
.
functi
o
n
commit
|
commitdiff
|
tree
2020-12-14
L
eo Osvald
Pars
e
cont
e
xt c
o
n
s
tants
with optio
n
al s
u
pe
r
(
a
n
d as)
commit
|
commitdiff
|
tree
2020-12-13
Le
o
Osva
l
d
Inde
p
en
d
ently gate call
&
local op coeffects,
u
nti
e
.
.
.
commit
|
commitdiff
|
tree
2020-12-12
Leo O
s
vald
Elaborate contexts on
a method just
l
i
k
e
fun/lambd
a
commit
|
commitdiff
|
tree
2020-12-12
L
e
o Osvald
Enabl
e
call into [rx*]
& don't tra
c
k Input
c
a
pability
commit
|
commitdiff
|
tree
2020-12-10
Leo Os
v
ald
Enable coeffe
c
t syntax in all
r
x/p
u
re tests
commit
|
commitdiff
|
tree
2020-12-10
Leo O
s
vald
Migr
a
te
rx
/
pure tests to st
r
ict mode, fix brok
e
n
t
est
s
commit
|
commitdiff
|
tree
2020-11-21
Leo O
s
vald
E
nforce output &
access to static properties via coe
f
fects
commit
|
commitdiff
|
tree
2020-11-14
Leo Osvald
O
m
i
t
"set
{
" when printing single-type capability
commit
|
commitdiff
|
tree
2020-11-11
Leo
O
sval
d
R
egister c
a
pabilities after saving env for anon
.
fun
commit
|
commitdiff
|
tree
2020-11-10
Leo Osvald
R
e
move TAST che
c
ks a
s
sociated with parser-banned $GLOBALS
commit
|
commitdiff
|
tree
2020-10-16
Leo Osvald
Type closu
r
e defi
n
ition p
r
op
e
rly
commit
|
commitdiff
|
tree
2020-10-08
Leo Osvald
Type body of c
l
osure pro
p
erly, add
fa
s
t
path
commit
|
commitdiff
|
tree
2020-10-07
Leo Os
v
ald
A
d
d tests for closures with and witho
u
t annotations
commit
|
commitdiff
|
tree
2020-10-05
Leo Osv
a
l
d
Print capabilities as sets
w
hen
po
s
sible
commit
|
commitdiff
|
tree
2020-09-17
Leo Osvald
R
e
move Na
m
in
g
& Typing checks for cor
o
utines
commit
|
commitdiff
|
tree
2020-08-11
Leo Osvald
R
e
prese
n
t capabilities as sealed interfac
e
hierarchies
commit
|
commitdiff
|
tree
2020-08-05
Leo O
s
v
al
d
Add new
c
a
p
a
bility hint(s) to (T/A)AS
T
commit
|
commitdiff
|
tree
2020-06-02
Leo Osvald
Kill dead code in emitter (h
h
bc/)
commit
|
commitdiff
|
tree
2020-05-29
Leo Osv
a
l
d
Make sure enforcement works
a
cro
s
s hierarchies
commit
|
commitdiff
|
tree
2020-05-27
Leo Osvald
S
upport arbitrary-layout HHVM options
commit
|
commitdiff
|
tree
2020-05-22
Leo Osval
d
S
u
pport logg
i
ng HackC options i
n
HHVM (
v
ia JSON)
commit
|
commitdiff
|
tree
2020-05-21
Leo Osvald
M
ake order of a
l
iased namespaces
c
a
nonical
commit
|
commitdiff
|
tree
2020-05-21
Leo Os
v
ald
Detect misparsed
H
HBC options
commit
|
commitdiff
|
tree
2020-05-19
Leo Osvald
Skip empt
y
configs (
n
ot a valid JSO
N
)
commit
|
commitdiff
|
tree
2020-04-23
L
eo Osvald
Parse bool
-
ish JSON
o
ptions as tru
e
iff
=
1 [3
r
d attempt
]
commit
|
commitdiff
|
tree
2020-04-22
L
e
o
Osvald
Ba
c
k
o
ut "Re-comm
i
t D205
6
99
9
6:
b
o
ol o
p
t
i
o
ns c
a
n't
be >1
"
commit
|
commitdiff
|
tree
2020-04-22
Leo Osvald
Parse
i
nt J
S
ON as true
only if == 1
commit
|
commitdiff
|
tree
2020-04-22
Leo
O
svald
Re-commi
t
D2056999
6
:
bool o
p
ti
o
ns can't be >1
commit
|
commitdiff
|
tree
2020-04-10
Leo Osv
a
ld
Backp
o
rt caching of HHB
C
options
m
erging to OC
a
ml
commit
|
commitdiff
|
tree
2020-04-07
Leo Osvald
Trea
t
CLI o
p
tio
n
keys for HHBC
o
ptions ca
s
e-insensit
i
vely
commit
|
commitdiff
|
tree
2020-03-24
Leo Osva
l
d
Cast JSO
N
i
n
t as tru
e
iff =1
commit
|
commitdiff
|
tree
2020-03-19
Leo Osv
a
l
d
Major
s
peed up
of HH
B
C opti
o
n mergin
g
via caching
commit
|
commitdiff
|
tree
2020-03-17
L
eo
Osvald
A
dd missing attr/
h
int
s
to ma
p
s in naming/
commit
|
commitdiff
|
tree
2020-03-17
Leo Osvald
Use Rust CLI-parsing for options
commit
|
commitdiff
|
tree
2020-03-11
L
eo Osvald
Kill s
o
urce mapping o
p
tion acro
s
s s
t
ack
commit
|
commitdiff
|
tree
2020-03-06
Leo Osvald
Parse HHBC option
as bool only if it's a flag
commit
|
commitdiff
|
tree
2020-03-04
Leo Osva
l
d
Avoid
a
cc
u
mu
l
a
t
i
n
g Hhbc_optio
n
s
commit
|
commitdiff
|
tree
2020-03-04
Leo Osva
l
d
Avoid so
m
e open
s
to simpl
i
f
y Rustification
commit
|
commitdiff
|
tree
2020-03-03
Leo Osv
a
ld
Dedu
p
lic
a
te (2-4
x
)
code
in
h
h
_single_com
p
ile
commit
|
commitdiff
|
tree
2020-03-02
Leo O
s
vald
Simplify threading
o
f JSON
s
i
n hh_single_c
o
m
p
ile
commit
|
commitdiff
|
tree
2020-02-28
Leo Osvald
V1 annot
a
tions (at
t
ributes) [3/?]: e
m
it (c
o
nditiona
l
_
.
.
.
commit
|
commitdiff
|
tree
2020-02-25
Le
o
Osvald
V1 annota
t
i
o
ns (attribute
s
) [2
/
?]
:
ad
d
Pure i
n
t
ypeche
c
ker
commit
|
commitdiff
|
tree
2020-02-24
Leo
O
s
v
a
ld
Fli
p
variance w
h
e
n
subty
p
i
n
g OnlyRxIfImpl
f
u
n
params
commit
|
commitdiff
|
tree
2020-02-24
Leo Os
v
ald
HHBC optio
n
s Rust-OCaml par
i
ty tests for o
v
errides
commit
|
commitdiff
|
tree
2020-02-22
L
e
o Osvald
Port disa
b
le_xhp_elemen
t
_mangling op
t
ion in H
H
BC
commit
|
commitdiff
|
tree
2020-02-22
Leo
Osvald
Po
r
t widen_is_array option in HHBC
commit
|
commitdiff
|
tree
2020-02-20
Leo
O
svald
Port Namespace_env logi
c
needed for elaboratio
n
commit
|
commitdiff
|
tree
2020-02-20
Leo Osvald
V1 an
n
otations (attributes) [1/?]: parse __Pure
commit
|
commitdiff
|
tree
next