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
Remove $this from decl_vars
2020-09-21
Noam Zilber
s
t
ein
Complete the analysis f
o
r try-catch
commit
|
commitdiff
|
tree
2020-09-21
N
o
am Zilber
s
tein
fix per-cont typechecking
for finally
commit
|
commitdiff
|
tree
2020-09-17
Noam
Z
i
lberstein
pr
e
t
ty p
r
in
t
er for
all locals
commit
|
commitdiff
|
tree
2020-09-17
N
o
a
m Zilberstein
clean up some debuggi
n
g cod
e
commit
|
commitdiff
|
tree
2020-09-14
Noam Zilber
s
t
e
in
Make a
n
al
y
s
i
s r
e
s
i
lient
to unknown synt
a
x
commit
|
commitdiff
|
tree
2020-09-14
Noam Zilbe
r
stein
i
ntrod
u
ce <<CanCa
l
l>> annotation
commit
|
commitdiff
|
tree
2020-09-11
Noam
Z
i
lbers
t
e
i
n
allow
c
ipp-local to call rx
commit
|
commitdiff
|
tree
2020-09-06
N
oam Z
i
lberstei
n
add
c
i
p
p checking to
rx
hac
k
commit
|
commitdiff
|
tree
2020-09-04
Noa
m
Zil
b
erstei
n
support external
a
rguments
i
n g
o
verned fun
c
tions
commit
|
commitdiff
|
tree
2020-09-02
Noam Zilbe
r
stein
refactor handling o
f
governed fu
n
ctions
commit
|
commitdiff
|
tree
2020-08-20
No
a
m Z
i
lb
e
rstein
fix policy comp
a
rison in FlowSets
commit
|
commitdiff
|
tree
2020-08-18
N
o
am Zilberstein
flow analysis for la
m
bdas
commit
|
commitdiff
|
tree
2020-08-18
Noam Zilberstein
add abi
l
ity to call any expre
s
sio
n
commit
|
commitdiff
|
tree
2020-08-14
Noam
Z
i
lberstein
do n
o
t
cr
e
ate
a hole fo
r
c
ipp calls
commit
|
commitdiff
|
tree
2020-08-14
Noam Zilberstein
add self
p
olicy to function t
y
pes
commit
|
commitdiff
|
tree
2020-08-10
N
o
a
m
Zilberstein
defer entailment check to aft
e
r solv
i
ng
commit
|
commitdiff
|
tree
2020-08-10
Noam Zi
l
berstein
s
u
pport implicit po
l
icies via en
t
ail
m
ent
commit
|
commitdiff
|
tree
2020-08-05
Noam Zilberstein
ad
d
fun
c
tion types to analysis machinery
commit
|
commitdiff
|
tree
2020-07-31
Noa
m
Zilberstein
use pro
p
er
e
nt
a
ilment
f
or flow violations
commit
|
commitdiff
|
tree
2020-07-31
Noam Zilberstein
propag
a
te
exception constrai
n
ts across functions
commit
|
commitdiff
|
tree
2020-07-28
Noam Zi
l
berste
i
n
track exception th
a
t esca
p
e from functions
commit
|
commitdiff
|
tree
2020-07-27
Noa
m
Z
i
lberstein
initial supp
o
rt for infor
m
ation flow in
c
atch
commit
|
commitdiff
|
tree
2020-07-27
Noam Zilberst
e
in
use Hh_prelude in ifc_env
.
ml
commit
|
commitdiff
|
tree
2020-07-17
Noam Zilberstein
su
p
port information flow fo
r
`new` expressions
commit
|
commitdiff
|
tree
2020-07-17
N
oam Zilberstein
r
eally
basic s
u
ppo
r
t
f
or
exceptions
commit
|
commitdiff
|
tree
2020-07-09
Noam Zilberstein
make pc a Set
i
nstead of a li
s
t
commit
|
commitdiff
|
tree
2020-07-08
Noam Zilb
e
rste
i
n
remove
g
pc fr
o
m cont
i
nuatio
n
s
commit
|
commitdiff
|
tree
2020-07-08
No
a
m Zilberstein
correctly identify i
n
f
ormation flow due
to early return
.
.
.
commit
|
commitdiff
|
tree
2020-07-07
No
a
m Zilber
s
tein
move lpc and gpc to mutable env
commit
|
commitdiff
|
tree
2020-05-28
Noam Zilberstein
Us
e
type
h
ints
i
n
pai
r
expressions
commit
|
commitdiff
|
tree
2020-05-27
N
oam Zil
b
erstein
Fix reactivity call-site c
h
eck & sub
t
yping
commit
|
commitdiff
|
tree
2020-05-27
Noam Zilber
s
tein
Propagate Pur
e
beyond emitter (naming, d
e
cl)
commit
|
commitdiff
|
tree
2020-05-19
Noam
Z
ilber
s
tein
A
ll
o
w
tuple exp
r
essions
i
n attribute args
commit
|
commitdiff
|
tree
2020-05-15
Noam
Z
ilberstein
Requ
i
r
e
att
r
ibutes
a
r
g
uments
to be
literals in lowe
r
er
commit
|
commitdiff
|
tree
2020-05-15
Noam Zil
b
er
s
tein
Run oxidize script to
r
egene
r
ate rust code
commit
|
commitdiff
|
tree