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
Switch to global consers by moving hashcons functions to Reason trait
2022-03-01
Cat
h
erine Gasnier
Fix doc blocs
i
n Tr
a
i
t
_reuse_ch
e
ck
commit
|
commitdiff
|
tree
2022-03-01
C
a
therine Gasnier
A few renamings in Typing_exten
d
s
commit
|
commitdiff
|
tree
2022-02-28
Cath
e
ri
n
e G
a
snier
remo
v
e Typing_en
v
.
wrap_infe
r
ence_env_cal
l
commit
|
commitdiff
|
tree
2022-02-26
Catherin
e
Gasnier
Remove calls t
o
the Me
a
sure modu
l
e in Naming_heap
commit
|
commitdiff
|
tree
2022-02-24
Ca
t
herine G
a
sni
e
r
remove
f
unction aas
t
_to_nast which does nothin
g
commit
|
commitdiff
|
tree
2022-02-21
Cath
e
rine Gasnier
dec
l
utter T
y
p
i
ng
_
env_from_d
e
f
.
cla
s
s_e
n
v
commit
|
commitdiff
|
tree
2022-02-21
Cath
e
ri
n
e Ga
s
nier
m
a
k
e
R
ty
p
econst take a lazy s
t
ring
commit
|
commitdiff
|
tree
2022-02-18
Catherine
Gasnier
make s
t
ring in Rtype
_
acc
e
ss lazy
commit
|
commitdiff
|
tree
2022-02-15
C
a
therine Gasnier
r
e
set typ
e
va
r
iable
identifiers for
e
a
c
h top-le
v
el
.
.
.
commit
|
commitdiff
|
tree
2022-01-31
Cath
e
rine
Gasnier
fac
t
or out code
a
bout
method return into helper
commit
|
commitdiff
|
tree
2022-01-31
Catherine Gasnier
Typing_su
b
type: take some functions out of big recursion
commit
|
commitdiff
|
tree
2022-01-31
Cather
i
ne Ga
s
nier
NastInitCh
e
ck
.
c
l
ass_ should
b
elong to `
c
lass
_
wellformedness_
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
Catherine Gasnier
r
emove d
i
agnostic subscription
c
ode
commit
|
commitdiff
|
tree
2022-01-28
Catherine Gasnier
remove flag stream_errors
commit
|
commitdiff
|
tree
2022-01-28
Cathe
r
ine
Gasnier
rem
o
ving stream_errors fl
a
g: r
e
mov
e
branching on flag
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
Catherine Gasnier
remove Ad
h
oc_profiler
commit
|
commitdiff
|
tree
2022-01-28
C
a
ther
i
n
e
Ga
s
n
i
e
r
crea
t
e check_class_members
helpe
r
commit
|
commitdiff
|
tree
2022-01-28
Catherine Gasnier
furth
e
r bre
a
k
down
`cla
s
s_wellfo
r
medness_checks`
commit
|
commitdiff
|
tree
2022-01-28
Cathe
r
ine G
a
snier
help
e
rs for class wellfor
m
ed
n
ess
c
hecks a
n
d
c
l
ass
h
ier
a
rch
y
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
Cath
e
r
i
ne
G
asnier
a
d
d ch
e
ck_cl
a
s
s_w
h
ere_constrai
n
t
h
elper
commit
|
commitdiff
|
tree
2022-01-28
C
a
therine Gasn
i
er
e
x
po
r
t sealed-
r
elat
e
d logic into
helper
commit
|
commitdiff
|
tree
2022-01-28
Catherine Gasnie
r
Let E
r
rors
.
t d
e
ri
v
e sh
o
w for
de
b
uggi
n
g
commit
|
commitdiff
|
tree
2022-01-28
Cat
h
erin
e
Gasni
e
r
Let ServerE
n
v
.
env derive sh
o
w
commit
|
commitdiff
|
tree
2022-01-27
Cat
h
erine Gasnier
rename
a
n
d docume
n
t
che
c
k_const
r
uctor_de
p
commit
|
commitdiff
|
tree
2022-01-26
Cather
i
ne Gasnier
clean-
u
p
c
ode checking override
k
eyword
commit
|
commitdiff
|
tree
2022-01-26
Catherine
Gas
n
ie
r
s
e
tup_env_f
o
r
_
class_def
_
ch
e
ck
h
elper
commit
|
commitdiff
|
tree
2022-01-24
Catherine Gasnier
simplify ch
e
cki
n
g of multiple conc
r
ete defi
n
itions
.
.
.
commit
|
commitdiff
|
tree
2022-01-24
C
a
therine Gasnier
simplif
y
inter
f
ace
i
mple
m
entation checking
commit
|
commitdiff
|
tree
2022-01-21
Cathe
r
ine Gasnier
no need to check dynamically
cal
l
able fo
r
mem
b
ers that
.
.
.
commit
|
commitdiff
|
tree
2022-01-21
C
atherine Ga
s
nier
B
reak down Typing_ext
e
nds
.
check_ov
e
rride
commit
|
commitdiff
|
tree
2022-01-21
C
a
therine
G
as
n
ie
r
refactor check_overrid
e
: remo
v
e parameter ign
o
re_fun
_
return
commit
|
commitdiff
|
tree
2022-01-21
Cather
i
n
e
Gas
n
ie
r
re
f
actor adding de
p
endency when calli
n
g
c
h
e
ck
_
ov
e
rri
d
e
commit
|
commitdiff
|
tree
2022-01-21
Catherine Gasn
i
er
d
o not che
c
k
overridi
n
g a synth
e
sized m
e
mber
commit
|
commitdiff
|
tree
2022-01-19
Cath
e
rine Gasnier
ref
a
c
t
or some
common private + LSB logic
commit
|
commitdiff
|
tree
2022-01-19
Catherine Gasnier
make cla
s
s element flag
s
abstract
commit
|
commitdiff
|
tree
2022-01-19
Catheri
n
e Ga
s
nier
refactor class el
e
ment flags a
n
d
add
a prett
y
printer
commit
|
commitdiff
|
tree
2022-01-18
Catherin
e
Gasnier
fix
m
a
ster b
u
ild
commit
|
commitdiff
|
tree
2022-01-18
Catherine Gasnier
remove
d
ead code
i
n Decl_e
n
v
commit
|
commitdiff
|
tree
2022-01-14
Catherine Gasnier
Let Typ
i
ng_
c
l
a
ss
e
s_heap
.
A
p
i
.
t der
i
ve show
commit
|
commitdiff
|
tree
2022-01-13
C
a
therine Gasnier
remove dead p
a
ram
e
ter `check_pri
v
ates`
commit
|
commitdiff
|
tree
2022-01-13
Cathe
r
i
n
e Gasnie
r
union all par
e
nt member
s
be
f
ore
doing overri
d
e checks
commit
|
commitdiff
|
tree
2022-01-11
Catherine
G
asnier
aggreg
a
te
r
e
d
undant keys
fro
m
/proc/cpuinfo as a h
i
stogram
commit
|
commitdiff
|
tree
2022-01-06
Catherine Gasnier
remove the multica
c
he i
n
favor o
f
the frequency cache
commit
|
commitdiff
|
tree
2021-12-20
Cath
e
rine Gasnier
introduce HackEventLogger
.
PerFileProfili
n
gConfig
.
t
.
.
.
commit
|
commitdiff
|
tree
2021-12-16
Cat
h
eri
n
e Gasnier
various
refactorings about member "source"
/ kind
commit
|
commitdiff
|
tree
2021-12-15
Catherine Ga
s
nier
de
f
unctionalize
p
ar
t
of Typing_extends
commit
|
commitdiff
|
tree
2021-12-15
Cath
e
rine Gasnier
r
e
name params of Errors
.
try_when
commit
|
commitdiff
|
tree
2021-12-15
Catherine Gasnie
r
refac
t
or
a
n
d
e
x
p
ort intern
a
l functi
o
n
do
i
ng
met
h
od
.
.
.
commit
|
commitdiff
|
tree
2021-12-15
Catherine
G
asn
i
e
r
use enum ins
t
e
ad
of polymorphic variant fo
r
m
e
mber
.
.
.
commit
|
commitdiff
|
tree
2021-12-14
Ca
t
he
r
ine Gasn
i
e
r
`-
-
profile-lo
g
` acts as `--co
n
fig profile_lo
g
=true`
commit
|
commitdiff
|
tree
2021-12-14
Catheri
n
e Gasnier
avoid transf
o
r
m
ation to Sequence
.
t then back to list
commit
|
commitdiff
|
tree
2021-12-06
C
a
t
her
i
ne
Gasnier
Do not dum
p
per-file profiles in logs
commit
|
commitdiff
|
tree
2021-12-06
C
atherine Gasn
i
er
break do
w
n T
y
ping_e
x
te
n
ds
.
che
c
k_members
commit
|
commitdiff
|
tree
2021-12-06
Catherine Gasnier
r
e
move
u
s
e
less
r
eturning of class name
commit
|
commitdiff
|
tree
2021-12-06
Cat
h
erine
G
asn
i
er
gett
i
ng
a
nd adding class from he
a
p
s
hould be done by
.
.
.
commit
|
commitdiff
|
tree
2021-11-24
Cather
i
ne Ga
s
nier
add a config fil
e
flag equivalent for --profile-log
commit
|
commitdiff
|
tree
2021-11-23
Cathe
r
i
n
e Gasnier
D
ecl_
f
olded_class: pull stuff out of the big recursion
commit
|
commitdiff
|
tree
2021-11-15
Cathe
r
in
e
Gasnier
move
B
loomF
i
lte
r
i
nto its own
librar
y
commit
|
commitdiff
|
tree
2021-11-15
Cather
i
ne
Gasnier
m
ove deferr
e
d_dec
l
into
i
t
s
own library
commit
|
commitdiff
|
tree
2021-11-15
Catherine
G
a
snier
r
e
o
r
g
anize modules in
t
o
t
yping_topleve
l
, typing_w
e
llformedne
.
.
.
commit
|
commitdiff
|
tree
2021-11-15
Catherine Gasnier
remove
s
ome unnecessary dependenc
i
es on typing_
m
i
sc
commit
|
commitdiff
|
tree
2021-11-15
Ca
t
her
i
n
e Gasnier
separate nast_visitor
l
ibrary
commit
|
commitdiff
|
tree
2021-11-15
Catherine Gasn
i
er
s
e
parat
e
module tast_
e
nv
commit
|
commitdiff
|
tree
2021-11-11
Cat
h
erine Gas
n
i
e
r
separate lib
r
a
ry for typing_glo
b
al_inference
commit
|
commitdiff
|
tree
2021-11-11
Catherine Gasnier
wellformedness c
h
ecks in sepa
r
ate library
commit
|
commitdiff
|
tree
2021-11-10
Catherine Gasnier
move
c
e
r
t
ain mo
d
ules out of
t
yp
i
ng_al
g
ebra into the
i
r
.
.
.
commit
|
commitdiff
|
tree
2021-11-10
C
a
t
h
erine Gasn
i
e
r
s
e
parate ty
p
in
g
_utils library
commit
|
commitdiff
|
tree
2021-11-10
Catheri
n
e Ga
s
nier
separate lib
r
ary for type
_
ma
p
per
commit
|
commitdiff
|
tree
2021-11-10
Catherin
e
Ga
s
nier
sep
a
rate
library
f
o
r c
o
re typing operatio
n
s
commit
|
commitdiff
|
tree
2021-11-09
Cather
i
n
e Gasnie
r
adapt O
C
AML_LANDMA
R
KS
for wo
r
ker pro
c
esses
commit
|
commitdiff
|
tree
2021-11-09
C
a
therine Gasni
e
r
remove
d
angling
m
li
commit
|
commitdiff
|
tree
2021-11-09
Cather
i
ne Gasnier
separate
lib
r
ary typing_env
commit
|
commitdiff
|
tree
2021-11-09
Cat
h
erine Gasnier
s
e
pa
r
ate t
y
ping_e
n
v_
t
ypes libra
r
y
commit
|
commitdiff
|
tree
2021-11-04
Catherine Gasn
i
er
remove fla
g
about
n
u
m
ber of times
t
o defe
r
commit
|
commitdiff
|
tree
2021-11-03
Catherine Gas
n
ie
r
re
m
ove flag deferme
n
ts_light
commit
|
commitdiff
|
tree
2021-11-03
Cathe
r
i
ne Gasnier
ref
a
ctor h
p
hp/hack/t
e
st
/
typecheck/dune and add target
.
.
.
commit
|
commitdiff
|
tree
2021-11-03
C
a
theri
n
e Gasnier
add landmarks to opam
commit
|
commitdiff
|
tree
2021-10-27
Cathe
r
ine Gasnier
si
m
p
lify Deferred_decl
API
commit
|
commitdiff
|
tree
2021-10-14
Catherine Gasnier
f
i
x bug in deferments with
interrupted typec
h
ecking
commit
|
commitdiff
|
tree
2021-10-06
Cathe
r
ine
G
a
snier
implement
`workload_quantile` option
commit
|
commitdiff
|
tree
2021-10-01
C
a
t
he
r
ine
G
asnier
Stop t
y
p
echec
k
i
ng when reaching
threshold
commit
|
commitdiff
|
tree
2021-10-01
Catherine Gasnie
r
fi
x
typo in ser
v
er local config logic
commit
|
commitdiff
|
tree
2021-09-28
Catherine Gasnie
r
Fix ty
p
o
in config wiring
commit
|
commitdiff
|
tree
2021-09-16
Catherine
G
asni
e
r
add rollou
t
fla
g
de
f
ere
m
ents_light
commit
|
commitdiff
|
tree
2021-09-13
Cather
i
ne G
a
snier
clean
u
p un
u
sed Typ
i
ng_env
.
p
rint_siz
e
function
commit
|
commitdiff
|
tree
2021-09-02
Cathe
r
ine Gasnier
ad-hoc p
r
ofiler: subt
r
act profiling ti
m
e
commit
|
commitdiff
|
tree
2021-09-01
Cat
h
erine Gasnier
Adhoc profiler: do not pro
f
ile beyond
a
c
ertain
stac
k
.
.
.
commit
|
commitdiff
|
tree
2021-09-01
Cather
i
ne Gasni
e
r
l
o
g adho
c
profilin
g
i
n
fo
commit
|
commitdiff
|
tree
2021-09-01
C
a
theri
n
e Gasnier
A
d
-hoc profile
r
commit
|
commitdiff
|
tree
2021-08-27
Ca
t
herine
Gasnier
deprecate env
.
ServerEnv
.
persistent_client
in f
a
vor
.
.
.
commit
|
commitdiff
|
tree
2021-08-05
C
at
h
e
r
ine Gasn
i
er
Typing_che
c
k
_
service
.
go re
t
urns reco
r
d in
s
tead of
l
arge
.
.
.
commit
|
commitdiff
|
tree
2021-08-05
Catherine Gasni
e
r
simplify LSTable
.
get
commit
|
commitdiff
|
tree
2021-07-29
Cat
h
erine Gasnier
additi
o
nal unit test
commit
|
commitdiff
|
tree
2021-07-29
Cather
i
ne Gas
n
ier
in
t
rod
u
c
e
time to
fir
s
t
e
rror met
r
i
c
s
commit
|
commitdiff
|
tree
2021-07-28
C
a
therine Gasnier
Re
f
a
c
tor recheck loop stat
s
u
p
dating i
n
to helper
function
commit
|
commitdiff
|
tree
2021-07-28
Cat
h
erine Gasnier
R
e
f
actor ServerTypecheck
.
check
_
ki
n
d
int
o
its own module
.
.
.
commit
|
commitdiff
|
tree
2021-07-28
Catheri
n
e
Ga
s
n
i
er
re
f
actor re
c
heck_loo
p
_stats +
h
elpers into module
commit
|
commitdiff
|
tree
2021-07-28
Catherine Gasnie
r
ServerBusyStatus
r
e
turns optional tim
e
stamp of send
i
ng
commit
|
commitdiff
|
tree
2021-07-28
Catherine Gasn
i
er
forgot to p
u
t
som
e
log
i
c behind flag
commit
|
commitdiff
|
tree
2021-07-21
Cat
h
e
rin
e
Gasnier
a
d
d state "m
e
erkat-bui
l
d
"
as a
d
efer state
.
commit
|
commitdiff
|
tree
next