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 codegen for kind() for synatx_by_ref::Syntax
2020-10-19
Noam Zilberstein
add ptype_iter2 implementat
i
on
f
or
Tc
o
w
_
array
commit
|
commitdiff
|
tree
2020-10-19
N
o
am Z
i
lb
e
rste
i
n
basic su
p
po
r
t for shapes
commit
|
commitdiff
|
tree
2020-10-14
Noam
Z
il
b
e
rst
e
i
n
remove
s
hort circuit in nonre
a
ctive
c
heck
commit
|
commitdiff
|
tree
2020-10-13
Noam Zilb
e
r
s
tein
m
a
r
k AST elements
t
h
a
t w
e
do
n
't
n
eed to handle
commit
|
commitdiff
|
tree
2020-10-13
Noam Zilbe
r
stein
add s
o
m
e
tests for c
l
ass generics
commit
|
commitdiff
|
tree
2020-10-13
N
o
a
m Z
i
lb
e
r
stein
fix subtyping rules for
cipp
commit
|
commitdiff
|
tree
2020-10-12
Noam Zil
b
e
r
st
e
i
n
implement pipes
commit
|
commitdiff
|
tree
2020-10-12
Noam Zilberstein
handle
s
witch statemen
t
s
commit
|
commitdiff
|
tree
2020-10-08
Noam Zilb
e
rst
e
in
ad
d
a
nalysis for una
r
y op
e
r
a
tor
s
commit
|
commitdiff
|
tree
2020-10-02
Noa
m
Zilberstein
b
a
sic function generics
commit
|
commitdiff
|
tree
2020-09-29
Noam
Zilberstein
t
es
t
a
f
ew
more ca
s
es
commit
|
commitdiff
|
tree
2020-09-25
Noam Zilberstein
add CippRx
commit
|
commitdiff
|
tree
2020-09-24
Noam Zilberstein
fix inheritance
rules for Cipp
commit
|
commitdiff
|
tree
2020-09-24
Noa
m
Z
i
l
bers
t
ein
Fix mul
t
iple parsing erro
r
for CippGlobal
commit
|
commitdiff
|
tree
2020-09-24
N
oam Zilberstein
suppor
t
a
s
ync/await in analysis
commit
|
commitdiff
|
tree
2020-09-21
Noam Zilbe
r
stein
Complete
t
he a
n
alysis fo
r
try-cat
c
h
commit
|
commitdiff
|
tree
2020-09-21
Noam
Zilberst
e
in
fix per-cont ty
p
ec
h
e
cking for finally
commit
|
commitdiff
|
tree
2020-09-17
Noam Z
i
lberstein
pr
e
tty printer for all locals
commit
|
commitdiff
|
tree
2020-09-17
Noam Zilberstei
n
clean up some debugging code
commit
|
commitdiff
|
tree
2020-09-14
Noam Z
i
lberstein
M
a
ke an
a
lysis resili
e
nt
to unknown synt
a
x
commit
|
commitdiff
|
tree
2020-09-14
Noam Zilberste
i
n
introduce <<CanCa
l
l>> an
n
otation
commit
|
commitdiff
|
tree
2020-09-11
Noa
m
Z
ilberstei
n
allow cipp-local t
o
call rx
commit
|
commitdiff
|
tree
2020-09-06
N
oam Zil
b
erstein
add cipp check
i
ng
to rx ha
c
k
commit
|
commitdiff
|
tree
2020-09-04
N
o
am Zi
l
b
er
s
te
i
n
s
u
pport externa
l
a
r
guments in gov
e
rned f
u
nctions
commit
|
commitdiff
|
tree
2020-09-02
Noam Zil
b
erste
i
n
refac
t
o
r
h
a
ndling of go
v
ern
e
d f
u
nctions
commit
|
commitdiff
|
tree
2020-08-20
Noam Zilberst
e
in
fix policy comparison in Fl
o
wS
e
t
s
commit
|
commitdiff
|
tree
2020-08-18
N
o
am
Z
il
b
erstein
flow analysis for lambd
a
s
commit
|
commitdiff
|
tree
2020-08-18
Noam Zilberstei
n
add ability
to
call
any expression
commit
|
commitdiff
|
tree
2020-08-14
N
o
am
Z
ilberste
i
n
do
n
ot create a ho
l
e
f
or ci
p
p ca
l
ls
commit
|
commitdiff
|
tree
2020-08-14
N
oam Zilb
e
rstein
add s
e
l
f
policy to funct
i
on types
commit
|
commitdiff
|
tree
2020-08-10
Noam Zilberst
e
in
d
e
fer e
n
t
a
ilment check to aft
e
r solvin
g
commit
|
commitdiff
|
tree
2020-08-10
Noam Zilbers
t
ein
s
u
ppo
r
t implicit policies via entailment
commit
|
commitdiff
|
tree
2020-08-05
N
oam Zil
b
ers
t
ein
add fu
n
ction
t
ypes
to anal
y
sis m
a
chiner
y
commit
|
commitdiff
|
tree
2020-07-31
Noam Z
i
lberstein
use prop
e
r entailment fo
r
f
l
ow v
i
olat
i
ons
commit
|
commitdiff
|
tree
2020-07-31
Noam Z
i
lberstein
propagate exception c
o
nstrai
n
ts ac
r
os
s
fun
c
tions
commit
|
commitdiff
|
tree
2020-07-28
Noam Zilberstein
track
e
xc
e
pti
o
n t
h
at escape from functions
commit
|
commitdiff
|
tree
2020-07-27
Noam Zilberstein
initi
a
l support f
o
r information flow in catch
commit
|
commitdiff
|
tree
2020-07-27
Noam Zilberstein
use
Hh_prelu
d
e in
ifc_env
.
ml
commit
|
commitdiff
|
tree
2020-07-17
No
a
m Zilb
e
r
s
tein
support information
f
low for
`new` expr
e
ssions
commit
|
commitdiff
|
tree
2020-07-17
Noam Zilberstein
really b
a
s
i
c support f
o
r exceptions
commit
|
commitdiff
|
tree
2020-07-09
N
o
a
m Zilberstein
mak
e
p
c
a
S
e
t instead of
a
list
commit
|
commitdiff
|
tree
2020-07-08
N
o
a
m Zilberstein
remove
gpc from cont
i
nuations
commit
|
commitdiff
|
tree
2020-07-08
N
o
am Zilberstein
correctly identif
y
info
r
mation
f
l
o
w
du
e
to e
a
rly return
.
.
.
commit
|
commitdiff
|
tree
2020-07-07
Noam Zilb
e
rstein
move lpc and gpc to mutabl
e
env
commit
|
commitdiff
|
tree
2020-05-28
N
o
a
m
Zilberstein
Use type hints in pair expressions
commit
|
commitdiff
|
tree
2020-05-27
Noa
m
Z
il
b
erstein
Fix r
e
activ
i
t
y
call-
s
ite check & subtyping
commit
|
commitdiff
|
tree
2020-05-27
Noam Zilber
s
t
ein
Pr
o
pa
g
a
t
e
Pure beyond emitter
(
n
a
ming, decl
)
commit
|
commitdiff
|
tree
2020-05-19
Noam Zil
b
erste
i
n
Allo
w
t
u
p
le expressions
i
n
attribut
e
args
commit
|
commitdiff
|
tree
2020-05-15
Noam
Zilber
s
tein
Require attributes ar
g
umen
t
s to be
literals in
l
owerer
commit
|
commitdiff
|
tree
2020-05-15
N
o
am Zilberstein
Run oxi
d
i
z
e script to regenera
t
e rus
t
code
commit
|
commitdiff
|
tree