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 substitution type to carry allocator
2022-02-10
Mis
t
ral
O
rhan Jean
.
.
.
Conditional profiling for
t
op
-
level definitio
n
s
commit
|
commitdiff
|
tree
2022-01-14
Mistral
O
rhan
Jean
.
.
.
Suppress shape ana
l
ysis error
s
within the TAST c
h
eck
commit
|
commitdiff
|
tree
2022-01-14
Mistral Orhan
Jean
.
.
.
Don't dro
p
TAST check on the floor
commit
|
commitdiff
|
tree
2022-01-13
Mistral Orhan J
e
a
n
.
.
.
Move constraint e
x
traction in a new file
commit
|
commitdiff
|
tree
2022-01-13
Mistral Orhan Jean
.
.
.
Do
s
hap
e
analysis a
n
d log its result
s
a
s
a
T
AST che
c
k
commit
|
commitdiff
|
tree
2022-01-13
M
i
stral Orhan Jean
.
.
.
Switch to using T
A
ST env
commit
|
commitdiff
|
tree
2022-01-13
Mistral Orhan
Jean
.
.
.
P
a
rsimony in constraint gener
a
tion and
p
rovenance for
.
.
.
commit
|
commitdiff
|
tree
2022-01-13
Mistral Orhan Je
a
n
.
.
.
A
s
sign IDs to indicate result provenance
commit
|
commitdiff
|
tree
2022-01-13
Mistral Orhan J
e
an
.
.
.
Generalise suit
a
ble
target
predicates
commit
|
commitdiff
|
tree
2022-01-11
Mistral
Orh
a
n Jean
.
.
.
Add e
x
tr
a
bultin to avoid repeition in tests
commit
|
commitdiff
|
tree
2022-01-11
Mi
s
t
r
al
Orhan Jea
n
.
.
.
G
et rid of e
x
t
ension
constraint
s
commit
|
commitdiff
|
tree
2022-01-11
M
i
s
t
r
al Orhan Jean
.
.
.
Constraints for f
u
nction argume
n
ts
commit
|
commitdiff
|
tree
2022-01-10
Mistra
l
Orh
a
n Je
a
n
.
.
.
Create an algebra of shap
e
keys of static key
c
onst
r
a
i
nts
commit
|
commitdiff
|
tree
2022-01-10
Mistral Orha
n
Jean
.
.
.
A
d
d a tes
t
to
ens
u
re
w
e don't c
o
alesce keys
commit
|
commitdiff
|
tree
2022-01-10
M
i
s
tral Orh
a
n Jean
.
.
.
Support parameters
commit
|
commitdiff
|
tree
2022-01-10
Mistral Orhan Jean
.
.
.
Supp
o
rt
f
or
W
hile loop
s
commit
|
commitdiff
|
tree
2022-01-09
Mistral Orha
n
J
e
an
.
.
.
Add exte
n
sio
n
commit
|
commitdiff
|
tree
2022-01-09
Mistra
l
Orhan Jean
.
.
.
Copy-on-wr
i
te
array assig
n
m
ents
commit
|
commitdiff
|
tree
2022-01-09
M
istr
a
l Orhan Jean
.
.
.
Move from PointsTo to
Subset
cons
t
raints
commit
|
commitdiff
|
tree
2022-01-09
Mis
t
ral O
r
han
Jea
n
.
.
.
Switch s
t
ateme
n
ts
commit
|
commitdiff
|
tree
2022-01-07
Mistral
Orhan Jean
.
.
.
Typehole d
u
e to om
i
tted fallthrough
stat
e
m
e
n
ts
commit
|
commitdiff
|
tree
2022-01-07
M
i
s
tral O
r
han
Jean
.
.
.
Refactor type
decomposition in in
t
ersection logic
commit
|
commitdiff
|
tree
2022-01-06
Mis
t
r
a
l
O
r
han Jean
.
.
.
Use fuel in type printing
commit
|
commitdiff
|
tree
2022-01-04
Mist
r
al Orhan
Jean
.
.
.
A
d
d switch exhaustiveness linter for non-enum types
commit
|
commitdiff
|
tree
2022-01-04
M
i
str
a
l Orhan Jean
.
.
.
C
l
e
an up
s
wit
c
h
ca
s
e typ
e
mismatch lin
t
s/erro
r
s
commit
|
commitdiff
|
tree
2021-12-14
Mistral Orha
n
Jean
.
.
.
Don't evaluate overloaded
f
unction argumen
t
s twic
e
commit
|
commitdiff
|
tree
2021-12-14
Mistr
a
l Orhan Jean
.
.
.
Don't
e
val
u
a
te ove
r
loaded funct
i
on argum
e
nts thrice
commit
|
commitdiff
|
tree
2021-12-14
Mi
s
t
r
a
l Orh
a
n Jean
.
.
.
Add practical uppe
r
bound to Levenshtein d
i
stance
commit
|
commitdiff
|
tree
2021-12-14
Mistral Orhan
J
ean
.
.
.
Optimi
s
e
Levenshtein distance
commit
|
commitdiff
|
tree
2021-12-14
Mis
t
ral Orhan Jean
.
.
.
Perform
a
n
c
e
b
ug d
u
e
to unne
c
essarily
conve
r
t
ing type
.
.
.
commit
|
commitdiff
|
tree
2021-12-14
Mistral Orhan
Jean
.
.
.
Opt
i
mi
s
e subtyping
with ph
y
si
c
al equality
commit
|
commitdiff
|
tree
2021-11-30
Mistral
O
rhan Jean
.
.
.
Get `hint` out of
m
utual recu
r
sion
commit
|
commitdiff
|
tree
2021-11-30
Mist
r
al Orhan
Jean
.
.
.
G
e
t rid of unnecess
a
ry glo
b
al infer
e
nc
e
on
h
hstc chec
k
s
commit
|
commitdiff
|
tree
2021-11-23
M
i
stral Orhan Jean
.
.
.
Remove in cas
e
commit
|
commitdiff
|
tree
2021-11-17
M
i
s
t
r
a
l
Orhan Jean
.
.
.
Add a cla
s
sname typehole to t
h
e reg
r
e
ssion
t
est s
u
i
t
e
commit
|
commitdiff
|
tree
2021-11-13
Mistral Orhan Jean
.
.
.
Suppress un
s
afe c
a
st li
n
t on
n
ondenotable e
x
pressio
n
.
.
.
commit
|
commitdiff
|
tree
2021-11-11
M
i
stral Orhan Jea
n
.
.
.
Remov
e
"invalid comme
n
t due to
m
o
d
e" errors
commit
|
commitdiff
|
tree
2021-11-11
Mistral Orhan J
e
an
.
.
.
Remove uses of
`
is_stri
c
t`
API
commit
|
commitdiff
|
tree
2021-11-11
Mi
s
t
ral
O
rhan Jea
n
.
.
.
Dele
t
e partial mode
commit
|
commitdiff
|
tree
2021-11-11
Mistral Orhan
J
ean
.
.
.
Re
m
ove --dis
a
b
le-modes option t
o
hh_single_type_check
commit
|
commitdiff
|
tree
2021-11-09
Mistra
l
Orhan Jean
.
.
.
Start using
c
ontinuations
commit
|
commitdiff
|
tree
2021-11-09
Mistral Orhan
Jean
.
.
.
Hand
l
e Markup and AssertEnv statements
commit
|
commitdiff
|
tree
2021-11-09
Mistra
l
O
r
han Jean
.
.
.
Dete
c
t em
p
ty
s
hape like dicts & re
f
actor solver
commit
|
commitdiff
|
tree
2021-11-09
Mistral Orhan Jean
.
.
.
H
a
ndle if st
a
tements
commit
|
commitdiff
|
tree
2021-11-09
M
istra
l
Orhan Jean
.
.
.
Mov
e
p
art
i
al
i
ntegration tests to
s
trict
commit
|
commitdiff
|
tree
2021-11-09
Mistra
l
Orhan Jean
.
.
.
Port M
L
tests from par
t
ial
t
o
stri
c
t p
t
.
2
commit
|
commitdiff
|
tree
2021-11-09
M
i
s
tral O
r
han Jean
.
.
.
Port ML tests
from part
i
al to
strict
commit
|
commitdiff
|
tree
2021-11-02
Mistr
a
l Orhan Jean
.
.
.
Revert partial
mode in int
e
gration
tests
commit
|
commitdiff
|
tree
2021-11-01
Mis
t
ral Or
h
an Jean
.
.
.
Port part
i
al dynamic view
t
ests to s
t
rict
commit
|
commitdiff
|
tree
2021-11-01
Mistral
O
rhan J
e
an
.
.
.
Porting
decl tes
t
s fro
m
partial to s
t
rict
commit
|
commitdiff
|
tree
2021-11-01
Mistra
l
Orhan Jean
.
.
.
Port p
a
rtial gl
o
bal inference
tests t
o
stric
t
- FIXMEs
commit
|
commitdiff
|
tree
2021-11-01
Mist
r
a
l
O
r
han Jean
.
.
.
Port partial global in
f
e
r
ence tests to
stri
c
t
- t
r
ivial
.
.
.
commit
|
commitdiff
|
tree
2021-11-01
Mis
t
ral Or
h
an Jean
.
.
.
Port partia
l
t
y
p
e
c
hecker t
e
sts to s
t
rict - t
y
pe annotatio
n
s
.
.
.
commit
|
commitdiff
|
tree
2021-11-01
M
i
s
tral Orhan J
e
an
.
.
.
Port partial t
y
pechecker t
e
sts
to
s
trict -
dele
t
ed
commit
|
commitdiff
|
tree
2021-11-01
M
i
st
r
al Orhan Jean
.
.
.
Port partial typech
e
c
ker tests to strict - t
a
ny cases
commit
|
commitdiff
|
tree
2021-11-01
M
i
st
r
al Orh
a
n Je
a
n
.
.
.
Port partial typecheck
e
r tests
to strict
-
interes
t
ing
commit
|
commitdiff
|
tree
2021-11-01
Mistral Orha
n
Jean
.
.
.
Port partial TAST t
e
sts to
s
t
r
ic
t
ones
commit
|
commitdiff
|
tree
2021-11-01
M
istral Orhan J
e
an
.
.
.
Convert par
t
ial
f
ull f
i
delity test
s
to strict
commit
|
commitdiff
|
tree
2021-11-01
Mistral Orh
a
n Jean
.
.
.
Remo
v
e partial
f
r
om
t
est
s
that don'
t
need
i
t
commit
|
commitdiff
|
tree
2021-10-22
Mist
r
a
l
Orhan Jean
.
.
.
Add
partial supp
o
rt fo
r
array assignm
e
nts
commit
|
commitdiff
|
tree
2021-10-20
Mistr
a
l Orhan Jea
n
.
.
.
Pos
i
nfo in
u
nhandled f
e
ature er
r
ors
commit
|
commitdiff
|
tree
2021-10-20
Mist
r
al Orhan J
e
an
.
.
.
Note dynamica
l
l
y
acce
s
sed
d
ict
s
aft
e
r
s
implif
i
cat
i
o
n
commit
|
commitdiff
|
tree
2021-10-20
M
istral Orhan Jean
.
.
.
Simplify constraint
s
commit
|
commitdiff
|
tree
2021-10-20
Mistral Orhan J
e
an
.
.
.
Exp
a
n
d
t
y
p
e
s a
n
d de
d
icated s
h
ape key typ
e
commit
|
commitdiff
|
tree
2021-10-15
Mistral Orhan Jean
.
.
.
Move Pos_embedded
to Pos
commit
|
commitdiff
|
tree
2021-10-06
Mis
t
ral Orh
a
n Jean
.
.
.
Separate constraints by where they are
g
e
nerated
commit
|
commitdiff
|
tree
2021-10-06
Mistral O
r
han Je
a
n
.
.
.
Stab
i
lise test o
u
tput
commit
|
commitdiff
|
tree
2021-10-06
Mistral
O
rhan Jean
.
.
.
Suppo
r
t
v
a
riab
l
e expressions and as
s
i
gn
m
ent
commit
|
commitdiff
|
tree
2021-10-06
Mistral
Orhan Jea
n
.
.
.
A
d
d an environme
n
t
commit
|
commitdiff
|
tree
2021-10-06
M
istral Orhan
J
e
an
.
.
.
Extract
basic literal
and indexi
n
g const
r
aints
commit
|
commitdiff
|
tree
2021-10-06
Mistr
a
l O
r
han Jean
.
.
.
Flagging shape analysis tar
g
ets
commit
|
commitdiff
|
tree
2021-10-06
Mistral Orhan Jea
n
.
.
.
Infrastructu
r
e for
shape ana
l
ysis
commit
|
commitdiff
|
tree
2021-08-11
Mist
r
a
l Orhan Jean
.
.
.
Remov
e
Tobject
commit
|
commitdiff
|
tree
2021-08-11
Mistral Orhan J
e
an
.
.
.
Gen
e
rate Terr instead of To
b
j when a new expres
s
ion
.
.
.
commit
|
commitdiff
|
tree
2021-08-11
M
i
stral Orhan Jea
n
.
.
.
Unkno
w
n XHP classes pr
o
duce
Terr
i
n
s
tead o
f
Tobj
commit
|
commitdiff
|
tree
2021-08-11
Mistral Orhan
Jean
.
.
.
Gene
r
ate Terr ins
t
e
a
d o
f
Tobject during inva
l
id r
e
f
i
n
e
m
e
n
t
commit
|
commitdiff
|
tree
2021-08-10
M
i
stral
Orhan Jean
.
.
.
Log bad types to
S
cuba
commit
|
commitdiff
|
tree
2021-08-10
Mistral Orhan Jean
.
.
.
Tany/
T
er
r
/Tobjec
t
logger
commit
|
commitdiff
|
tree
2021-08-10
Mistral Orhan
Jean
.
.
.
S
e
t
log le
v
els from hh co
n
figuration
commit
|
commitdiff
|
tree
2021-08-04
M
istral Or
h
an
Jean
.
.
.
Tidy
t
yping
e
nvironme
n
t
.
commit
|
commitdiff
|
tree
2021-06-28
M
i
s
tra
l
O
r
h
an Jean
.
.
.
Fix bug preventing Gle
a
n from findin
g
global revision
commit
|
commitdiff
|
tree
2021-06-15
Mi
s
tral
Orhan Je
a
n
.
.
.
Don
'
t f
o
r
g
e
t
fake membe
r
s on non
-
p
r
operty
-
writing c
a
l
l
s
commit
|
commitdiff
|
tree
2021-06-15
Mistral Orhan
Jean
.
.
.
Make assignment refinement an intersection
commit
|
commitdiff
|
tree
2021-06-15
Mistral Orhan J
e
an
.
.
.
Optimise TV
a
r <: u
n
ion of that
TVar simplification
commit
|
commitdiff
|
tree
2021-06-15
Mistra
l
Orhan Jean
.
.
.
S
imp
l
if
y
inter
s
ections with type equality
commit
|
commitdiff
|
tree
2021-06-15
Mi
s
tral Orhan
J
ean
.
.
.
Make
t
y_equal do physical equ
a
lity
commit
|
commitdiff
|
tree
2021-06-02
Mistr
a
l O
r
han Jean
.
.
.
Do
c
umentation
f
or fun
c
tion
t
ype from ide
n
tifier
commit
|
commitdiff
|
tree
2021-06-02
Mi
s
tral Orhan Jean
.
.
.
Array filter TODO
commit
|
commitdiff
|
tree
2021-06-02
Mi
s
tral Orhan Jean
.
.
.
Pointer comment for Dis
p
osable/using helper
commit
|
commitdiff
|
tree
2021-06-02
Mis
t
ral
Orhan
Jean
.
.
.
Notes on `mak
e
_call_specia
l
` and its u
s
e
commit
|
commitdiff
|
tree
2021-06-02
M
i
st
r
al
O
rhan Jea
n
.
.
.
Mov
e
echo IO enforcement
to
d
e
d
icated place
commit
|
commitdiff
|
tree
2021-06-02
Mi
s
t
ral Orhan Jean
.
.
.
Eliminate
u
n
n
ecessary cal
l
dispatc
h
indir
e
ction
commit
|
commitdiff
|
tree
2021-06-01
Mistral O
r
han
J
ea
n
.
.
.
Global
f
unct
i
on
references are b
a
nned
commit
|
commitdiff
|
tree
2021-06-01
Mis
t
r
al Orhan
J
e
a
n
.
.
.
Log de
f
erment status
commit
|
commitdiff
|
tree
2021-05-27
Mist
r
al Orhan
J
ean
.
.
.
Order
of eva
l
uation in typeche
c
ker differs
from
HHVM
commit
|
commitdiff
|
tree
2021-05-27
Mist
r
a
l Orhan
Jea
n
.
.
.
Don't
e
rror
o
n
mi
s
sing HHI
d
ec
l
if typecheckin
g
is
.
.
.
commit
|
commitdiff
|
tree
2021-05-27
Mi
s
tral Orhan
J
ean
.
.
.
Keep track of c
o
llection decl existence invariant
v
iolations
commit
|
commitdiff
|
tree
2021-05-27
Mistr
a
l Orhan Jean
.
.
.
Add an error to k
e
e
p
t
rack of i
n
va
r
ia
n
t violations
commit
|
commitdiff
|
tree
2021-05-27
Mistral
O
rhan Jean
.
.
.
echo arguments should be arraykey
commit
|
commitdiff
|
tree
2021-05-26
Mistral Orhan Jean
.
.
.
Update closur
e
return type
commit
|
commitdiff
|
tree
next