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
clientConnect reads progress from file
2021-04-23
Mist
r
al Orhan Jea
n
.
.
.
list `coef
f
ects
.
hhi
`
as a dune depend
e
ncy
commit
|
commitdiff
|
tree
2021-04-23
Mistral Orha
n
Jean
.
.
.
Extend
s
pecial refinements of `!==
nul
l
` to `i
s
no
n
null`
commit
|
commitdiff
|
tree
2021-03-30
Mistr
a
l O
r
han J
e
an
.
.
.
Add logging around
S
ql
i
te positio
n
retrieval errors
commit
|
commitdiff
|
tree
2021-02-18
Mistral Orhan Je
a
n
.
.
.
Rem
o
ve ignore
d
code
commit
|
commitdiff
|
tree
2021-02-15
Mistral Orhan
J
ean
.
.
.
Typecheck XHP constr
u
ctors
commit
|
commitdiff
|
tree
2021-02-15
Mistral
O
rhan Jean
.
.
.
M
a
ke Hac
k
test
s
using XHP literals safe
commit
|
commitdiff
|
tree
2021-02-10
M
i
st
r
al Orhan Jea
n
.
.
.
F
ix XHP children or
d
eri
n
g in
TASTs
commit
|
commitdiff
|
tree
2021-02-08
Mistral Orhan Jean
.
.
.
Suggest hh r
e
s
t
art in
c
a
se
o
f exception
commit
|
commitdiff
|
tree
2021-02-04
Mistral Or
h
an Jean
.
.
.
Improve
l
ambda param
e
ter i
n
f
ere
n
ce for mixed/dyn
a
m
i
c
commit
|
commitdiff
|
tree
2021-02-04
M
istral
O
rhan Jean
.
.
.
Refact
o
r/op
t
imise
e
x
p
e
c
t
ed & declared lambda paramete
r
.
.
.
commit
|
commitdiff
|
tree
2021-02-01
Mistral Orhan Je
a
n
.
.
.
Fix du
n
e tes
t
s
commit
|
commitdiff
|
tree
2021-01-21
Mistral Orhan Jean
.
.
.
Make
T
AST
B
l
ock
f
ree
commit
|
commitdiff
|
tree
2021-01-20
Mistral Orhan Jean
.
.
.
A
l
low hh_single_typecheck to take e
x
t
r
a hhi files via CLI
commit
|
commitdiff
|
tree
2021-01-20
M
i
stral Orhan Jean
.
.
.
No magic
class decls
commit
|
commitdiff
|
tree
2021-01-20
Mistr
a
l Or
h
an Jean
.
.
.
R
emove Extra_rage
commit
|
commitdiff
|
tree
2021-01-20
M
i
stral
Orhan Jean
.
.
.
Move hh rage im
p
lementa
t
i
on
commit
|
commitdiff
|
tree
2021-01-19
Mistral Orhan Jean
.
.
.
Fix
n
o
n
-def
a
ult argu
m
ent
a
f
ter defa
u
l
t
argument check
commit
|
commitdiff
|
tree
2021-01-19
Mistral Or
h
an Jean
.
.
.
Expand new
t
ype documentation
commit
|
commitdiff
|
tree
2020-12-30
M
i
s
t
r
a
l Orh
a
n Jea
n
.
.
.
Fix constructor handlin
g
commit
|
commitdiff
|
tree
2020-12-16
Mi
s
tral
Orhan Je
a
n
.
.
.
S
u
pport dynamic in foreach
commit
|
commitdiff
|
tree
2020-12-16
Mistral Orhan J
e
an
.
.
.
Mutable collection assignment sup
p
ort
commit
|
commitdiff
|
tree
2020-12-16
M
i
s
t
ral Orh
a
n Jean
.
.
.
Avoid r
e
dundant com
p
utation
commit
|
commitdiff
|
tree
2020-12-16
Mistr
a
l
O
rhan Jean
.
.
.
Mutable collec
t
i
o
n acce
s
s support
commit
|
commitdiff
|
tree
2020-12-09
Mistra
l
O
rha
n
Jean
.
.
.
Mut
a
ble c
o
lle
c
tio
n
li
t
er
a
l su
p
port
commit
|
commitdiff
|
tree
2020-12-04
Mistral Orh
a
n Jean
.
.
.
Pair
s
uppor
t
commit
|
commitdiff
|
tree
2020-12-04
Mistra
l
O
rha
n
Jean
.
.
.
Tuple ac
c
ess/assignme
n
t support
commit
|
commitdiff
|
tree
2020-12-04
M
istral Or
h
an Jean
.
.
.
Iterable
/
T
r
ave
r
sable support in
f
o
r
each
commit
|
commitdiff
|
tree
2020-12-04
Mistr
a
l Orhan Jean
.
.
.
Refa
c
tor array like types logic
commit
|
commitdiff
|
tree
2020-12-03
Mistra
l
Orh
a
n Jean
.
.
.
Don't unnecessari
l
y genera
t
e
dune files
commit
|
commitdiff
|
tree
2020-11-30
Mistral Orhan J
e
an
.
.
.
Remove unu
s
ed value collecti
o
n
kind Pair_
commit
|
commitdiff
|
tree
2020-11-26
Mistral
O
rhan Jean
.
.
.
Legacy
i
mmu
t
a
b
le/co
n
st arrays
commit
|
commitdiff
|
tree
2020-11-19
Mistral Orhan Jean
.
.
.
$this
i
s
not i
n
the environment
commit
|
commitdiff
|
tree
2020-11-18
Mistral Orhan Jean
.
.
.
Discou
r
age users from running r
a
ge unn
e
cessarily
commit
|
commitdiff
|
tree
2020-11-11
Mistral Orhan Jean
.
.
.
zoncolan: Fix build b
y
add
i
ng S
h
are
d
M
em
.
Backen
d
t
o
.
.
.
commit
|
commitdiff
|
tree
2020-11-10
Mistral Orhan Jean
.
.
.
Handle default a
r
gument
s
to functions/methods/constructo
r
s
commit
|
commitdiff
|
tree
2020-11-05
Mis
t
ral
O
rhan Jean
.
.
.
v
array and darray
commit
|
commitdiff
|
tree
2020-11-05
Mistral
Orha
n
Jean
.
.
.
for lo
o
p support
commit
|
commitdiff
|
tree
2020-11-05
Mis
t
ral Orhan Je
a
n
.
.
.
Export refinement
an
d
joi
n
e
n
vir
o
n
ments for For
s
tate
m
ents
commit
|
commitdiff
|
tree
2020-10-27
Mistral Orha
n
Jean
.
.
.
Fix type
u
pdating arra
y
assignment bug
commit
|
commitdiff
|
tree
2020-10-22
Mistral Or
h
an Jea
n
.
.
.
Unconvt
r
ov
e
rsial improvements to I
F
C assignment fu
n
ctions
commit
|
commitdiff
|
tree
2020-10-21
Mistral Orhan Jean
.
.
.
A
llow cons
t
r
a
i
n
t
sol
v
er to
b
e
position blind
commit
|
commitdiff
|
tree
2020-10-19
Mistr
a
l Orhan Jean
.
.
.
R
e
move
c
overage script
commit
|
commitdiff
|
tree
2020-10-19
Mistra
l
Orha
n
Jean
.
.
.
Ad
d
d
uration
to c
o
verag
e
r
ep
o
rt
commit
|
commitdiff
|
tree
2020-10-19
Mistral Orhan Jean
.
.
.
Ability
to time IFC analy
s
is per
f
ile
commit
|
commitdiff
|
tree
2020-10-16
Mistral Or
h
a
n
Jean
.
.
.
Suppor
t
f
o
r
foreach stateme
n
ts
commit
|
commitdiff
|
tree
2020-10-16
Mistral Orhan
Je
a
n
.
.
.
More refinement exports on
T
A
ST
commit
|
commitdiff
|
tree
2020-10-15
Mis
t
ral O
r
h
a
n J
e
an
.
.
.
F
i
x
the cov
e
rage script
commit
|
commitdiff
|
tree
2020-10-12
M
istra
l
Orhan Jea
n
.
.
.
Group
constraints in the environment b
y
line n
u
mber
commit
|
commitdiff
|
tree
2020-10-08
Mi
s
tral
O
rhan Jean
.
.
.
Upd
a
te tuple an
a
lyse result
commit
|
commitdiff
|
tree
2020-10-08
Mistral Orhan
J
ean
.
.
.
Hack IFC support for tuple literals
commit
|
commitdiff
|
tree
2020-10-07
M
is
t
r
al Orhan Jean
.
.
.
A
d
d
m
issing equal labels to
s
upp
r
e
s
s wa
r
nings
commit
|
commitdiff
|
tree
2020-10-06
M
i
s
t
ral Orh
a
n Jean
.
.
.
Delete
st
a
le comment fro
m
Aast
commit
|
commitdiff
|
tree
2020-10-05
Mi
s
tral Orhan Jean
.
.
.
Por
t
h
h
_fanout
C
LI to Cmdl
i
ner
commit
|
commitdiff
|
tree
2020-10-01
Mistral Or
h
an J
e
a
n
.
.
.
Hack
array
subtyping with nor
m
al classes
commit
|
commitdiff
|
tree
2020-10-01
Mistral O
r
han J
e
an
.
.
.
A
d
d integra
t
i
o
n
t
e
st dependen
c
y for d
u
n
e
commit
|
commitdiff
|
tree
2020-09-28
Mistral O
r
h
a
n
J
e
an
.
.
.
keyset support
commit
|
commitdiff
|
tree
2020-09-25
Mistral Orhan Jea
n
.
.
.
Flows due to ar
r
ay keys
commit
|
commitdiff
|
tree
2020-09-25
Mistral
O
rha
n
Jean
.
.
.
O
u
tOfBoun
d
sExce
p
tion due t
o
Hack ar
r
ays
commit
|
commitdiff
|
tree
2020-09-23
Mistral Orh
a
n J
e
a
n
.
.
.
dict su
p
port
commit
|
commitdiff
|
tree
2020-09-22
Mistral Orhan J
e
an
.
.
.
Tco
w
_array
c
ase
for p
o
licy_occurrences
commit
|
commitdiff
|
tree
2020-09-22
Mist
r
a
l
Orhan
Jean
.
.
.
Fix copy-on-write
commit
|
commitdiff
|
tree
2020-09-01
Mistral Orhan Jean
.
.
.
S
i
m
plify
p
oli
c
ie
d
property and gen
e
r
i
c tr
e
atm
e
nt
commit
|
commitdiff
|
tree
2020-08-26
Mistral Orhan J
e
an
.
.
.
Ma
k
e weakenin
g
/st
r
en
g
t
h
ening more
p
arsimonious
commit
|
commitdiff
|
tree
2020-08-26
Mistral Orhan Jean
.
.
.
Change the data
sou
r
ce/sink wo
r
ding to
b
e
less de
f
inite
commit
|
commitdiff
|
tree
2020-08-26
Mi
s
tral
Orhan J
e
an
.
.
.
N
omi
n
al subty
p
ing
commit
|
commitdiff
|
tree
2020-08-26
Mistral Orhan
Jean
.
.
.
Support
f
o
r st
a
tic c
a
lls
commit
|
commitdiff
|
tree
2020-08-17
Mistral
O
rhan Jean
.
.
.
M
ake CIP leakage a ty
p
e error
commit
|
commitdiff
|
tree
2020-08-17
Mist
r
a
l
Orhan Jea
n
.
.
.
Ide
n
tify
the progr
a
m
p
oints involved IFC e
r
ror
commit
|
commitdiff
|
tree
2020-08-17
Mistral
O
rhan Jean
.
.
.
Make
policies carry m
u
ltiple p
o
sitions
commit
|
commitdiff
|
tree
2020-08-17
Mi
s
tral Orhan J
e
a
n
.
.
.
R
e
p
ort data s
o
urce
a
nd si
n
ks for flow errors
commit
|
commitdiff
|
tree
2020-08-17
M
i
stral Orhan Jean
.
.
.
Make IFC errors type err
o
rs
commit
|
commitdiff
|
tree
2020-07-30
Mistral Orhan J
e
a
n
.
.
.
Sort test
s
into
r
e
levant
ifc modes
commit
|
commitdiff
|
tree
2020-07-30
M
istral Orhan Jean
.
.
.
Switc
h
from v
e
rbosity to modes
commit
|
commitdiff
|
tree
2020-07-29
Mis
t
r
a
l
Orhan J
e
an
.
.
.
Ma
k
e bounded
lattice
con
s
t
r
u
c
tion
i
m
plici
t
commit
|
commitdiff
|
tree
2020-07-29
Mistral Orhan Jean
.
.
.
Impr
o
vem
e
nts aroun
d
parsi
n
g/loggi
n
g securit
y
lat
t
ice
commit
|
commitdiff
|
tree
2020-07-29
Mistral Orhan
J
ean
.
.
.
Handling inherited generics
commit
|
commitdiff
|
tree
2020-07-10
Mistral Orhan
Jean
.
.
.
Pro
p
er
t
y inheritance
commit
|
commitdiff
|
tree
2020-07-09
Mis
t
ral Orhan Jean
.
.
.
Add infor
m
a
tion
on
Build_id_mis
m
atched error
commit
|
commitdiff
|
tree
2020-07-06
Mi
s
t
r
al
O
rh
a
n
Jean
.
.
.
Invalidate invali
d
fake me
m
ber
s
commit
|
commitdiff
|
tree
2020-07-06
Mis
t
ral Orhan Jea
n
.
.
.
Fake mem
b
er b
o
okkeep
i
ng simplifica
t
ion
commit
|
commitdiff
|
tree
2020-07-03
Mistra
l
O
r
h
an Jean
.
.
.
Check
i
ng against a security
lattice
commit
|
commitdiff
|
tree
2020-07-03
M
i
s
t
r
al Orha
n
J
e
an
.
.
.
Turn on
global inference
commit
|
commitdiff
|
tree
2020-07-03
M
istral Or
h
an Jean
.
.
.
Use struc
t
ured options
commit
|
commitdiff
|
tree
2020-07-03
Mi
s
tral Orha
n
Jean
.
.
.
Ou
t
put v
e
rbos
i
ty c
o
n
t
rol
commit
|
commitdiff
|
tree
2020-07-02
Mistral Orhan
J
ean
.
.
.
Add basic
vect
o
r su
p
port
commit
|
commitdiff
|
tree
2020-07-01
Mistr
a
l Orhan Jean
.
.
.
St
o
p ov
e
r
r
i
d
ing automat
i
c pp for collection
kinds
commit
|
commitdiff
|
tree
2020-06-23
Mistr
a
l Orhan Jean
.
.
.
Forget f
a
ke members on prop
e
rty assign
m
ent
commit
|
commitdiff
|
tree
2020-06-19
Mistral Or
h
an Je
a
n
.
.
.
Add basic type
parameter support
commit
|
commitdiff
|
tree
2020-06-10
Mistr
a
l Orhan Jean
.
.
.
Purpos
e
a
ttribute for
p
roperties
commit
|
commitdiff
|
tree
2020-06-10
Mistral Orhan Jean
.
.
.
allow `Policied` attribute f
o
r properties declare
d
.
.
.
commit
|
commitdiff
|
tree
2020-06-09
Mistral Orhan Jean
.
.
.
Lazy generation
of policy types
commit
|
commitdiff
|
tree
2020-06-09
Mistral Orhan Jean
.
.
.
Implicitly store unpo
l
icied field
s
commit
|
commitdiff
|
tree
2020-06-08
Mistral
O
rhan Jean
.
.
.
Human readable vari
a
ble names
commit
|
commitdiff
|
tree
2020-06-08
Mistral Orhan J
e
a
n
.
.
.
Lump trackin
g
unpolicied f
i
el
d
s
commit
|
commitdiff
|
tree
2020-06-05
Mistral Orh
a
n Je
a
n
.
.
.
tidy read-onl
y
envi
r
onment
commit
|
commitdiff
|
tree
2020-06-04
Mistral O
r
han
Jean
.
.
.
P
r
event
p
c
policies from being ignored
commit
|
commitdiff
|
tree
2020-05-29
Mis
t
ral Orh
a
n J
e
an
.
.
.
dune file for tests
commit
|
commitdiff
|
tree
2020-05-29
Mistral Orhan Jean
.
.
.
suppo
r
t
for pr
o
p
e
r
ties
commit
|
commitdiff
|
tree
2020-05-29
Mistral Orhan
Jean
.
.
.
F
ake mem
b
ers are not in
v
aliated
o
n ass
i
gnment to
locals
commit
|
commitdiff
|
tree