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
Do not record inline stacks in nothrow
2021-10-08
Jan
Oravec
Do not record inline stacks in nothrow
commit
|
commitdiff
|
tree
2021-10-07
Shayn
e
Fl
e
t
c
her
missing
-lpthread fo
r
shmffi
commit
|
commitdiff
|
tree
2021-10-07
Bin Liu
reinstal
l
e
mergen
c
y aren
a
commit
|
commitdiff
|
tree
2021-10-07
Bin Liu
move vt
a
blevec out o
f
low mem
commit
|
commitdiff
|
tree
2021-10-07
Katy Voor
Fix failing
t
e
s
ts cases
commit
|
commitdiff
|
tree
2021-10-07
Scott Valentine
Update hhi with Async
M
ys
q
l
Co
n
nectionPool::
c
onne
c
tAnd
Q
u
e
r
y
commit
|
commitdiff
|
tree
2021-10-07
A
rnab De
Error if whit
e
list ex
e
c
options
a
re set
commit
|
commitdiff
|
tree
2021-10-07
A
ndr
e
w
K
e
nne
d
y
Add
test for
r
equir
e
e
xtends typ
e
hole
commit
|
commitdiff
|
tree
2021-10-07
Scott O
w
e
ns
Add a flag `--pessimise-builtins`
commit
|
commitdiff
|
tree
2021-10-07
O
g
uz Ul
g
en
E
nable re
a
do
n
l
y
call enfor
c
ement
commit
|
commitdiff
|
tree
2021-10-07
Va
s
sil Mladenov
Error f
o
r pa
r
ent::__construct in tra
i
ts
w
hen pa
r
ent
.
.
.
commit
|
commitdiff
|
tree
2021-10-07
Guilhe
r
me Ottoni
Se
t
default values for A
H
otSize and AP
r
o
f
Size to
z
ero
commit
|
commitdiff
|
tree
2021-10-07
K
e
vi
n
Vir
a
tyosin
HHVM -
Ma
r
k As
i
o\join as pure
commit
|
commitdiff
|
tree
2021-10-07
Vassil Mla
d
e
n
ov
F
ix error code Rea
d
-> Write
commit
|
commitdiff
|
tree
2021-10-07
J
a
mes Wu
Run readonl
y
ch
e
ck ba
s
ed on p
r
esence
of reado
n
ly key
w
ord
.
.
.
commit
|
commitdiff
|
tree
2021-10-06
Katy
V
oor
Fix H
h
vmDe
c
lProvider Destr
u
c
tor
commit
|
commitdiff
|
tree
2021-10-06
Lu
c
ian Wischik
Int
.
compare in ifiles-re
p
lacement
commit
|
commitdiff
|
tree
2021-10-06
Jan Or
a
vec
Re
m
ove implicit fixup
f
r
om callfa
s
tstub a
n
d DecRef
commit
|
commitdiff
|
tree
2021-10-06
W
i
lfre
d
H
ug
h
es
Fix
d
o
c co
m
ments on pipe in AAST
commit
|
commitdiff
|
tree
2021-10-06
Va
s
s
i
l Mladenov
Remove PATC definition t
y
p
echecker option
commit
|
commitdiff
|
tree
2021-10-06
Hunter Goldstein
Im
p
lement "submodules"
commit
|
commitdiff
|
tree
2021-10-06
Hunter Goldstein
Make
modu
l
es an opaque typ
e
commit
|
commitdiff
|
tree
2021-10-06
V
assil
M
l
adenov
Remove Aast
.
TCParti
a
llyAbstract
commit
|
commitdiff
|
tree
2021-10-06
Lucia
n
Wisch
i
k
F
I
L
ENAME
4/4 - namin
g
_sqli
t
e
.
rs uses NameTy
p
e
not NameKind
commit
|
commitdiff
|
tree
2021-10-06
Lucian Wis
c
hik
FI
L
ENAME
3/4
- delete the old get_fun_path etc
.
commit
|
commitdiff
|
tree
2021-10-06
L
ucian Wischi
k
F
IL
E
NAME 2
/
4
-
s
w
itch client t
o
us
e
get_f
i
l
e
name
commit
|
commitdiff
|
tree
2021-10-06
Mistra
l
Orhan Jea
n
.
.
.
Separate constrai
n
t
s
by where they ar
e
generate
d
commit
|
commitdiff
|
tree
2021-10-06
Mi
s
tr
a
l
Orhan Jean
.
.
.
Stabi
l
is
e
test out
p
ut
commit
|
commitdiff
|
tree
2021-10-06
Mistral Orhan Jean
.
.
.
Support varia
b
l
e express
i
ons and assig
n
men
t
commit
|
commitdiff
|
tree
2021-10-06
Mistral Orhan Jean
.
.
.
Add an environment
commit
|
commitdiff
|
tree
2021-10-06
Mistral
O
rhan Jean
.
.
.
Extr
a
ct basic lit
e
ral and indexing constraints
commit
|
commitdiff
|
tree
2021-10-06
Mist
r
al Or
h
an Jean
.
.
.
Flag
g
ing sh
a
pe analysis ta
r
gets
commit
|
commitdiff
|
tree
2021-10-06
Mis
t
r
a
l
O
rh
a
n Jean
.
.
.
Infrastructure f
o
r shap
e
analysis
commit
|
commitdiff
|
tree
2021-10-06
Hu
n
ter Golds
t
ein
Update `a
r
r
a
y_ma
p
` d
o
c-block past D31281504
commit
|
commitdiff
|
tree
2021-10-06
Francesco Z
a
ppa
.
.
.
add a new
t
e
st target
commit
|
commitdiff
|
tree
2021-10-06
Catherine Gasni
e
r
imp
l
emen
t
`wor
k
lo
a
d_quanti
l
e`
option
commit
|
commitdiff
|
tree
2021-10-06
Wilfred Hughes
Improve co
m
ments on desugarer
commit
|
commitdiff
|
tree
2021-10-05
Fred Emmott
Stop s
u
bmoduling wangle, us
e
externalproject_add instead
.
.
.
commit
|
commitdiff
|
tree
2021-10-05
James
Wu
Ban u
n
sa
f
e r
e
ad
o
n
ly inou
t
b
ehaviors
commit
|
commitdiff
|
tree
2021-10-05
James Wu
Introduce
readonly va
r
i
a
nt of
i
dx
commit
|
commitdiff
|
tree
2021-10-05
Fred
Emmott
update version
.
h
commit
|
commitdiff
|
tree
2021-10-05
Vassil Mladenov
Rese
r
v
e
error
c
ode for new FIXME-able error
commit
|
commitdiff
|
tree
2021-10-05
Edwin Smit
h
us
e
-Drust-2018-idioms in h
a
ck/src/dec
l
(5/N
)
commit
|
commitdiff
|
tree
2021-10-05
Oguz Ul
g
en
F
ix coeffe
c
t
s
of so
r
ting
functions
commit
|
commitdiff
|
tree
2021-10-05
Wilfred Hug
h
e
s
H
a
ck IDE: Fetch class info
r
ma
t
ion fo
r
attributes
commit
|
commitdiff
|
tree
2021-10-05
A
r
nab De
Bind VSDebugEnable
t
o r
u
n
time option EnableV
S
D
ebugger
commit
|
commitdiff
|
tree
2021-10-05
K
e
v
in Viraty
o
sin
Make `C\contains_key`, `C\contains` take
rea
d
only parameters
commit
|
commitdiff
|
tree
2021-10-05
V
i
ncen
t
Siles
preparing fo
r
ocaml
4
.
12
.
1
commit
|
commitdiff
|
tree
2021-10-05
Vassil Mladeno
v
Remove is_
c
o
n
c
r
ete argument
commit
|
commitdiff
|
tree
2021-10-05
V
assil Mladenov
Re
m
ov
e
Typing_defs
.
TCP
a
rtiallyA
b
stract
commit
|
commitdiff
|
tree
2021-10-05
Vass
i
l Mladenov
R
e
move disab
l
e_parti
a
l
l
y_abstr
a
ct_type
c
onsts option
commit
|
commitdiff
|
tree
2021-10-05
Oguz Ulgen
Call
i
ntercept han
d
ler
s
with
[
defaults] coeff
e
ct
commit
|
commitdiff
|
tree
2021-10-05
Michael Colavita
Don't per
s
is
t
coeffect auto data
i
n
ex
e
c
ution context
commit
|
commitdiff
|
tree
2021-10-04
Fred Emmott
u
p
dat
e
co
e
ffects and fixm
e
s fo
r
Locale
\
and St
r
\
commit
|
commitdiff
|
tree
2021-10-04
Fre
d
Emmot
t
re-land: Move `Str\`
over to
use new builtins
commit
|
commitdiff
|
tree
2021-10-04
David Pichardie
Fixing typechec
k
ing
for Const attribute
o
n like types
commit
|
commitdiff
|
tree
2021-10-04
Sc
o
tt Owe
n
s
T
e
s
t
case for type
h
ole
commit
|
commitdiff
|
tree
2021-10-04
Jan Mazur
Ve
n
dor cu
r
l-
s
ys crate with p
a
t
c
hed c
u
rl
commit
|
commitdiff
|
tree
2021-10-04
Bre
t
t Chik
A
dd Ha
s
h Comment Optio
n
to Repo Options
commit
|
commitdiff
|
tree
2021-10-02
Katy V
o
o
r
r
u
st::Box passes owners
h
ip of opaque
piece of Rust
.
.
.
commit
|
commitdiff
|
tree
2021-10-02
Oguz
Ulgen
Aut
o
matical
l
y compute coeffects for Object helpers
commit
|
commitdiff
|
tree
2021-10-02
Oguz Ulg
e
n
Make
i
ni
t
i
a
li
z
er
m
e
thods pure
commit
|
commitdiff
|
tree
2021-10-02
Edwin
Smith
use -Drust-2
0
1
8
-idioms
i
n arena_c
o
llections (4/N)
commit
|
commitdiff
|
tree
2021-10-02
Edw
i
n Smith
use -Drust-2018
-
idioms: a
r
ena_trait, ocamlr
e
p_deri
v
e
.
.
.
commit
|
commitdiff
|
tree
2021-10-02
Edwin Smith
use -Dr
u
st-2018-idioms in hack/src/
u
tils (2/N)
commit
|
commitdiff
|
tree
2021-10-02
Katy
V
oor
Co
n
vert
t
he decl entrypoint
t
o cxx [1/
2
]
(#890
3
)
commit
|
commitdiff
|
tree
2021-10-01
Mill
i
e Che
n
Add unit tests for ffi:
:
Facts <--> facts_rust::Facts
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Mill
i
e Chen
hackc_facts_t
o
_
j
son
_
cp
p
_f
f
i
commit
|
commitdiff
|
tree
2021-10-01
Millie Chen
Facts codebase
c
leanup
commit
|
commitdiff
|
tree
2021-10-01
Michael C
o
lav
i
ta
A
v
oid acc
e
s
s
i
n
g RDS in Coeffect
s
A
u
t
oGuard when
c
oeffe
c
ts
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
C
a
therine Gasnier
Stop typechecking when re
a
ching thre
s
h
old
commit
|
commitdiff
|
tree
2021-10-01
XiangyuGuo
Ag
e
n
t
graph gener
a
tion (#8902)
commit
|
commitdiff
|
tree
2021-10-01
Jake Bailey (Hacklang)
A
d
d ast_and_decl_parser
commit
|
commitdiff
|
tree
2021-10-01
Jake Bailey (Hacklang)
Add cst_and_
d
ec
l
_parser
commit
|
commitdiff
|
tree
2021-10-01
Jake
B
a
iley (Hacklang
)
Add PairSmartC
o
nst
r
uctors
commit
|
commitdiff
|
tree
2021-10-01
Hunter Goldstein
Rip out support for `a
r
ray_ma
p
`
commit
|
commitdiff
|
tree
2021-10-01
Cat
h
erine Gasnier
fix typ
o
in server l
o
ca
l
config lo
g
i
c
commit
|
commitdiff
|
tree
2021-10-01
Vassi
l
M
lad
e
no
v
U
s
e
inne
r
type for dependen
t
c
o
ntexts when parameter
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Ben Harriso
n
T
w
e
a
k
passing tes
t
s
.
commit
|
commitdiff
|
tree
2021-10-01
Brett Chi
k
V
e
rbosity Correcti
o
ns
commit
|
commitdiff
|
tree
2021-10-01
Nikhil Thomas
Use
Process
.
exec in
s
tead of Unix
.
system to grep for
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Jan Oravec
R
emove unne
c
essary
l
i
vefp() memory effect
from
V
erifyProp
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Lucian Wischik
converge Naming_
t
ypes 2/2
commit
|
commitdiff
|
tree
2021-10-01
Lucian Wischik
converge Naming_types
.
name
_
kind and FileInfo
.
name_ty
p
e 1
/
2
commit
|
commitdiff
|
tree
2021-10-01
Oguz Ulgen
Dont compute auto
m
a
t
ic
c
oeffects when coeffec
t
s are
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
O
guz U
l
g
en
Se
t
entrypoint and debu
g
g
e
r vm-en
t
ry
to use defau
l
t
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Oguz Ulgen
Do n
o
t
chec
k
c
o
effects/r
e
a
donly in shouldAttemptToFold
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
F
red Emmo
t
t
Add
t
a
rget for rust ffi,
reduc
e
parrel
l
ism
o
f
F
B ubuntu
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
W
ilfred Hughes
Use inter
f
a
c
es for t
y
p
e
s in ET t
y
pe tests
commit
|
commitdiff
|
tree
2021-09-30
Jonathan Ke
l
jo
Enab
l
e `unbounded_depth` featu
r
e f
o
r `s
e
rde_json`
commit
|
commitdiff
|
tree
2021-09-30
Jan Orav
e
c
Expli
c
itly
pass in
p
ut
s
to Veri
f
yRe
i
fied
{
Local,R
e
turn
.
.
.
commit
|
commitdiff
|
tree
2021-09-30
F
r
e
d
Emm
o
tt
A
dd Lo
c
ale\bytes(
)
, mark Locale\c
(
)
a
s deprecated
commit
|
commitdiff
|
tree
2021-09-30
M
illi
e
Ch
e
n
Attach
h
hco
n
fig version t
o
prefetch
s
hallow decl
dir
commit
|
commitdiff
|
tree
2021-09-30
Shayne Fletcher
Remed
i
a
l
run
a
ut
o
cargo & cargo_vendor
commit
|
commitdiff
|
tree
2021-09-30
Michael Co
l
avita
Automatic
R
unti
m
eCoeffe
c
ts
commit
|
commitdiff
|
tree
2021-09-30
Millie Chen
hac
k
c_extrac
t
_
facts_cpp_ffi
commit
|
commitdiff
|
tree
2021-09-30
M
illie Ch
e
n
Shared Fac
t
s
b
etween Rust and C++
commit
|
commitdiff
|
tree
2021-09-30
Jeff Hemphill
Use vers
i
oning to avoid querying the DB
during upd
a
tes
commit
|
commitdiff
|
tree
2021-09-29
J
ay E
d
gar
Remove
unused and unusa
b
l
e KillOnTimeout op
t
ion
commit
|
commitdiff
|
tree
2021-09-29
J
a
n
O
rave
c
Exp
l
ic
i
tly pass inputs to Ve
r
ify{Pa
r
am,Ret}* i
n
stru
c
tions
commit
|
commitdiff
|
tree
next