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
Represent capabilities as sealed interface hierarchies
2020-08-10
N
oam Zil
b
ers
t
ein
d
e
f
e
r entailment c
h
eck to
afte
r
sol
v
ing
commit
|
commitdiff
|
tree
2020-08-10
Noam Z
i
lberstein
sup
p
ort im
p
lic
i
t polic
i
e
s
via
entail
m
e
nt
commit
|
commitdiff
|
tree
2020-08-05
N
oa
m
Zilberstein
add function types t
o
analysi
s
machinery
commit
|
commitdiff
|
tree
2020-07-31
No
a
m Zilberstein
u
se pro
p
er ent
a
i
lme
n
t for f
l
o
w
violati
o
ns
commit
|
commitdiff
|
tree
2020-07-31
Noam Zilberstein
propagat
e
exc
e
ption con
s
traint
s
a
c
ro
s
s functions
commit
|
commitdiff
|
tree
2020-07-28
Noam
Z
ilberstein
trac
k
excep
t
ion that escap
e
from functions
commit
|
commitdiff
|
tree
2020-07-27
Noam Zilberstein
initi
a
l support
for informatio
n
flow in catch
commit
|
commitdiff
|
tree
2020-07-27
Noam
Z
ilberstein
u
se Hh
_
prelud
e
in ifc_env
.
ml
commit
|
commitdiff
|
tree
2020-07-17
Noam Zilberstein
support in
f
o
r
mation flow for `new` exp
r
essions
commit
|
commitdiff
|
tree
2020-07-17
Noam
Zilberstein
really basic
s
up
p
ort fo
r
exceptions
commit
|
commitdiff
|
tree
2020-07-09
Noam
Zilberstein
m
ake
pc a
Set instead of a list
commit
|
commitdiff
|
tree
2020-07-08
Noam Zilberst
e
in
remov
e
gpc f
r
om
c
ontinuati
o
ns
commit
|
commitdiff
|
tree
2020-07-08
Noam Zilbers
t
ein
correctly identify information flow due to ear
l
y return
.
.
.
commit
|
commitdiff
|
tree
2020-07-07
N
o
am Zi
l
berstei
n
move lpc and gpc t
o
mu
t
able env
commit
|
commitdiff
|
tree
2020-05-28
Noam Zilb
e
rstein
Us
e
type hints in
pair e
x
pressions
commit
|
commitdiff
|
tree
2020-05-27
N
o
a
m
Zilbers
t
ein
Fix rea
c
tivity call-si
t
e
c
heck
& subt
y
p
i
ng
commit
|
commitdiff
|
tree
2020-05-27
Noam Zilberstein
Propag
a
t
e Pur
e
beyon
d
e
m
itter
(nam
i
n
g, decl)
commit
|
commitdiff
|
tree
2020-05-19
Noam
Z
ilberstein
A
l
low tuple
expr
e
ssions
in at
t
ribu
t
e args
commit
|
commitdiff
|
tree
2020-05-15
Noam Zilbe
r
s
tein
Require at
t
r
ibu
t
es arguments t
o
be literals in lowere
r
commit
|
commitdiff
|
tree
2020-05-15
Noam Zilberstei
n
Ru
n
oxidize
s
c
r
ipt
t
o regenerate rust
c
ode
commit
|
commitdiff
|
tree