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
2021-05-21
M
istral O
r
han Jean
.
.
.
n
ew error c
o
de for bad echo
a
rgument
commit
|
commitdiff
|
tree
2021-05-18
Mistral Orh
a
n Jean
.
.
.
Demote nu
l
lsafe ac
c
es
s
(
?
->) operator use on `nonnull`
commit
|
commitdiff
|
tree
2021-05-18
Mistral
O
rhan Jean
.
.
.
mixe
d
can be c
a
st string
commit
|
commitdiff
|
tree
2021-05-14
M
i
s
tral
Orhan Je
a
n
.
.
.
Check keyset value
s
to be arraykeys
commit
|
commitdiff
|
tree
2021-05-13
Mistral Orhan Jean
.
.
.
M
a
p array
indexing
is not checke
d
to
b
e array
k
e
y
commit
|
commitdiff
|
tree
2021-05-12
Mistral Orhan Jean
.
.
.
Introd
u
ce inva
l
i
d
k
eyse
t
error
commit
|
commitdiff
|
tree
2021-05-12
Mistral Or
h
an Jean
.
.
.
XHP a
t
tribute ac
c
ess can invalidate t
h
e
a
ttribute
commit
|
commitdiff
|
tree
2021-05-12
Mistral Orhan Jean
.
.
.
Typeche
c
k
c
ollection type ar
g
ument
s
commit
|
commitdiff
|
tree
2021-05-11
Mistral Orha
n
Jean
.
.
.
T
e
st
case for lack of fake membe
r
i
nval
i
dation on attribute
.
.
.
commit
|
commitdiff
|
tree
2021-05-10
Mistral Orhan Jean
.
.
.
Add the op
t
ion to remove positio
n
s while pri
n
tin
g
ASTs
commit
|
commitdiff
|
tree
2021-04-23
Mistral Orhan Jean
.
.
.
li
s
t `coeffects
.
hhi`
a
s a dun
e
depe
n
dency
commit
|
commitdiff
|
tree
2021-04-23
M
istral Orhan
Jean
.
.
.
Extend special
r
efinem
e
nt
s
o
f `!== null` to `is nonn
u
ll`
commit
|
commitdiff
|
tree
2021-03-30
M
i
stral Orhan
J
e
an
.
.
.
Add
logging
a
round Sq
l
ite positi
o
n retrieval errors
commit
|
commitdiff
|
tree
2021-02-18
M
istral Orh
a
n
Jean
.
.
.
Remo
v
e i
g
n
o
r
e
d code
commit
|
commitdiff
|
tree
2021-02-15
Mi
s
t
ral Orhan Jean
.
.
.
Typecheck
XHP
constructo
r
s
commit
|
commitdiff
|
tree
2021-02-15
Mistra
l
Orhan J
e
an
.
.
.
Make H
a
ck t
e
s
ts using
XH
P
literals safe
commit
|
commitdiff
|
tree
2021-02-10
M
i
stral Or
h
a
n Jean
.
.
.
Fix XHP ch
i
ldr
e
n
ordering i
n
TAS
T
s
commit
|
commitdiff
|
tree
2021-02-08
Mistral Orhan Jean
.
.
.
Suggest h
h
resta
r
t in case of except
i
on
commit
|
commitdiff
|
tree
2021-02-04
Mistral O
r
h
an Jean
.
.
.
I
mpro
v
e lambda
p
ar
a
meter inferen
c
e for
mixed/dynamic
commit
|
commitdiff
|
tree
2021-02-04
Mistral
O
rhan Jean
.
.
.
Refac
t
or/o
p
timise expected & declare
d
lambd
a
p
arameter
.
.
.
commit
|
commitdiff
|
tree
2021-02-01
M
i
stral Orhan
J
e
an
.
.
.
Fix dune tests
commit
|
commitdiff
|
tree
2021-01-21
M
i
stral Orhan
Jea
n
.
.
.
Make T
A
S
T
Bl
o
c
k
free
commit
|
commitdiff
|
tree
2021-01-20
Mist
r
al Orhan Jean
.
.
.
A
llow hh_single_
t
ypecheck t
o
ta
k
e extra hhi fil
e
s
via CLI
commit
|
commitdiff
|
tree
2021-01-20
M
i
stral Orhan Jean
.
.
.
No mag
i
c class
d
ecls
commit
|
commitdiff
|
tree
2021-01-20
Mistral Orha
n
Jean
.
.
.
Remove
E
x
tra_rage
commit
|
commitdiff
|
tree
2021-01-20
Mis
t
ral
O
r
han Jean
.
.
.
Mo
v
e h
h
ra
g
e
i
mplementatio
n
commit
|
commitdiff
|
tree
2021-01-19
M
i
s
t
ral
Or
h
an Jean
.
.
.
Fix non-default
argument after default argument check
commit
|
commitdiff
|
tree
2021-01-19
Mistral Orhan Je
a
n
.
.
.
Expa
n
d
newtype
d
ocument
a
tion
commit
|
commitdiff
|
tree
2020-12-30
Mistra
l
Orhan J
e
an
.
.
.
Fix constructo
r
h
andling
commit
|
commitdiff
|
tree
2020-12-16
M
istral O
r
han Jean
.
.
.
Su
p
p
o
rt dynamic in foreach
commit
|
commitdiff
|
tree
2020-12-16
Mistral Orhan Je
a
n
.
.
.
Mutabl
e
collection assignment support
commit
|
commitdiff
|
tree
2020-12-16
Mis
t
ral Orhan
J
e
a
n
.
.
.
Avoi
d
redundant compu
t
a
t
i
on
commit
|
commitdiff
|
tree
2020-12-16
Mistral Orhan J
e
an
.
.
.
Mutable collect
i
on access support
commit
|
commitdiff
|
tree
2020-12-09
Mi
s
t
ral Orhan Jean
.
.
.
M
utabl
e
c
ollection lit
e
r
al
s
u
pport
commit
|
commitdiff
|
tree
2020-12-04
Mistral Orhan Jean
.
.
.
Pair supp
o
rt
commit
|
commitdiff
|
tree
2020-12-04
Mi
s
tra
l
O
r
han Jean
.
.
.
T
u
ple access
/
as
s
i
gnment s
u
pport
commit
|
commitdiff
|
tree
2020-12-04
Mistral
Orhan Jean
.
.
.
I
t
e
r
a
b
le/
T
raversable support in f
o
reach
commit
|
commitdiff
|
tree
2020-12-04
Mistral
Orhan J
e
an
.
.
.
Refactor
a
rray l
i
k
e
types logi
c
commit
|
commitdiff
|
tree
2020-12-03
Mistral Orhan Jean
.
.
.
Don't unnece
s
sar
i
ly generate dune file
s
commit
|
commitdiff
|
tree
2020-11-30
Mi
s
tr
a
l
Orhan Jean
.
.
.
R
e
m
ove
un
u
se
d
val
u
e col
l
ection kind Pair_
commit
|
commitdiff
|
tree
2020-11-26
Mistral Orhan Je
a
n
.
.
.
Legacy immutable/cons
t
arrays
commit
|
commitdiff
|
tree
2020-11-19
M
i
stral Orhan Jean
.
.
.
$this is not in the
e
nviro
n
ment
commit
|
commitdiff
|
tree
2020-11-18
M
istral Orhan Jean
.
.
.
Discou
r
age u
s
ers from running
rage
u
nnecessar
i
ly
commit
|
commitdiff
|
tree
2020-11-11
Mistral Orh
a
n Jean
.
.
.
zoncolan:
F
i
x
b
uild by a
d
din
g
S
h
aredM
e
m
.
B
ackend
t
o
.
.
.
commit
|
commitdiff
|
tree
2020-11-10
Mi
s
tral Or
h
an Jean
.
.
.
H
an
d
le
defa
u
lt arg
u
ments to f
u
nction
s
/m
e
thods/constructors
commit
|
commitdiff
|
tree
2020-11-05
Mistral Orhan Jean
.
.
.
varray a
n
d darray
commit
|
commitdiff
|
tree
2020-11-05
Mistral
O
r
han Jean
.
.
.
for loop
s
upport
commit
|
commitdiff
|
tree
2020-11-05
M
i
s
t
r
a
l
Orh
a
n Jean
.
.
.
Export
r
efineme
n
t and join environments for For
s
tatemen
t
s
commit
|
commitdiff
|
tree
2020-10-27
M
i
stra
l
Orh
a
n Jean
.
.
.
Fix ty
p
e
u
p
da
t
ing array assignment
bug
commit
|
commitdiff
|
tree
2020-10-22
Mistral Orhan Jean
.
.
.
Unco
n
vt
r
oversial im
p
rovemen
t
s
t
o I
F
C
assign
m
e
n
t func
t
ions
commit
|
commitdiff
|
tree
2020-10-21
M
istral Orhan
J
ea
n
.
.
.
A
l
low constrai
n
t sol
v
er
t
o
be positi
o
n blind
commit
|
commitdiff
|
tree
2020-10-19
Mistra
l
Orhan
J
ean
.
.
.
Remove cover
a
ge
s
cri
p
t
commit
|
commitdiff
|
tree
2020-10-19
Mistr
a
l Orhan Jean
.
.
.
Add dur
a
tio
n
to
coverage
r
eport
commit
|
commitdiff
|
tree
2020-10-19
M
i
stral
O
r
han Jean
.
.
.
Abil
i
ty to
t
i
m
e
I
FC
a
naly
s
is per file
commit
|
commitdiff
|
tree
2020-10-16
Mistral O
r
han Jean
.
.
.
S
u
pport for fore
a
c
h sta
t
ement
s
commit
|
commitdiff
|
tree
2020-10-16
Mistral Orhan
J
ean
.
.
.
More refinement exports on TAST
commit
|
commitdiff
|
tree
2020-10-15
Mistral Orh
a
n Jean
.
.
.
Fix the co
v
e
rage
s
cr
i
pt
commit
|
commitdiff
|
tree
2020-10-12
Mistral Orhan Je
a
n
.
.
.
Group
c
onstraints in th
e
environment by line numbe
r
commit
|
commitdiff
|
tree
2020-10-08
Mi
s
tral Orhan Je
a
n
.
.
.
U
pdate tuple
analys
e
result
commit
|
commitdiff
|
tree
2020-10-08
Mistr
a
l Orhan J
e
a
n
.
.
.
Hack IFC suppor
t
fo
r
tuple li
t
er
a
ls
commit
|
commitdiff
|
tree
2020-10-07
Mistral Orhan Jean
.
.
.
Add miss
i
n
g
equal lab
e
l
s
to sup
p
ress warnings
commit
|
commitdiff
|
tree
2020-10-06
Mistr
a
l
O
r
han
J
e
an
.
.
.
Delete
stale comment fr
o
m Aast
commit
|
commitdiff
|
tree
2020-10-05
M
i
str
a
l O
r
han Jean
.
.
.
Po
r
t h
h
_fanout CLI to C
m
dliner
commit
|
commitdiff
|
tree
2020-10-01
Mistr
a
l
O
r
h
a
n
Jean
.
.
.
Hack arr
a
y subtypin
g
with n
o
rmal
cla
s
ses
commit
|
commitdiff
|
tree
2020-10-01
Mis
t
ral
Orhan Je
a
n
.
.
.
Add i
n
tegrati
o
n test dependency
for dune
commit
|
commitdiff
|
tree
2020-09-28
Mistr
a
l Orhan Jean
.
.
.
keys
e
t supp
o
rt
commit
|
commitdiff
|
tree
2020-09-25
Mistral
Orh
a
n Je
a
n
.
.
.
Flows d
u
e
to array k
e
ys
commit
|
commitdiff
|
tree
2020-09-25
Mistral
Orhan Jean
.
.
.
O
utOfBounds
E
xcept
i
on
due t
o
Hack
arrays
commit
|
commitdiff
|
tree
2020-09-23
Mistral Orhan Jean
.
.
.
dict support
commit
|
commitdiff
|
tree
2020-09-22
Mistr
a
l
O
rhan J
e
an
.
.
.
Tcow_array
case for policy_occur
r
e
n
c
e
s
commit
|
commitdiff
|
tree
2020-09-22
Mistral O
r
h
an Jean
.
.
.
F
i
x copy-on-write
commit
|
commitdiff
|
tree
2020-09-01
Mistral Orh
a
n Jean
.
.
.
Si
m
plify
policied pro
p
e
r
ty a
n
d
generic treatment
commit
|
commitdiff
|
tree
2020-08-26
Mistral
Orhan J
e
an
.
.
.
Make weakening/stren
g
the
n
ing
more p
a
rsimonio
u
s
commit
|
commitdiff
|
tree
2020-08-26
M
i
stral Orhan Jean
.
.
.
Ch
a
nge th
e
data source/s
i
nk
w
ording
t
o be less definite
commit
|
commitdiff
|
tree
2020-08-26
Mi
s
tral Orhan Jean
.
.
.
No
m
inal subtyping
commit
|
commitdiff
|
tree
2020-08-26
Mi
s
tral Orhan Jean
.
.
.
Support for static c
a
lls
commit
|
commitdiff
|
tree
2020-08-17
Mistral
Orhan
Je
a
n
.
.
.
Make CIP leakage a type
e
rror
commit
|
commitdiff
|
tree
2020-08-17
Mist
r
al Orhan Jean
.
.
.
Ident
i
f
y the p
r
o
g
r
a
m poin
t
s involved I
F
C error
commit
|
commitdiff
|
tree
2020-08-17
Mis
t
ral
Orhan Jean
.
.
.
M
ak
e
poli
c
ies carry multiple
positi
o
ns
commit
|
commitdiff
|
tree
2020-08-17
Mistral
Orhan Jean
.
.
.
Report data
s
ou
r
c
e
and sinks
for flow erro
r
s
commit
|
commitdiff
|
tree
2020-08-17
Mis
t
r
al Orhan Jean
.
.
.
Make IFC errors type errors
commit
|
commitdiff
|
tree
2020-07-30
M
i
s
t
r
a
l O
r
han
J
ean
.
.
.
Sort tests i
n
to relevant ifc m
o
des
commit
|
commitdiff
|
tree
2020-07-30
Mistral Orhan Jean
.
.
.
Sw
i
tch
f
rom verbosity to modes
commit
|
commitdiff
|
tree
2020-07-29
Mistral Orhan Jea
n
.
.
.
Make bounded
l
att
i
ce construct
i
on i
m
plici
t
commit
|
commitdiff
|
tree
2020-07-29
Mistral
O
r
han Jean
.
.
.
Imp
r
ovements around parsing
/
log
g
i
n
g security lattice
commit
|
commitdiff
|
tree
2020-07-29
M
i
stral Orha
n
Jean
.
.
.
Han
d
l
i
n
g inhe
r
i
t
ed
g
e
nerics
commit
|
commitdiff
|
tree
2020-07-10
M
i
s
t
ra
l
Orhan Jean
.
.
.
Propert
y
inh
e
ritance
commit
|
commitdiff
|
tree
2020-07-09
Mistra
l
Orha
n
Jean
.
.
.
A
d
d in
f
ormation on Build_id
_
mismatche
d
e
r
ror
commit
|
commitdiff
|
tree
2020-07-06
Mistral O
r
han Jean
.
.
.
Invalidat
e
in
v
a
lid fak
e
members
commit
|
commitdiff
|
tree
2020-07-06
Mistr
a
l
Orhan Jean
.
.
.
Fake mem
b
er bookke
e
ping s
i
mplifica
t
ion
commit
|
commitdiff
|
tree
2020-07-03
Mistral Or
h
an Jean
.
.
.
C
h
ecking aga
i
nst a security lattice
commit
|
commitdiff
|
tree
2020-07-03
M
i
stral O
r
han Jean
.
.
.
Tur
n
on
g
lobal infe
r
ence
commit
|
commitdiff
|
tree
2020-07-03
M
i
s
t
r
al Orhan Jean
.
.
.
Use
structured o
p
ti
o
ns
commit
|
commitdiff
|
tree
2020-07-03
M
i
str
a
l Orhan Jean
.
.
.
Output v
e
rbosity
c
ontrol
commit
|
commitdiff
|
tree
2020-07-02
Mistral Or
h
an J
e
an
.
.
.
Ad
d
basi
c
vector
support
commit
|
commitdiff
|
tree
2020-07-01
Mistr
a
l
Orhan Je
a
n
.
.
.
S
top overriding automatic pp for collection kinds
commit
|
commitdiff
|
tree
2020-06-23
M
i
st
r
al Orhan Jea
n
.
.
.
Forget fake
me
m
bers on property assignmen
t
commit
|
commitdiff
|
tree
2020-06-19
M
i
stral O
r
han
Jean
.
.
.
Add basic ty
p
e p
a
rameter
support
commit
|
commitdiff
|
tree
2020-06-10
Mistr
a
l Or
h
a
n
Jean
.
.
.
Purpose a
t
tribu
t
e for
properties
commit
|
commitdiff
|
tree
2020-06-10
Mistral Orhan
J
ean
.
.
.
a
llow `Policied` attribute for
properties dec
l
a
red
.
.
.
commit
|
commitdiff
|
tree
next