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 an entrypoint to `Typing_solver`
2020-09-04
Q
u
ent
i
n Carbo
n
nea
u
x
Export jo
i
n and refinement information
fo
r
whil
e
l
o
ops
commit
|
commitdiff
|
tree
2020-09-03
Q
u
entin Carbonnea
u
x
a bunch
o
f ty
p
e simplif
i
cations
commit
|
commitdiff
|
tree
2020-09-03
Quent
i
n C
a
r
b
o
n
neaux
remove
polici
e
d
properti
e
s
f
r
o
m `Tc
l
ass`
commit
|
commitdiff
|
tree
2020-09-02
Quentin Carbonneaux
Clearer handling
o
f user-annotate
d
fun
c
tions
commit
|
commitdiff
|
tree
2020-08-28
Que
n
t
i
n
Carbonneaux
Mo
v
e functions
t
o c
r
eate
policied types
i
n their own
.
.
.
commit
|
commitdiff
|
tree
2020-08-26
Q
u
e
n
t
in Carbonneaux
Add
n
ew environm
e
nt a
n
no
t
ation
s
tateme
n
t
commit
|
commitdiff
|
tree
2020-06-15
Quentin Carbonneau
x
M
o
v
e
solving re
l
a
t
ed logic in
i
ts own file
commit
|
commitdiff
|
tree
2020-06-15
Q
uentin Carbonneaux
Fu
n
ction c
a
lls
b
asics
commit
|
commitdiff
|
tree
2020-06-09
Quenti
n
Carbonneaux
Piggyback union simplif
i
cati
o
n on Hac
k
commit
|
commitdiff
|
tree
2020-05-15
Quentin Carbonneaux
B
ones of
a
flow analysis
commit
|
commitdiff
|
tree
2020-04-21
Quentin Carbonne
a
ux
Che
c
k a
r
guments of call
s
on
nothing
commit
|
commitdiff
|
tree
2020-01-06
Quentin Carbonneaux
Log
t
h
e
po
s
ition being t
y
pe
-
che
c
k
e
d w
h
en a s
l
ave recei
v
e
s
.
.
.
commit
|
commitdiff
|
tree
2020-01-06
Quen
t
in
Carbonneaux
Type acces
s
es cleanup: remove choose_
a
ssigned_t
y
p
e
.
.
.
commit
|
commitdiff
|
tree
2019-12-18
Quentin Carbonneaux
Ty
p
e
a
c
c
ess
e
s
cleanup
:
sim
p
lify cr
e
a
t
e
_roo
t
_fr
o
m_type_constant
commit
|
commitdiff
|
tree
2019-12-17
Quentin Carb
o
nneaux
Type acce
s
s
e
s
cleanup: do not thread
t
he
g
e
n
erics seen
.
.
.
commit
|
commitdiff
|
tree
2019-12-17
Q
uentin
C
arbonneaux
Type ac
c
esses cleanup:
d
o not thread the expand en
v
i
ronment
commit
|
commitdiff
|
tree
2019-12-06
Q
uenti
n
C
arbonneaux
Fi
x
the
error
messa
g
e
f
or
u
nsat
i
sfi
a
ble c
o
n
s
t
raints
.
.
.
commit
|
commitdiff
|
tree
2019-06-27
Quentin Carb
o
nneaux
Simpl
i
fy timeout logi
c
i
n
the client
commit
|
commitdiff
|
tree
2016-09-13
Quentin Carbonneaux
Bu
i
ltins supp
o
rt for ke
y
sets
.
commit
|
commitdiff
|
tree
2016-08-27
Que
n
ti
n
Ca
r
b
onneaux
New
representa
t
i
o
n
for keysets
.
commit
|
commitdiff
|
tree
2016-08-16
Q
u
e
n
t
i
n Car
b
onneau
x
Ty
p
e
c
hecking s
u
pport for hack arr
a
y predica
t
es
.
commit
|
commitdiff
|
tree
2016-08-16
Quentin
Carb
o
nneaux
Auto impo
r
t vec and keyset into names
p
aces
.
commit
|
commitdiff
|
tree
2016-07-28
Quentin Carb
o
nnea
u
x
Do not emi
t
possibly in
v
alid as
s
e
rt
i
ons at funct
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2016-07-24
Quentin Carb
o
nneaux
A
void d
e
ep recu
r
sion in array buil
t
in count()
.
commit
|
commitdiff
|
tree
2016-07-20
Quentin Ca
r
bonneaux
Add support for re
f
lect
i
on on keysets
.
commit
|
commitdiff
|
tree
2016-07-20
Q
u
ent
i
n Carbonnea
u
x
Add type hints chec
k
ing for key
s
ets
.
commit
|
commitdiff
|
tree
2016-07-18
Quentin Carbonneaux
Base sup
p
ort for
k
eysets
in hack
.
commit
|
commitdiff
|
tree
2016-07-15
Quen
t
in Carbonneaux
Get rid of
m
islead
i
ng wordfil
l
()
.
commit
|
commitdiff
|
tree
2016-07-14
Q
u
e
n
t
in Carbonneaux
Keyset sup
p
o
r
t
in hhbb
c
.
commit
|
commitdiff
|
tree
2016-07-10
Quentin
Carbonneau
x
Av
o
id se
g
faults in dat
e
t
i
me
extensi
o
n
.
commit
|
commitdiff
|
tree
2016-07-10
Quentin Carbonneaux
Te
s
ts for key
s
ets
.
commit
|
commitdiff
|
tree
2016-07-01
Q
u
entin Carb
o
n
n
eaux
A
d
d NewKeyse
t
Ar
r
ay byte
c
ode ins
t
ruction
.
commit
|
commitdiff
|
tree
2016-07-01
Quentin Carbo
n
neaux
Add s
e
riali
z
ation
su
p
por
t
for
k
e
y
sets
.
commit
|
commitdiff
|
tree
2016-07-01
Quentin
Carbonneaux
Ad
d
new K
e
y
s
e
t
h
e
ade
r
kind
.
commit
|
commitdiff
|
tree
2016-07-01
Quentin
C
a
rbonneaux
A
dd suppor
t
i
ng functions fo
r
keysets to array
dat
a
.
commit
|
commitdiff
|
tree
2016-06-28
Quentin Carbonneaux
Parse key
s
et ini
t
i
a
lizati
o
n syn
t
ax
.
commit
|
commitdiff
|
tree
2016-06-23
Quentin Carbonnea
u
x
Do no
t
clo
n
e bu
i
ltin pro
p
erties (e
.
g
.
memo
i
ze cache)
.
commit
|
commitdiff
|
tree