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
2022-09-08
Stefan Zetzsche
M
e
r
ging similar code in
s
h
a
p
e
_a
n
alysis
_
solver
.
ml
commit
|
commitdiff
|
tree
2022-09-08
Stefan Zet
z
sc
h
e
Removi
n
g du
p
lic
a
ted constraints / co
r
recting fixpoint
.
.
.
commit
|
commitdiff
|
tree
2022-09-08
St
e
f
a
n Zetzs
c
h
e
E
x
t
end
i
ng
s
ubstitute and
c
lose_iden
t
ifier
fu
n
c
tions
commit
|
commitdiff
|
tree
2022-09-08
Stefan Zetzsch
e
Global co
n
stant i
n
itialisat
i
on const
r
aint
commit
|
commitdiff
|
tree
2022-09-08
Stefan Zetzsc
h
e
Replaci
n
g
A
.
id
_
* Pos
.
t with A
.
id in
p
aram
_
entity
commit
|
commitdiff
|
tree
2022-09-08
St
e
f
an
Z
e
t
zsc
h
e
Milestone 2][Bi-directed function call substitution
.
.
.
commit
|
commitdiff
|
tree
2022-09-08
S
tefan Zetzsche
M
od
i
fi
y
ing module type I
n
ter
an
d
instantiating shape
.
.
.
commit
|
commitdiff
|
tree
2022-09-08
Stefan Zetzsc
h
e
Introduc
i
ng new i
n
t
e
r-pro
c
edural
parameter constrain
t
commit
|
commitdiff
|
tree
2022-09-08
Stefan Zetzsch
e
Fixing a typo
commit
|
commitdiff
|
tree
2022-09-08
Stefan Zetzsc
h
e
Modifyi
n
g Intra
module ty
p
e and
add
i
ng c
o
nstant closure
.
.
.
commit
|
commitdiff
|
tree
2022-09-08
Stefan Zetzsche
Introd
u
cing and generating const
a
nt and iden
t
ifier
.
.
.
commit
|
commitdiff
|
tree
2022-09-08
Stefan
Z
e
t
zsc
h
e
Renaming
o
f
constant enti
t
y
constructor
commit
|
commitdiff
|
tree
2022-09-08
S
t
efan Zetzsche
Adding support for A
.
Constan
t
an
d
A
.
I
d
to t
h
e walk
e
r
commit
|
commitdiff
|
tree
2022-09-08
Stef
a
n Zet
z
sche
En
t
itie
s
for co
n
stant and ident
i
fier, and marker for
.
.
.
commit
|
commitdiff
|
tree
2022-08-11
Stefan Ze
t
zsche
Solving inter-procedura
l
cons
t
raints in s
h
ape-like
.
.
.
commit
|
commitdiff
|
tree
2022-08-09
Ste
f
an Z
e
tzsche
I
ns
t
antia
t
ing
h
i
ps wit
h
shape-like-dict
commit
|
commitdiff
|
tree
2022-08-09
S
t
efan
Z
e
tzsc
h
e
E
q
u
ivalence
o
f two lists of any_constraints (s
h
a
p
e
.
.
.
commit
|
commitdiff
|
tree
2022-08-09
S
t
efan Zetzsche
I
mplementing sub
s
t
i
tu
t
e_inte
r
_intra (shape
-
like-dict)
commit
|
commitdiff
|
tree
2022-08-09
Stefa
n
Zetzsche
Embedding HT
.
entity into ST
.
ent
i
t
y + equality
commit
|
commitdiff
|
tree
2022-08-05
Stefan Zetzsche
Renaming
s
tring to
A
.
id_
in
h
ip
s
_types
commit
|
commitdiff
|
tree
2022-08-05
Stefan Zetzs
c
he
Generatin
g
inter-procedural const
r
aints (shape-
l
ike
.
.
.
commit
|
commitdiff
|
tree
2022-08-04
S
t
efan Zetzsche
Li
f
ting de
d
uce
f
rom intra_constraint to a
n
y_constr
a
i
nt
commit
|
commitdiff
|
tree
2022-08-03
St
e
fan Z
e
tzsche
Ch
a
nging ma
r
ker
name from "
A
rgument" to "Debug"
commit
|
commitdiff
|
tree
2022-08-03
Stefan Zetzsche
Adding generic
d
educe funct
i
on
commit
|
commitdiff
|
tree
2022-08-02
Stefan
Zetz
s
che
I
n
stantiati
n
g
an inter-procedural constraint solver
commit
|
commitdiff
|
tree
2022-07-27
St
e
fan Zetzsche
API for in
t
er-proce
d
ural const
r
aint so
l
ver
commit
|
commitdiff
|
tree
2022-07-21
Stefan
Zetzsche
Add support for idx in shape-like-dict analysi
s
("
O
p
tional
.
.
.
commit
|
commitdiff
|
tree
2022-07-19
Stefan Zetzsche
Add supp
o
r
t f
o
r idx
i
n shape-like
-
dict ana
l
ysis
commit
|
commitdiff
|
tree
2022-07-18
Ste
f
an
Z
etzsche
Add support
for
arithmetic ex
p
re
s
sions in shap
e
-like
.
.
.
commit
|
commitdiff
|
tree
2022-07-18
Stefa
n
Z
e
tzsc
h
e
Identi
f
ying binary and unary operato
r
s wit
h
the
i
r AST
.
.
.
commit
|
commitdiff
|
tree