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
Delete lazyclass contbuild
2022-04-06
Mistr
a
l Orhan Jea
n
.
.
.
s/toplevel/top-leve
l
/
commit
|
commitdiff
|
tree
2022-04-06
Mist
r
al Orh
a
n Jean
.
.
.
A
d
d an op
t
i
on
to sk
i
p TAST checks
commit
|
commitdiff
|
tree
2022-03-30
Mistral Orhan J
e
an
.
.
.
Add magic fu
n
ctions
to
h
hstc
t
o
profile sections
o
f
.
.
.
commit
|
commitdiff
|
tree
2022-03-30
Mistral O
r
han Jean
.
.
.
T
y
p
e
check pseudo functions
commit
|
commitdiff
|
tree
2022-03-26
Mistra
l
Orh
a
n Jean
.
.
.
Allow multiple `--single`
options
i
n
hh invocations
commit
|
commitdiff
|
tree
2022-02-10
Mistral Orhan Jean
.
.
.
Conditional pro
f
ili
n
g for top-level definiti
o
ns
commit
|
commitdiff
|
tree
2022-01-14
Mistra
l
Orhan Jean
.
.
.
Suppress shape analysis e
r
r
o
r
s wit
h
in the TAST
c
heck
commit
|
commitdiff
|
tree
2022-01-14
Mis
t
ral Orhan Je
a
n
.
.
.
Don't drop
TAST chec
k
on the floo
r
commit
|
commitdiff
|
tree
2022-01-13
Mistra
l
Orhan Jean
.
.
.
M
o
ve co
n
straint extracti
o
n in a
n
ew file
commit
|
commitdiff
|
tree
2022-01-13
Mistral
Orhan
Jean
.
.
.
Do sha
p
e analysis and lo
g
i
t
s
r
e
sults as a TAST c
h
eck
commit
|
commitdiff
|
tree
2022-01-13
M
i
s
tral
O
r
h
an Jea
n
.
.
.
Switch to usin
g
TA
S
T e
n
v
commit
|
commitdiff
|
tree
2022-01-13
Mistral Or
h
an Jean
.
.
.
Parsimony in const
r
aint generation and pro
v
enance for
.
.
.
commit
|
commitdiff
|
tree
2022-01-13
Mist
r
al Orhan J
e
an
.
.
.
Assign IDs to indicate result pr
o
venance
commit
|
commitdiff
|
tree
2022-01-13
Mistral
O
r
h
a
n
Jean
.
.
.
Gener
a
lise suitable ta
r
get
p
redicates
commit
|
commitdiff
|
tree
2022-01-11
Mistra
l
Orh
a
n Jea
n
.
.
.
A
d
d ex
t
ra bu
l
tin to avoid
r
epeiti
o
n in tests
commit
|
commitdiff
|
tree
2022-01-11
Mistral Orh
a
n Jean
.
.
.
Get rid o
f
extension con
s
t
r
ai
n
ts
commit
|
commitdiff
|
tree
2022-01-11
M
i
stral
Orhan Jea
n
.
.
.
Con
s
traints for function
arguments
commit
|
commitdiff
|
tree
2022-01-10
Mistral Orhan Jean
.
.
.
Create
a
n
algebra of
shap
e
k
eys of static key constr
a
in
t
s
commit
|
commitdiff
|
tree
2022-01-10
Mistral Orhan Jean
.
.
.
Add
a
t
e
st
to ensure w
e
don't coalesce
keys
commit
|
commitdiff
|
tree
2022-01-10
Mistral
O
rh
a
n Jea
n
.
.
.
Sup
p
o
rt paramete
r
s
commit
|
commitdiff
|
tree
2022-01-10
Mistral Orhan Jean
.
.
.
S
uppor
t
for While l
o
ops
commit
|
commitdiff
|
tree
2022-01-09
Mis
t
ral Orhan
J
ean
.
.
.
A
d
d ext
e
nsion
commit
|
commitdiff
|
tree
2022-01-09
Mistral O
r
han Jean
.
.
.
Copy-on-write
a
rray assignments
commit
|
commitdiff
|
tree
2022-01-09
M
istral Orhan Je
a
n
.
.
.
Move from Point
s
To to
S
ubset co
n
s
t
raints
commit
|
commitdiff
|
tree
2022-01-09
Mi
s
tra
l
Orhan Jean
.
.
.
S
witch sta
t
eme
n
ts
commit
|
commitdiff
|
tree
2022-01-07
Mistral Or
h
an Je
a
n
.
.
.
Typeh
o
l
e
due to omitted fallthrough st
a
te
m
ents
commit
|
commitdiff
|
tree
2022-01-07
Mistral Orhan J
e
an
.
.
.
Refactor ty
p
e decomposit
i
o
n
in in
t
ersect
i
on lo
g
ic
commit
|
commitdiff
|
tree
2022-01-06
M
i
stral Orha
n
J
ean
.
.
.
U
se f
u
e
l
i
n ty
p
e p
r
inting
commit
|
commitdiff
|
tree
2022-01-04
Mistral Orhan
J
ean
.
.
.
Add s
w
it
c
h
e
xhaustivenes
s
li
n
t
er
for
non-en
u
m ty
p
es
commit
|
commitdiff
|
tree
2022-01-04
Mistral Orh
a
n
Jean
.
.
.
Cle
a
n up sw
i
tch case type
mismatch lints/err
o
rs
commit
|
commitdiff
|
tree
2021-12-14
M
istral Orhan Jean
.
.
.
Don't evaluate overloaded fu
n
ctio
n
arguments twice
commit
|
commitdiff
|
tree
2021-12-14
Mistral Orhan Jea
n
.
.
.
Don't
e
valuate ov
e
r
loaded fu
n
c
tio
n
argume
n
ts thrice
commit
|
commitdiff
|
tree
2021-12-14
M
i
stral Orhan Jean
.
.
.
Add practical upper bo
u
nd t
o
Levenshtei
n
di
s
ta
n
ce
commit
|
commitdiff
|
tree
2021-12-14
Mis
t
ra
l
O
rhan Jean
.
.
.
Opti
m
ise Levensht
e
in distance
commit
|
commitdiff
|
tree
2021-12-14
M
i
stral Orhan Jean
.
.
.
P
e
rform
a
nce bug due to unnecessarily con
v
erti
n
g type
.
.
.
commit
|
commitdiff
|
tree
2021-12-14
Mistral Orhan
J
ean
.
.
.
Op
t
i
m
ise subtyping with ph
y
s
i
cal equ
a
l
ity
commit
|
commitdiff
|
tree
2021-11-30
Mistral Orhan
Jean
.
.
.
Get
`h
i
n
t
`
o
ut of
mutual recu
r
sion
commit
|
commitdiff
|
tree
2021-11-30
Mistra
l
O
rh
a
n
J
ean
.
.
.
Get rid of
u
nnecessary globa
l
infere
n
ce o
n
hhstc ch
e
cks
commit
|
commitdiff
|
tree
2021-11-23
Mistral Orhan J
e
an
.
.
.
Remo
v
e in
c
ase
commit
|
commitdiff
|
tree
2021-11-17
Mis
t
ral
O
r
han J
e
an
.
.
.
Add a classname typehole to the regressio
n
te
s
t suite
commit
|
commitdiff
|
tree
2021-11-13
Mistral Or
h
an Jean
.
.
.
Su
p
press
unsafe cast lint on
n
o
nd
e
notable expression
.
.
.
commit
|
commitdiff
|
tree
2021-11-11
Mistral
Orha
n
Jean
.
.
.
Remove
"
invalid c
o
mment due to mo
d
e" error
s
commit
|
commitdiff
|
tree
2021-11-11
Mistral
O
rhan Jean
.
.
.
Rem
o
ve uses of `is_strict` API
commit
|
commitdiff
|
tree
2021-11-11
Mistral
O
rh
a
n Jean
.
.
.
D
elete pa
r
tial
m
ode
commit
|
commitdiff
|
tree
2021-11-11
Mistral Orhan
J
ea
n
.
.
.
Remove
--disable-mod
e
s
optio
n
to
h
h_single_type_check
commit
|
commitdiff
|
tree
2021-11-09
M
istral Orhan Jean
.
.
.
S
ta
r
t using cont
i
nu
a
ti
o
ns
commit
|
commitdiff
|
tree
2021-11-09
Mistra
l
Orhan J
e
an
.
.
.
Han
d
le
M
a
r
kup
and AssertEn
v
statemen
t
s
commit
|
commitdiff
|
tree
2021-11-09
Mistral Orhan Jean
.
.
.
Detect empt
y
shape like dicts &
refactor solv
e
r
commit
|
commitdiff
|
tree
2021-11-09
Mistral Orhan
Jean
.
.
.
Han
d
le if state
m
ents
commit
|
commitdiff
|
tree
2021-11-09
Mis
t
ral Orhan Jean
.
.
.
Move partial
i
nteg
r
ation tests to strict
commit
|
commitdiff
|
tree
2021-11-09
Mistr
a
l Orhan Jean
.
.
.
Port ML tes
t
s from p
a
rtial to str
i
ct pt
.
2
commit
|
commitdiff
|
tree
2021-11-09
Mistra
l
Orhan Jean
.
.
.
Port ML tests from partial to strict
commit
|
commitdiff
|
tree
2021-11-02
M
i
st
r
al Orhan
J
ean
.
.
.
Reve
r
t partia
l
m
o
de in integrat
i
o
n
tests
commit
|
commitdiff
|
tree
2021-11-01
Mistral Orhan Jea
n
.
.
.
Po
r
t parti
a
l dynamic view tests to strict
commit
|
commitdiff
|
tree
2021-11-01
M
i
stral Orhan
Jean
.
.
.
Porting d
e
cl tests from part
i
al to str
i
ct
commit
|
commitdiff
|
tree
2021-11-01
M
i
stral Orhan Je
a
n
.
.
.
Port partial
g
lob
a
l infe
r
e
nce tests to
s
trict - FIXMEs
commit
|
commitdiff
|
tree
2021-11-01
Mistral
O
rhan Jean
.
.
.
P
o
rt
p
artial gl
o
bal inference tests to strict -
t
rivial
.
.
.
commit
|
commitdiff
|
tree
2021-11-01
Mistr
a
l
Orha
n
J
ean
.
.
.
Port
p
a
rtial typ
e
c
h
e
cker tests to strict - type ann
o
t
ations
.
.
.
commit
|
commitdiff
|
tree
2021-11-01
Mistral Orhan Jean
.
.
.
P
ort p
a
rtial typechecker tests to st
r
ict - deleted
commit
|
commitdiff
|
tree
2021-11-01
Mistral
Orhan Jean
.
.
.
Por
t
partial typechecke
r
tests
t
o
strict - ta
n
y
c
ase
s
commit
|
commitdiff
|
tree
2021-11-01
Mistral Orh
a
n J
e
an
.
.
.
P
ort partial typechecker
t
e
s
ts to
strict -
i
nteresting
commit
|
commitdiff
|
tree
2021-11-01
Mistral Or
h
an Jean
.
.
.
Port pa
r
tial
T
AST tests
to s
t
rict ones
commit
|
commitdiff
|
tree
2021-11-01
Mistra
l
O
r
han Jean
.
.
.
C
onvert partia
l
f
ull fid
e
lit
y
tests
t
o st
r
ict
commit
|
commitdiff
|
tree
2021-11-01
Mistr
a
l Or
h
a
n Jean
.
.
.
Remove
p
art
i
a
l
from tests that don't need it
commit
|
commitdiff
|
tree
2021-10-22
Mistra
l
O
r
han Jean
.
.
.
A
dd
p
ar
t
ial support
f
or
a
r
ray
a
s
signments
commit
|
commitdiff
|
tree
2021-10-20
Mis
t
r
a
l Orhan Jean
.
.
.
Pos info
in unhandled feature erro
r
s
commit
|
commitdiff
|
tree
2021-10-20
Mistral
Orhan
J
ean
.
.
.
Note
d
ynamical
l
y
ac
c
essed
d
icts after simp
l
ification
commit
|
commitdiff
|
tree
2021-10-20
Mistral Orhan Jea
n
.
.
.
Simp
l
if
y
constraints
commit
|
commitdiff
|
tree
2021-10-20
Mistral Orh
a
n Jean
.
.
.
Exp
a
nd t
y
pes an
d
dedicated shap
e
k
ey type
commit
|
commitdiff
|
tree
2021-10-15
Mistral Orhan Jean
.
.
.
Mov
e
Pos_e
m
be
d
de
d
to P
o
s
commit
|
commitdiff
|
tree
2021-10-06
Mistral Orhan Jean
.
.
.
Sepa
r
ate constra
i
nts by whe
r
e
t
hey are generated
commit
|
commitdiff
|
tree
2021-10-06
Mistral
Orhan Je
a
n
.
.
.
Sta
b
ilise test output
commit
|
commitdiff
|
tree
2021-10-06
Mistral
O
rh
a
n Jean
.
.
.
Sup
p
ort variable expressions and assignment
commit
|
commitdiff
|
tree
2021-10-06
Mistral Or
h
a
n Jea
n
.
.
.
Add an environment
commit
|
commitdiff
|
tree
2021-10-06
Mistral Orhan Jean
.
.
.
Extract ba
s
ic literal a
n
d indexing const
r
ain
t
s
commit
|
commitdiff
|
tree
2021-10-06
M
i
st
r
al
Orha
n
Jean
.
.
.
Flag
g
ing
s
hape analysis tar
g
et
s
commit
|
commitdiff
|
tree
2021-10-06
Mistral
O
r
han
Jea
n
.
.
.
Infrastructure for shape an
a
lysis
commit
|
commitdiff
|
tree
2021-08-11
M
istral Orhan Jea
n
.
.
.
Re
m
o
v
e Tobj
e
ct
commit
|
commitdiff
|
tree
2021-08-11
Mist
r
al Orhan Jea
n
.
.
.
Gener
a
te Terr instead
of Tobj whe
n
a new ex
p
ression
.
.
.
commit
|
commitdiff
|
tree
2021-08-11
Mistral
Orhan J
e
an
.
.
.
Unknown XHP class
e
s produce
Ter
r
instead of T
o
b
j
commit
|
commitdiff
|
tree
2021-08-11
Mistra
l
Orhan Jea
n
.
.
.
Generate Ter
r
instead
o
f
T
o
bject dur
i
ng invalid
r
efinement
commit
|
commitdiff
|
tree
2021-08-10
Mistr
a
l Orh
a
n
J
e
an
.
.
.
Log ba
d
ty
p
es to
S
cuba
commit
|
commitdiff
|
tree
2021-08-10
M
i
s
t
ral Orhan Je
a
n
.
.
.
Tany/Terr/Tobject logger
commit
|
commitdiff
|
tree
2021-08-10
M
ist
r
al Orhan Jean
.
.
.
Set log levels
f
r
o
m hh confi
g
u
ration
commit
|
commitdiff
|
tree
2021-08-04
Mis
t
ral Orhan
J
e
a
n
.
.
.
Tidy typing env
i
r
o
nm
e
n
t
.
commit
|
commitdiff
|
tree
2021-06-28
Mistra
l
Orha
n
Jea
n
.
.
.
F
i
x b
u
g prev
e
nting Glean from finding
g
loba
l
revi
s
i
o
n
commit
|
commitdiff
|
tree
2021-06-15
Mistral
O
r
han Jean
.
.
.
D
o
n
't fo
r
get fake mem
b
ers
o
n non
-
property-writing calls
commit
|
commitdiff
|
tree
2021-06-15
Mistral Orh
a
n Jean
.
.
.
Make assig
n
ment refinemen
t
an
i
nter
s
ection
commit
|
commitdiff
|
tree
2021-06-15
Mistral
Orha
n
J
ean
.
.
.
O
p
timise TVar <: union of t
h
at TVa
r
simplif
i
cation
commit
|
commitdiff
|
tree
2021-06-15
Mi
s
tral Orha
n
J
e
an
.
.
.
Simp
l
ify intersections wi
t
h type e
q
uality
commit
|
commitdiff
|
tree
2021-06-15
Mis
t
ra
l
Orh
a
n Jean
.
.
.
Make ty_equal do physica
l
equality
commit
|
commitdiff
|
tree
2021-06-02
Mis
t
ral Orhan Jean
.
.
.
Do
c
ume
n
tation for funct
i
on ty
p
e from identi
f
ie
r
commit
|
commitdiff
|
tree
2021-06-02
Mistral
O
rhan Jean
.
.
.
Arr
a
y fil
t
er
T
ODO
commit
|
commitdiff
|
tree
2021-06-02
Mistral O
r
han
J
ean
.
.
.
Pointer
c
omme
n
t for Dispo
s
able
/
using
helper
commit
|
commitdiff
|
tree
2021-06-02
Mistral Orhan
Jean
.
.
.
N
o
tes on
`make_call_special` and its use
commit
|
commitdiff
|
tree
2021-06-02
Mis
t
ral Orha
n
Jean
.
.
.
Move echo IO enforcem
e
nt to dedicated place
commit
|
commitdiff
|
tree
2021-06-02
Mistral Orhan Jean
.
.
.
Elimina
t
e unnecessary call dispatch indi
r
ection
commit
|
commitdiff
|
tree
2021-06-01
Mistr
a
l Orha
n
Jean
.
.
.
Glob
a
l
function references are banned
commit
|
commitdiff
|
tree
2021-06-01
Mistral O
r
han Jean
.
.
.
Log deferm
e
nt status
commit
|
commitdiff
|
tree
2021-05-27
Mistr
a
l Or
h
a
n J
e
an
.
.
.
Order of evaluation in type
c
hecke
r
differs from H
H
V
M
commit
|
commitdiff
|
tree
next