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
python: make unstructured annotations accessible in client class
2022-11-07
M
ax H
e
ib
e
r
Ad
d
s
u
p
port for `--
v
erbose` in interprocedural anal
y
s
i
s
commit
|
commitdiff
|
tree
2022-11-04
Ma
x
H
e
i
be
r
tests f
o
r pro
p
a
gating `
N
eeds` and `Ha
s
` c
o
n
s
traint
s
commit
|
commitdiff
|
tree
2022-11-04
Ma
x
Heiber
Rename "Param" to "Pa
r
amLike"
a
nd "Arg"
t
o "ArgLike"
commit
|
commitdiff
|
tree
2022-11-04
Max He
i
ber
Propagate 'mayb
e
need
s
'
c
o
nstraints
forward
commit
|
commitdiff
|
tree
2022-11-04
Max Heiber
Demonstrate i
s
su
e
T13676375
8
commit
|
commitdiff
|
tree
2022-11-04
Max
H
eiber
Constrain retur
n
s
commit
|
commitdiff
|
tree
2022-11-04
M
a
x
H
e
i
ber
E
n
a
b
le
interprocedural constraints
t
o p
r
opagate from
.
.
.
commit
|
commitdiff
|
tree
2022-11-03
Max Heib
e
r
P
r
op
a
gate return entit
i
es
commit
|
commitdiff
|
tree
2022-11-03
Ma
x
He
i
ber
sn
a
psh
o
t tests for interprocedural
a
naly
s
i
s
of returns
commit
|
commitdiff
|
tree
2022-11-03
Max Heiber
Structured logging mod
e
in shape_a
n
alysi
s
_lo
g
g
e
r
commit
|
commitdiff
|
tree
2022-10-28
Max Heiber
a
d
d wip tes
t
s fo
r
the inter
a
c
t
ion
of traits and constan
t
s
commit
|
commitdiff
|
tree
2022-10-27
Max Heiber
snapshot tests for classname
and constants
commit
|
commitdiff
|
tree
2022-10-27
Max Heiber
Handle self, static, super
commit
|
commitdiff
|
tree
2022-10-27
Max Hei
b
er
snapshot tests
for
s
e
lf, sta
t
ic, and parent consts
commit
|
commitdiff
|
tree
2022-10-27
Max Heib
e
r
refactor: co
m
bine `cl
o
se` log
i
c in hip
s
_s
o
lv
e
r
commit
|
commitdiff
|
tree
2022-10-27
M
ax H
e
iber
remove
u
nnecess
a
r
y patterns
commit
|
commitdiff
|
tree
2022-10-27
Max
H
ei
b
er
better formatting o
f
snap
s
hot te
s
ts
commit
|
commitdiff
|
tree
2022-10-27
M
ax H
e
iber
prop
a
gat
e
inher
i
tance:
fix two bugs
commit
|
commitdiff
|
tree
2022-10-27
Max Hei
b
er
noop refactor
:
rename functions
commit
|
commitdiff
|
tree
2022-10-27
M
ax Heiber
n
o
op
refactor: split find_cons
t
up
commit
|
commitdiff
|
tree
2022-10-27
M
a
x Heiber
Example
o
f
incorrect int
e
rprocedural solv
e
: handling
.
.
.
commit
|
commitdiff
|
tree
2022-10-27
Max Heiber
s
h
owable constr
a
ints for hips
commit
|
commitdiff
|
tree
2022-10-27
Max
Heiber
smaller
API surface
commit
|
commitdiff
|
tree
2022-10-27
M
ax
Heiber
Example of incorrect i
n
t
erprocedural sol
v
e:
s
ho
u
ld
.
.
.
commit
|
commitdiff
|
tree
2022-10-27
M
ax Hei
b
er
Example of
i
ncor
r
ectness in
i
nterprocedural shap
e
a
nalysis
commit
|
commitdiff
|
tree
2022-10-27
Max Heiber
Consi
s
ten
t
direction f
o
r
Constant
commit
|
commitdiff
|
tree
2022-10-27
Max
H
ei
b
er
consis
t
ent direc
t
ion for ConstantIdentif
i
er
commit
|
commitdiff
|
tree
2022-10-27
Max Heiber
refactor:
More ho
n
est li
e
a
b
o
u
t
for
w
ards
/
back
w
ards
.
.
.
commit
|
commitdiff
|
tree
2022-10-27
M
ax H
e
ibe
r
Delete dead code in HIP
S
commit
|
commitdiff
|
tree
2022-09-08
Ma
x
Heiber
infe
r
readonly
f
or static pr
o
ps
commit
|
commitdiff
|
tree
2022-09-08
M
a
x H
e
iber
hand
l
e
s
elf methods
commit
|
commitdiff
|
tree
2022-09-07
Max Heiber
Basi
c
s
up
p
o
rt for st
a
tic methods
commit
|
commitdiff
|
tree
2022-09-07
Max Heiber
Basi
c
han
d
ling o
f
cl
a
sses and objects
commit
|
commitdiff
|
tree
2022-08-23
Max
H
e
i
be
r
i
nfere
n
ce
commit
|
commitdiff
|
tree
2022-08-23
Max Heiber
D
o
cument how
to r
u
n s
l
ow test
s
witho
u
t repo-autho
r
i
t
a
t
ive
.
.
.
commit
|
commitdiff
|
tree
2022-08-23
Max Heiber
test type-directed by
t
ecode emis
s
ion for `readonly`
commit
|
commitdiff
|
tree
2022-08-18
Max He
i
ber
R
e
place redundant --type-
d
irected
f
lag with decl
_
proider
.
.
.
commit
|
commitdiff
|
tree
2022-08-16
Max Heibe
r
Don't wrap
`read
o
nly` expression
s
in `readonly`
commit
|
commitdiff
|
tree
2022-08-16
Max Heiber
handle name
s
pacing of p
r
imitives
commit
|
commitdiff
|
tree
2022-08-16
Max Heiber
B
asic non-local inference for `rea
d
on
l
y`
commit
|
commitdiff
|
tree
2022-08-16
Max Heib
e
r
Expose decl_
p
rovide
r
t
o
o
ur readonly infer
e
nce
.
commit
|
commitdiff
|
tree
2022-08-08
Max Heiber
test
c
a
se
for yield
i
ng a
r
eadon
l
y key
commit
|
commitdiff
|
tree
2022-08-08
Max
H
eib
e
r
Fix re
a
donly-checking h
o
le: `yield` expressions
commit
|
commitdiff
|
tree
2022-08-05
M
a
x
Heiber
Remove
`
if
self
.
is_type_ch
e
cker` check
commit
|
commitdiff
|
tree
2022-08-05
Max
Heiber
T
ake c
l
ippy suggestions in hackc
commit
|
commitdiff
|
tree
2022-08-03
Max Heib
e
r
i
ncorporat
e
feed
b
ack
:
Cow
commit
|
commitdiff
|
tree
2020-08-28
Max Hei
b
er
Ban instance properties
on abstr
a
ct f
i
nal classes
commit
|
commitdiff
|
tree