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
Telemetry: remove is_lazy_incremental
2022-04-12
Ca
t
herine Gasnier
Telemet
r
y:
r
emove i
s
_lazy_in
c
remental
commit
|
commitdiff
|
tree
2022-04-08
Catherine
Gasnier
defun
c
tio
n
alize shallow_cla
s
s_f
a
nout
commit
|
commitdiff
|
tree
2022-04-08
Cat
h
erine Gasnier
Add rollout flag for ide_use_
l
fu_cache_instead_of_lru
commit
|
commitdiff
|
tree
2022-04-07
Cather
i
n
e
G
as
n
ier
Hack IDE: add th
e
possibilit
y
t
o
u
se an Lfu_
c
ache instea
d
.
.
.
commit
|
commitdiff
|
tree
2022-03-31
C
athe
r
i
ne Gasnier
Fr
e
q
C
a
che: no need to manu
a
lly m
a
int
a
in `size`
commit
|
commitdiff
|
tree
2022-03-28
C
atherin
e
G
asnier
Move checks from Trait
_
r
euse_
c
heck into Typing
_
ext
e
nds
commit
|
commitdiff
|
tree
2022-03-28
Catherine Gasnier
refactor
some map ty
p
es in Typing_extends t
o
avoid
.
.
.
commit
|
commitdiff
|
tree
2022-03-17
Catherine
Gasnier
simpl
i
fy lo
g
ic for
`ch
e
ck_member_unique` param in Typi
n
g_e
x
tend
s
commit
|
commitdiff
|
tree
2022-03-14
Catherine Gasnier
rename parame
t
ers `trunc
a
te_el
e
ms` and `t
r
uncate_len
.
.
.
commit
|
commitdiff
|
tree
2022-03-11
C
at
h
erine Gasnier
mo
v
e
lo
g
ic from Typi
n
g_to
p
level
.
che
c
k_extend
_
ab
s
tract
.
.
.
commit
|
commitdiff
|
tree
2022-03-10
Catherine Gasn
i
e
r
avoid calling unioning when
l
ocal
i
zing
o
pt
i
on
s
commit
|
commitdiff
|
tree
2022-03-07
Catherine Gasnier
i
mprov
e
error message and
p
osition for "bad decl override
.
.
.
commit
|
commitdiff
|
tree
2022-03-04
Catherine Gasnier
Improve p
o
sitions and wording of "met
h
od not imp
l
em
e
nted
.
.
.
commit
|
commitdiff
|
tree
2022-03-04
Catherine Gasnie
r
add h
h
_auto
i
mport
.
ml
i
+ doc
commit
|
commitdiff
|
tree
2022-03-04
Cather
i
ne Ga
s
nier
wire the Po
s
.
t of a class' parent
s
down in Typing_ext
e
nds
commit
|
commitdiff
|
tree
2022-03-01
Cat
h
erine Gas
n
ier
Fix doc bloc
s
in Trait_reuse_check
commit
|
commitdiff
|
tree
2022-03-01
Catherine
G
asnier
A few renam
i
ngs in Typin
g
_exte
n
ds
commit
|
commitdiff
|
tree
2022-02-28
C
a
ther
i
ne Gas
n
i
e
r
r
e
m
o
v
e
Typing
_
env
.
wrap_inference
_
e
nv_c
a
ll
commit
|
commitdiff
|
tree
2022-02-26
Catherine
G
asnier
Remov
e
calls to the M
e
asure mo
d
u
l
e
i
n
N
aming_hea
p
commit
|
commitdiff
|
tree
2022-02-24
Catheri
n
e Gasnier
remove fun
c
tion
a
a
st_to_na
s
t which doe
s
nothi
n
g
commit
|
commitdiff
|
tree
2022-02-21
Cat
h
erine Ga
s
nie
r
decl
u
tter Typing_env_from_de
f
.
class_env
commit
|
commitdiff
|
tree
2022-02-21
Cat
h
erine Gasn
i
er
make R
t
y
p
ec
o
n
s
t
take a lazy
s
trin
g
commit
|
commitdiff
|
tree
2022-02-18
Catherine Gasn
i
er
make string
i
n Rtype_
a
ccess lazy
commit
|
commitdiff
|
tree
2022-02-15
Cathe
r
i
ne Gasni
e
r
reset
t
y
p
e variab
l
e
i
d
entifiers for
e
ach top-level
.
.
.
commit
|
commitdiff
|
tree
2022-01-31
Catherin
e
Gasnier
factor out
c
ode about me
t
hod
r
e
t
urn
i
nto h
e
lper
commit
|
commitdiff
|
tree
2022-01-31
Catherine Gasni
e
r
T
y
ping_subtype: take s
o
me fun
c
tions out
o
f
b
i
g recursion
commit
|
commitdiff
|
tree
2022-01-31
Catherine
Gasnier
Na
s
tInitCheck
.
class_ sh
o
ul
d
belong to `class
_
w
ellformedn
e
ss_
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
Catherine Gas
n
i
e
r
re
m
o
ve diag
n
ostic s
u
bscription code
commit
|
commitdiff
|
tree
2022-01-28
Catherine
G
asnier
remov
e
flag s
t
r
e
am
_
errors
commit
|
commitdiff
|
tree
2022-01-28
C
a
therine Gasn
i
er
remov
i
ng stream_errors flag
:
r
e
move br
a
nchi
n
g
on f
l
ag
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
Cat
h
erine
G
asnier
re
m
ov
e
Adho
c
_
profiler
commit
|
commitdiff
|
tree
2022-01-28
Cathe
r
ine Gasnier
creat
e
c
h
e
ck
_
cl
a
ss_me
m
b
ers h
e
l
per
commit
|
commitdiff
|
tree
2022-01-28
C
a
t
h
erine Gasn
i
er
further break down `clas
s
_wellformedness_checks`
commit
|
commitdiff
|
tree
2022-01-28
Cathe
r
i
ne Gasni
e
r
helpers fo
r
class wellformedness
c
hecks and
c
lass hierar
c
hy
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
C
ather
i
ne Gas
n
i
e
r
add check_class_wher
e
_co
n
strai
n
t helper
commit
|
commitdiff
|
tree
2022-01-28
Ca
t
herine Gas
n
ier
export sealed-re
l
ated logic into hel
p
er
commit
|
commitdiff
|
tree
2022-01-28
Catherine
G
asn
i
er
Let
Errors
.
t
derive show
f
or debu
g
g
i
ng
commit
|
commitdiff
|
tree
2022-01-28
Catherine
G
asn
i
e
r
L
et Se
r
ve
r
Env
.
env derive sh
o
w
commit
|
commitdiff
|
tree
2022-01-27
Cath
e
ri
n
e Gasnier
rename
and d
o
cume
n
t ch
e
ck_construct
o
r_dep
commit
|
commitdiff
|
tree
2022-01-26
Catheri
n
e Gasnier
cl
e
an-
u
p code checking override
k
eyword
commit
|
commitdiff
|
tree
2022-01-26
Catheri
n
e Gasnier
setup_env_for_c
l
ass_def
_
c
h
e
ck h
e
l
per
commit
|
commitdiff
|
tree
2022-01-24
Catheri
n
e Gasnie
r
s
i
mpl
i
fy checking of mu
l
t
iple concrete definiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2022-01-24
Catheri
n
e
Ga
s
nier
sim
p
lify interface implementation checking
commit
|
commitdiff
|
tree
2022-01-21
Cathe
r
ine G
a
snier
no need to
c
he
c
k
dy
n
a
m
ically callable for m
e
mbers
t
h
at
.
.
.
commit
|
commitdiff
|
tree
2022-01-21
Catherine G
a
snier
Break
d
own Typing_exte
n
d
s
.
ch
e
ck
_
o
v
erride
commit
|
commitdiff
|
tree
2022-01-21
Catherine Gasnie
r
r
efa
c
tor ch
e
ck_over
r
i
d
e
:
r
e
move p
a
ra
m
eter ign
o
re_fun_r
e
tu
r
n
commit
|
commitdiff
|
tree
2022-01-21
C
atherine Gasn
i
er
r
e
facto
r
a
d
ding depende
n
cy when calling check_over
r
ide
commit
|
commitdiff
|
tree
2022-01-21
Catherine G
a
snier
d
o not check
o
verriding a s
y
nth
e
s
ize
d
member
commit
|
commitdiff
|
tree
2022-01-19
Catherine Gas
n
ier
re
f
ac
t
or some comm
o
n private +
LSB logi
c
commit
|
commitdiff
|
tree
2022-01-19
Cath
e
rine Gasnier
mak
e
class e
l
ement
f
lags a
b
strac
t
commit
|
commitdiff
|
tree
2022-01-19
Catherine G
a
snier
refacto
r
c
lass element flags and add a pret
t
y pr
i
nter
commit
|
commitdiff
|
tree
2022-01-18
Cathe
r
ine
G
a
snier
fix ma
s
t
e
r
build
commit
|
commitdiff
|
tree
2022-01-18
Catherine Gasni
e
r
remove
dea
d
code in
Decl
_
env
commit
|
commitdiff
|
tree
2022-01-14
Catherine Gasnie
r
Let
Typi
n
g_class
e
s
_h
e
ap
.
Api
.
t derive show
commit
|
commitdiff
|
tree
2022-01-13
Ca
t
h
erine Gasni
e
r
rem
o
ve dead parameter
`
check_privates`
commit
|
commitdiff
|
tree
2022-01-13
Catherine
Gasn
i
er
u
nion
a
ll parent members before doi
n
g
o
verride chec
k
s
commit
|
commitdiff
|
tree
2022-01-11
Cat
h
erine
G
asnier
aggregate
r
edunda
n
t keys from /proc/cpuinfo as a histogram
commit
|
commitdiff
|
tree
2022-01-06
Catherine Gasn
i
e
r
rem
o
ve
the
m
ulticac
h
e
i
n fav
o
r of the frequency cache
commit
|
commitdiff
|
tree
2021-12-20
Catherine Gasnier
i
ntro
d
u
c
e Ha
c
kEventLogger
.
PerF
i
leProfilingConfig
.
t
.
.
.
commit
|
commitdiff
|
tree
2021-12-16
Ca
t
heri
n
e Gasnier
various refactorings abou
t
mem
b
er
"
source
"
/
k
i
n
d
commit
|
commitdiff
|
tree
2021-12-15
Ca
t
he
r
ine Gasnier
defunctionali
z
e
part of Typing_extends
commit
|
commitdiff
|
tree
2021-12-15
Cather
i
ne Gasn
i
e
r
re
n
ame para
m
s
of
Errors
.
try_when
commit
|
commitdiff
|
tree
2021-12-15
Cat
h
eri
n
e
G
asn
i
er
refact
o
r a
n
d export in
t
e
rnal fu
n
ction doing
m
eth
o
d
.
.
.
commit
|
commitdiff
|
tree
2021-12-15
Ca
t
herine Gasnier
use enum instea
d
of poly
m
orphic
variant for me
m
ber
.
.
.
commit
|
commitdiff
|
tree
2021-12-14
Cath
e
rine
Gasni
e
r
`--pro
f
ile-l
o
g` acts as `--co
n
fig profile_log=true`
commit
|
commitdiff
|
tree
2021-12-14
Cath
e
rine Gasnier
avoi
d
transformati
o
n to
Sequ
e
nc
e
.
t the
n
back to list
commit
|
commitdiff
|
tree
2021-12-06
Catherine
Gasn
i
e
r
Do n
o
t dump per-file p
r
ofiles
in logs
commit
|
commitdiff
|
tree
2021-12-06
C
a
therin
e
Gasn
i
er
b
r
eak down Typing_ex
t
end
s
.
check_me
m
bers
commit
|
commitdiff
|
tree
2021-12-06
C
atherine
G
asn
i
er
remove useless returning of class na
m
e
commit
|
commitdiff
|
tree
2021-12-06
Cathe
r
in
e
Gasnier
get
t
i
n
g and ad
d
i
n
g class f
r
om heap should be done
b
y
.
.
.
commit
|
commitdiff
|
tree
2021-11-24
Catherin
e
Gasnier
add a config file
f
lag
e
q
uivalent fo
r
--pro
f
ile-lo
g
commit
|
commitdiff
|
tree
2021-11-23
Cath
e
rine Gasnier
Dec
l
_folded_class: pull stuff out of the big r
e
cursion
commit
|
commitdiff
|
tree
2021-11-15
Catherin
e
Ga
s
nier
move Bl
o
o
mFilter into its own library
commit
|
commitdiff
|
tree
2021-11-15
Cathe
r
i
ne Gasnier
m
o
ve de
f
erred_dec
l
into its own library
commit
|
commitdiff
|
tree
2021-11-15
Catherine Gasni
e
r
reorg
a
nize module
s
in
t
o typing_toplevel, typing_wellformedne
.
.
.
commit
|
commitdiff
|
tree
2021-11-15
Catherine
Gasnier
re
m
ove some unnecessary dependencies on typing_
m
isc
commit
|
commitdiff
|
tree
2021-11-15
Cath
e
rine
G
asn
i
er
sepa
r
ate nas
t
_visi
t
or library
commit
|
commitdiff
|
tree
2021-11-15
Ca
t
herine Gasnier
se
p
arate mod
u
le tast_env
commit
|
commitdiff
|
tree
2021-11-11
Catherine Ga
s
nier
se
p
arate li
b
rary for ty
p
i
n
g_gl
o
bal_inference
commit
|
commitdiff
|
tree
2021-11-11
Catherine Gasn
i
er
we
l
lfor
m
edness che
c
ks in
s
eparate
l
ibrar
y
commit
|
commitdiff
|
tree
2021-11-10
Catherine Gasni
e
r
move certain
modules out of
typing_
a
lgebra in
t
o
their
.
.
.
commit
|
commitdiff
|
tree
2021-11-10
Catherine Gasnier
separate typing_uti
l
s libr
a
r
y
commit
|
commitdiff
|
tree
2021-11-10
C
a
theri
n
e Gasnie
r
separat
e
library for
t
ype_mapper
commit
|
commitdiff
|
tree
2021-11-10
Cathe
r
i
ne G
a
snier
separate library f
o
r
c
o
re
t
y
p
ing
operations
commit
|
commitdiff
|
tree
2021-11-09
Catheri
n
e Gas
n
ier
ada
p
t OCAM
L
_LAND
M
ARKS
f
or worker pro
c
ess
e
s
commit
|
commitdiff
|
tree
2021-11-09
C
a
therin
e
Gasni
e
r
remove dangling mli
commit
|
commitdiff
|
tree
2021-11-09
Cather
i
ne Gasnier
separate library t
y
ping_env
commit
|
commitdiff
|
tree
2021-11-09
C
a
therine Gasnier
separate
t
yping_env_types
l
ibrary
commit
|
commitdiff
|
tree
2021-11-04
Cath
e
rine Gasnier
remo
v
e flag about number of times to def
e
r
commit
|
commitdiff
|
tree
2021-11-03
C
atheri
n
e Gasnier
re
m
ove flag def
e
r
m
ents_li
g
ht
commit
|
commitdiff
|
tree
2021-11-03
Catherin
e
Gasnie
r
refactor hphp
/
hack/test/typechec
k
/d
u
n
e and add targe
t
.
.
.
commit
|
commitdiff
|
tree
2021-11-03
Catherine Gasnier
add la
n
dmarks to op
a
m
commit
|
commitdiff
|
tree
2021-10-27
Catherine
G
asnier
simpl
i
fy Deferred_decl API
commit
|
commitdiff
|
tree
2021-10-14
Catherine Gas
n
ier
fix bug in defer
m
ents
w
ith int
e
r
rupted t
y
pechecking
commit
|
commitdiff
|
tree
2021-10-06
Cat
h
erin
e
Gasnie
r
implement `workload_quantile` option
commit
|
commitdiff
|
tree
2021-10-01
C
atheri
n
e Gasnier
S
t
op typec
h
ecking when
r
eaching thres
h
old
commit
|
commitdiff
|
tree
2021-10-01
Catherine Gasnie
r
f
ix typo in
server lo
c
a
l
confi
g
logic
commit
|
commitdiff
|
tree
2021-09-28
Cathe
r
ine Gasnier
F
i
x typo in config wiring
commit
|
commitdiff
|
tree
2021-09-16
C
atherine Gasnier
a
d
d r
o
l
l
out flag
deferements_light
commit
|
commitdiff
|
tree
2021-09-13
Catherine Gasnier
c
l
ean up
u
n
u
s
e
d Typin
g
_env
.
print_
s
ize
function
commit
|
commitdiff
|
tree
next