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
Generate Terr instead of Tobject during invalid refinement
2021-08-11
M
istral Orha
n
Jean
.
.
.
Ge
n
e
ra
t
e Terr inst
e
ad
o
f
T
o
bject during invali
d
refinement
commit
|
commitdiff
|
tree
2021-08-10
Mistral O
r
han
Jean
.
.
.
Log bad types to
Scuba
commit
|
commitdiff
|
tree
2021-08-10
Mistral Orhan
J
e
an
.
.
.
Ta
n
y/Terr/Tobject logg
e
r
commit
|
commitdiff
|
tree
2021-08-10
M
i
stral Orhan J
e
an
.
.
.
Set log levels f
r
om
hh
c
o
n
figur
a
tion
commit
|
commitdiff
|
tree
2021-08-04
Mistral O
r
han Jean
.
.
.
Tidy typing environment
.
commit
|
commitdiff
|
tree
2021-06-28
Mistral
Orhan Je
a
n
.
.
.
Fix bug preventi
n
g Gle
a
n
f
rom finding global revision
commit
|
commitdiff
|
tree
2021-06-15
Mistral O
r
han Jean
.
.
.
Don't forget
f
ake me
m
b
e
rs on no
n
-property-writing calls
commit
|
commitdiff
|
tree
2021-06-15
Mistral Orhan Jean
.
.
.
Make assignm
e
nt refinement an
intersection
commit
|
commitdiff
|
tree
2021-06-15
Mistr
a
l Orhan Jean
.
.
.
Optimise TVar
<
:
union of that TVa
r
s
i
m
plif
i
cation
commit
|
commitdiff
|
tree
2021-06-15
Mis
t
ral Orhan Jean
.
.
.
Si
m
p
l
ify intersectio
n
s wi
t
h type eq
u
al
i
ty
commit
|
commitdiff
|
tree
2021-06-15
Mistral Orhan
Jean
.
.
.
Make ty_equal
do physic
a
l e
q
ua
l
ity
commit
|
commitdiff
|
tree
2021-06-02
Mistral Orhan
Jean
.
.
.
D
o
cumentation for function type
f
r
om identifier
commit
|
commitdiff
|
tree
2021-06-02
Mis
t
ral Or
h
an Je
a
n
.
.
.
Array filter T
O
DO
commit
|
commitdiff
|
tree
2021-06-02
Mistral O
r
han Je
a
n
.
.
.
Pointer comment for Dis
p
o
s
able/usi
n
g
h
e
l
per
commit
|
commitdiff
|
tree
2021-06-02
Mis
t
ral
Orhan Je
a
n
.
.
.
Notes
o
n `make_call_specia
l
` and its u
s
e
commit
|
commitdiff
|
tree
2021-06-02
Mist
r
al Orha
n
Jean
.
.
.
Move echo
IO enforce
m
ent to
dedica
t
ed place
commit
|
commitdiff
|
tree
2021-06-02
Mistral Orhan Jean
.
.
.
Elimi
n
ate
u
nnece
s
sary
c
al
l
di
s
patch in
d
ir
e
ction
commit
|
commitdiff
|
tree
2021-06-01
Mistral Orh
a
n Jean
.
.
.
Global function re
f
eren
c
es are banned
commit
|
commitdiff
|
tree
2021-06-01
M
i
stral Orhan Jean
.
.
.
Log defe
r
m
ent statu
s
commit
|
commitdiff
|
tree
2021-05-27
Mistral
O
r
h
an Jean
.
.
.
Ord
e
r of evaluatio
n
in typechecker d
i
ffers from
H
HVM
commit
|
commitdiff
|
tree
2021-05-27
M
istral Orhan Jean
.
.
.
D
on't error on
m
i
ssing HHI decl
if
t
y
pecheck
i
ng is
.
.
.
commit
|
commitdiff
|
tree
2021-05-27
Mistral Orhan
J
e
a
n
.
.
.
Keep
tra
c
k o
f
co
l
lectio
n
decl
e
xistence invariant violations
commit
|
commitdiff
|
tree
2021-05-27
Mistral
O
rhan
J
e
a
n
.
.
.
Add an
error
t
o
keep t
r
ack of invari
a
nt viola
t
i
ons
commit
|
commitdiff
|
tree
2021-05-27
Mist
r
a
l
Orhan Jean
.
.
.
echo arguments should be arraykey
commit
|
commitdiff
|
tree
2021-05-26
Mi
s
tral Orhan Jean
.
.
.
Upda
t
e
closure retur
n
type
commit
|
commitdiff
|
tree
2021-05-21
Mist
r
al O
r
han Jean
.
.
.
new er
r
or code
for ba
d
ec
h
o argumen
t
commit
|
commitdiff
|
tree
2021-05-18
Mistral Orhan Jean
.
.
.
De
m
o
t
e nullsaf
e
access (?->) operator
u
se on `non
n
ull`
commit
|
commitdiff
|
tree
2021-05-18
Mistral
O
rhan Jean
.
.
.
mixed can be cast
s
tring
commit
|
commitdiff
|
tree
2021-05-14
Mistral Orhan Jean
.
.
.
Check keys
e
t values to be arraykey
s
commit
|
commitdiff
|
tree
2021-05-13
Mistra
l
Orha
n
Jean
.
.
.
Map arr
a
y indexing is no
t
checke
d
to be arra
y
key
commit
|
commitdiff
|
tree
2021-05-12
Mistral Or
h
an Jean
.
.
.
Introduce i
n
valid
keyset error
commit
|
commitdiff
|
tree
2021-05-12
Mistral Orh
a
n Je
a
n
.
.
.
XH
P
attribute ac
c
ess
can invali
d
ate the attribute
commit
|
commitdiff
|
tree
2021-05-12
Mi
s
t
ra
l
Orhan
Jean
.
.
.
Ty
p
echeck c
o
llection type a
r
gume
n
ts
commit
|
commitdiff
|
tree
2021-05-11
Mistral Orhan
J
ean
.
.
.
Test case f
o
r l
a
c
k of fake member invalidation on attribute
.
.
.
commit
|
commitdiff
|
tree
2021-05-10
M
i
stral Orhan Jean
.
.
.
Add t
h
e
opt
i
on to remove
positio
n
s
while printing ASTs
commit
|
commitdiff
|
tree
2021-04-23
M
i
s
t
r
al Orhan Jean
.
.
.
li
s
t `
c
oe
f
f
ects
.
hh
i
` as
a
dun
e
d
ependency
commit
|
commitdiff
|
tree
2021-04-23
Mistr
a
l Orhan Jean
.
.
.
Extend
s
pecial refinements of `!=
=
null` to `is non
n
u
l
l`
commit
|
commitdiff
|
tree
2021-03-30
Mistral Orhan
Jean
.
.
.
Add logging aro
u
nd
Sqli
t
e
position retr
i
eval errors
commit
|
commitdiff
|
tree
2021-02-18
Mistra
l
Orhan Jean
.
.
.
R
e
move ignored co
d
e
commit
|
commitdiff
|
tree
2021-02-15
M
istral Orhan Jean
.
.
.
Typecheck X
H
P constructors
commit
|
commitdiff
|
tree
2021-02-15
Mi
s
t
ra
l
Orh
a
n J
e
an
.
.
.
M
a
k
e Hack tests usin
g
XHP li
t
erals safe
commit
|
commitdiff
|
tree
2021-02-10
Mistral Orh
a
n
Jean
.
.
.
Fix XHP children order
i
ng in T
A
STs
commit
|
commitdiff
|
tree
2021-02-08
Mi
s
tral
Orhan Je
a
n
.
.
.
Suggest hh r
e
start in case
of exce
p
t
ion
commit
|
commitdiff
|
tree
2021-02-04
Mistra
l
Orhan Je
a
n
.
.
.
Improve
lambda p
a
rameter in
f
erence f
o
r
mix
e
d/dynam
i
c
commit
|
commitdiff
|
tree
2021-02-04
Mi
s
tral Orhan Jean
.
.
.
Refacto
r
/o
p
t
imise expected & declared lambda parame
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2021-02-01
Mi
s
tral Or
h
an Jean
.
.
.
Fix dune
t
ests
commit
|
commitdiff
|
tree
2021-01-21
M
istral Orha
n
Jea
n
.
.
.
Make
T
AST Blo
c
k free
commit
|
commitdiff
|
tree
2021-01-20
Mistral
Orhan Jean
.
.
.
Allow hh_single_typecheck to take extra h
h
i
file
s
via CLI
commit
|
commitdiff
|
tree
2021-01-20
Mistral Orhan Jean
.
.
.
N
o
magic
c
l
ass de
c
l
s
commit
|
commitdiff
|
tree
2021-01-20
Mistral Orhan Jean
.
.
.
Re
m
ove Extra_rage
commit
|
commitdiff
|
tree
2021-01-20
Mis
t
ral Orhan Jean
.
.
.
Move
hh rage implementation
commit
|
commitdiff
|
tree
2021-01-19
Mis
t
ral
Orhan Jean
.
.
.
Fix non
-
default ar
g
u
m
ent a
f
ter d
e
fa
u
lt argume
n
t chec
k
commit
|
commitdiff
|
tree
2021-01-19
Mistral Or
h
a
n Jean
.
.
.
E
x
p
a
n
d newtype
documentation
commit
|
commitdiff
|
tree
2020-12-30
M
i
stral Orhan Jean
.
.
.
F
ix constructor handlin
g
commit
|
commitdiff
|
tree
2020-12-16
Mistral
O
rhan Jean
.
.
.
Support dynam
i
c in foreach
commit
|
commitdiff
|
tree
2020-12-16
Mistral Orhan Jean
.
.
.
M
u
table coll
e
ction assignment support
commit
|
commitdiff
|
tree
2020-12-16
Mist
r
al Orhan
Jean
.
.
.
Avoid redundan
t
c
omputatio
n
commit
|
commitdiff
|
tree
2020-12-16
Mistr
a
l O
r
ha
n
J
e
a
n
.
.
.
Muta
b
l
e
collection acces
s
s
uppor
t
commit
|
commitdiff
|
tree
2020-12-09
Mistral O
r
han J
e
an
.
.
.
Mut
a
ble collection literal sup
p
o
r
t
commit
|
commitdiff
|
tree
2020-12-04
Mistr
a
l Orhan Jean
.
.
.
Pair s
u
pport
commit
|
commitdiff
|
tree
2020-12-04
Mi
s
tral Orhan
Jean
.
.
.
Tup
l
e access/
a
s
signment su
p
port
commit
|
commitdiff
|
tree
2020-12-04
M
i
str
a
l Orhan Jean
.
.
.
Iterable/Traversable support in
f
or
e
ach
commit
|
commitdiff
|
tree
2020-12-04
Mistral O
r
han J
e
a
n
.
.
.
Refactor
a
rray like types logic
commit
|
commitdiff
|
tree
2020-12-03
Mistr
a
l
Or
h
a
n Jean
.
.
.
Don't
unnecessarily g
e
n
e
r
ate dune files
commit
|
commitdiff
|
tree
2020-11-30
Mi
s
tral
Orhan Jean
.
.
.
Remove
u
n
u
sed value
c
o
l
lectio
n
kind Pair_
commit
|
commitdiff
|
tree
2020-11-26
Mistral Orhan
J
e
an
.
.
.
Lega
c
y immu
t
a
b
le
/
const arrays
commit
|
commitdiff
|
tree
2020-11-19
Mistral O
r
han Jean
.
.
.
$this is
n
o
t in the environment
commit
|
commitdiff
|
tree
2020-11-18
Mist
r
al Orhan Jea
n
.
.
.
Di
s
courage u
s
ers
f
rom runni
n
g rage un
n
ecessar
i
ly
commit
|
commitdiff
|
tree
2020-11-11
Mistral
O
rha
n
Jean
.
.
.
zoncolan:
Fi
x
build by adding Share
d
Mem
.
Backe
n
d
t
o
.
.
.
commit
|
commitdiff
|
tree
2020-11-10
Mistral O
r
han Jean
.
.
.
Handl
e
d
efault argum
e
nts to functio
n
s/methods/constructor
s
commit
|
commitdiff
|
tree
2020-11-05
Mist
r
a
l Orhan Jean
.
.
.
varray and
d
array
commit
|
commitdiff
|
tree
2020-11-05
Mist
r
a
l
Orha
n
Jean
.
.
.
f
or loop support
commit
|
commitdiff
|
tree
2020-11-05
Mistr
a
l
O
rhan Jean
.
.
.
Expor
t
refi
n
ement and join enviro
n
ments for For
statements
commit
|
commitdiff
|
tree
2020-10-27
Mistra
l
O
rhan Jean
.
.
.
Fix type updating arra
y
a
s
s
i
g
n
m
e
nt bug
commit
|
commitdiff
|
tree
2020-10-22
Mistral
O
rh
a
n Jean
.
.
.
Unco
n
vtroversi
a
l impro
v
emen
t
s
to
IFC assi
g
nme
n
t funct
i
ons
commit
|
commitdiff
|
tree
2020-10-21
Mistral
O
rh
a
n Jean
.
.
.
Allow cons
t
rain
t
solve
r
to
be position blind
commit
|
commitdiff
|
tree
2020-10-19
Mistral O
r
han J
e
a
n
.
.
.
Re
m
o
ve coverage
script
commit
|
commitdiff
|
tree
2020-10-19
Mistra
l
Orha
n
Jean
.
.
.
Add duration to c
o
vera
g
e repor
t
commit
|
commitdiff
|
tree
2020-10-19
Mistral Orh
a
n Jean
.
.
.
Abili
t
y to ti
m
e
IFC analysis per file
commit
|
commitdiff
|
tree
2020-10-16
Mi
s
tral Orhan
J
ean
.
.
.
S
u
ppor
t
f
or fore
a
ch st
a
t
e
m
ents
commit
|
commitdiff
|
tree
2020-10-16
Mistral Orhan J
e
an
.
.
.
Mor
e
r
e
finement exports on TA
S
T
commit
|
commitdiff
|
tree
2020-10-15
Mist
r
al Orhan Jean
.
.
.
F
i
x the coverage script
commit
|
commitdiff
|
tree
2020-10-12
Mistral Orh
a
n Jean
.
.
.
Gro
u
p constra
i
nts in the env
i
ronment by li
n
e num
b
e
r
commit
|
commitdiff
|
tree
2020-10-08
Mis
t
ral Orhan Jean
.
.
.
U
pd
a
te tuple an
a
lyse re
s
ult
commit
|
commitdiff
|
tree
2020-10-08
Mistral Orhan
J
e
an
.
.
.
Ha
c
k
IFC su
p
port for tuple li
t
e
r
a
ls
commit
|
commitdiff
|
tree
2020-10-07
Mistral Orhan Jean
.
.
.
Add missing eq
u
al labels t
o
suppr
e
ss warn
i
ngs
commit
|
commitdiff
|
tree
2020-10-06
M
i
s
t
r
al O
r
han Jean
.
.
.
Del
e
te stale co
m
ment from Aast
commit
|
commitdiff
|
tree
2020-10-05
Mi
s
t
ral Orhan
Jean
.
.
.
P
o
rt h
h
_fanout CLI to
Cmdliner
commit
|
commitdiff
|
tree
2020-10-01
Mistral Orh
a
n Jean
.
.
.
Hack a
r
r
a
y subtyping w
i
t
h
norma
l
c
lasses
commit
|
commitdiff
|
tree
2020-10-01
M
i
stral Orhan Jean
.
.
.
Add integrat
i
on test depend
e
ncy f
o
r dune
commit
|
commitdiff
|
tree
2020-09-28
Mistral Orhan Je
a
n
.
.
.
k
e
yset sup
p
ort
commit
|
commitdiff
|
tree
2020-09-25
Mi
s
tral Orhan Jean
.
.
.
F
l
ows due to array key
s
commit
|
commitdiff
|
tree
2020-09-25
M
istral Orhan Jean
.
.
.
OutOf
B
o
u
n
dsException
due to
H
ack arrays
commit
|
commitdiff
|
tree
2020-09-23
Mistral Orhan Jean
.
.
.
dict support
commit
|
commitdiff
|
tree
2020-09-22
Mist
r
al Orhan Jean
.
.
.
T
c
ow_
a
r
r
ay
c
ase f
o
r policy_oc
c
urrences
commit
|
commitdiff
|
tree
2020-09-22
M
i
s
tral Orhan Jean
.
.
.
F
ix
copy-on-write
commit
|
commitdiff
|
tree
2020-09-01
Mistral
Or
h
an Jean
.
.
.
Simplify
p
olicied property and generic tr
e
atment
commit
|
commitdiff
|
tree
2020-08-26
Mistr
a
l Orh
a
n Jean
.
.
.
Make
w
eaken
i
n
g/strengtheni
n
g more parsimonious
commit
|
commitdiff
|
tree
2020-08-26
Mistra
l
Orhan Jean
.
.
.
Cha
n
g
e the data sou
r
ce/si
n
k wording
to
be less def
i
nite
commit
|
commitdiff
|
tree
2020-08-26
M
i
stral Orhan Jean
.
.
.
Nominal subt
y
ping
commit
|
commitdiff
|
tree
next