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
Introduce secondary errors in place of explicit application of reasons to `Typing...
2022-01-06
Catherine
G
a
s
nie
r
remove
t
he mul
t
icache in
f
avor of
t
h
e
fr
e
q
uency cache
commit
|
commitdiff
|
tree
2021-12-20
Catherine
Gasnier
i
ntro
d
uce HackEventLog
g
er
.
PerFileP
r
ofil
i
ngConfig
.
t
.
.
.
commit
|
commitdiff
|
tree
2021-12-16
Ca
t
herine Ga
s
n
i
er
v
arious refactorings about member "
s
ource" / k
i
nd
commit
|
commitdiff
|
tree
2021-12-15
Catherine Gas
n
ier
defunctionali
z
e part of Typ
i
ng_exte
n
ds
commit
|
commitdiff
|
tree
2021-12-15
Catherine Gasnier
rena
m
e
params of Error
s
.
try_when
commit
|
commitdiff
|
tree
2021-12-15
Catherine Gasnier
refactor a
n
d export intern
a
l
f
u
n
c
tion
d
oing method
.
.
.
commit
|
commitdiff
|
tree
2021-12-15
Catherine Gasnier
u
se
enum
i
n
st
e
ad
of pol
y
m
orp
h
ic
v
a
ri
a
nt
for member
.
.
.
commit
|
commitdiff
|
tree
2021-12-14
C
a
therine G
a
s
ni
e
r
`
-
-pr
o
file-log` acts as `--config p
r
ofil
e
_log=true`
commit
|
commitdiff
|
tree
2021-12-14
Cather
i
n
e Gasnier
avo
i
d transforma
t
i
on to Sequence
.
t then
b
ack to list
commit
|
commitdiff
|
tree
2021-12-06
Cathe
r
ine Gasn
i
e
r
Do not
d
ump per-file profil
e
s in logs
commit
|
commitdiff
|
tree
2021-12-06
Catherine
G
asnier
br
e
ak down Typing
_
extends
.
c
h
eck_m
e
m
b
ers
commit
|
commitdiff
|
tree
2021-12-06
C
a
therine Gasnier
remove
useless
r
e
t
ur
n
i
n
g o
f
c
l
ass name
commit
|
commitdiff
|
tree
2021-12-06
Catherine Gas
n
ier
getting and
a
ddin
g
cla
s
s from h
e
ap should be
d
o
ne
by
.
.
.
commit
|
commitdiff
|
tree
2021-11-24
Catheri
n
e
Gasnier
add a config file f
l
ag equiva
l
ent f
o
r --profil
e
-
log
commit
|
commitdiff
|
tree
2021-11-23
C
a
therine Gasni
e
r
Dec
l
_folded
_
class: pul
l
s
tu
f
f
out of th
e
big recursion
commit
|
commitdiff
|
tree
2021-11-15
Ca
t
h
e
rine Gasnier
mo
v
e BloomF
i
lter into its ow
n
library
commit
|
commitdiff
|
tree
2021-11-15
Catherine Gasnie
r
move deferred_decl into
i
ts own library
commit
|
commitdiff
|
tree
2021-11-15
Catherine
G
asni
e
r
reorganize modules into typin
g
_tople
v
el
,
typing_well
f
ormedne
.
.
.
commit
|
commitdiff
|
tree
2021-11-15
Catherine Gas
n
ier
remove some unnecessa
r
y dependencies o
n
t
yp
i
n
g
_misc
commit
|
commitdiff
|
tree
2021-11-15
Cather
i
n
e
Gasnier
separat
e
nast_v
i
sitor library
commit
|
commitdiff
|
tree
2021-11-15
Catherine Ga
s
ni
e
r
sep
a
rate
m
odule tast
_
e
n
v
commit
|
commitdiff
|
tree
2021-11-11
Catheri
n
e Gasni
e
r
s
eparate libra
r
y for
t
ypin
g
_global_infere
n
ce
commit
|
commitdiff
|
tree
2021-11-11
Catheri
n
e G
a
sni
e
r
wellformedness checks
in separate library
commit
|
commitdiff
|
tree
2021-11-10
Catherine
G
asni
e
r
move certai
n
modules out of t
y
ping_algebra into t
h
eir
.
.
.
commit
|
commitdiff
|
tree
2021-11-10
Catherine Gasnier
se
p
arate
t
yping_
u
tils
l
ibr
a
ry
commit
|
commitdiff
|
tree
2021-11-10
Ca
t
herin
e
Gasnie
r
separate library
f
or type_mapper
commit
|
commitdiff
|
tree
2021-11-10
Catherine Gasnier
separat
e
library fo
r
core typing operations
commit
|
commitdiff
|
tree
2021-11-09
Cather
i
ne Gasnier
ad
a
pt OC
A
M
L
_
L
ANDMAR
K
S fo
r
worker processes
commit
|
commitdiff
|
tree
2021-11-09
Cather
i
ne
G
asnier
remove dangling
m
li
commit
|
commitdiff
|
tree
2021-11-09
Catheri
n
e
Ga
s
nie
r
separate
l
ibrary t
y
ping_env
commit
|
commitdiff
|
tree
2021-11-09
Cath
e
r
ine
G
asnier
separate typing
_
env
_
types library
commit
|
commitdiff
|
tree
2021-11-04
Ca
t
herine
Gasnier
re
m
o
ve flag about
numb
e
r
of
t
imes to defer
commit
|
commitdiff
|
tree
2021-11-03
Catherine Gasnier
remove flag deferments_
l
i
g
ht
commit
|
commitdiff
|
tree
2021-11-03
Cath
e
rine G
a
sn
i
er
refact
o
r hph
p
/hack
/
test/typecheck/dune and add
t
a
rget
.
.
.
commit
|
commitdiff
|
tree
2021-11-03
Ca
t
herine G
a
snier
add landmarks
t
o opam
commit
|
commitdiff
|
tree
2021-10-27
Catherine Gasnier
s
i
mp
l
ify Deferred_dec
l
API
commit
|
commitdiff
|
tree
2021-10-14
Catherine Gasnier
fi
x
bug
in deferments
with
i
nter
r
up
t
ed t
y
p
ech
e
cki
n
g
commit
|
commitdiff
|
tree
2021-10-06
C
at
h
erine
G
a
snier
impl
e
m
e
nt `work
l
oad_
q
ua
n
ti
l
e` option
commit
|
commitdiff
|
tree
2021-10-01
C
a
therine Gas
n
ier
Stop ty
p
echecking when reac
h
ing threshold
commit
|
commitdiff
|
tree
2021-10-01
Cather
i
ne Gasni
e
r
fix typ
o
in server
local config logic
commit
|
commitdiff
|
tree
2021-09-28
Cather
i
ne G
a
snier
F
ix typ
o
in
c
o
n
f
i
g wiring
commit
|
commitdiff
|
tree
2021-09-16
Ca
t
heri
n
e Gasn
i
er
add rollout fl
a
g
deferements_li
g
ht
commit
|
commitdiff
|
tree
2021-09-13
Catherine Gasnier
clean up unuse
d
Typing_e
n
v
.
print_size fun
c
tion
commit
|
commitdiff
|
tree
2021-09-02
Cat
h
e
r
ine
Gasni
e
r
ad-hoc profiler: subtrac
t
profiling time
commit
|
commitdiff
|
tree
2021-09-01
Catherine
Gasnier
Adhoc
p
rofiler: do
n
ot profile beyond a
c
ertain stack
.
.
.
commit
|
commitdiff
|
tree
2021-09-01
Cathe
r
in
e
Gasnier
log
a
dhoc
p
ro
f
iling info
commit
|
commitdiff
|
tree
2021-09-01
C
a
theri
n
e
Gasnier
A
d-ho
c
profiler
commit
|
commitdiff
|
tree
2021-08-27
Catherine Gasnier
depr
e
cate env
.
Server
E
nv
.
persiste
n
t_clien
t
in favor
.
.
.
commit
|
commitdiff
|
tree
2021-08-05
Catherine Gasni
e
r
Ty
p
ing_c
h
e
ck_service
.
go r
e
turns
record instead of
large
.
.
.
commit
|
commitdiff
|
tree
2021-08-05
Catherine Gasnier
simplify LSTable
.
get
commit
|
commitdiff
|
tree
2021-07-29
C
atheri
n
e Gasnier
a
d
d
i
ti
o
nal unit
tes
t
commit
|
commitdiff
|
tree
2021-07-29
Cathe
r
i
n
e
G
asnier
i
n
t
rodu
c
e time to f
i
rst error metrics
commit
|
commitdiff
|
tree
2021-07-28
Catherine Gasnier
Refactor recheck
l
oo
p
stat
s
u
pdating
i
n
t
o
hel
p
er function
commit
|
commitdiff
|
tree
2021-07-28
Catherine G
a
snier
Refactor
S
erverTypecheck
.
c
h
e
ck_kind into
i
ts
own module
.
.
.
commit
|
commitdiff
|
tree
2021-07-28
Cather
i
n
e
G
a
sn
i
er
refactor re
c
heck_loop_
s
tats +
h
elper
s
int
o
m
o
d
u
le
commit
|
commitdiff
|
tree
2021-07-28
Ca
t
h
e
rine Gasni
e
r
ServerBusyStatus
retu
r
ns optional timestam
p
of
sending
commit
|
commitdiff
|
tree
2021-07-28
Catherine Gas
n
ier
forgot to pu
t
s
ome
l
ogi
c
behind
f
lag
commit
|
commitdiff
|
tree
2021-07-21
Cath
e
rine Gasnier
add stat
e
"
m
e
erkat-build"
a
s a de
f
e
r
s
t
ate
.
commit
|
commitdiff
|
tree
2021-07-20
Cat
h
erine
Ga
s
ni
e
r
log inf
o
abou
t
current and
past r
e
p
o
states at t
h
e
.
.
.
commit
|
commitdiff
|
tree
2021-07-16
Catherine
G
asnier
log info about errors
commit
|
commitdiff
|
tree
2021-07-16
Catherine Ga
s
n
ier
refactor
checking wel
l
-formed
n
e
s
s o
f
hints for expressi
o
n
commit
|
commitdiff
|
tree
2021-07-16
C
a
therine
G
asnier
check more type hints
for we
l
lformedness
commit
|
commitdiff
|
tree
2021-07-15
Cath
e
rine Gasn
i
er
reg
e
nerate
full fidelity pars
e
r
code to
fix broken
.
.
.
commit
|
commitdiff
|
tree
2021-07-15
Cat
h
erine
Gasnier
docume
n
ta
t
i
o
n
in
T
yping_exte
n
ds
a
n
d
Typing_attributes
commit
|
commitdiff
|
tree
2021-07-15
Catherine Gasnier
s
implif
y
typing of idx
commit
|
commitdiff
|
tree
2021-07-12
Cather
i
ne Gasnier
S
ome
d
o
c
umentation and nit
s
in typing c
o
de
commit
|
commitdiff
|
tree
2021-07-12
Ca
t
herine Gasni
e
r
logging:
allow to correlate m
o
nitor client handoffs
.
.
.
commit
|
commitdiff
|
tree
2021-07-12
Cath
e
rin
e
Gasni
e
r
fixin
g
some random nits
commit
|
commitdiff
|
tree
2021-07-12
Cather
i
ne Gasnier
ad
d
lo
g
ging
commit
|
commitdiff
|
tree
2021-07-12
Cather
i
ne Gasnier
doc
u
m
e
nt some r
e
mote
typecheckin
g
code
commit
|
commitdiff
|
tree
2021-07-12
Catherine Gasni
e
r
fina
l
error push at t
h
e end of typech
e
c
king itera
t
ion
commit
|
commitdiff
|
tree
2021-07-12
Catherine Gasn
i
er
docu
m
ent
dia
g
n
ostic co
d
e and
m
inor refactors
commit
|
commitdiff
|
tree
2021-07-12
Cath
e
rine Ga
s
nier
track opened files
commit
|
commitdiff
|
tree
2021-07-09
Cather
i
ne G
a
snier
add documenta
t
ion in ServerFileSync
commit
|
commitdiff
|
tree
2021-07-09
Ca
t
h
erine Gasni
e
r
su
p
p
o
rt priority files in D
i
agnostic_push
e
r
commit
|
commitdiff
|
tree
2021-07-09
Catherine Gasnier
push parsing
,
na
m
ing and
decling
errors
commit
|
commitdiff
|
tree
2021-07-08
Catherine Gasnier
document
so
m
e pieces
o
f
t
h
e serv
e
r code
commit
|
commitdiff
|
tree
2021-07-06
Ca
t
he
r
ine G
a
snie
r
su
p
port facebook v
e
r
s
ion of Typing_service_delegate
.
.
.
commit
|
commitdiff
|
tree
2021-07-05
C
atherine
G
asnier
su
p
port facebook v
e
rsion f
o
r
Ex
p
e
r
iments_c
o
nfig_
f
ile
.
.
.
commit
|
commitdiff
|
tree
2021-06-30
Catherin
e
Gasnier
Reuse
diagnostic pusher ac
r
oss t
y
pechec
k
ing iteration
s
commit
|
commitdiff
|
tree
2021-06-30
Catherine
Gasnier
d
o not use
d
iagn
o
stic subs
c
ri
p
t
i
on
when streaming errors
commit
|
commitdiff
|
tree
2021-06-30
Cat
h
erine
Gasnier
put connectio
n
ha
n
dling code in its own module
and
.
.
.
commit
|
commitdiff
|
tree
2021-06-30
Catheri
n
e Gasnier
limit number of err
o
rs pu
s
hed
commit
|
commitdiff
|
tree
2021-06-28
Cat
h
eri
n
e Gasnier
push diagnostics while
merging job results
commit
|
commitdiff
|
tree
2021-06-28
Catherine Gasnier
s
t
ore persistent cli
e
nt in client provider
commit
|
commitdiff
|
tree
2021-06-28
Catheri
n
e
Ga
s
nie
r
d
e
t
ect lost
c
lient
commit
|
commitdiff
|
tree
2021-06-28
Ca
t
herine Gasnier
add Diagno
s
t
ic_pusher module
commit
|
commitdiff
|
tree
2021-06-25
C
a
therine
Gasnier
add f
l
a
g
for error
streami
n
g
commit
|
commitdiff
|
tree
2021-06-22
C
ather
i
ne Gasnier
In
c
lud
e
total numb
e
r of errors
i
n warning fo
r
truncated
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
Cat
h
erine
G
a
s
n
i
e
r
war
n
when l
i
st of
e
rror
s
has b
e
en t
r
un
c
ate
d
commit
|
commitdiff
|
tree
2021-06-21
Catherine
Gasnier
r
emove un
u
sed fie
l
d
f
r
o
m ServerCommandTypes
.
DIAGNOST
I
C
commit
|
commitdiff
|
tree
2021-06-18
Catherine
G
asnier
add mli file for Type_validator
commit
|
commitdiff
|
tree
2021-06-18
Catherine Gasnier
Limit IDE err
o
rs to
a
bou
t
1000
commit
|
commitdiff
|
tree
2021-06-18
Catherine
G
asnier
simplify
D
iagnostic_sub
s
cri
p
tion n
o
w tha
t
err
o
r
s all
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Cat
h
erine Gasnie
r
add documenta
t
ion to Diagnostic_subscrip
t
i
o
n
commit
|
commitdiff
|
tree
2021-06-04
Ca
t
her
i
ne
Gasnier
compare constructors
commit
|
commitdiff
|
tree
2021-06-04
C
a
therine Gasnier
f
ix
typo
in fi
l
e
names
commit
|
commitdiff
|
tree
2021-06-04
Catherine Gasn
i
er
implement Member t
r
ait f
o
r remaining memb
e
rs
commit
|
commitdiff
|
tree
2021-06-04
Cathe
r
ine Gasnier
add
a
Member trait
for
m
ember compariso
n
commit
|
commitdiff
|
tree
2021-06-04
C
a
th
e
r
i
ne G
a
sn
i
er
class co
m
p
a
rison: det
e
ct maj
o
r c
h
a
n
g
e
commit
|
commitdiff
|
tree
next