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 hhconfig flag for po_enable_coeffects, clean up *.coeffects.exp and *.like_types.exp
2020-12-22
Noam Zilbe
r
s
t
e
i
n
print
f
ull message
f
o
r uncaugh
t
exception
s
commit
|
commitdiff
|
tree
2020-12-21
Noam Zilberstein
Function point
e
rs
commit
|
commitdiff
|
tree
2020-12-03
N
oam Zi
l
ber
s
tein
fix some sha
p
e
bug
s
commit
|
commitdiff
|
tree
2020-11-30
Noam
Z
il
b
e
rstein
more shape reads via Shapes
:
:idx
commit
|
commitdiff
|
tree
2020-11-18
N
oa
m
Z
ilberstei
n
basic
h
andling of dynamic
commit
|
commitdiff
|
tree
2020-11-02
Noam
Zilberste
i
n
shap
e
r
ead/writes
commit
|
commitdiff
|
tree
2020-10-22
Noam Zil
b
erstein
im
p
rove p
r
ecision of unhandle
d
syntax errors
commit
|
commitdiff
|
tree
2020-10-19
Noa
m
Zilberstein
add
p
t
y
p
e_it
e
r
2
im
p
lementation
f
or Tc
o
w_
a
rray
commit
|
commitdiff
|
tree
2020-10-19
N
o
am Zilberstein
basic support for shapes
commit
|
commitdiff
|
tree
2020-10-14
Noam Zilberstei
n
remove sh
o
r
t
circ
u
i
t
i
n
nonreactiv
e
c
heck
commit
|
commitdiff
|
tree
2020-10-13
N
oam Zilberstein
m
a
r
k
A
ST
e
l
eme
n
t
s that we
d
on't need to handle
commit
|
commitdiff
|
tree
2020-10-13
Noam Zilberstein
add som
e
tests for
c
l
a
ss ge
n
erics
commit
|
commitdiff
|
tree
2020-10-13
Noam Zilberstein
fix subtyping rule
s
for cipp
commit
|
commitdiff
|
tree
2020-10-12
Noam Zilberstein
implement pipe
s
commit
|
commitdiff
|
tree
2020-10-12
N
o
am
Zilber
s
te
i
n
handle sw
i
tch statements
commit
|
commitdiff
|
tree
2020-10-08
Noam Zil
b
erstein
add
a
nalysis for unary
operat
o
rs
commit
|
commitdiff
|
tree
2020-10-02
Noam
Zil
b
ers
t
ein
basic function
generics
commit
|
commitdiff
|
tree
2020-09-29
Noam Zilber
s
tein
test a few more
cases
commit
|
commitdiff
|
tree
2020-09-25
N
o
a
m
Zi
l
be
r
st
e
i
n
add CippRx
commit
|
commitdiff
|
tree
2020-09-24
Noam Zi
l
b
erst
e
in
fix i
n
heritance rule
s
for Cipp
commit
|
commitdiff
|
tree
2020-09-24
Noa
m
Z
i
l
b
erstein
Fix m
u
ltiple parsing error for CippGlobal
commit
|
commitdiff
|
tree
2020-09-24
No
a
m Zilbe
r
ste
i
n
suppor
t
async/awa
i
t in analy
s
is
commit
|
commitdiff
|
tree
2020-09-21
N
o
a
m
Zilberstein
C
o
mplete the analysis
f
or try-catch
commit
|
commitdiff
|
tree
2020-09-21
Noam Z
i
lberstein
fix per-
c
ont typechec
k
i
ng for finall
y
commit
|
commitdiff
|
tree
2020-09-17
Noam Z
i
lberstein
pretty prin
t
er f
o
r all
locals
commit
|
commitdiff
|
tree
2020-09-17
Noam Zilberstein
clea
n
up some debugging co
d
e
commit
|
commitdiff
|
tree
2020-09-14
Noam Zilberstein
Make analys
i
s r
e
s
i
lient to unknow
n
s
ynta
x
commit
|
commitdiff
|
tree
2020-09-14
Noa
m
Zilberstei
n
intro
d
u
ce <<CanCall>> annota
t
ion
commit
|
commitdiff
|
tree
2020-09-11
Noam Zilberstein
all
o
w cip
p
-
local
t
o call rx
commit
|
commitdiff
|
tree
2020-09-06
Noa
m
Z
i
l
ber
s
tein
add c
i
pp checking t
o
rx ha
c
k
commit
|
commitdiff
|
tree
2020-09-04
N
oam Zilber
s
tein
suppo
r
t exte
r
nal argumen
t
s
in g
o
verned fun
c
tions
commit
|
commitdiff
|
tree
2020-09-02
N
oam Z
i
lberstein
refactor
handling of governe
d
functions
commit
|
commitdiff
|
tree
2020-08-20
Noam Zilberstein
fix polic
y
compa
r
ison in F
l
owSets
commit
|
commitdiff
|
tree
2020-08-18
Noam
Zilberstein
flow analysis fo
r
lambdas
commit
|
commitdiff
|
tree
2020-08-18
N
o
a
m
Zi
l
b
e
rstei
n
add
ability t
o
call any
expres
s
ion
commit
|
commitdiff
|
tree
2020-08-14
N
oam Zi
l
berstein
do not
c
reate a
h
o
le
for ci
p
p
c
a
lls
commit
|
commitdiff
|
tree
2020-08-14
Noam Zi
l
ber
s
t
ein
add self po
l
icy t
o
functio
n
types
commit
|
commitdiff
|
tree
2020-08-10
Noam Zilbe
r
s
t
ein
defe
r
en
t
a
ilment check
t
o after s
o
lving
commit
|
commitdiff
|
tree
2020-08-10
Noam Zilber
s
t
e
i
n
s
u
ppor
t
implic
i
t policies via entailment
commit
|
commitdiff
|
tree
2020-08-05
Noam
Zilbe
r
s
t
ein
add func
t
ion typ
e
s to an
a
ly
s
is machinery
commit
|
commitdiff
|
tree
2020-07-31
No
a
m
Z
ilber
s
tein
use prope
r
entailment for
f
low vio
l
ati
o
ns
commit
|
commitdiff
|
tree
2020-07-31
Noam
Z
ilbe
r
stein
propagate excep
t
ion c
o
ns
t
rai
n
ts across f
u
nctions
commit
|
commitdiff
|
tree
2020-07-28
No
a
m Zilberst
e
in
track excep
t
ion that escape from fu
n
ct
i
ons
commit
|
commitdiff
|
tree
2020-07-27
Noam Zil
b
erstein
i
n
i
tial
support for
i
n
formation flow in
cat
c
h
commit
|
commitdiff
|
tree
2020-07-27
Noam Zilb
e
r
s
tein
use Hh_pre
l
ude in ifc_env
.
ml
commit
|
commitdiff
|
tree
2020-07-17
Noam Zilberstei
n
support i
n
formation flo
w
for `new` expres
s
ion
s
commit
|
commitdiff
|
tree
2020-07-17
Noam Zilberstein
really basic support
for exceptions
commit
|
commitdiff
|
tree
2020-07-09
Noam Zilberstei
n
make pc a Set i
n
stead of
a lis
t
commit
|
commitdiff
|
tree
2020-07-08
Noam Zilbe
r
stein
rem
o
ve gpc fro
m
continu
a
tions
commit
|
commitdiff
|
tree
2020-07-08
Noam
Zilberstein
correctly ide
n
tify i
n
formation
f
low
due to
early
r
e
tur
n
.
.
.
commit
|
commitdiff
|
tree
2020-07-07
Noam Zilberstein
move lpc an
d
gpc t
o
mutab
l
e env
commit
|
commitdiff
|
tree
2020-05-28
Noam Zil
b
erst
e
i
n
Us
e
type hin
t
s
i
n pair e
x
p
r
ess
i
o
ns
commit
|
commitdiff
|
tree
2020-05-27
Noam Z
i
lberste
i
n
Fix
reactivity cal
l
-s
i
te che
c
k & subtyping
commit
|
commitdiff
|
tree
2020-05-27
Noam
Zi
l
be
r
stein
Propagate
P
u
r
e beyond emitter (naming, decl)
commit
|
commitdiff
|
tree
2020-05-19
Noam
Zilberstei
n
Allo
w
tuple exp
r
essions i
n
attribut
e
args
commit
|
commitdiff
|
tree
2020-05-15
Noam Zilber
s
t
e
i
n
Require attributes argument
s
to be li
t
er
a
ls in lowerer
commit
|
commitdiff
|
tree
2020-05-15
Noam Zilbers
t
ein
Run oxi
d
i
z
e script
to regenerate rust code
commit
|
commitdiff
|
tree