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
Make Ty abstract
2020-03-23
H
e
n
r
i
Verrok
e
n
Ma
k
e Ty abstract
commit
|
commitdiff
|
tree
2020-03-23
Henri Verroken
F
ix lifeti
m
e
s
on get_
n
ode and
g
et_
r
e
a
son
commit
|
commitdiff
|
tree
2020-03-17
Henri Verroken
Up
d
ate typing
i
nferenc
e
env to use arena-maps
commit
|
commitdiff
|
tree
2020-03-17
Henri
V
erro
k
en
Functio
n
al maps and sets that
can be al
l
o
c
at
e
d in an
.
.
.
commit
|
commitdiff
|
tree
2020-03-12
H
e
nri
Verroken
Provid
e
co
p
y
t
ra
i
t f
o
r
Ty to
g
et impli
c
i
t
c
l
oning
commit
|
commitdiff
|
tree
2020-03-10
Henri Verroken
Lo
a
d
s
tats into My
S
QL
commit
|
commitdiff
|
tree
2020-03-09
Hen
r
i V
e
rr
o
k
e
n
U
se persist
e
nt maps for
m
aps
i
n typing
environment
commit
|
commitdiff
|
tree
2020-03-09
Henri V
e
rroken
Make the i
n
ference env arena-compatible
commit
|
commitdiff
|
tree
2020-03-09
Henri V
e
r
rok
e
n
Introduce arena-compatible R
e
aso
n
type
commit
|
commitdiff
|
tree
2020-03-06
H
enri
Verroken
Partial arena rep
r
esen
t
a
tion
of t
y
p
es
commit
|
commitdiff
|
tree
2020-02-28
Henri V
e
rrok
e
n
F
i
x bug
where we
loose tyvars without
o
ther t
y
v
a
rs
.
.
.
commit
|
commitdiff
|
tree
2020-02-27
H
e
n
ri V
e
rr
o
ken
Only extract posit
i
o
ns
for hi
n
ts
in c
e
rtain
location
s
.
.
.
commit
|
commitdiff
|
tree
2020-02-26
Henri Verroken
Fi
x
formatting of patc
h
es for p
a
rameter names on newlines
commit
|
commitdiff
|
tree
2020-02-26
Henri
Verroken
Clean
u
p
type extraction from tast
commit
|
commitdiff
|
tree
2020-02-26
H
enri Verroken
Pro
p
erly
e
xpand t
y
pes in tasts
commit
|
commitdiff
|
tree
2020-02-25
Hen
r
i Verroken
Generate patches
f
or re
i
nfer
r
ed type
s
with
type-po
s
ition
commit
|
commitdiff
|
tree
2020-02-25
Henri V
e
r
ro
k
e
n
Fix hh
_
single_typ
e
_ch
e
ck --rewrite i
n
multi-file mode
commit
|
commitdiff
|
tree
2020-02-25
Henr
i
Verroken
Support
p
a
tch genera
t
ion for Aw
a
it
a
ble
s
commit
|
commitdiff
|
tree
2020-02-21
Henri Verroke
n
Generate patches for
r
e-infe
r
red ty
p
es
commit
|
commitdiff
|
tree
2020-02-18
Henri Verrok
e
n
Genera
t
e patches for c
l
as
s
p
r
operties
commit
|
commitdiff
|
tree
2020-02-18
He
n
r
i Verr
o
ken
Re
p
lace -
-
patches mode in hh_single_ty
p
e_
c
heck with
.
.
.
commit
|
commitdiff
|
tree
2020-02-14
Henr
i
V
erroken
Add mode
to hh_single
_
type_c
h
e
ck to
d
ump g
e
nerated
.
.
.
commit
|
commitdiff
|
tree
2020-02-13
Henri Verroken
T
imeou
t
on transitive c
l
o
s
ure in a c
o
ntrolle
d
way
commit
|
commitdiff
|
tree
2020-02-13
Henri Ve
r
rok
e
n
P
r
e-initialize gl
o
b
a
l vari
a
bles before m
e
r
g
ing
commit
|
commitdiff
|
tree
2020-02-13
Henri Verroke
n
Add stats comman
d
to hh_gi
commit
|
commitdiff
|
tree
2020-02-13
Hen
r
i Ve
r
roken
Record a reason for global type var
i
ables
commit
|
commitdiff
|
tree
2020-02-13
He
n
ri
V
erro
k
en
Mechanism to filter typ
e
v
ari
a
bles
commit
|
commitdiff
|
tree
2020-02-07
Henri Verroken
Fix graph bui
l
ding for con
n
ected compon
e
nts
commit
|
commitdiff
|
tree
2020-01-31
H
e
nri Verroken
Ge
n
erate global tyvars
for
c
lass properties
commit
|
commitdiff
|
tree
2020-01-29
Henr
i
Verr
o
ken
D
o
n't
f
orce solve global v
a
ri
a
ble
s
during
type ch
e
cking
commit
|
commitdiff
|
tree
2020-01-29
Hen
r
i Ve
r
r
o
ken
D
o
n
'
t
c
atch timeout exc
e
ptions when
checking express
i
ons
commit
|
commitdiff
|
tree
2020-01-29
He
n
r
i
Verroken
A
c
tually u
s
e
t
he generat
e
d
glob
a
l type v
a
riable
s
fo
r
.
.
.
commit
|
commitdiff
|
tree
2020-01-24
Henri
V
e
rroken
For now,
never infer "no
t
hi
n
g"
commit
|
commitdiff
|
tree
2020-01-24
Henri Verroken
Fix dune
w
ar
n
ing for a
n
notated_a
s
t
commit
|
commitdiff
|
tree
2020-01-16
H
enri
V
errok
e
n
Stand-
a
lone tool
t
o compute transitiv
e
clo
s
ure
commit
|
commitdiff
|
tree
2020-01-16
Hen
r
i Verroken
Build tool to
split
su
b
gr
a
phs in connec
t
ed
components
commit
|
commitdiff
|
tree
2020-01-14
Henr
i
Verroken
Introd
u
ce tool to inspect
/
export individ
u
a
l
subgraphs
commit
|
commitdiff
|
tree
2019-12-11
Henr
i
Ver
r
oken
Catch
m
e
rge exceptions
commit
|
commitdiff
|
tree
2019-12-06
Henri
V
erroken
Filter
o
ut glo
b
al
t
ype va
r
iables that don't carry
a
n
y
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Hen
r
i V
e
rroken
Add --merge-globa
l
-
t
venvs to
hh_singl
e
_type
_
check
commit
|
commitdiff
|
tree
2019-11-29
H
enri Ver
r
oken
Fi
x
typo in
variable name
commit
|
commitdiff
|
tree
2019-11-28
Henri Verroken
Also
save
p
osition info
r
mation in subgraph fi
l
es
commit
|
commitdiff
|
tree
2019-11-27
Henri Verro
k
en
Add --dump-g
l
obal-tven
v
s to hh_si
n
g
le_type_check
commit
|
commitdiff
|
tree
2019-11-19
H
enri
Verroken
Log merge progress for global i
n
fere
n
ce
commit
|
commitdiff
|
tree
2019-11-13
Henri Ve
r
roken
fix endless loop when
si
m
plifying (N & _ & #1)
<: HM
.
.
.
commit
|
commitdiff
|
tree
2019-10-18
Hen
r
i Ve
r
roken
P
r
oduce error on duplicate constructors in traits
commit
|
commitdiff
|
tree
2019-10-01
He
n
ri Verr
o
k
en
E
x
pand
function nam
e
when g
e
tting
signature
h
elp
commit
|
commitdiff
|
tree