Public Git Hosting - hiphop-php.git/search

2022-03-01	Vassil Mladenov	Remove unnecessary pess_exp and pess_disabled	commit \| commitdiff \| tree
2022-02-25	Vassil Mladenov	Dynamic parameters upcasting	commit \| commitdiff \| tree
2022-02-23	Vassil Mladenov	Improve error messages for polymorphic contexts, add...	commit \| commitdiff \| tree
2022-02-17	Vassil Mladenov	Add types to constants in HHIs	commit \| commitdiff \| tree
2022-02-17	Vassil Mladenov	Back out "Add missing generated tparams and constraints...	commit \| commitdiff \| tree
2022-02-15	Vassil Mladenov	Add missing generated tparams and constraints to env...	commit \| commitdiff \| tree
2022-01-28	Vassil Mladenov	Commit exclusion list for pessimisation tests and enable...	commit \| commitdiff \| tree
2022-01-19	Vassil Mladenov	Add pessimisation test artifacts to gitignore	commit \| commitdiff \| tree
2022-01-19	Vassil Mladenov	Support ~ types on XHP attributes that are enum {'x...	commit \| commitdiff \| tree
2022-01-19	Vassil Mladenov	Approve output of 14 pessimisation tests	commit \| commitdiff \| tree
2022-01-12	Vassil Mladenov	Check wellformedness of constructor calls	commit \| commitdiff \| tree
2022-01-12	Vassil Mladenov	Check wellformedness of calls	commit \| commitdiff \| tree
2022-01-12	Vassil Mladenov	Allow effect-polymorphic supportdyn closures	commit \| commitdiff \| tree
2021-12-14	Vassil Mladenov	Pessimise enum class definitions and allow like types...	commit \| commitdiff \| tree
2021-12-06	Vassil Mladenov	Simple gating for supportdyn	commit \| commitdiff \| tree
2021-11-30	Vassil Mladenov	Unbox ~?ty expected types deeply to fix pessimised...	commit \| commitdiff \| tree
2021-11-16	Vassil Mladenov	noreturn <D: dynamic	commit \| commitdiff \| tree
2021-11-15	Vassil Mladenov	Consider return type without like type when typing...	commit \| commitdiff \| tree
2021-11-11	Vassil Mladenov	Remove unused Codegen capability	commit \| commitdiff \| tree
2021-11-10	Vassil Mladenov	Remove references to (lowercase) codegen and codegen_unsafe...	commit \| commitdiff \| tree
2021-11-10	Vassil Mladenov	Raise error when a trait is <<__ConsistentConstruct...	commit \| commitdiff \| tree
2021-11-05	Vassil Mladenov	Remove the codegen and codegen_unsafe contexts from HHI	commit \| commitdiff \| tree
2021-11-04	Vassil Mladenov	Fix hackfmt for context aliases	commit \| commitdiff \| tree
2021-11-02	Vassil Mladenov	Log prop pessimisation for assignment	commit \| commitdiff \| tree
2021-10-30	Vassil Mladenov	Expand dynamic for inference of collections and lambdas	commit \| commitdiff \| tree
2021-10-27	Vassil Mladenov	Make bidirectional type inference work for collections...	commit \| commitdiff \| tree
2021-10-27	Vassil Mladenov	Fix internal error for Generators during SDT check	commit \| commitdiff \| tree
2021-10-26	Vassil Mladenov	Make format strings magic work with like types in more...	commit \| commitdiff \| tree
2021-10-26	Vassil Mladenov	Pessimize props defined on constructors	commit \| commitdiff \| tree
2021-10-25	Vassil Mladenov	Fix bug where default constructors are made [defaults]	commit \| commitdiff \| tree
2021-10-22	Vassil Mladenov	Remove stray .out file	commit \| commitdiff \| tree
2021-10-22	Vassil Mladenov	Interpret pessimization log	commit \| commitdiff \| tree
2021-10-21	Vassil Mladenov	Factor out pessimise_type, rename things, change log...	commit \| commitdiff \| tree
2021-10-21	Vassil Mladenov	Fix DDP for supportdynamic, interpret nonnull and mixed...	commit \| commitdiff \| tree
2021-10-20	Vassil Mladenov	Log a pessimization requirement when a param subtype...	commit \| commitdiff \| tree
2021-10-15	Vassil Mladenov	Make variadic parameter dynamic when relaxing callee...	commit \| commitdiff \| tree
2021-10-13	Vassil Mladenov	Error for parent::__construct in traits when parent...	commit \| commitdiff \| tree
2021-10-13	Vassil Mladenov	Allow compilation of `as` constraints on concrete type...	commit \| commitdiff \| tree
2021-10-07	Vassil Mladenov	Error for parent::__construct in traits when parent...	commit \| commitdiff \| tree
2021-10-07	Vassil Mladenov	Fix error code Read -> Write	commit \| commitdiff \| tree
2021-10-06	Vassil Mladenov	Remove PATC definition typechecker option	commit \| commitdiff \| tree
2021-10-06	Vassil Mladenov	Remove Aast.TCPartiallyAbstract	commit \| commitdiff \| tree
2021-10-05	Vassil Mladenov	Reserve error code for new FIXME-able error	commit \| commitdiff \| tree
2021-10-05	Vassil Mladenov	Remove is_concrete argument	commit \| commitdiff \| tree
2021-10-05	Vassil Mladenov	Remove Typing_defs.TCPartiallyAbstract	commit \| commitdiff \| tree
2021-10-05	Vassil Mladenov	Remove disable_partially_abstract_typeconsts option	commit \| commitdiff \| tree
2021-10-01	Vassil Mladenov	Use inner type for dependent contexts when parameter...	commit \| commitdiff \| tree
2021-09-29	Vassil Mladenov	Implement subtyping for Tsupportdynamic	commit \| commitdiff \| tree
2021-09-29	Vassil Mladenov	Introduce supportdynamic type hint and Tsupportdynamic	commit \| commitdiff \| tree
2021-09-23	Vassil Mladenov	Use new namespace elaboration for ctx consts	commit \| commitdiff \| tree
2021-09-23	Vassil Mladenov	Add missing coeffect encapsulation tests to hphp/test	commit \| commitdiff \| tree
2021-09-20	Vassil Mladenov	Log pessimization for properties that fail sound dynamic...	commit \| commitdiff \| tree
2021-09-17	Vassil Mladenov	Require as constraint on context aliases	commit \| commitdiff \| tree
2021-09-17	Vassil Mladenov	Add another test case for short context aliases	commit \| commitdiff \| tree
2021-09-16	Vassil Mladenov	Register capabilities before saving env copy for SDT...	commit \| commitdiff \| tree
2021-09-16	Vassil Mladenov	Skip SDT parent check on non classes/interfaces	commit \| commitdiff \| tree
2021-09-15	Vassil Mladenov	Add everything_sdt typechecker option	commit \| commitdiff \| tree
2021-09-14	Vassil Mladenov	Make context validation logic over decl tys, allow...	commit \| commitdiff \| tree
2021-09-10	Vassil Mladenov	Enable __Sealed subclass check as a lint	commit \| commitdiff \| tree
2021-09-08	Vassil Mladenov	Ban partially abstract type constants by default	commit \| commitdiff \| tree
2021-08-27	Vassil Mladenov	Remove legacy c_support_dynamic_type field	commit \| commitdiff \| tree
2021-08-25	Vassil Mladenov	introduce newctx keyword for context aliases	commit \| commitdiff \| tree
2021-08-20	Vassil Mladenov	Implement projection of context constants off reified...	commit \| commitdiff \| tree
2021-08-20	Vassil Mladenov	Require exact explicit type argument count	commit \| commitdiff \| tree
2021-08-19	Vassil Mladenov	Cstr -> Constructor	commit \| commitdiff \| tree
2021-08-16	Vassil Mladenov	Allow effect polymorphic calls with only explicit tparam...	commit \| commitdiff \| tree
2021-08-16	Vassil Mladenov	Move over dependent contexts to T/[...] naming	commit \| commitdiff \| tree
2021-07-17	Vassil Mladenov	Move defaults for class constants back to Migration	commit \| commitdiff \| tree
2021-07-16	Vassil Mladenov	Write -1 m_data for constants that do not have a value...	commit \| commitdiff \| tree
2021-06-30	Vassil Mladenov	Pass unstable flag to hhvm tests	commit \| commitdiff \| tree
2021-06-29	Vassil Mladenov	Concretization for defaults of abstract constants	commit \| commitdiff \| tree
2021-06-29	Vassil Mladenov	Demote defaults for class constants to Unstable	commit \| commitdiff \| tree
2021-06-25	Vassil Mladenov	Implement default values for abstract class constants	commit \| commitdiff \| tree
2021-06-15	Vassil Mladenov	Make trait constants behave like interface constants	commit \| commitdiff \| tree
2021-06-15	Vassil Mladenov	Remove Traversable::C, Container::CMut	commit \| commitdiff \| tree
2021-05-21	Vassil Mladenov	Turn on defaults inheritance behavior and remove flag	commit \| commitdiff \| tree
2021-05-20	Vassil Mladenov	Flag to raise warning when accessing abstract context...	commit \| commitdiff \| tree
2021-05-20	Vassil Mladenov	Add flag to allow abstract type constants with defaults...	commit \| commitdiff \| tree
2021-05-07	Vassil Mladenov	Add flag to make ReflectionTypeConstant::isAbstract...	commit \| commitdiff \| tree
2021-05-07	Vassil Mladenov	Use abstract keyword to determine abstractness for...	commit \| commitdiff \| tree
2021-05-07	Vassil Mladenov	Rename isAbstract() to isAbstractAndUninit()	commit \| commitdiff \| tree
2021-05-05	Vassil Mladenov	Add flag to enable abstract context constants	commit \| commitdiff \| tree
2021-05-04	Vassil Mladenov	Update flag name	commit \| commitdiff \| tree
2021-05-04	Vassil Mladenov	Add flag to treat require extends and implements as...	commit \| commitdiff \| tree
2021-05-03	Vassil Mladenov	Add flag to error on concrete-concrete override	commit \| commitdiff \| tree
2021-04-28	Vassil Mladenov	Change type constant representation in Typing_defs...	commit \| commitdiff \| tree
2021-04-20	Vassil Mladenov	Flag to ban definitions for partially abstract type...	commit \| commitdiff \| tree
2021-04-09	Vassil Mladenov	Separate the kinds of type constants in the AST	commit \| commitdiff \| tree
2021-04-08	Vassil Mladenov	Remove fallback_expect_extension from run_idempotence_tests	commit \| commitdiff \| tree
2021-04-01	Vassil Mladenov	Flip on --hack-arr-dv-arrs for hh_single_type_check...	commit \| commitdiff \| tree
2021-03-30	Vassil Mladenov	Forbid accessing classname on Hack array type structures	commit \| commitdiff \| tree
2021-03-30	Vassil Mladenov	Do not reinterpret is/as hints for hack_arr_dv_arrs	commit \| commitdiff \| tree
2021-03-30	Vassil Mladenov	Tast check not firing on XHP	commit \| commitdiff \| tree
2021-03-30	Vassil Mladenov	HackC implementation for getValue()	commit \| commitdiff \| tree
2021-03-22	Vassil Mladenov	Add autocomplete complete support for enum atoms	commit \| commitdiff \| tree
2021-03-22	Vassil Mladenov	Fix position for enum atoms in Tast	commit \| commitdiff \| tree
2021-03-13	Vassil Mladenov	Fix last occurrence of "array_unification"	commit \| commitdiff \| tree
2021-03-11	Vassil Mladenov	rename config flag	commit \| commitdiff \| tree
2021-03-02	Vassil Mladenov	Add ignore_unsafe_cast flag	commit \| commitdiff \| tree
2021-03-02	Vassil Mladenov	Implement unsafe_cast	commit \| commitdiff \| tree
next

RSS Atom