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
Add an entrypoint to `Typing_solver`
2020-09-11
Henri Verroken
Init
i
a
l
ize new
dependency g
r
aph
i
n lazy init
commit
|
commitdiff
|
tree
2020-09-03
Henri Verroken
I
n
i
tialize new depende
n
c
y graph i
n
lazy in
i
t
commit
|
commitdiff
|
tree
2020-09-02
Henri Verroken
Add option that accepts path to
n
ew de
p
endency graph
commit
|
commitdiff
|
tree
2020-07-28
Henri Verroken
Log InconsistentTypeVarState e
x
c
e
ptions
via e
x
isting
.
.
.
commit
|
commitdiff
|
tree
2020-06-04
H
enri Verroken
Also infer missing ty
p
es
on `varray<_>` and `darray
.
.
.
commit
|
commitdiff
|
tree
2020-05-27
Henri
V
erroken
Add
Rc mode
commit
|
commitdiff
|
tree
2020-05-13
He
n
ri Verroken
F
i
x
memory leak in
typing
c
onstructors
commit
|
commitdiff
|
tree
2020-05-13
Henri Ver
r
o
k
e
n
F
i
x
m
emory leak in
t
y
ping_nami
n
g
:
:name_hint
commit
|
commitdiff
|
tree
2020-05-13
Henri
V
er
r
oken
Move tow
a
rds e
x
plicitly
w
hite
l
isted arena-compatible
.
.
.
commit
|
commitdiff
|
tree
2020-05-13
H
enri Verroken
Fl
a
tten
c
lass hierarc
h
y in dummy decl
prov
i
d
er
commit
|
commitdiff
|
tree
2020-05-12
Henri
V
err
o
ken
Add
A
renaCompa
t
ible trait, and
i
mp
l
ement for oxid
i
zed
.
.
.
commit
|
commitdiff
|
tree
2020-05-12
Henri Verroken
Scale back expo
n
ent
i
a
l
t
r
ansitive c
l
osure test
commit
|
commitdiff
|
tree
2020-04-30
H
e
nri V
e
rroken
Actually cal
l
into subtypi
n
g
in ca
l
l
_param
commit
|
commitdiff
|
tree
2020-04-23
Henri Verroken
Port
s
ome of the type infere
n
ce for
lo
c
als to Rust
commit
|
commitdiff
|
tree
2020-04-02
Hen
r
i Verroken
Provi
d
e
rust FFI b
i
ndi
n
g
s
to T
y
ping_
p
rint entrypoints
commit
|
commitdiff
|
tree
2020-03-26
Henri
V
e
rr
o
ken
Impl
e
ment bin
d
_param
commit
|
commitdiff
|
tree
2020-03-26
Henr
i
Verroken
Implement m
o
re
of Ty_::to_oxidize
d
commit
|
commitdiff
|
tree
2020-03-26
Henri V
e
rroken
Impl
e
ment m
o
re of P
R
eas
o
n_::to_o
x
i
d
ize
d
commit
|
commitdiff
|
tree
2020-03-26
He
n
r
i Verroken
Remove u
n
used reas
o
ns
commit
|
commitdiff
|
tree
2020-03-23
H
e
n
ri
V
e
r
roken
F
ix erro
n
eous comm
o
n prefix detect
i
on
commit
|
commitdiff
|
tree
2020-03-23
Henr
i
V
e
rrok
e
n
M
a
ke Ty abstract
commit
|
commitdiff
|
tree
2020-03-23
Henri Verroken
Fix lifetimes on get_
n
ode and get_reason
commit
|
commitdiff
|
tree
2020-03-17
Henri V
e
rroken
Updat
e
t
yping inf
e
rence
e
nv
to use aren
a
-maps
commit
|
commitdiff
|
tree
2020-03-17
H
e
nri Ver
r
oken
Fu
n
ctiona
l
maps a
n
d
set
s
tha
t
ca
n
be allocate
d
i
n
a
n
.
.
.
commit
|
commitdiff
|
tree
2020-03-12
Henri Verrok
e
n
Provide copy
t
ra
i
t for Ty
to get imp
l
icit clo
n
ing
commit
|
commitdiff
|
tree
2020-03-10
Henri Verroken
Load stats into M
y
SQL
commit
|
commitdiff
|
tree
2020-03-09
Henri Ver
r
oken
U
s
e persi
s
tent maps for map
s
i
n
t
yping en
v
iro
n
ment
commit
|
commitdiff
|
tree
2020-03-09
H
e
nri
V
er
r
oken
Make
t
he inference env ar
e
na-compatible
commit
|
commitdiff
|
tree
2020-03-09
Henri V
e
rroken
Intro
d
uce ar
e
na-compat
i
ble Reason type
commit
|
commitdiff
|
tree
2020-03-06
H
e
n
ri Verroken
Parti
a
l
are
n
a repres
e
ntation of types
commit
|
commitdiff
|
tree
2020-02-28
H
enri Verrok
e
n
Fix bug
where we loos
e
t
yva
r
s
w
ithout othe
r
tyv
a
r
s
.
.
.
commit
|
commitdiff
|
tree
2020-02-27
Henri
V
er
r
o
k
en
Only ext
r
act p
o
siti
o
ns for hints in certain
l
ocat
i
ons
.
.
.
commit
|
commitdiff
|
tree
2020-02-26
Henri
V
erroken
Fix fo
r
ma
t
ting of patche
s
for parameter name
s
on newlin
e
s
commit
|
commitdiff
|
tree
2020-02-26
Henri Ve
r
r
o
ken
Clea
n
up type extra
c
tion
f
rom tast
commit
|
commitdiff
|
tree
2020-02-26
Hen
r
i
V
e
rroken
P
roperly exp
a
nd t
y
p
es in tasts
commit
|
commitdiff
|
tree
2020-02-25
Henri Verrok
e
n
Generate
patches for reinfe
r
red types w
i
th type-position
commit
|
commitdiff
|
tree
2020-02-25
H
e
nri Verroken
Fix
hh_si
n
gle_type_c
h
e
c
k --
r
ewrite
i
n
mu
l
t
i
-file mode
commit
|
commitdiff
|
tree
2020-02-25
Henri
Ve
r
roke
n
Support patch generation fo
r
A
w
aitable
s
commit
|
commitdiff
|
tree
2020-02-21
H
e
nri Verroken
Generate patches for re-
i
nferred types
commit
|
commitdiff
|
tree
2020-02-18
He
n
r
i Verroken
Generate patches for
class
p
r
o
p
erties
commit
|
commitdiff
|
tree
2020-02-18
Henri Verr
o
k
e
n
R
e
place --patches mod
e
in hh_single_t
y
pe_check
w
ith
.
.
.
commit
|
commitdiff
|
tree
2020-02-14
Henr
i
V
e
r
roken
Ad
d
mode to hh_single_typ
e
_check to dump gener
a
ted
.
.
.
commit
|
commitdiff
|
tree
2020-02-13
Hen
r
i Ve
r
roken
T
i
m
eout
on transitiv
e
clos
u
r
e
i
n
a contro
l
le
d
way
commit
|
commitdiff
|
tree
2020-02-13
Henri Verr
o
ken
Pre-initialize gl
o
bal variables before merging
commit
|
commitdiff
|
tree
2020-02-13
Henri Verroken
Add stats command t
o
hh
_
g
i
commit
|
commitdiff
|
tree
2020-02-13
Henr
i
Verroken
Re
c
ord a reaso
n
for global typ
e
variables
commit
|
commitdiff
|
tree
2020-02-13
Henri Verroken
Mechanism to
fi
l
t
er type variables
commit
|
commitdiff
|
tree
2020-02-07
Henri Verr
o
ken
F
i
x graph building
f
o
r
connected comp
o
nents
commit
|
commitdiff
|
tree
2020-01-31
H
en
r
i Verroken
Ge
n
e
rate global tyvars for class pr
o
perti
e
s
commit
|
commitdiff
|
tree
2020-01-29
Henri Verroken
Don
'
t
for
c
e
solve global vari
a
b
l
es during type checking
commit
|
commitdiff
|
tree
2020-01-29
Hen
r
i V
e
rroken
Don't catch timeou
t
e
xceptio
n
s
w
h
en checking expr
e
ssions
commit
|
commitdiff
|
tree
2020-01-29
Henr
i
Verroken
A
ct
u
ally use the
ge
n
erated
global type variables fo
r
.
.
.
commit
|
commitdiff
|
tree
2020-01-24
Hen
r
i Verr
o
ke
n
For now, never infer "not
h
ing"
commit
|
commitdiff
|
tree
2020-01-24
H
e
nri Verroken
Fix dun
e
w
arning for anno
t
ated_ast
commit
|
commitdiff
|
tree
2020-01-16
He
n
ri Verroken
Stand-alon
e
t
ool to compu
t
e tran
s
itive
c
l
osure
commit
|
commitdiff
|
tree
2020-01-16
Henr
i
Verroken
Build too
l
to
s
pli
t
sub
g
raph
s
in connected
c
om
p
onents
commit
|
commitdiff
|
tree
2020-01-14
H
enri
V
erro
k
en
I
n
t
r
odu
c
e
t
o
ol to inspec
t
/
e
xport individual su
b
graphs
commit
|
commitdiff
|
tree
2019-12-11
Henri Ve
r
r
oken
Cat
c
h me
r
ge ex
c
eptions
commit
|
commitdiff
|
tree
2019-12-06
Henr
i
Verroken
Filter
out global t
y
p
e
variables
t
hat don't carry any
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Henri V
e
rroken
Add --merge-globa
l
-tv
e
nvs
t
o h
h
_s
i
n
gle_type_c
h
eck
commit
|
commitdiff
|
tree
2019-11-29
Henri
Verroken
F
i
x ty
p
o
i
n variable
na
m
e
commit
|
commitdiff
|
tree
2019-11-28
Henri Ve
r
roke
n
Also save p
o
sition info
r
mati
o
n in subgraph f
i
les
commit
|
commitdiff
|
tree
2019-11-27
Henri Ver
r
oken
Add --dump-globa
l
-tven
v
s
t
o hh_si
n
gle_type_check
commit
|
commitdiff
|
tree
2019-11-19
Henri V
e
rr
o
ken
Log merge p
r
ogress for
g
lobal inf
e
rence
commit
|
commitdiff
|
tree
2019-11-13
Hen
r
i Verr
o
ken
fix endles
s
loo
p
when simplif
y
i
n
g (N & _ & #1) <: H
M
.
.
.
commit
|
commitdiff
|
tree
2019-10-18
Henri
V
err
o
ken
Produce error on duplica
t
e
constructors
i
n trai
t
s
commit
|
commitdiff
|
tree
2019-10-01
Henri Ver
r
oken
Expand
function nam
e
when ge
t
ting signatur
e
help
commit
|
commitdiff
|
tree