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
timeout on tests in non-batch mode
2018-12-03
Cat
h
erine Gasnier
ti
m
e
out on tests in non-batch mode
commit
|
commitdiff
|
tree
2018-11-30
Catherine Gasni
e
r
avoid ha
v
ing "
T
R
U
E &&
"
ha
n
ging aro
u
nd in c
o
nstraints
commit
|
commitdiff
|
tree
2018-11-26
Ca
t
herine Gasnier
add --all
-
error
s
flag to n
e
w_inference test director
y
commit
|
commitdiff
|
tree
2018-11-26
Catherine Gasnier
log unsolved const
r
a
ints
a
t end
o
f
func
t
ion or
m
etho
d
commit
|
commitdiff
|
tree
2018-11-21
C
a
t
her
i
n
e G
a
snier
a
few corrections
w
ith Tany
commit
|
commitdiff
|
tree
2018-11-14
Ca
t
herine
G
asnie
r
fix nightly bui
l
d
commit
|
commitdiff
|
tree
2018-11-13
Catherine Gasn
i
e
r
move opam m
i
ni repo in its own subdir
commit
|
commitdiff
|
tree
2018-11-13
Catherine Gasnier
OSS: bu
i
ld hh
w
i
th dune
commit
|
commitdiff
|
tree
2018-11-05
Catherine
Gasnier
add Ty
p
ing_retu
r
n
.
mli
commit
|
commitdiff
|
tree
2018-10-29
Catherine Gas
n
ie
r
adding a test
f
or find_refs
fo
r
dead code
commit
|
commitdiff
|
tree
2018-10-27
Cather
i
ne
Gas
n
ier
tr
a
verse dea
d
c
ode to pr
o
perly a
d
d dependencies
commit
|
commitdiff
|
tree
2018-10-24
Cath
e
rine Gasn
i
er
Pha
s
e
to
t
y
pecheck the TAST (pro
t
otype)
commit
|
commitdiff
|
tree
2018-10-19
Catherine Gasni
e
r
log in
f
erence
c
onstraints
i
nto Sc
u
ba
commit
|
commitdiff
|
tree
2018-10-18
Catherine Ga
s
ni
e
r
split
t
i
n
g lint
.
ml
commit
|
commitdiff
|
tree
2018-10-17
Catheri
n
e Gas
n
ier
cha
n
ge t
y
pe
o
f unbo
u
nd_mode
commit
|
commitdiff
|
tree
2018-10-17
Catheri
n
e Gasnier
rename functions in Local_id
commit
|
commitdiff
|
tree
2018-10-17
C
a
therin
e
Gasnier
reva
m
p p
i
pe scope
s
a
n
d p
i
pe variable
s
commit
|
commitdiff
|
tree
2018-10-17
Cath
e
rine Gasn
i
er
fix cont
r
ol fl
o
w in nami
n
g p
h
ase
commit
|
commitdiff
|
tree
2018-10-17
Cath
e
ri
n
e
G
a
snier
small
r
e
f
a
c
torization in Typing_l
o
g
commit
|
commitdiff
|
tree
2018-10-17
Catherine Gasnier
fix printing of
s
ubtyping propositions
commit
|
commitdiff
|
tree
2018-10-15
Catherine Gasnier
pri
n
t more
d
ebug info
i
n
c
a
se of exce
p
tion
commit
|
commitdiff
|
tree
2018-10-14
Catherine Gasnier
k
e
ep info about what
variables are assigned in unsaf
e
.
.
.
commit
|
commitdiff
|
tree
2018-10-12
Catherine Gasnie
r
fix
a
ssi
g
n
men
t
in
c
onjunct
i
on of
cond
i
tionals
commit
|
commitdiff
|
tree
2018-10-12
Cath
e
rine Gasnier
not all
c
alls invalidate fake member
s
commit
|
commitdiff
|
tree
2018-10-11
Catherine Gas
n
ier
Ad
d
ing documentation, inte
r
face an
d
type annotations
.
.
.
commit
|
commitdiff
|
tree
2018-10-10
Catherine Gasnier
r
e
move various dead cod
e
commit
|
commitdiff
|
tree
2018-09-13
C
a
therine Gasnier
al
l
ow refine
m
en
t
of shape
type using
nullity Shapes
.
.
.
commit
|
commitdiff
|
tree
2018-09-13
Catherine
Gasnier
unio
n
is n
o
t u
n
ification
commit
|
commitdiff
|
tree
2018-09-13
Catherine G
a
snier
Kill Nast_terminality
commit
|
commitdiff
|
tree
2018-09-06
Catherine Gasnier
fi
x
i
n
finite loops
commit
|
commitdiff
|
tree
2018-09-05
C
at
h
erine Gasnier
handle
p
oss
i
ble absence of
N
ext continuation using
.
.
.
commit
|
commitdiff
|
tree
2018-09-05
Catherin
e
G
a
snier
adding
tests
for type unio
n
s
commit
|
commitdiff
|
tree
2018-09-05
Catherine Gasnier
rem
o
ve
t
ypecheck:format tests
commit
|
commitdiff
|
tree
2018-09-04
C
a
therine
Gasnier
avoid calling
`expr` twice on sam
e
e
x
pression
commit
|
commitdiff
|
tree
2018-08-30
Catherine
Gasnier
d
isallo
w
keywords
a
s identifiers
commit
|
commitdiff
|
tree
2018-08-29
C
a
therine
G
a
snier
Allow all errors on
s
o
me t
y
p
e
check t
e
sts
commit
|
commitdiff
|
tree
2018-08-29
C
atherine Gasnier
m
ake hack case sensitive for keywords
commit
|
commitdiff
|
tree
2018-08-29
Catherin
e
Gasnier
fix assignment in conditi
o
nals + refinements
w
i
th conjunctio
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Catheri
n
e Ga
s
nier
fix assign
m
ent in loop condit
i
o
n
al
commit
|
commitdiff
|
tree
2018-07-23
Cather
i
ne Gasnier
fix
stack over
f
low on shape unions
commit
|
commitdiff
|
tree
2018-07-18
Catherine Gasnier
i
g
nore hack k
e
ywords in p
h
p f
i
les
commit
|
commitdiff
|
tree
2018-07-17
C
ather
i
ne Gasni
e
r
tast for do loops should b
e
unio
n
of all
iter
a
ti
o
ns
commit
|
commitdiff
|
tree
2018-07-10
Catherine Ga
s
nier
c
o
ncrete const
a
nts must have initiali
z
er
commit
|
commitdiff
|
tree
2018-07-09
Catherine Gasnier
bug i
n
`current_token_
t
ext`
commit
|
commitdiff
|
tree
2018-07-09
Catherin
e
Gasnier
av
o
id fatal whe
n
parsing xhp spread attribute
commit
|
commitdiff
|
tree
2018-07-05
C
atherine Gasni
e
r
avoid fatal with illeg
a
l '<' in xhp body
commit
|
commitdiff
|
tree
2018-07-05
Cathe
r
ine Ga
s
nier
Account for HH_FIXMEs for parsi
n
g errors
commit
|
commitdiff
|
tree
2018-07-05
Catherine Gasnier
avoi
d
fatal whe
n
parsing tra
i
t us
e
with conf
l
ic
t
resolutio
n
commit
|
commitdiff
|
tree
2018-06-22
C
a
therine Gasnier
di
s
allow `
.
.
.
=
=> asyn
c
{
.
.
.
}
`
for no
n
-codegen
b
ackends
commit
|
commitdiff
|
tree
2018-06-20
Catherine Gasnier
add index
t
o g
e
nerat
e
d pdf
commit
|
commitdiff
|
tree
2018-06-19
C
atherine Gasnier
Ty
p
ing with
c
on
t
inuations: f
i
xing cont
r
ol flow
commit
|
commitdiff
|
tree
2018-06-19
C
ath
e
r
in
e
Gasnier
disallow `instanc
e
of (sometoken)` as amb
i
guo
u
s
commit
|
commitdiff
|
tree
2018-06-05
Catheri
n
e
Gasnier
add
d
ebug
f
unction to
c
om
p
ute s
i
ze of type
commit
|
commitdiff
|
tree
2018-06-04
C
a
therine Gasnier
fix --remove-hh-fixme option
commit
|
commitdiff
|
tree
2018-05-01
Catherine Gas
n
ier
Same l
e
v
el of co
m
p
i
la
t
ion
warning everywhere
commit
|
commitdiff
|
tree
2018-04-19
Cathe
r
ine Ga
s
nier
make
T
yping_unify_recursive
.
f
i
n
dFirstVa
r
OrO
p
tionVar
.
.
.
commit
|
commitdiff
|
tree
2018-04-17
Catherine Gasnier
fix bu
g
i
n typi
n
g_un
i
f
y
_
r
e
cursive
commit
|
commitdiff
|
tree
2018-03-13
C
a
therine Gasnier
make stats fo
r
mismatched
.
srcloc
commit
|
commitdiff
|
tree
2018-03-08
Cat
h
erine Gasnie
r
Remove passing tests from list of failing tests
commit
|
commitdiff
|
tree
2018-02-16
Ca
t
herine Gasnier
Up
d
a
t
e expected
error message on
hp
h
p
/
te
s
t/slow/preg
.
.
.
commit
|
commitdiff
|
tree
2018-02-12
C
a
t
h
erine Gasnier
fi
x
xh
p
type con
s
tant
commit
|
commitdiff
|
tree
2018-02-07
Cather
i
ne Gasnie
r
correct parsi
n
g of `new A::
$
b[$x](
)
`
commit
|
commitdiff
|
tree
2018-02-01
Catherine Gasnie
r
Remove passing test from list of
failing tests
commit
|
commitdiff
|
tree
2018-01-31
Ca
t
heri
n
e
Gas
n
i
e
r
s
upport doc block
s
for PHP ano
n
ymous functions
commit
|
commitdiff
|
tree
2018-01-30
Cat
h
eri
n
e Gasn
i
er
expre
s
sions
l
ike
v
ec[0] should be interpreted as subs
c
ript
.
.
.
commit
|
commitdiff
|
tree
2018-01-30
Ca
t
her
i
ne Gasnier
forbid
goto
fr
o
m
t
ry to finally
commit
|
commitdiff
|
tree
2018-01-19
C
a
therine Gasnier
fi
x
w
r
ong f
o
rmatting of typechecker test
.
commit
|
commitdiff
|
tree
2018-01-17
C
atherine
Gasnier
fix
and simpl
i
fy typechecking of ?-> (
n
u
l
ls
a
f
e
get)
commit
|
commitdiff
|
tree
2017-12-22
Cathe
r
ine
Gasnier
properly triple quote
i
n
hhb
c
_hhas
commit
|
commitdiff
|
tree
2017-12-19
Catherine
G
a
snier
s
t
a
ndard co
n
stant redefiniti
o
n
w
ith aliases
commit
|
commitdiff
|
tree
2017-12-19
Cath
e
r
in
e
G
a
sni
e
r
cleanup tes
t
not com
p
liant to spec (for HackC)
commit
|
commitdiff
|
tree
2017-12-12
Cath
e
rine G
a
snier
fix fun
c
all typin
g
with spread argum
e
nt
commit
|
commitdiff
|
tree
2017-12-11
Cath
e
rine Gasnier
Concat and CastString are equiv
a
lent
i
n some cases
commit
|
commitdiff
|
tree
2017-12-07
Ca
t
herine Gasnier
refuse t
y
pe hi
n
ts like f
o
o\int
commit
|
commitdiff
|
tree
2017-11-29
Catherine G
a
snier
support
a
n
onymous classes
commit
|
commitdiff
|
tree
2017-11-29
Catherine Gasnier
parse b
i
nary strings
commit
|
commitdiff
|
tree
2017-11-16
Catherine Gasni
e
r
s
u
pport
ex
t
ended a
s
c
i
i characters i
n
identifiers
commit
|
commitdiff
|
tree
2017-11-15
Catherin
e
G
a
snier
o
c
tals wi
t
h
in subscript brackets no
t
truncated
commit
|
commitdiff
|
tree
2017-11-15
C
a
therin
e
Gasnier
litterals
s
tarting with
0 with non-oc
t
al digi
t
s sho
u
ld
.
.
.
commit
|
commitdiff
|
tree
2017-11-15
Cat
h
erin
e
Gasnier
bug
fix in parsing
i
n
teger li
t
erals in strings as strin
g
s
commit
|
commitdiff
|
tree
2017-11-15
Catherine Gasnier
Bare
t
his vs loca
l
this
commit
|
commitdiff
|
tree
2017-11-03
C
a
therine Gasnie
r
su
p
port $this++
commit
|
commitdiff
|
tree
2017-10-16
Catherine Ga
s
nier
Fix pretty printing of types on
special
cases
commit
|
commitdiff
|
tree