Public Git Hosting - hiphop-php.git/search

2021-10-15	Francesco Zappa...	make verify.sh script more robust	commit \| commitdiff \| tree
2021-10-06	Francesco Zappa...	add a new test target	commit \| commitdiff \| tree
2021-09-27	Francesco Zappa...	add the validate_pessimisation target	commit \| commitdiff \| tree
2021-09-24	Francesco Zappa...	Removing an obsolete <<__RX>> attribute in the typecheck...	commit \| commitdiff \| tree
2021-09-24	Francesco Zappa...	fix the --ignore-error-text option of verify.py	commit \| commitdiff \| tree
2021-09-16	Francesco Zappa...	forbid multiple redefinitions of constants via traits	commit \| commitdiff \| tree
2021-09-09	Francesco Zappa...	add HHVM support for the attribute __EnableMethodTraitDiamon...	commit \| commitdiff \| tree
2021-09-09	Francesco Zappa...	Add attribute __EnableMethodTraitDiamond and make it...	commit \| commitdiff \| tree
2021-09-06	Francesco Zappa...	diamond inclusion of traits via use-chains	commit \| commitdiff \| tree
2021-06-22	Francesco Zappa...	Enable diamond inclusion of enums and enum classes	commit \| commitdiff \| tree
2021-05-24	Francesco Zappa...	prevent methods being defined via "diamond trait use"	commit \| commitdiff \| tree
2021-05-21	Francesco Zappa...	remove --disallow-trait-reuse from tests in typecheck/...	commit \| commitdiff \| tree
2021-05-11	Francesco Zappa...	Methods overriding <<__SDT>> methods must be themselves...	commit \| commitdiff \| tree
2021-05-10	Francesco Zappa...	T66877858 is not a typehole, move the test	commit \| commitdiff \| tree
2021-05-05	Francesco Zappa...	Relax <<_SDT>> static method interfaces when checking...	commit \| commitdiff \| tree
2021-04-28	Francesco Zappa...	Top-level <<__SoundDynamicCallable>> functions	commit \| commitdiff \| tree
2021-04-21	Francesco Zappa...	Relax <<_SoundDynamicCallable> method interfaces when...	commit \| commitdiff \| tree
2021-04-16	Francesco Zappa...	Update <<__SoundDynamicCallable>> wrt interfaces	commit \| commitdiff \| tree
2021-04-13	Francesco Zappa...	Refine the dyn->dyn method body check when the arguments...	commit \| commitdiff \| tree
2021-04-06	Francesco Zappa...	relax the type of $this when checking if a method is...	commit \| commitdiff \| tree
2021-04-01	Francesco Zappa...	make the dynamic return type in the __SoundDynamicCallable...	commit \| commitdiff \| tree
2021-03-30	Francesco Zappa...	More informative error on properties wrt sound dynamic	commit \| commitdiff \| tree
2021-03-22	Francesco Zappa...	Add the <<__SoundDynamicCallable>> attribute and relax...	commit \| commitdiff \| tree
2021-02-16	Francesco Zappa...	Enforce Sealed attributes on enums and enum classes	commit \| commitdiff \| tree
2021-02-15	Francesco Zappa...	update disas to print the enum_includes clauses on...	commit \| commitdiff \| tree
2021-02-15	Francesco Zappa...	Improve the error message for the mitigation of S222382	commit \| commitdiff \| tree
2021-02-15	Francesco Zappa...	Fix the direct decl parser for enum supertyping	commit \| commitdiff \| tree
2021-02-12	Francesco Zappa...	track enum inclusion dependencies when loading classes	commit \| commitdiff \| tree
2021-02-12	Francesco Zappa...	prevent enum inclusion to reference classes that have...	commit \| commitdiff \| tree
2021-02-08	Francesco Zappa...	Add --enable-enum-supertyping option to hh_single_decl	commit \| commitdiff \| tree
2021-01-26	Francesco Zappa...	Export enum supertyping and enum classes dependencies...	commit \| commitdiff \| tree
2021-01-24	Francesco Zappa...	Enum Supertyping [ remove UnstableFeature gating and...	commit \| commitdiff \| tree
2021-01-21	Francesco Zappa...	Enum Supertyping [ includes E -> use E syntax change ]	commit \| commitdiff \| tree
2021-01-07	Francesco Zappa...	Well-formedness checks for traits and interfaces	commit \| commitdiff \| tree
2020-12-15	Francesco Zappa...	Enum Supertyping [ 4. hbbcc support ]	commit \| commitdiff \| tree
2020-12-14	Francesco Zappa...	naive "implements dynamic" soundness checks	commit \| commitdiff \| tree
2020-11-09	Francesco Zappa...	make enum inclusion not to affect subtyping	commit \| commitdiff \| tree
2020-10-15	Francesco Zappa...	Enum Supertyping [ 2. Compilation and runtime (extra...	commit \| commitdiff \| tree
2020-10-14	Francesco Zappa...	Enum Supertyping [ 2. Compilation and runtime (hackc...	commit \| commitdiff \| tree
2020-09-18	Francesco Zappa...	Enum Supertyping [ 3. Typechecking ]	commit \| commitdiff \| tree
2020-09-04	Francesco Zappa...	Enum Supertyping [ 1. Parsing ]	commit \| commitdiff \| tree
2020-06-17	Francesco Zappa...	compilation of PU in traits: members	commit \| commitdiff \| tree
2020-06-16	Francesco Zappa...	compilation of PU in traits: accessors	commit \| commitdiff \| tree
2020-05-15	Francesco Zappa...	fix spelling of .hhconfig option in error message	commit \| commitdiff \| tree
2020-05-06	Francesco Zappa...	Using PU syntax is only allowed in the directories...	commit \| commitdiff \| tree
2020-04-20	Francesco Zappa...	memoize accessors methods	commit \| commitdiff \| tree
2020-04-01	Francesco Zappa...	Make the duplicate use of a trait in a class an error	commit \| commitdiff \| tree
2020-04-01	Francesco Zappa...	Members functions should return a vec<string>, not...	commit \| commitdiff \| tree

RSS Atom