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
Lifting deduce from intra_constraint to any_constraint
2022-08-04
Stefan Zetzsche
Lifting d
e
d
uce from intra_cons
t
raint t
o
any_constrain
t
commit
|
commitdiff
|
tree
2022-08-03
Stefan Zetzsche
C
hanging marker
n
ame from "Argument"
t
o
"D
e
bug"
commit
|
commitdiff
|
tree
2022-08-03
Stef
a
n
Zetzsche
Adding
gen
e
ric deduc
e
fu
n
ct
i
on
commit
|
commitdiff
|
tree
2022-08-02
Ste
f
an Zetzsche
I
n
stantia
t
ing an
i
nter-proc
e
dural c
o
nstraint solver
commit
|
commitdiff
|
tree
2022-07-27
St
e
f
a
n Zetzsche
AP
I
for i
n
t
er-pr
o
cedural constraint
s
olver
commit
|
commitdiff
|
tree
2022-07-21
Stefa
n
Zetzs
c
he
Add support
f
or idx in s
h
ape-li
k
e-d
i
c
t analysis ("Optional
.
.
.
commit
|
commitdiff
|
tree
2022-07-19
Stefan Zetzsche
A
dd
s
upport for idx
in shape-like-dict analy
s
is
commit
|
commitdiff
|
tree
2022-07-18
Stefa
n
Z
etz
s
che
Add suppor
t
for
arithmetic
expres
s
io
n
s in sh
a
pe-like
.
.
.
commit
|
commitdiff
|
tree
2022-07-18
Stef
a
n Zetzsche
Ide
n
t
if
y
i
n
g bin
a
ry and unary
opera
t
ors with th
e
ir AST
.
.
.
commit
|
commitdiff
|
tree