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
Updating submodules
2023-02-20
M
ax He
i
ber
refactor han
d
le_supportdy
n
_of_fx_ty
commit
|
commitdiff
|
tree
2023-01-26
M
a
x
Heiber
update
a
rg docs for `--ev
e
rything-s
d
t`
commit
|
commitdiff
|
tree
2023-01-06
M
ax Heibe
r
repro shape analys
i
s co
d
e
m
od s
t
ri
p
ping `Awai
t
able`
.
.
.
commit
|
commitdiff
|
tree
2023-01-05
Max Hei
b
e
r
refactor_sd: Rem
o
v
e
reflexive closure (afai
c
t didn
.
.
.
commit
|
commitdiff
|
tree
2022-12-19
Ma
x
He
i
ber
Cons
e
rvati
v
ely appro
x
im
a
te calls through
O
bjGe
t
commit
|
commitdiff
|
tree
2022-12-19
Max
H
eiber
Conservatively approximate calls
to unk
n
own
f
unctions
.
.
.
commit
|
commitdiff
|
tree
2022-12-14
Max Heiber
Repro bug
T140068390: we infer
s
hapes
f
or
interfaces
.
.
.
commit
|
commitdiff
|
tree
2022-12-08
Max Heiber
Enforc
e
that hhstc --naming-table requires --root
commit
|
commitdiff
|
tree
2022-11-29
Max Heibe
r
Add ability to solve from disk: source-f
i
le-level o
r
.
.
.
commit
|
commitdiff
|
tree
2022-11-29
Max
H
eibe
r
Infra for file
-
l
e
vel
s
olving
commit
|
commitdiff
|
tree
2022-11-29
Max
Heibe
r
Li
n
k
to tasks
f
or rem
o
ving options
commit
|
commitdiff
|
tree
2022-11-21
Max Heiber
Remove
closed-world assumption fr
o
m
HIPS
commit
|
commitdiff
|
tree
2022-11-17
Ma
x
H
e
iber
Remove
s
tale TODO comments
commit
|
commitdiff
|
tree
2022-11-07
Max H
e
iber
Add s
u
pport
f
or `--verbo
s
e` in
int
e
rproce
d
ur
a
l an
a
l
y
sis
commit
|
commitdiff
|
tree
2022-11-04
Max
H
eiber
tests for propagati
n
g `
N
eeds`
an
d
`Has
`
constraints
commit
|
commitdiff
|
tree
2022-11-04
Ma
x
Heiber
Rename "Param" to "
P
aramL
i
ke" and "Arg" to "ArgLik
e
"
commit
|
commitdiff
|
tree
2022-11-04
Max
Heiber
P
r
opagate 'maybe needs
'
c
onst
r
aint
s
forward
commit
|
commitdiff
|
tree
2022-11-04
Max Heiber
Demonstrate issue T1
3
676
3
758
commit
|
commitdiff
|
tree
2022-11-04
Max Heiber
Constrain
r
etu
r
ns
commit
|
commitdiff
|
tree
2022-11-04
Max He
i
be
r
Enable
i
nt
e
rpro
c
edura
l
const
r
aints to
p
ropagate fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2022-11-03
M
ax Heiber
Propagate return entities
commit
|
commitdiff
|
tree
2022-11-03
M
a
x
Heiber
s
napshot tests fo
r
interpr
o
cedural anal
y
sis
of
r
eturns
commit
|
commitdiff
|
tree
2022-11-03
Max H
e
iber
Str
u
c
t
ur
e
d logg
i
ng
mode in
s
ha
p
e_a
n
al
y
s
is
_
log
g
er
commit
|
commitdiff
|
tree
2022-10-28
M
ax
H
eiber
a
dd wip te
s
ts
f
or th
e
inter
a
ction of tr
a
i
ts and constants
commit
|
commitdiff
|
tree
2022-10-27
M
ax Hei
b
er
snapsh
o
t tests for cl
a
ssname and constants
commit
|
commitdiff
|
tree
2022-10-27
Max Heibe
r
Handle self, static, super
commit
|
commitdiff
|
tree
2022-10-27
Max H
e
iber
snapsho
t
tests for
self, static, a
n
d pa
r
ent co
n
st
s
commit
|
commitdiff
|
tree
2022-10-27
Max
H
eiber
refactor: combine `close` l
o
g
ic in
hips_solver
commit
|
commitdiff
|
tree
2022-10-27
Max Heiber
remove unnec
e
ssa
r
y patterns
commit
|
commitdiff
|
tree
2022-10-27
Max Hei
b
er
better forma
t
ting of sna
p
s
hot te
s
ts
commit
|
commitdiff
|
tree
2022-10-27
M
ax Heiber
propagate inherita
n
c
e
: fix two bug
s
commit
|
commitdiff
|
tree
2022-10-27
Max
Heiber
noop refactor
:
rename
f
unc
t
i
o
ns
commit
|
commitdiff
|
tree
2022-10-27
Max Hei
b
er
n
o
o
p
refacto
r
: split
find_c
o
nst up
commit
|
commitdiff
|
tree
2022-10-27
M
ax Heiber
Example of in
c
orrect inter
p
roced
u
ral so
l
v
e:
h
andling
.
.
.
commit
|
commitdiff
|
tree
2022-10-27
Max H
e
ibe
r
showab
l
e const
r
ai
n
t
s
for hips
commit
|
commitdiff
|
tree
2022-10-27
M
a
x
H
e
i
b
er
sma
l
ler
API
su
r
f
ace
commit
|
commitdiff
|
tree
2022-10-27
Max Heiber
Ex
a
mpl
e
of incorrect in
t
erprocedural solve: shou
l
d
.
.
.
commit
|
commitdiff
|
tree
2022-10-27
Max Heiber
Exam
p
le of incorrectness
i
n in
t
e
rprocedural shape anal
y
s
is
commit
|
commitdiff
|
tree
2022-10-27
Max Heiber
Consiste
n
t direction fo
r
Consta
n
t
commit
|
commitdiff
|
tree
2022-10-27
Max
H
ei
b
er
c
onsist
e
nt directio
n
for
C
onst
a
ntIdentifier
commit
|
commitdiff
|
tree
2022-10-27
Max Heiber
r
e
f
a
ctor: More
hon
e
st lie abou
t
fo
r
wards/backw
a
rds
.
.
.
commit
|
commitdiff
|
tree
2022-10-27
Max Heiber
Delete d
e
ad code
in HIPS
commit
|
commitdiff
|
tree
2022-09-08
M
ax Heiber
i
n
fer r
e
a
donly
f
or sta
t
ic p
r
ops
commit
|
commitdiff
|
tree
2022-09-08
Max Heiber
h
a
ndle self methods
commit
|
commitdiff
|
tree
2022-09-07
Max Hei
b
e
r
Basic support for static methods
commit
|
commitdiff
|
tree
2022-09-07
M
a
x Heiber
B
as
i
c handling of
c
lasses and o
b
je
c
ts
commit
|
commitdiff
|
tree
2022-08-23
Max Heiber
inference
commit
|
commitdiff
|
tree
2022-08-23
Max
Heiber
D
ocument how to run slow tests withou
t
repo-authorita
t
ive
.
.
.
commit
|
commitdiff
|
tree
2022-08-23
Max Heiber
test ty
p
e-d
i
rected byteco
d
e emission for `readonly`
commit
|
commitdiff
|
tree
2022-08-18
Max Heibe
r
Replace redundant --type-directed flag with decl_proider
.
.
.
commit
|
commitdiff
|
tree
2022-08-16
Max He
i
ber
Don't wrap `readonly` expressions in `readon
l
y`
commit
|
commitdiff
|
tree
2022-08-16
Max Heiber
han
d
le namespacin
g
of pri
m
itives
commit
|
commitdiff
|
tree
2022-08-16
Max Heiber
Bas
i
c n
o
n-local inference
for `readonly`
commit
|
commitdiff
|
tree
2022-08-16
M
a
x Heiber
Expose
decl_provider to our read
o
nl
y
inferen
c
e
.
commit
|
commitdiff
|
tree
2022-08-08
Max He
i
be
r
test case for yieldi
n
g a
r
e
adonly
key
commit
|
commitdiff
|
tree
2022-08-08
M
ax Hei
b
er
Fix read
o
n
l
y-che
c
kin
g
hole:
`yield
`
expressions
commit
|
commitdiff
|
tree
2022-08-05
M
a
x Heibe
r
R
emove `if se
l
f
.
is_ty
p
e_checker`
c
h
eck
commit
|
commitdiff
|
tree
2022-08-05
Max Heibe
r
T
ake c
l
ipp
y
sugges
t
ions in hackc
commit
|
commitdiff
|
tree
2022-08-03
M
a
x Heiber
incorporate feedback:
C
ow
commit
|
commitdiff
|
tree
2020-08-28
Max
H
eib
e
r
Ban instance proper
t
ies on
a
bstract final
class
e
s
commit
|
commitdiff
|
tree