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
Back out "Adding tests for the TC in EC gating"
2022-11-10
Ca
t
her
i
ne Gasnie
r
fanout tests: make subdirecto
r
y for xh
p
te
s
ts
commit
|
commitdiff
|
tree
2022-10-26
Cat
h
erine Ga
s
nier
More rea
d
a
b
le logging in ca
s
e of member
change
commit
|
commitdiff
|
tree
2022-10-26
C
atherine Gasnier
ad
d
f
o
l
d
_map function to cla
s
s
_
refi
n
ement
commit
|
commitdiff
|
tree
2022-10-14
C
a
t
h
erine Gasnier
only
c
atch Unix_error i
n
connect_t
o
_monitor inst
e
a
d
.
.
.
commit
|
commitdiff
|
tree
2022-10-14
Cath
e
rine G
a
snier
m
ore precis
e
sel
e
ct_outcome
commit
|
commitdiff
|
tree
2022-10-13
Cather
i
ne Gasnier
disting
u
i
sh
t
h
e mult
i
ple `rpc` fun
c
t
i
ons in
C
lientChe
c
k
commit
|
commitdiff
|
tree
2022-10-10
Ca
t
herine Gasnie
r
Add fanout te
s
t for unbound name
e
r
r
or
s
commit
|
commitdiff
|
tree
2022-09-01
Catherin
e
Gasnier
F
ix fanout
bug with required
XHP attrib
u
tes and more
.
.
.
commit
|
commitdiff
|
tree
2022-09-01
C
atherine G
a
snier
Fi
x
t
est with requ
i
red XH
P
attribute to m
a
ke
it mo
r
e
.
.
.
commit
|
commitdiff
|
tree
2022-09-01
Catherine
Gasnier
More tests
w
ith XHP
required at
t
ribut
e
s
commit
|
commitdiff
|
tree
2022-08-25
C
a
th
e
rine G
a
snier
log
the kind of response when lo
g
g
i
n
LSP met
h
od
commit
|
commitdiff
|
tree
2022-08-24
Catherine Gasni
e
r
a
d
d a fanout test
for t
y
pe alias chains
commit
|
commitdiff
|
tree
2022-08-05
Catherine Gasnier
Sur
f
ace Dec
l
_heap_elem_bug metadata
to IDE
commit
|
commitdiff
|
tree
2022-08-05
C
atherine Gasnier
Min
o
r refacto
r
ing i
n
clientIdeUtil
s
commit
|
commitdiff
|
tree
2022-08-03
Catherine
G
asnier
log stat
e
after ini
t
ializ
a
tio
n
commit
|
commitdiff
|
tree
2022-08-03
Cath
e
rine Gasnier
call
o
caml callback for
t
ype
c
hecking
commit
|
commitdiff
|
tree
2022-07-30
Catherine
G
a
s
ni
e
r
typecheck!
commit
|
commitdiff
|
tree
2022-07-30
Ca
t
herine Gasn
i
er
check memory ca
p
a
fter e
a
ch file
commit
|
commitdiff
|
tree
2022-07-29
Catherine Ga
s
n
ier
allo
w
jobs not to
give up ear
l
y
commit
|
commitdiff
|
tree
2022-07-29
Catherine
G
asnier
ca
l
l into Multi
W
or
k
er with a dummy typechecking job
commit
|
commitdiff
|
tree
2022-07-29
Cath
e
rine Gasnier
Typecheck the `finally` block with t
h
e right continuations
.
commit
|
commitdiff
|
tree
2022-07-29
C
a
theri
n
e Gas
n
ier
set GC params
commit
|
commitdiff
|
tree
2022-07-16
C
atherine Gasnier
log
to
t
al
f
anou
t
cardi
n
al a
n
d
other stats
commit
|
commitdiff
|
tree
2022-07-15
Cather
i
n
e
G
a
snier
More precise cl
a
ss di
f
f
i
n cas
e
of enum con
s
traint
.
.
.
commit
|
commitdiff
|
tree
2022-07-13
Catherine Gasni
e
r
log alternati
v
e fanout cardi
n
als
commit
|
commitdiff
|
tree
2022-07-13
Cathe
r
ine
G
asnier
log single class fanou
t
s
t
o hh_fano
u
t scuba table
commit
|
commitdiff
|
tree
2022-07-13
Catherine Gasnier
compute more de
t
ailed class
d
if
f
in case of a "
m
ajor
.
.
.
commit
|
commitdiff
|
tree
2022-07-13
C
atherin
e
G
asnier
ref
a
c
tor
Af
f
ectedDeps prior to adding telemetry
commit
|
commitdiff
|
tree
2022-06-23
Catherine Gasnier
fix fanout bug when making an
attribute required
commit
|
commitdiff
|
tree
2022-06-23
Cather
i
ne Gasnier
add test exhibiti
n
g bug
commit
|
commitdiff
|
tree
2022-06-20
Catherine Gasnier
reimplement go-to-d
e
f
o
n `<<__Override>
>
` for f
o
lded
.
.
.
commit
|
commitdiff
|
tree
2022-06-15
Ca
t
he
r
i
n
e Gasnier
Decl_inh
e
rit: factor out the pa
r
ent trav
e
rsa
l
logic
commit
|
commitdiff
|
tree
2022-06-14
Cathe
r
ine Gasni
e
r
undo D12
8
96373 and
remove `Decl_inherit
.
c
o
ll
a
pse_trait_inher
.
.
.
commit
|
commitdiff
|
tree
2022-06-14
Catherine Ga
s
nier
Decl_
i
nherit
:
rewrite
f
o
ldin
g
p
a
rents
i
n the same way
.
.
.
commit
|
commitdiff
|
tree
2022-06-10
C
ath
e
rine Gasnier
set t
h
e decl st
o
re to use
l
o
c
al memory
commit
|
commitdiff
|
tree
2022-06-09
Ca
t
herine Ga
s
nier
intro
d
uce
id
e
_
u
se
_
shallow_decls
flag to al
l
ow to use
.
.
.
commit
|
commitdiff
|
tree
2022-06-07
Catherine Gasnier
remove usage of
Obj
.
t
in Pro
v
i
d
e
r
_back
e
nd
.
Dec
l
_c
a
che
commit
|
commitdiff
|
tree
2022-06-06
Catherine Gas
n
ie
r
m
o
ve Decl
_
inheritance
.
inher
i
t
ed_members
into Typ
i
ng_c
l
a
s
s_types
commit
|
commitdiff
|
tree
2022-06-06
Catheri
n
e Gasnier
mov
e
type
s
defined in
T
y
ping_classe
s
_
heap into a separat
e
.
.
.
commit
|
commitdiff
|
tree
2022-06-06
Catherine
Gasnier
m
ake Typing_classes_heap
.
c
l
ass_t
n
o
t
de
p
e
nd on
P
rovider_c
o
nt
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Ca
t
herine Gasnier
some renaming in dump_save
d
_state_
d
epgraph
commit
|
commitdiff
|
tree
2022-05-11
Catherine Gasnier
some documentati
o
n in Typing_deps
commit
|
commitdiff
|
tree
2022-05-09
C
a
theri
n
e Gasnier
add
o
n
e
t
est abou
t
addi
n
g
a
nd re
m
o
vin
g
c
l
a
s
s
e
s
commit
|
commitdiff
|
tree
2022-05-04
Catherine Gasnier
adding an enum constant should retyp
e
c
h
e
ck all
`
sw
i
t
c
h
.
.
.
commit
|
commitdiff
|
tree
2022-05-04
Ca
t
herine
Gasnier
ad
d
tests f
o
r `switch
`
stat
e
ments
commit
|
commitdiff
|
tree
2022-05-04
Catherine Gasnier
make po
_
e
n
able_enum_supert
y
p
i
ng tr
u
e
by
default
commit
|
commitdiff
|
tree
2022-05-03
Catherine Gasnier
fix
fa
n
out whe
n
ad
d
ing a required
X
HP attri
b
ut
e
commit
|
commitdiff
|
tree
2022-05-03
C
ather
i
ne Gasnier
Shallow_clas
s
_d
i
f
f
: pass a m
o
dule to diff_members
.
.
.
commit
|
commitdiff
|
tree
2022-05-03
C
ather
i
ne Gasnier
add
fanout test for adding
a
req
u
ired
x
h
p
attributes
commit
|
commitdiff
|
tree
2022-04-22
Catherine Gasnier
fanout: add test adding
a co
n
structor
in
t
h
e mi
d
dle
.
.
.
commit
|
commitdiff
|
tree
2022-04-21
Cat
h
erine Gasnier
Switch hack IDE
o
ver to LFU ca
c
hes
instead of LR
U
commit
|
commitdiff
|
tree
2022-04-21
Catherine Gasnier
doc + renam
e
s in Decl_re
d
ecl_service
commit
|
commitdiff
|
tree
2022-04-19
Ca
t
heri
n
e Gasnier
r
ename all
t
he
`
f
ast`
stuff
t
o `defs_per_files`
commit
|
commitdiff
|
tree
2022-04-19
Catherine Gasnier
Fanouts: fix fanout
algori
t
h
m
w
h
en modif
y
ing a member
commit
|
commitdiff
|
tree
2022-04-19
Catherin
e
Gas
n
ier
switc
h
fanout t
e
sts over
t
o
new fanout a
l
g
o
rithm
commit
|
commitdiff
|
tree
2022-04-18
Catherin
e
Gasnier
A
dd f
a
nout test case for hier
a
rchy checks
commit
|
commitdiff
|
tree
2022-04-13
C
a
therine Ga
s
nier
Te
l
emetry: rename
rechecked_cou
n
t t
o
changed_files_count
.
.
.
commit
|
commitdiff
|
tree
2022-04-13
C
a
ther
i
ne
G
asnier
log
rechecked files cou
n
t into 'rechecke
d
' and
'total_rech
e
c
.
.
.
commit
|
commitdiff
|
tree
2022-04-12
C
a
t
herine Gasnier
Tel
e
me
t
ry: r
e
move
i
s_laz
y
_incremental
commit
|
commitdiff
|
tree
2022-04-08
Catherin
e
Gas
n
ier
def
u
nctionalize sha
l
lo
w
_c
l
ass_fanout
commit
|
commitdiff
|
tree
2022-04-08
Catheri
n
e Gas
n
ier
Add rollout
f
lag for ide_use_lfu_cache_instead
_
of_lru
commit
|
commitdiff
|
tree
2022-04-07
Cather
i
ne Gasn
i
er
H
a
c
k IDE: add the poss
i
bilit
y
to use an Lfu_cache instead
.
.
.
commit
|
commitdiff
|
tree
2022-03-31
Catherin
e
Gas
n
ier
F
reqCache: no
n
e
ed to manually maintain `
s
iz
e
`
commit
|
commitdiff
|
tree
2022-03-28
Catherine G
a
snier
Move checks from T
r
ait_reuse_check in
t
o Typing_e
x
t
ends
commit
|
commitdiff
|
tree
2022-03-28
C
ather
i
ne Gas
n
ier
refac
t
or some map
t
ypes in Ty
p
ing_extends to avoid
.
.
.
commit
|
commitdiff
|
tree
2022-03-17
Catherine Gasnier
sim
p
li
f
y
l
o
g
i
c for `check_mem
b
er_un
i
que` param in Typing_e
x
tends
commit
|
commitdiff
|
tree
2022-03-14
Catherine
Gas
n
ier
ren
a
m
e
p
aram
e
ters `tr
u
ncat
e
_elems` a
n
d `tr
u
ncate_len
.
.
.
commit
|
commitdiff
|
tree
2022-03-11
Catherine Gasnier
mov
e
logic from Ty
p
ing_to
p
level
.
check_e
x
t
e
nd_
a
bstract
.
.
.
commit
|
commitdiff
|
tree
2022-03-10
C
atherine Gasnie
r
avoid
cal
l
ing
u
nioning when localiz
i
n
g
optio
n
s
commit
|
commitdiff
|
tree
2022-03-07
Catherine
G
asnier
improve
e
rror message
a
n
d position f
o
r "bad de
c
l override
.
.
.
commit
|
commitdiff
|
tree
2022-03-04
Catherin
e
Gasnier
Impro
v
e
positio
n
s and
wording o
f
"method no
t
i
mplemented
.
.
.
commit
|
commitdiff
|
tree
2022-03-04
C
a
therin
e
G
a
s
n
ier
add
h
h_aut
o
i
m
p
o
r
t
.
mli + do
c
commit
|
commitdiff
|
tree
2022-03-04
C
atherine Gasnier
wire the
Pos
.
t of
a
clas
s
' parents down in
T
yping_
e
x
t
ends
commit
|
commitdiff
|
tree
2022-03-01
Catherine Gasnier
Fix do
c
bl
o
c
s
in Trait_
r
euse_check
commit
|
commitdiff
|
tree
2022-03-01
Catherine Gas
n
ier
A few renami
n
gs i
n
T
y
ping_extends
commit
|
commitdiff
|
tree
2022-02-28
Catherine
G
asni
e
r
remove
T
y
p
i
ng_env
.
wr
a
p_i
n
ference_
e
n
v
_call
commit
|
commitdiff
|
tree
2022-02-26
Catherine Gasnier
Remov
e
calls to the Measure module in
Naming_heap
commit
|
commitdiff
|
tree
2022-02-24
C
atherin
e
Gas
n
ier
remove functio
n
aa
s
t
_to_nast which does nothing
commit
|
commitdiff
|
tree
2022-02-21
Catherine G
a
s
n
ie
r
declutter Typing_e
n
v
_
from_def
.
class_env
commit
|
commitdiff
|
tree
2022-02-21
C
a
therin
e
G
a
snier
make Rtypeconst
t
ake a la
z
y
string
commit
|
commitdiff
|
tree
2022-02-18
Catherine
G
asnier
make str
i
ng i
n
Rtype_access
l
a
z
y
commit
|
commitdiff
|
tree
2022-02-15
Catheri
n
e G
a
s
nie
r
reset
type var
i
able iden
t
ifiers fo
r
each to
p
-level
.
.
.
commit
|
commitdiff
|
tree
2022-01-31
Catherine Gasnier
fa
c
tor out code a
b
out me
t
hod return into
helper
commit
|
commitdiff
|
tree
2022-01-31
C
a
t
her
i
n
e
G
a
snier
Typin
g
_subtype: ta
k
e
s
o
me fu
n
ctions out of
big recursion
commit
|
commitdiff
|
tree
2022-01-31
Catherine Gasnier
NastInitC
h
eck
.
c
lass_ should bel
o
ng
to `class_wellformedness_
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
Catherin
e
Gasnier
re
m
o
ve diagn
o
stic subscripti
o
n code
commit
|
commitdiff
|
tree
2022-01-28
C
a
ther
i
ne Gasnier
remove
f
lag stream_errors
commit
|
commitdiff
|
tree
2022-01-28
C
athe
r
i
n
e
Gasnier
removing
s
tre
a
m
_
erro
r
s flag: remove b
r
anching on f
l
ag
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
C
a
therine Gasnier
r
emov
e
Adh
o
c
_
prof
i
ler
commit
|
commitdiff
|
tree
2022-01-28
Catherine Gasnier
c
r
eate ch
e
c
k_c
l
ass_members hel
p
er
commit
|
commitdiff
|
tree
2022-01-28
Cather
i
ne Gasnier
further break
d
own `clas
s
_
wellformednes
s
_ch
e
c
k
s
`
commit
|
commitdiff
|
tree
2022-01-28
Catherine Gas
n
ier
hel
p
ers for class wellformedn
e
ss
c
hecks a
n
d class hierarchy
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
Ca
t
heri
n
e Gasnier
add check_
c
lass_where_con
s
train
t
helper
commit
|
commitdiff
|
tree
2022-01-28
Catherine Gasn
i
e
r
export sealed
-
relate
d
l
o
gic into helpe
r
commit
|
commitdiff
|
tree
2022-01-28
Cather
i
ne Gasnie
r
Let Errors
.
t deriv
e
show for
d
ebugging
commit
|
commitdiff
|
tree
2022-01-28
C
a
the
r
ine
Gasnier
Let Serv
e
rE
n
v
.
env
deri
v
e
s
how
commit
|
commitdiff
|
tree
2022-01-27
Catherine Gasnier
rename and docume
n
t ch
e
ck_c
o
nstru
c
t
or_dep
commit
|
commitdiff
|
tree
2022-01-26
Catheri
n
e Gasnier
clean-up code checki
n
g ove
r
ride keyword
commit
|
commitdiff
|
tree
2022-01-26
Catherine Gas
n
ier
setu
p
_e
n
v
_
for_cla
s
s_def_chec
k
help
e
r
commit
|
commitdiff
|
tree
2022-01-24
Catherine
Gasnier
simplify checki
n
g of multiple c
o
ncrete
definitions
.
.
.
commit
|
commitdiff
|
tree
next