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
log saved state distance for type_check_end
2022-01-06
Catheri
n
e Ga
s
nier
re
m
ove the multicache in favor of t
h
e freq
u
ency c
a
c
h
e
commit
|
commitdiff
|
tree
2021-12-20
Cathe
r
in
e
Gasnier
i
ntrod
u
ce HackEvent
L
ogger
.
Pe
r
FileProfilingConfig
.
t
.
.
.
commit
|
commitdiff
|
tree
2021-12-16
Cat
h
erine Gasn
i
er
various
r
efactorin
g
s about member
"source
"
/ kind
commit
|
commitdiff
|
tree
2021-12-15
Catherine Gasnier
defun
c
t
i
onalize pa
r
t
o
f Typing_extends
commit
|
commitdiff
|
tree
2021-12-15
C
athe
r
ine
Gasnier
rename p
a
rams of
Errors
.
try_wh
e
n
commit
|
commitdiff
|
tree
2021-12-15
C
at
h
erine G
a
s
n
i
er
refactor and
expor
t
in
t
erna
l
function doin
g
method
.
.
.
commit
|
commitdiff
|
tree
2021-12-15
Catherine Gasnier
use enum
instead of polymorphic variant for member
.
.
.
commit
|
commitdiff
|
tree
2021-12-14
Catherin
e
Gasnier
`--profil
e
-log` acts as `--config p
r
ofile_log=true`
commit
|
commitdiff
|
tree
2021-12-14
Cather
i
ne Ga
s
nier
a
void tr
a
n
s
f
o
rmation to Seq
u
ence
.
t
then
b
ack t
o
list
commit
|
commitdiff
|
tree
2021-12-06
C
a
t
h
e
rine Gasnier
Do not dump
p
er-file p
r
o
f
i
l
es
in logs
commit
|
commitdiff
|
tree
2021-12-06
C
atherin
e
Gasnier
b
r
eak down
Typing_extends
.
check_members
commit
|
commitdiff
|
tree
2021-12-06
Catherine
G
asnier
remove useless returning of class name
commit
|
commitdiff
|
tree
2021-12-06
Catherine Gasni
e
r
ge
t
ting and adding cla
s
s from heap sho
u
l
d
be do
n
e by
.
.
.
commit
|
commitdiff
|
tree
2021-11-24
Catherin
e
Gasnier
add
a
c
onfig file flag
equivalent for --profile-log
commit
|
commitdiff
|
tree
2021-11-23
Catherine Gasnier
D
e
cl_folded_class: pull stuff out of th
e
big recur
s
i
o
n
commit
|
commitdiff
|
tree
2021-11-15
Catherine Gas
n
ier
move BloomF
i
l
ter into
its own
l
i
brar
y
commit
|
commitdiff
|
tree
2021-11-15
Catherine Gasnier
mo
v
e deferred_decl into its
o
w
n library
commit
|
commitdiff
|
tree
2021-11-15
C
ath
e
rine G
a
snier
reorganize mo
d
ules into t
y
ping_t
o
p
l
evel, typing_wellform
e
d
n
e
.
.
.
commit
|
commitdiff
|
tree
2021-11-15
C
a
t
h
eri
n
e Gas
n
i
e
r
remove some unneces
s
ary d
e
pendenc
i
es
o
n
typing_misc
commit
|
commitdiff
|
tree
2021-11-15
Cat
h
erine Gasn
i
er
s
e
pa
r
ate nast
_
vi
s
itor libr
a
ry
commit
|
commitdiff
|
tree
2021-11-15
Catherine Gasni
e
r
sep
a
rate
m
odule tast_e
n
v
commit
|
commitdiff
|
tree
2021-11-11
C
atherine
G
as
n
ie
r
s
epar
a
te library for typing_g
l
o
bal_i
n
ference
commit
|
commitdiff
|
tree
2021-11-11
C
a
t
he
r
ine Gas
n
ier
wellformedn
e
ss checks in separate libra
r
y
commit
|
commitdiff
|
tree
2021-11-10
Cat
h
erine
Gasn
i
er
move certa
i
n
m
o
d
ule
s
o
ut
of
t
y
ping_alge
b
ra into
the
i
r
.
.
.
commit
|
commitdiff
|
tree
2021-11-10
Catheri
n
e Gasnier
separate
t
y
p
ing_utils librar
y
commit
|
commitdiff
|
tree
2021-11-10
Catherine Gasnie
r
separate libra
r
y fo
r
type_mapper
commit
|
commitdiff
|
tree
2021-11-10
Cather
i
ne
Gasnier
se
p
arate libr
a
ry for
c
o
r
e typing o
p
erations
commit
|
commitdiff
|
tree
2021-11-09
Catherine Gasnie
r
a
dapt
OCAML_LANDM
A
RKS for wo
r
ker processes
commit
|
commitdiff
|
tree
2021-11-09
Catheri
n
e Gasnier
remove
dangling mli
commit
|
commitdiff
|
tree
2021-11-09
Catherine
Gasnier
sep
a
rate library typing
_
e
n
v
commit
|
commitdiff
|
tree
2021-11-09
Catherine Gasnier
separate typing_env_type
s
l
ibrary
commit
|
commitdiff
|
tree
2021-11-04
Catherine Ga
s
ni
e
r
re
m
ove flag about
numbe
r
of times to defer
commit
|
commitdiff
|
tree
2021-11-03
Catherine Gasnier
remove flag def
e
rme
n
ts_light
commit
|
commitdiff
|
tree
2021-11-03
C
at
h
er
i
ne Gasni
e
r
refactor hphp/hack/
t
est/t
y
pech
e
c
k
/dune and a
d
d
target
.
.
.
commit
|
commitdiff
|
tree
2021-11-03
Catherin
e
Gasni
e
r
add landmarks to opam
commit
|
commitdiff
|
tree
2021-10-27
Catherine Gas
n
ier
sim
p
lify Deferred_de
c
l API
commit
|
commitdiff
|
tree
2021-10-14
Cathe
r
ine Gas
n
ier
fix bu
g
in
d
eferments
with i
n
terrup
t
ed ty
p
echecking
commit
|
commitdiff
|
tree
2021-10-06
C
a
therine Gas
n
ier
imple
m
e
nt `workload_quanti
l
e` option
commit
|
commitdiff
|
tree
2021-10-01
Cath
e
rine Gasnier
Stop typeche
c
king w
h
en
r
eaching
t
hreshol
d
commit
|
commitdiff
|
tree
2021-10-01
C
a
therine
G
asn
i
er
fix
t
ypo i
n
serv
e
r local config logic
commit
|
commitdiff
|
tree
2021-09-28
C
a
th
e
r
i
n
e Gasnier
F
ix typo in c
o
nfig wiring
commit
|
commitdiff
|
tree
2021-09-16
Catherine Ga
s
nier
add rollout fla
g
defere
m
ents_lig
h
t
commit
|
commitdiff
|
tree
2021-09-13
Catherine G
a
snier
c
l
e
a
n
up unu
s
ed Typing_en
v
.
pr
i
n
t_size functi
o
n
commit
|
commitdiff
|
tree
2021-09-02
Cath
e
r
i
n
e
G
a
snier
ad-
h
o
c
p
r
ofiler: subtrac
t
profiling
t
ime
commit
|
commitdiff
|
tree
2021-09-01
C
atherine
G
a
s
n
ier
Adh
o
c prof
i
ler:
d
o not
profile beyond a
c
ertain stack
.
.
.
commit
|
commitdiff
|
tree
2021-09-01
Catherine Gas
n
i
er
log
adh
o
c
p
rofiling info
commit
|
commitdiff
|
tree
2021-09-01
Cathe
r
ine G
a
snier
Ad-hoc prof
i
ler
commit
|
commitdiff
|
tree
2021-08-27
C
a
therine Gasnier
dep
r
ecate
e
nv
.
Serve
r
Env
.
p
e
rs
i
stent
_
client in favor
.
.
.
commit
|
commitdiff
|
tree
2021-08-05
Catherine Gasnier
Typ
i
ng_check_
s
e
r
vice
.
go returns record
instead
o
f lar
g
e
.
.
.
commit
|
commitdiff
|
tree
2021-08-05
Catherine Gas
n
ier
simplify LSTable
.
get
commit
|
commitdiff
|
tree
2021-07-29
C
a
theri
n
e Gasnier
a
dd
i
tional u
n
it
test
commit
|
commitdiff
|
tree
2021-07-29
Catherine G
a
s
nier
in
t
r
oduce ti
m
e
t
o first e
r
ror metrics
commit
|
commitdiff
|
tree
2021-07-28
Catherin
e
Gasnier
R
e
f
actor recheck loop stats updati
n
g in
t
o helpe
r
function
commit
|
commitdiff
|
tree
2021-07-28
Cathe
r
ine Gasnier
Refactor Serv
e
rTypecheck
.
ch
e
ck_kind
i
nto its ow
n
mo
d
ule
.
.
.
commit
|
commitdiff
|
tree
2021-07-28
Ca
t
herine
Gasnier
refa
c
tor recheck_l
o
op
_
sta
t
s +
helpers int
o
module
commit
|
commitdiff
|
tree
2021-07-28
Catherine
Ga
s
nier
S
er
v
er
B
usyS
t
atu
s
returns optional timestamp o
f
sending
commit
|
commitdiff
|
tree
2021-07-28
C
ather
i
ne Gasnier
forgot t
o
put
s
ome logic behind
f
l
a
g
commit
|
commitdiff
|
tree
2021-07-21
Cathe
r
i
n
e Gasnier
add state
"mee
r
kat-build" as a defer state
.
commit
|
commitdiff
|
tree
2021-07-20
Cather
i
n
e
Gasnier
log info a
b
out
c
u
r
r
en
t
and
p
ast rep
o
s
t
ates at the
.
.
.
commit
|
commitdiff
|
tree
2021-07-16
Cath
e
rine G
a
snier
l
o
g
in
f
o about errors
commit
|
commitdiff
|
tree
2021-07-16
Catherine Gasnier
refactor checking well-fo
r
mednes
s
of hint
s
for expression
commit
|
commitdiff
|
tree
2021-07-16
C
a
therine Gasnier
check more type
h
i
nts for
wellformednes
s
commit
|
commitdiff
|
tree
2021-07-15
Catherine Gasnier
regenerate
full fid
e
lity parser code t
o
fix
b
roke
n
.
.
.
commit
|
commitdiff
|
tree
2021-07-15
C
a
therine Gasn
i
e
r
documentation in Typing_e
x
tends and Typing_attribut
e
s
commit
|
commitdiff
|
tree
2021-07-15
C
a
therine
G
asnier
s
i
mplify typing of idx
commit
|
commitdiff
|
tree
2021-07-12
Catherine Gasn
i
er
Some docume
n
tation
a
nd nits i
n
typing
c
ode
commit
|
commitdiff
|
tree
2021-07-12
Catherin
e
Gasnier
logg
i
ng: allow to cor
r
elate monit
o
r client handoffs
.
.
.
commit
|
commitdiff
|
tree
2021-07-12
Catherine Gasnier
fixing some rando
m
nits
commit
|
commitdiff
|
tree
2021-07-12
C
a
t
h
er
i
ne Gasnier
add logging
commit
|
commitdiff
|
tree
2021-07-12
Cath
e
rine
Gasnier
docum
e
nt some
r
e
mote ty
p
echecking
c
o
d
e
commit
|
commitdiff
|
tree
2021-07-12
Catheri
n
e Gasnier
final
e
rr
o
r
push at
t
h
e
end o
f
typec
h
ecking iteratio
n
commit
|
commitdiff
|
tree
2021-07-12
Catherine
G
asnier
document dia
g
nosti
c
code and minor refact
o
rs
commit
|
commitdiff
|
tree
2021-07-12
C
at
h
erine Gasnie
r
tra
c
k opened files
commit
|
commitdiff
|
tree
2021-07-09
Catherine Ga
s
nier
a
d
d documentati
o
n
i
n Ser
v
e
rFileSy
n
c
commit
|
commitdiff
|
tree
2021-07-09
Catherine
G
a
s
n
i
er
support priority files in Di
a
g
n
ostic
_
p
u
sher
commit
|
commitdiff
|
tree
2021-07-09
Catherine Gas
n
ier
push
p
arsing, nam
i
n
g and decling
er
r
ors
commit
|
commitdiff
|
tree
2021-07-08
Cat
h
erine Gasnier
docum
e
nt some pieces
o
f
the server c
o
de
commit
|
commitdiff
|
tree
2021-07-06
Cath
e
r
i
ne
Gasn
i
er
support facebook ver
s
i
o
n
of Ty
p
ing
_
service
_
del
e
ga
t
e
.
.
.
commit
|
commitdiff
|
tree
2021-07-05
Catherin
e
Gasnier
su
p
port facebook versio
n
for
Experiments
_
config
_
f
i
le
.
.
.
commit
|
commitdiff
|
tree
2021-06-30
Cath
e
rine Gasnier
Reuse d
i
agn
o
stic pusher acr
o
ss typechecking ite
r
ati
o
ns
commit
|
commitdiff
|
tree
2021-06-30
Cat
h
erine Gasnier
do not use diagnosti
c
su
b
scripti
o
n w
h
en streaming
e
r
ro
r
s
commit
|
commitdiff
|
tree
2021-06-30
Cathe
r
ine Gasnier
put
conn
e
ct
i
on
handlin
g
c
o
de in its
own
modu
l
e and
.
.
.
commit
|
commitdiff
|
tree
2021-06-30
C
a
therine Gasnier
limit numbe
r
of erro
r
s pushed
commit
|
commitdiff
|
tree
2021-06-28
C
atherine G
a
snier
push diagnosti
c
s
while mergi
n
g job r
e
sults
commit
|
commitdiff
|
tree
2021-06-28
Catherine G
a
snier
store
persistent client in client provider
commit
|
commitdiff
|
tree
2021-06-28
Catherine Gas
n
ier
detect lost client
commit
|
commitdiff
|
tree
2021-06-28
Ca
t
herine Gasn
i
e
r
add Diagnostic
_
pusher module
commit
|
commitdiff
|
tree
2021-06-25
Catherine Gasnier
add flag for error streaming
commit
|
commitdiff
|
tree
2021-06-22
Cath
e
rine Gasnier
I
n
cl
u
de tot
a
l
n
umber
of erro
r
s
in warning for trun
c
ated
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
C
a
therine Gasnier
warn
when list of errors
has b
e
en trunc
a
ted
commit
|
commitdiff
|
tree
2021-06-21
C
a
th
e
rine Gasnier
r
emove unused f
i
eld
f
rom ServerCommandTyp
e
s
.
D
IA
G
N
O
S
T
IC
commit
|
commitdiff
|
tree
2021-06-18
Catherine Gas
n
ier
a
d
d mli file fo
r
Typ
e
_validator
commit
|
commitdiff
|
tree
2021-06-18
Catherine Gasnier
Limit IDE errors to abo
u
t 1000
commit
|
commitdiff
|
tree
2021-06-18
Catheri
n
e Gasnier
simpl
i
fy
D
iagnostic
_
subsc
r
iption no
w
that
e
rrors all
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Catherine Gasnier
add docume
n
tation to Diag
n
o
stic_s
u
bs
c
ri
p
tion
commit
|
commitdiff
|
tree
2021-06-04
Catherine Gas
n
ier
comp
a
re const
r
uctor
s
commit
|
commitdiff
|
tree
2021-06-04
Catherine Gasnier
f
ix typo
i
n fi
l
e
name
s
commit
|
commitdiff
|
tree
2021-06-04
Catherine Ga
s
ni
e
r
implem
e
nt
Mem
b
er t
r
ait for remaining members
commit
|
commitdiff
|
tree
2021-06-04
Catherine
G
a
snier
add
a
Member tra
i
t for member comparison
commit
|
commitdiff
|
tree
2021-06-04
Catherine Gasnier
class
comparison: detect maj
o
r
ch
a
n
ge
commit
|
commitdiff
|
tree
next