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
Add hhconfig flag for po_enable_coeffects, clean up *.coeffects.exp and *.like_types.exp
2020-12-17
Catherine
Gasnier
minor
change
s
in File_pos_small
commit
|
commitdiff
|
tree
2020-12-14
Catherine Gas
n
ier
add
some mli file
s
commit
|
commitdiff
|
tree
2020-12-07
Catherine Gas
n
ier
C
hange
s
i
gnature of Errors
.
a
dd
_
l
ist
commit
|
commitdiff
|
tree
2020-12-03
C
atheri
n
e Ga
s
nier
add inte
r
face f
o
r Decl_anc
e
st
o
rs
and Decl_
e
num modules
commit
|
commitdiff
|
tree
2020-12-01
Catheri
n
e Gas
n
ier
add
D
ec
l
_hi
n
t
i
nterface
commit
|
commitdiff
|
tree
2020-11-27
C
atherine Ga
s
nier
r
e
factor deferring fil
e
typecheck
commit
|
commitdiff
|
tree
2020-11-10
Cath
e
ri
n
e
Gasnier
keep membe
r
h
eap
e
n
trie
s
at
hand
commit
|
commitdiff
|
tree
2020-11-10
C
atherine Gasnier
U
se Err
o
rs
.
do
_
instead of Error
s
.
try_with_result
commit
|
commitdiff
|
tree
2020-11-10
Catherine Gasnier
fix so
m
e
d
oc, inte
r
f
aces, type anno
t
ations a
n
d
mino
r
.
.
.
commit
|
commitdiff
|
tree
2020-10-26
Catherine
G
as
n
ier
S
o
me refac
t
o
r
ings in folded decls
commit
|
commitdiff
|
tree
2020-10-22
C
atherin
e
Gasnier
prevent us
i
n
g typing result when deferremen
t
has occ
u
red
commit
|
commitdiff
|
tree
2020-10-19
Catherine Gas
n
ier
cle
a
n up the pretty printer situation
commit
|
commitdiff
|
tree
2020-10-13
Catherine Gasnier
fix l
o
gging of per file typing ti
m
e
s
commit
|
commitdiff
|
tree
2020-10-07
Catherine Gas
n
ier
count to
t
a
l decling time
(fetching
+ comput
i
ng)
commit
|
commitdiff
|
tree
2020-10-06
Cat
h
erine Gasnie
r
use an
arr
a
y instead of map fo
r
counters
commit
|
commitdiff
|
tree
2020-10-06
C
atherine Gasnier
som
e
s
m
all refacto
r
ings in ServerMain
commit
|
commitdiff
|
tree
2020-10-06
Cathe
r
ine Gasn
i
e
r
Enable t
y
pecheck
c
ounter with config flag `pro
f
ile_to
t
al
_
t
yp
.
.
.
commit
|
commitdiff
|
tree
2020-10-06
C
atheri
n
e Gasnier
use
cpu t
i
me
instead of wall-c
l
oc
k
t
i
m
e i
n
counte
r
s
commit
|
commitdiff
|
tree
2020-10-06
Catherine Ga
s
n
ier
ad
d
--with-mini-state opt
i
o
n
t
o
h
h_c
l
ient
commit
|
commitdiff
|
tree
2020-10-02
Catherine Gasnier
Counters:
a
llow to enab
l
e
o
r disable counters in
d
ividually
commit
|
commitdiff
|
tree
2020-10-02
Catherin
e
Gasnier
a
g
grega
t
e tele
m
et
r
y a
c
cross
w
orker jobs
commit
|
commitdiff
|
tree
2020-10-02
Catherine Gasnier
make
i
t easier
t
o accu
m
ulate thi
n
g
s across worker
j
obs
commit
|
commitdiff
|
tree
2020-10-02
Catherine Gasnier
add
counter for typechec
k
ti
m
e
commit
|
commitdiff
|
tree
2020-10-01
Catherine Gasn
i
er
Refactor Counters
.
ml t
o
ma
k
e it e
a
s
ier to add
c
ateg
o
r
i
es
commit
|
commitdiff
|
tree
2020-09-30
C
atherine Gasnier
only r
e
ad counters
w
h
en profile
_
log o
p
tion is
s
e
t
commit
|
commitdiff
|
tree
2020-09-30
Cat
h
erine Gasnier
simplify code for logging
p
rofiling
info
commit
|
commitdiff
|
tree
2020-09-21
Catherine Gasnier
m
ore lo
g
ging in HhSer
v
erMonitor
commit
|
commitdiff
|
tree
2020-09-21
Cat
h
e
rin
e
Gasnier
add docum
e
nt
a
tion in de
c
l fetch
i
ng
commit
|
commitdiff
|
tree
2020-09-11
C
a
therine Gasni
e
r
fix anti-patt
e
rn of deconstruct
i
ng and re
c
onstru
c
ting
.
.
.
commit
|
commitdiff
|
tree
2020-09-11
Catherin
e
G
a
snier
random collection of no-o
p
improvements
commit
|
commitdiff
|
tree
2020-09-10
C
at
h
e
r
ine Gasnier
adding logging for
T
yping
_
phase
.
localiz
e
and Typ
i
ng_t
a
ccess
.
.
.
commit
|
commitdiff
|
tree
2020-09-10
Catherine Gasnier
a
d
ding comments and small re
f
actors
commit
|
commitdiff
|
tree
2020-09-10
Cathe
r
ine
G
asni
e
r
f
i
x log
spew in dune tests
commit
|
commitdiff
|
tree
2020-09-02
Cath
e
rine Gasnier
fix antipat
t
ern of
d
econstructing and reconstructi
n
g
.
.
.
commit
|
commitdiff
|
tree
2020-09-01
Catheri
n
e Gasnier
add in
t
erface for module Ty
p
ing_reason
commit
|
commitdiff
|
tree
2020-08-24
Catherine Gasni
e
r
ad
d
flag --c
u
st
o
m-t
e
l
emetry
-
data
commit
|
commitdiff
|
tree
2020-08-20
C
ath
e
rin
e
Gas
n
ier
ra
n
dom
c
omment
improvements
commit
|
commitdiff
|
tree
2020-07-29
C
at
h
eri
n
e
Gasnier
add documentati
o
n
t
o
T
y
p
ing_un
i
on functions
commit
|
commitdiff
|
tree
2020-07-22
C
ath
e
r
i
n
e Gasn
i
er
compile with facebook
clowd
e
r_past
e
instea
d
of stub
commit
|
commitdiff
|
tree
2020-06-02
C
ath
e
rine
G
asnier
use one o
f
the
wra
p
p
ers from Errors to avoid
s
urfacing
.
.
.
commit
|
commitdiff
|
tree
2020-06-02
Ca
t
heri
n
e
G
asnier
some documentat
i
on + type anonta
t
ions + r
e
n
a
mi
n
g
in
.
.
.
commit
|
commitdiff
|
tree
2020-06-01
C
ather
i
ne Gasnie
r
fi
x
careless mi
s
take in
t
r
a
nsitiv
e
closure
commit
|
commitdiff
|
tree
2020-05-27
Catherine Gasnier
f
ix linking erro
r
about vfs fun
c
tion being
defined
.
.
.
commit
|
commitdiff
|
tree
2020-05-12
C
atherine
G
as
n
ie
r
s
t
ress test
f
or transitive
c
losure
commit
|
commitdiff
|
tree
2020-05-12
Catherine Gasnier
add `
h
h_force
_
solve` pseudo function
commit
|
commitdiff
|
tree
2020-05-12
Catherine Gasnier
create t
r
ait
T
oOxidized an
d
imple
m
ent for
the envir
o
nment
commit
|
commitdiff
|
tree
2020-05-11
C
a
theri
n
e Gas
n
ier
hh_show_e
n
v p
s
eud
o
functio
n
, stubs
o
nly
commit
|
commitdiff
|
tree
2020-05-07
Catherine
G
asnier
`local
i
ze_ft`: merg
e
multiple s
u
bsts
maps wher
e
needed
commit
|
commitdiff
|
tree
2020-05-01
C
athe
r
ine
Gasnie
r
method calls
commit
|
commitdiff
|
tree
2020-05-01
Cathe
r
ine Ga
s
nier
portin
g
of
c
alls to `new`
commit
|
commitdiff
|
tree
2020-04-21
Catherine G
a
snie
r
de-tangle `new_object`
commit
|
commitdiff
|
tree
2020-04-14
Catherine G
a
snier
Implementation for `union_li
s
t`
commit
|
commitdiff
|
tree
2020-04-14
Cather
i
ne Gasnier
par
t
s
of the solver
commit
|
commitdiff
|
tree
2020-04-07
Cath
e
r
i
ne Gasni
e
r
transit
i
ve clos
u
re
commit
|
commitdiff
|
tree
2020-04-07
Catherine
Gasnier
use
a pe
r
sistent vector in for conjunc
t
ions and dis
j
unctio
n
s
commit
|
commitdiff
|
tree
2020-04-06
C
atherine
Gasnier
some hel
p
ers in typing_inf
e
r
en
c
e
_
e
n
v
.
rs
commit
|
commitdiff
|
tree
2020-04-06
Ca
t
he
r
i
n
e Gasnier
p
o
rt `prop_
t
o
_
env`
commit
|
commitdiff
|
tree
2020-04-02
Catherine Gasnier
generate variable ids locally to
t
he func
t
ion
commit
|
commitdiff
|
tree
2020-04-02
Ca
t
heri
n
e Gas
n
ier
adding primi
t
ives to typing::expr
commit
|
commitdiff
|
tree
2020-04-02
Catherine G
a
snier
mak
e
ta
s
t annotation r
e
fe
r
to positions
t
o
a
void too
.
.
.
commit
|
commitdiff
|
tree
2020-04-02
Catherine G
a
s
nier
loc
a
l
i
ze func
t
ion
p
a
rameters
commit
|
commitdiff
|
tree
2020-04-01
Catherin
e
G
a
snier
localize f
u
nctions wit
h
type arguments
commit
|
commitdiff
|
tree
2020-03-31
Cathe
r
ine Gas
n
ier
remove li
m
it of 20 itera
t
ions during unioning li
s
t
.
.
.
commit
|
commitdiff
|
tree
2020-03-30
Catherine Gasnier
im
p
lement loc
a
li
z
e_targs
commit
|
commitdiff
|
tree
2020-03-27
Catherine
G
a
s
ni
e
r
localize_targ
s
stub
commit
|
commitdiff
|
tree
2020-03-27
Catheri
n
e Gasnier
su
p
po
r
t calls
w
ith argume
n
ts
commit
|
commitdiff
|
tree
2020-03-25
Catherine Gas
n
ier
make env th
e
firs
t
parame
t
e
r
of func
t
i
o
n
s
commit
|
commitdiff
|
tree
2020-03-25
Catherine Gasnier
reorder functions in
t
y
ping
.
rs
commit
|
commitdiff
|
tree
2020-03-25
Ca
t
herine
G
asn
i
er
add fu
n
ctions stubs
for `check_call, `fun_t
y
pe_of_id
.
.
.
commit
|
commitdiff
|
tree
2020-03-24
C
a
therin
e
G
a
snier
loc
a
l
i
ze classes and gen
e
ric
s
commit
|
commitdiff
|
tree
2020-03-12
C
a
t
herin
e
Gasnier
p
orting
e
xpand_var logic to rust
commit
|
commitdiff
|
tree
2020-03-02
Catherine Gasnier
i
nfe
r
ty
p
e pa
r
am
e
te
r
s
f
or
v
arr
a
y,
d
ar
r
ay,
a
rray annotations
commit
|
commitdiff
|
tree
2020-02-29
Cat
h
erine Gasnier
m
ak
e
sure
variable
s
from the sa
m
e
type (e
.
g
.
M
ap<#1
.
.
.
commit
|
commitdiff
|
tree
2020-02-29
Ca
t
herin
e
Ga
s
nier
make type
var
id
s
from position
hashes
commit
|
commitdiff
|
tree
2020-02-28
Catherine
G
a
s
nie
r
allow to reinfe
r
PHPism_FIXME_Array
commit
|
commitdiff
|
tree
2020-02-27
Ca
t
herin
e
Gas
n
ier
for X a type to reinfer, also create a type
v
ar for
?
X
commit
|
commitdiff
|
tree
2020-02-26
Cathe
r
ine Gasnier
add te
s
t f
o
r part
i
al type annotati
o
n inference rewriting
commit
|
commitdiff
|
tree
2020-02-26
Catherine
Gasnier
allow to
infer par
t
ial
l
y
annotat
e
d clas
s
es
commit
|
commitdiff
|
tree
2020-02-26
C
atherine
G
asnier
add test alias for server_tests
.
ml
commit
|
commitdiff
|
tree
2020-02-21
Catherine G
a
sn
i
e
r
give more explicit n
a
me
t
o check_p
a
ram
a
nd
o
t
h
er renamings
commit
|
commitdiff
|
tree
2020-02-21
Catherine Gasnier
Fixing
o
ccurrence of Tnothing
w
h
i
c
h has bee
n
depre
c
ated
commit
|
commitdiff
|
tree
2020-02-20
Catherine Gasni
e
r
creat
e
global type v
a
riables for hints from the rei
n
fer_type
.
.
.
commit
|
commitdiff
|
tree
2020-02-20
Catherine Gas
n
i
er
add
o
ption
t
o specif
y
which types to reinfer
commit
|
commitdiff
|
tree
2020-02-19
Catherine Gasnier
c
o
mmand to compare solved environ
m
ents
commit
|
commitdiff
|
tree
2020-02-19
Ca
t
h
erine Gasnie
r
separate command fo
r
optimi
z
ed
s
o
l
vin
g
commit
|
commitdiff
|
tree
2020-02-19
Catheri
n
e Gasnier
ordered solver
commit
|
commitdiff
|
tree
2020-02-18
Cathe
r
ine Gasnier
avoid p
o
tential file
descriptor le
a
k
commit
|
commitdiff
|
tree
2020-02-14
Catherine Gasnier
remove all `igno
r
e`s in Ty
p
ing
commit
|
commitdiff
|
tree
2020-02-12
Catherine
G
asn
i
er
remove all `ign
o
re`s in Typin
g
_ex
t
e
nds
commit
|
commitdiff
|
tree
2020-02-12
Cath
e
rine
G
a
sn
i
er
r
e
move one more
`
i
g
nore`
commit
|
commitdiff
|
tree
2020-02-12
Catheri
n
e
G
asnier
remo
v
e one more '
i
g
nore'
commit
|
commitdiff
|
tree
2020-02-12
C
a
the
r
ine Gasnier
r
e
move o
n
e othe
r
'ignore
'
commit
|
commitdiff
|
tree
2020-02-12
Catherine Gasnier
remove call t
o
`i
g
nore`
w
hi
c
h
drops environment
commit
|
commitdiff
|
tree
2020-01-27
Catherine Gasnier
raise
exception whe
n
adding bound t
o
alrea
d
y s
o
lved
.
.
.
commit
|
commitdiff
|
tree
2020-01-27
C
atherin
e
Ga
s
nier
clean up temporary variab
l
es creat
e
d while merging
.
.
.
commit
|
commitdiff
|
tree
2020-01-27
Catherine Gasnier
un
d
o D1644
0
063 and D16
6
6
6
68
2
wh
i
ch h
a
ve been
s
uper
s
eded
.
.
.
commit
|
commitdiff
|
tree
2020-01-27
Catherine Gas
n
i
e
r
fix of
t
ype variable
b
ei
n
g discarde
d
w
i
t
h env
commit
|
commitdiff
|
tree
2020-01-27
Catherine
Gas
n
ier
f
ix global inferenc
e
for stati
c
m
ethods
commit
|
commitdiff
|
tree
2020-01-27
C
at
h
erine G
a
snier
r
aise
e
xce
p
tion when settin
g
b
ounds of alrea
d
y solve
d
.
.
.
commit
|
commitdiff
|
tree
2020-01-27
Catherine Gasnier
ra
i
s
e exc
e
ption when setting type const
a
nt or PU
access
.
.
.
commit
|
commitdiff
|
tree
next