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
Enforce modularity boundaries for classes
2022-08-05
Catherine
G
asnie
r
Surface D
e
cl_heap_elem_bug metadata to IDE
commit
|
commitdiff
|
tree
2022-08-05
C
a
therine
Gasni
e
r
Minor refa
c
toring
i
n clien
t
IdeUtils
commit
|
commitdiff
|
tree
2022-08-03
Cat
h
erine Gasnier
log state after
initialization
commit
|
commitdiff
|
tree
2022-08-03
Catherine Gasnier
c
a
ll
ocaml
call
b
ack for typechecking
commit
|
commitdiff
|
tree
2022-07-30
Catherine Gasni
e
r
typecheck!
commit
|
commitdiff
|
tree
2022-07-30
Catherine Gasnier
che
c
k memory cap after each file
commit
|
commitdiff
|
tree
2022-07-29
C
a
therine Gasn
i
er
allow j
o
bs no
t
to
g
iv
e
up earl
y
commit
|
commitdiff
|
tree
2022-07-29
Cathe
r
i
ne Gasnier
cal
l
in
t
o Mult
i
W
orker with
a dum
m
y typec
h
eck
i
n
g
j
ob
commit
|
commitdiff
|
tree
2022-07-29
Catherine G
a
s
nier
Typ
e
check th
e
`finally` block with the righ
t
c
ontinuations
.
commit
|
commitdiff
|
tree
2022-07-29
C
atherine Gasnier
set GC params
commit
|
commitdiff
|
tree
2022-07-16
Catherine Gas
n
ier
log total fa
n
o
u
t cardina
l
and ot
h
er
stats
commit
|
commitdiff
|
tree
2022-07-15
Cather
i
ne Gasnie
r
Mor
e
precise clas
s
di
f
f
i
n case of enum
c
onst
r
ai
n
t
.
.
.
commit
|
commitdiff
|
tree
2022-07-13
Cath
e
rin
e
Gas
n
ier
log alternative fan
o
ut
c
a
r
din
a
ls
commit
|
commitdiff
|
tree
2022-07-13
C
a
t
herine G
a
snier
l
o
g singl
e
class fanouts to h
h
_fanou
t
sc
u
ba
table
commit
|
commitdiff
|
tree
2022-07-13
Catherine Gasnier
comp
u
te more deta
i
led class diff in c
a
se of a "major
.
.
.
commit
|
commitdiff
|
tree
2022-07-13
Catherine Gasnier
refac
t
or Af
f
ected
D
eps pr
i
or
to
a
dding telemetry
commit
|
commitdiff
|
tree
2022-06-23
Catherine Gasni
e
r
fix fanout bug
when makin
g
a
n
attr
i
bute requir
e
d
commit
|
commitdiff
|
tree
2022-06-23
Cath
e
rine Ga
s
nie
r
a
dd test exhibiting bug
commit
|
commitdiff
|
tree
2022-06-20
Catherine Gasnier
reimple
m
ent go
-
to-def on `<<__
O
verride
>
>
` for
f
o
l
ded
.
.
.
commit
|
commitdiff
|
tree
2022-06-15
C
a
t
h
erine Gasnier
D
e
cl_inherit: fa
c
tor
out the par
e
nt traversa
l
logic
commit
|
commitdiff
|
tree
2022-06-14
Ca
t
herine Gasnier
undo D12896373
and rem
o
v
e
`Decl_inherit
.
c
o
llap
s
e_tr
a
it_inher
.
.
.
commit
|
commitdiff
|
tree
2022-06-14
C
a
therine Gasnier
Decl_
i
nherit:
r
ewrite folding parents
i
n
the
s
ame way
.
.
.
commit
|
commitdiff
|
tree
2022-06-10
Catheri
n
e
G
asni
e
r
s
et the decl
s
tore to use
local
m
e
mor
y
commit
|
commitdiff
|
tree
2022-06-09
C
ath
e
rine G
a
sn
i
er
introduc
e
ide_use
_
shallow_decls flag to
allow
to use
.
.
.
commit
|
commitdiff
|
tree
2022-06-07
Catherine
G
asnier
remo
v
e usage of Obj
.
t
in
Prov
i
de
r
_backend
.
Decl_cache
commit
|
commitdiff
|
tree
2022-06-06
Catherine
G
asnier
move Decl_inheritance
.
inh
e
rited_memb
e
rs
int
o
T
yping_c
l
ass_t
y
pes
commit
|
commitdiff
|
tree
2022-06-06
Catherine Gasnie
r
m
o
v
e
types
d
efined in T
y
ping_classes
_
heap in
t
o a separate
.
.
.
commit
|
commitdiff
|
tree
2022-06-06
Catherine Gasnier
make Ty
p
i
n
g_cl
a
ss
e
s_heap
.
class_
t
not depend on Pr
o
vider_cont
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
C
ath
e
rine Gasnier
so
m
e renami
n
g in
d
u
mp_save
d
_
state_depgraph
commit
|
commitdiff
|
tree
2022-05-11
Ca
t
herin
e
Gasnier
some documentati
o
n in Typing
_
d
eps
commit
|
commitdiff
|
tree
2022-05-09
Cath
e
r
in
e
Gasnier
a
d
d
one tes
t
ab
o
ut
adding and
removing classes
commit
|
commitdiff
|
tree
2022-05-04
Catherine Gas
n
ier
add
i
ng an enum constant should retypec
h
e
c
k
a
l
l
`switch
.
.
.
commit
|
commitdiff
|
tree
2022-05-04
C
atherine Gasni
e
r
a
dd tests
f
or `switch` statement
s
commit
|
commitdiff
|
tree
2022-05-04
Catherine G
a
sn
i
er
make p
o
_
e
nable_enu
m
_s
u
pertyp
i
ng true by de
f
a
u
lt
commit
|
commitdiff
|
tree
2022-05-03
Catherine Gasnier
f
ix fan
o
ut whe
n
adding a
required
XHP attr
i
bu
t
e
commit
|
commitdiff
|
tree
2022-05-03
Catheri
n
e Gasn
i
er
S
hallow_class_
d
iff : pass a module
t
o diff_mem
b
e
r
s
.
.
.
commit
|
commitdiff
|
tree
2022-05-03
Catherine
G
asn
i
er
add fanout te
s
t for adding a requi
r
ed
x
hp
attributes
commit
|
commitdiff
|
tree
2022-04-22
Catherine
Gasnie
r
fanout: add test ad
d
ing
a
con
s
tructor in the
m
iddle
.
.
.
commit
|
commitdiff
|
tree
2022-04-21
Catherine Gasnier
Switch hack IDE ove
r
to LFU caches ins
t
e
ad of LRU
commit
|
commitdiff
|
tree
2022-04-21
Cather
i
n
e
Gasnier
doc + r
e
name
s
in Decl_redec
l
_serv
i
c
e
commit
|
commitdiff
|
tree
2022-04-19
Catherine
G
a
s
nier
rename all t
h
e
`fast` stuff
t
o `defs_per_f
i
les`
commit
|
commitdiff
|
tree
2022-04-19
Cathe
r
ine G
a
sni
e
r
Fanouts: fix fano
u
t
a
lgo
r
ithm
when
modifyi
n
g a me
m
ber
commit
|
commitdiff
|
tree
2022-04-19
Catherine
Gasnier
s
w
itch fanout te
s
ts ov
e
r to
n
ew fanout
algorithm
commit
|
commitdiff
|
tree
2022-04-18
Catherine Gasnier
A
dd fanout test cas
e
for hi
e
r
archy checks
commit
|
commitdiff
|
tree
2022-04-13
Ca
t
herin
e
Gas
n
ier
T
e
l
emetry:
r
ename re
c
hecked_count to changed_files_count
.
.
.
commit
|
commitdiff
|
tree
2022-04-13
Catherine Gasnie
r
log rechec
k
ed fil
e
s
count
i
nto
'reche
c
ked' and 'total
_
r
e
chec
.
.
.
commit
|
commitdiff
|
tree
2022-04-12
C
atherine Ga
s
n
i
er
Teleme
t
ry: re
m
ove is_lazy_in
c
reme
n
t
a
l
commit
|
commitdiff
|
tree
2022-04-08
C
a
therine Ga
s
nier
defunct
i
on
a
liz
e
shallow_class_fanout
commit
|
commitdiff
|
tree
2022-04-08
Catherine
Gasn
i
er
Ad
d
rollout flag
f
or i
d
e_u
s
e
_
l
f
u_c
a
che_
i
nstead
_
of
_
lru
commit
|
commitdiff
|
tree
2022-04-07
Ca
t
herine Gas
n
ier
Hack IDE: add the poss
i
bility to use an Lfu_cac
h
e instead
.
.
.
commit
|
commitdiff
|
tree
2022-03-31
Catherine Ga
s
nier
FreqCache: no nee
d
t
o
manually maintai
n
`si
z
e`
commit
|
commitdiff
|
tree
2022-03-28
Catherine
G
asnier
Mov
e
checks fr
o
m Trait_reuse_check
into Typing_exten
d
s
commit
|
commitdiff
|
tree
2022-03-28
C
a
t
herine G
a
snier
refactor some map t
y
pe
s
in Typing_exten
d
s
to
avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2022-03-17
Catherine Gasnier
s
implify logic f
o
r
`check_me
m
ber_unique` param in T
y
ping_extends
commit
|
commitdiff
|
tree
2022-03-14
Catherine Gas
n
i
er
rename para
m
et
e
rs
`
tru
n
cate_elems` and `truncate_len
.
.
.
commit
|
commitdiff
|
tree
2022-03-11
Catherine Gasnier
move logic from Typing
_
toplevel
.
ch
e
ck_ext
e
nd_abstract
.
.
.
commit
|
commitdiff
|
tree
2022-03-10
Ca
t
herin
e
G
a
snier
a
v
oid
c
all
i
ng unioning when localiz
i
ng options
commit
|
commitdiff
|
tree
2022-03-07
Catherine Gasnier
improve
e
rro
r
message and positio
n
for "ba
d
de
c
l o
v
er
r
i
d
e
.
.
.
commit
|
commitdiff
|
tree
2022-03-04
Catherin
e
Ga
s
nier
Improve
pos
i
tions and wordi
n
g of "method n
o
t im
p
lemented
.
.
.
commit
|
commitdiff
|
tree
2022-03-04
Ca
t
herine
G
asn
i
er
add hh_autoimport
.
mli
+ doc
commit
|
commitdiff
|
tree
2022-03-04
Cath
e
rine Ga
s
n
ier
w
i
re the
P
o
s
.
t
o
f
a c
l
ass
'
parents down in Typing_exten
d
s
commit
|
commitdiff
|
tree
2022-03-01
Catherine Gas
n
ier
Fix doc blocs i
n
T
r
ait_reu
s
e_check
commit
|
commitdiff
|
tree
2022-03-01
Catherine Gasnier
A
f
ew rena
m
ing
s
in Typing_exte
n
ds
commit
|
commitdiff
|
tree
2022-02-28
Cath
e
r
i
ne Gasnier
remove Typing_e
n
v
.
wra
p
_inference_en
v
_call
commit
|
commitdiff
|
tree
2022-02-26
C
ather
i
n
e
Gasnier
Re
m
ove calls
t
o
the Measure module in Naming_heap
commit
|
commitdiff
|
tree
2022-02-24
Cathe
r
ine G
a
sn
i
e
r
remove function aast_to_nast
which
d
oes nothing
commit
|
commitdiff
|
tree
2022-02-21
Catherine Gasnier
de
c
lutte
r
T
yping_env_from_de
f
.
class
_
en
v
commit
|
commitdiff
|
tree
2022-02-21
Catherine Gasnier
make Rt
y
peco
n
s
t t
a
ke a lazy st
r
ing
commit
|
commitdiff
|
tree
2022-02-18
Cat
h
erin
e
Gasnier
ma
k
e strin
g
in Rtype_
a
cce
s
s lazy
commit
|
commitdiff
|
tree
2022-02-15
Catherine
Gasnier
re
s
et type variable identifiers for each top-l
e
vel
.
.
.
commit
|
commitdiff
|
tree
2022-01-31
Catherine Gasnier
f
a
ctor out code about method return
i
nto helper
commit
|
commitdiff
|
tree
2022-01-31
Cat
h
erine Gasn
i
e
r
Typing_subtype:
take some funct
i
ons
o
u
t
of big r
e
c
u
rsion
commit
|
commitdiff
|
tree
2022-01-31
Catherine Gasnier
Nas
t
InitCheck
.
clas
s
_
s
h
o
uld belong to `class_wellform
e
dness
_
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
C
a
t
h
e
r
i
ne G
a
s
n
ier
remove
d
iagnostic subs
c
ription c
o
de
commit
|
commitdiff
|
tree
2022-01-28
Catheri
n
e Gasnier
remove f
l
a
g stream_erro
r
s
commit
|
commitdiff
|
tree
2022-01-28
Catherine Gasn
i
er
removin
g
stream_errors
flag: remov
e
branching on flag
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
Catherin
e
Gasnier
remove Adhoc
_
profil
e
r
commit
|
commitdiff
|
tree
2022-01-28
C
a
ther
i
ne G
a
snie
r
create check_class_membe
r
s he
l
p
e
r
commit
|
commitdiff
|
tree
2022-01-28
Cather
i
n
e
Gasnie
r
f
urther break down `class_w
e
llf
o
rmedne
s
s
_checks`
commit
|
commitdiff
|
tree
2022-01-28
Catheri
n
e Gas
n
i
e
r
helpers for
class w
e
llformednes
s
c
h
ec
k
s and c
l
ass hierarchy
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
Catherine
G
a
snier
add check_class_where_constraint helper
commit
|
commitdiff
|
tree
2022-01-28
Catherine Ga
s
nier
export se
a
led-related logic into helpe
r
commit
|
commitdiff
|
tree
2022-01-28
Catherine Gasnier
Let Errors
.
t derive
s
how
for debugging
commit
|
commitdiff
|
tree
2022-01-28
Catherin
e
Ga
s
ni
e
r
Let
S
erverEn
v
.
e
nv derive show
commit
|
commitdiff
|
tree
2022-01-27
Catherin
e
G
a
snier
rena
m
e an
d
document check_
c
onstru
c
tor_dep
commit
|
commitdiff
|
tree
2022-01-26
Catherine
Gasni
e
r
clean
-
up c
o
de checking ove
r
rid
e
key
w
ord
commit
|
commitdiff
|
tree
2022-01-26
Cat
h
er
i
n
e
Gasnier
s
e
t
u
p
_env_
f
or_class_d
e
f_check helper
commit
|
commitdiff
|
tree
2022-01-24
Cat
h
e
rine Gasnier
simplify checking of multi
p
le concrete definitions
.
.
.
commit
|
commitdiff
|
tree
2022-01-24
Catherine Gasnier
simplify interface
implementation checking
commit
|
commitdiff
|
tree
2022-01-21
C
a
t
herine Gasnier
no need to che
c
k dynamic
a
lly callable for members
t
h
at
.
.
.
commit
|
commitdiff
|
tree
2022-01-21
Catherin
e
Gasni
e
r
Break down Ty
p
ing_e
x
tends
.
ch
e
ck_override
commit
|
commitdiff
|
tree
2022-01-21
Catherine Gasnier
ref
a
ctor check_over
r
ide
:
r
emove
parameter
i
gnore_fun
_
return
commit
|
commitdiff
|
tree
2022-01-21
C
atherine Gas
n
i
e
r
re
f
a
c
tor addin
g
dependency when calling check
_
override
commit
|
commitdiff
|
tree
2022-01-21
Cath
e
rine Ga
s
ni
e
r
do not
c
heck ove
r
r
iding a
synthesi
z
ed
m
em
b
er
commit
|
commitdiff
|
tree
2022-01-19
Catherine Gasnier
refa
c
tor
s
ome common private +
L
SB log
i
c
commit
|
commitdiff
|
tree
2022-01-19
Catheri
n
e
Gasni
e
r
m
a
ke
class
el
e
men
t
flags
a
bst
r
act
commit
|
commitdiff
|
tree
2022-01-19
C
atherine Gasn
i
er
r
efa
c
to
r
cla
s
s
e
lement fla
g
s a
n
d add a pretty printe
r
commit
|
commitdiff
|
tree
2022-01-18
C
a
therine Ga
s
nier
f
i
x master bui
l
d
commit
|
commitdiff
|
tree
2022-01-18
Cath
e
r
i
ne Gas
n
ier
r
e
move
d
e
a
d
code in Decl_env
commit
|
commitdiff
|
tree
2022-01-14
Ca
t
her
i
ne Gasni
e
r
Let Typin
g
_classes_h
e
ap
.
Ap
i
.
t
der
i
ve s
h
ow
commit
|
commitdiff
|
tree
next