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
Array unification switch
2021-01-26
Henr
i
Verro
k
en
F
i
x slow dependency-hash-to-filename table buildi
n
g
commit
|
commitdiff
|
tree
2021-01-25
H
e
nri Verroken
Make log message about
saved-
s
tate
d
own
l
o
a
d ti
m
e more
.
.
.
commit
|
commitdiff
|
tree
2021-01-18
Henri Verroken
Fix slow 6
4
-bit de
p
s
e
t union
commit
|
commitdiff
|
tree
2021-01-13
He
n
ri
V
erro
k
e
n
Don't aut
o
m
a
t
ic
a
lly use DevX infra to down
l
oad 6
4
-bit
.
.
.
commit
|
commitdiff
|
tree
2021-01-12
Henri Verroken
Support dow
n
l
oading de
p
gr
a
ph fr
o
m
DevX infra
commit
|
commitdiff
|
tree
2021-01-12
Henri Verroken
Store master/local changes in record instead of
t
u
p
le
commit
|
commitdiff
|
tree
2021-01-12
H
e
nri Ve
r
ro
k
en
U
n
ify
H
a
ck XDB a
n
d DevX d
a
ta
struct
u
res API
f
or dow
n
loadin
g
.
.
.
commit
|
commitdiff
|
tree
2021-01-12
H
enri Verroken
Remove --load-state-canary feature
commit
|
commitdiff
|
tree
2021-01-09
Henri Verroken
Enable
n
aming table in 6
4
-
b
it dependenc
y
grap
h
mode
commit
|
commitdiff
|
tree
2021-01-07
Henri Verroke
n
Support
i
ncr
e
me
n
tal 64-bit saved-state bu
i
ldin
g
commit
|
commitdiff
|
tree
2020-11-11
Henri Verroke
n
Support 64-bit dependency has
h
es
commit
|
commitdiff
|
tree
2020-11-11
Hen
r
i Ve
r
r
oken
Check r
e
su
l
t of f
o
pen
commit
|
commitdiff
|
tree
2020-11-10
Henri Verroken
Add
s
ubc
o
mman
d
to
prin
t
some useful dep
g
r
ap
h
stats
commit
|
commitdiff
|
tree
2020-10-25
Henri Verroken
Thr
e
ad
dependency mo
d
e
e
ve
r
ywhere
commit
|
commitdiff
|
tree
2020-10-11
He
n
ri
V
erroken
Download and use 64-bit dep graph w
h
en
enabled
commit
|
commitdiff
|
tree
2020-10-11
Henri Ver
r
oke
n
Add load_state_natively_64bit op
t
ion to /et
c
/hh
.
co
n
f
commit
|
commitdiff
|
tree
2020-10-07
Henri Verrok
e
n
Add
i
ntegration
t
e
st for 64-bit de
p
graph oper
a
tions
commit
|
commitdiff
|
tree
2020-10-06
Henri Ver
r
oken
Add `hh_f
a
nout bu
i
l
d
` t
o
b
ui
l
d the
64-bit
d
ep
graph
commit
|
commitdiff
|
tree
2020-10-06
Henri Verroken
Prod
u
ce files containing 64-bit dependency ed
g
es whe
n
.
.
.
commit
|
commitdiff
|
tree
2020-10-02
Henri Verroken
Add --save-64bit option to hh
_
server/hh_c
l
i
ent
commit
|
commitdiff
|
tree
2020-10-01
Hen
r
i
Verroken
Qu
e
ry dep
g
raph delta w
h
e
n calculati
n
g
fanout
commit
|
commitdiff
|
tree
2020-10-01
Henri Verroken
Track discovered 64-bit
d
ependencies i
n
Rust
commit
|
commitdiff
|
tree
2020-09-30
Henri
V
e
rroken
Accu
m
ulate dep
g
raph delta
i
n master
commit
|
commitdiff
|
tree
2020-09-30
H
e
nri Verrok
e
n
Filter discovered
e
dge
s
by
che
c
king existen
c
e
commit
|
commitdiff
|
tree
2020-09-28
Henri Verro
k
e
n
Pro
p
erly
s
ave/rest
o
re
dependenc
y
graph
mode in wo
r
kers
commit
|
commitdiff
|
tree
2020-09-24
Henri
Verr
o
k
e
n
Use 63-b
i
t ha
s
hes i
f
c
ustom d
e
pendency graph is initialized
commit
|
commitdiff
|
tree
2020-09-24
He
n
ri Verrok
e
n
Ref
a
ctor Typi
n
g
_
deps
.
m
l
f
o
r du
a
l d
e
pe
n
dency graph sup
p
ort
commit
|
commitdiff
|
tree
2020-09-22
H
enri Verr
o
ke
n
Ad
d
support
f
o
r Custom values
owning Rust
values
commit
|
commitdiff
|
tree
2020-09-11
Henri Verroke
n
Initialize new de
p
endency
graph in lazy in
i
t
commit
|
commitdiff
|
tree
2020-09-03
Hen
r
i
V
erroken
Initialize new depe
n
dency g
r
aph in lazy init
commit
|
commitdiff
|
tree
2020-09-02
Henri V
e
rro
k
en
Add
o
p
t
ion
t
hat accepts p
a
th to new depende
n
cy
g
r
a
ph
commit
|
commitdiff
|
tree
2020-07-28
Henri V
e
rrok
e
n
Log Inc
o
ns
i
stentTypeVarState exceptions via existing
.
.
.
commit
|
commitdiff
|
tree
2020-06-04
He
n
ri
V
er
r
oken
A
l
so
in
f
er missing types on
`varray<_>` and `darray
.
.
.
commit
|
commitdiff
|
tree
2020-05-27
Henri
Verr
o
ken
Add Rc mode
commit
|
commitdiff
|
tree
2020-05-13
Henri Ver
r
oken
F
i
x m
e
mory leak
i
n
typing
c
onstructors
commit
|
commitdiff
|
tree
2020-05-13
H
e
nri Verroken
F
ix
memory l
e
ak in typing_namin
g
::name_
h
int
commit
|
commitdiff
|
tree
2020-05-13
H
e
n
r
i V
e
r
r
o
ken
Move towa
r
ds explic
i
t
l
y whi
t
eli
s
ted a
r
ena-compat
i
ble
.
.
.
commit
|
commitdiff
|
tree
2020-05-13
H
enri Verroken
Flatten
class hier
a
r
c
hy in dummy decl provide
r
commit
|
commitdiff
|
tree
2020-05-12
He
n
r
i Ver
r
o
k
en
Add A
r
enaCompatible trait,
a
nd implement
f
or oxidized
.
.
.
commit
|
commitdiff
|
tree
2020-05-12
Henri
V
er
r
oke
n
Scale
b
ack exponentia
l
t
r
ansitive closu
r
e test
commit
|
commitdiff
|
tree
2020-04-30
Hen
r
i Verroken
Actually call into subtyp
i
ng in call_
p
aram
commit
|
commitdiff
|
tree
2020-04-23
Henri Verroken
P
ort some of the t
y
pe inference for locals
t
o
Rust
commit
|
commitdiff
|
tree
2020-04-02
Henri Verroken
Pro
v
i
de ru
s
t FFI bindi
n
gs to Typing
_
prin
t
entrypoints
commit
|
commitdiff
|
tree
2020-03-26
Henri V
e
r
r
o
k
en
Implem
e
nt bin
d
_para
m
commit
|
commitdiff
|
tree
2020-03-26
Henri V
e
r
r
oken
Impl
e
m
e
nt more of Ty
_
::to_oxid
i
zed
commit
|
commitdiff
|
tree
2020-03-26
Henri Verroken
Implement m
o
re
of P
R
e
a
so
n
_::t
o
_
o
x
i
dize
d
commit
|
commitdiff
|
tree
2020-03-26
Henri Verroken
Remove unu
s
ed reas
o
ns
commit
|
commitdiff
|
tree
2020-03-23
Henr
i
Ve
r
roken
Fi
x
errone
o
us c
o
mmon prefix
de
t
ection
commit
|
commitdiff
|
tree
2020-03-23
Hen
r
i Verro
k
en
Make Ty abstract
commit
|
commitdiff
|
tree
2020-03-23
H
e
nri Verro
k
en
F
i
x
l
i
fetime
s
on get_node and
g
et_reason
commit
|
commitdiff
|
tree
2020-03-17
Henri Verroken
Update
typing in
f
e
r
enc
e
env
to use are
n
a
-maps
commit
|
commitdiff
|
tree
2020-03-17
Henri
V
erroken
Functional ma
p
s and sets
t
hat can be allocated in an
.
.
.
commit
|
commitdiff
|
tree
2020-03-12
Henr
i
V
e
r
roken
P
rovide copy tr
a
it
fo
r
Ty to get impl
i
cit cloning
commit
|
commitdiff
|
tree
2020-03-10
Henr
i
Verroken
Load s
t
at
s
into MySQL
commit
|
commitdiff
|
tree
2020-03-09
Hen
r
i V
e
rr
o
ken
U
s
e
p
er
s
istent maps f
o
r
maps in typing environme
n
t
commit
|
commitdiff
|
tree
2020-03-09
Henr
i
V
e
rroken
Make the inference env
arena-compatible
commit
|
commitdiff
|
tree
2020-03-09
Henri Verroken
I
n
tro
d
u
c
e
a
rena-c
o
m
patible R
e
ason ty
p
e
commit
|
commitdiff
|
tree
2020-03-06
Hen
r
i Verroken
P
a
r
tia
l
a
r
e
n
a r
e
presen
t
ation of t
y
pes
commit
|
commitdiff
|
tree
2020-02-28
Henri Ver
r
oken
Fix b
u
g wher
e
we loose
tyvars without other ty
v
ar
s
.
.
.
commit
|
commitdiff
|
tree
2020-02-27
Henr
i
Verroke
n
Only extr
a
ct posi
t
ions for
hints in
certa
i
n location
s
.
.
.
commit
|
commitdiff
|
tree
2020-02-26
Henri Verroken
Fi
x
formatting of patches
fo
r
para
m
eter names on newlines
commit
|
commitdiff
|
tree
2020-02-26
Henri Ve
r
roken
Clean up t
y
p
e extraction from
t
as
t
commit
|
commitdiff
|
tree
2020-02-26
Henri Verroken
Properly e
x
pand typ
e
s
in t
a
sts
commit
|
commitdiff
|
tree
2020-02-25
Henri V
e
rroken
Generate patc
h
es for
r
e
inferred t
y
pes wi
t
h t
y
pe-position
commit
|
commitdiff
|
tree
2020-02-25
Henri Verroken
Fix hh_sing
l
e
_
type_ch
e
ck --re
w
rite in m
u
lti-file mod
e
commit
|
commitdiff
|
tree
2020-02-25
Henri Verroken
Su
p
p
o
rt patch gene
r
at
i
on for Awaitables
commit
|
commitdiff
|
tree
2020-02-21
Henri Verroke
n
Ge
n
erate p
a
tches
f
or re-infer
r
ed types
commit
|
commitdiff
|
tree
2020-02-18
Henri Verroken
Generate pat
c
hes for class proper
t
i
es
commit
|
commitdiff
|
tree
2020-02-18
Henri Verrok
e
n
Re
p
lace
-
-pa
t
ches
mode i
n
hh_
s
ingl
e
_ty
p
e_check
with
.
.
.
commit
|
commitdiff
|
tree
2020-02-14
Henri Verroken
Ad
d
mode to hh_single_type_
c
heck to dump generated
.
.
.
commit
|
commitdiff
|
tree
2020-02-13
Henri Verroken
Tim
e
out on
t
ransitive closure in a c
o
ntrolled
way
commit
|
commitdiff
|
tree
2020-02-13
Henri
V
erroken
P
r
e
-
initial
i
ze globa
l
v
aria
b
l
e
s
before mer
g
in
g
commit
|
commitdiff
|
tree
2020-02-13
H
e
n
r
i V
e
rroken
A
d
d stats comman
d
to h
h
_gi
commit
|
commitdiff
|
tree
2020-02-13
He
n
ri Verrok
e
n
Record a
r
e
a
son for globa
l
t
yp
e
variables
commit
|
commitdiff
|
tree
2020-02-13
He
n
ri Ve
r
roken
Me
c
hanism
to filter type variables
commit
|
commitdiff
|
tree
2020-02-07
Henri Verroken
Fix g
r
ap
h
bu
i
lding
f
or connected comp
o
nen
t
s
commit
|
commitdiff
|
tree
2020-01-31
He
n
r
i Verroken
G
enerate globa
l
tyvars
f
or clas
s
properties
commit
|
commitdiff
|
tree
2020-01-29
Henr
i
Verroken
Don
'
t force sol
v
e
glob
a
l va
r
iables during type
checking
commit
|
commitdiff
|
tree
2020-01-29
Henri Verroken
D
o
n't c
a
tch timeout
e
x
ceptions when checking e
x
pressions
commit
|
commitdiff
|
tree
2020-01-29
Henri Verroken
Actu
a
lly use
th
e
gener
a
t
e
d
g
l
obal type va
r
ia
b
les for
.
.
.
commit
|
commitdiff
|
tree
2020-01-24
Henri
V
e
rroken
For no
w
, never
i
nfer
"
n
oth
i
ng"
commit
|
commitdiff
|
tree
2020-01-24
Henri Verroken
F
i
x dune warning for annotated_ast
commit
|
commitdiff
|
tree
2020-01-16
H
e
nri Verroke
n
Stand
-
al
o
ne tool to compute tra
n
siti
v
e
c
losure
commit
|
commitdiff
|
tree
2020-01-16
Henri Verro
k
en
Build tool to s
p
lit subgrap
h
s in connec
t
ed component
s
commit
|
commitdiff
|
tree
2020-01-14
H
enri Verroke
n
Introduce tool to inspect
/
export individual subgraphs
commit
|
commitdiff
|
tree
2019-12-11
Henri V
e
rroke
n
Catch merge
e
xce
p
tions
commit
|
commitdiff
|
tree
2019-12-06
H
e
n
r
i
V
erroken
F
i
lter out globa
l
type
variab
l
es
t
hat don't carry any
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Hen
r
i Ver
r
oke
n
Add --mer
g
e-global-tvenvs to h
h
_si
n
g
l
e_type_check
commit
|
commitdiff
|
tree
2019-11-29
Henr
i
Verrok
e
n
F
ix typo in variable name
commit
|
commitdiff
|
tree
2019-11-28
Henr
i
Verrok
e
n
Also save po
s
ition inform
a
tion in su
b
gr
a
ph files
commit
|
commitdiff
|
tree
2019-11-27
H
enri Verroken
A
d
d --dump-global-tven
v
s
to
hh_single_typ
e
_check
commit
|
commitdiff
|
tree
2019-11-19
He
n
ri Verr
o
ken
Log mer
g
e progress for global infe
r
ence
commit
|
commitdiff
|
tree
2019-11-13
Henri Verr
o
ke
n
fix endless lo
o
p when si
m
plif
y
ing (N & _
& #1) <
:
HM
.
.
.
commit
|
commitdiff
|
tree
2019-10-18
H
e
nri Verr
o
ken
Produce error on duplic
a
te constructors
in t
r
aits
commit
|
commitdiff
|
tree
2019-10-01
He
n
ri Verroken
Expand function name wh
e
n
gett
i
ng signa
t
ure help
commit
|
commitdiff
|
tree