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
Fix HHBBC method resolution for non existent base methods
2022-08-05
Stefan
Z
etzsch
e
Re
n
aming string to A
.
id_ in hips_types
commit
|
commitdiff
|
tree
2022-08-05
Stefan Zet
z
sche
G
enera
t
ing inter-procedural constraints (sha
p
e-like
.
.
.
commit
|
commitdiff
|
tree
2022-08-04
Stefan Zetzsche
Lift
i
n
g deduce from in
t
r
a_constraint to
a
ny_co
n
s
t
raint
commit
|
commitdiff
|
tree
2022-08-03
Stefan
Z
etz
s
che
Ch
a
ngi
n
g m
a
rker
n
ame fro
m
"Argument" to "Debug"
commit
|
commitdiff
|
tree
2022-08-03
Ste
f
an Ze
t
z
s
che
Adding gene
r
ic dedu
c
e function
commit
|
commitdiff
|
tree
2022-08-02
Stefan Zetz
s
che
Instant
i
ati
n
g
a
n
int
e
r-
p
r
ocedur
a
l constraint s
o
lver
commit
|
commitdiff
|
tree
2022-07-27
Stefan Z
e
tz
s
che
API for inter
-
procedural cons
t
raint
solver
commit
|
commitdiff
|
tree
2022-07-21
Ste
f
an Z
e
tzsche
Add s
u
pport for i
d
x i
n
shape-like
-
dict ana
l
ysi
s
("Optional
.
.
.
commit
|
commitdiff
|
tree
2022-07-19
Stefan Zetzsche
Add support f
o
r idx in shape-li
k
e-dict an
a
lysis
commit
|
commitdiff
|
tree
2022-07-18
S
tefan
Zet
z
sc
h
e
Add s
u
pport for arithme
t
ic
e
xp
r
essions in shape-like
.
.
.
commit
|
commitdiff
|
tree
2022-07-18
Stefan Zetzs
c
he
Identifying bi
n
ary and unary operator
s
with
their AST
.
.
.
commit
|
commitdiff
|
tree