Public Git Hosting - hiphop-php.git/search

2020-12-11	Andrew Kennedy	Force parser cache flushing and GC to avoid exiting...	commit \| commitdiff \| tree
2020-12-11	Andrew Kennedy	Add mli file for typing_check_service	commit \| commitdiff \| tree
2020-11-17	Andrew Kennedy	Avoid adding dependencies on hhi definitions	commit \| commitdiff \| tree
2020-11-16	Andrew Kennedy	Treat FormatString as a newtype	commit \| commitdiff \| tree
2020-11-15	Andrew Kennedy	New function get_class_or_typedef	commit \| commitdiff \| tree
2020-11-12	Andrew Kennedy	Refactor typing_variance to use Typing_env.env	commit \| commitdiff \| tree
2020-11-11	Andrew Kennedy	Add mli file for typing_variance	commit \| commitdiff \| tree
2020-11-11	Andrew Kennedy	Do not register dependencies when declaring hints	commit \| commitdiff \| tree
2020-11-04	Andrew Kennedy	Make Taccess take just a single identifier not a path	commit \| commitdiff \| tree
2020-11-04	Andrew Kennedy	Remove redundant uses of Cls.pos	commit \| commitdiff \| tree
2020-11-02	Andrew Kennedy	Remove redundant calls to Cls.tparams	commit \| commitdiff \| tree
2020-11-01	Andrew Kennedy	Translate Haccess hint into nested used of Taccess	commit \| commitdiff \| tree
2020-10-28	Andrew Kennedy	Make Taccess both a locl_ty and a decl_ty	commit \| commitdiff \| tree
2020-10-26	Andrew Kennedy	Type constant access through intersections and unions	commit \| commitdiff \| tree
2020-10-22	Andrew Kennedy	Remove legacy arrays	commit \| commitdiff \| tree
2020-10-14	Andrew Kennedy	Remove redundant calls to static_class_id	commit \| commitdiff \| tree
2020-10-08	Andrew Kennedy	Show upper bound of dependent type when pretty printing	commit \| commitdiff \| tree
2020-09-25	Andrew Kennedy	Another simple case of extracting just a Tclass	commit \| commitdiff \| tree
2020-09-25	Andrew Kennedy	Factor out exhaustive case analysis to find Tclass...	commit \| commitdiff \| tree
2020-09-25	Andrew Kennedy	Replace special casing for shape keys by subtype against...	commit \| commitdiff \| tree
2020-09-21	Andrew Kennedy	For equality on decl types do not be sensitive to position	commit \| commitdiff \| tree
2020-09-17	Andrew Kennedy	New configuration setting to set sample rate for typechecking	commit \| commitdiff \| tree
2020-09-15	Andrew Kennedy	Treat calls through multiple upper bounds as call through...	commit \| commitdiff \| tree
2020-09-09	Andrew Kennedy	Fix build break after oxidized regen	commit \| commitdiff \| tree
2020-09-02	Andrew Kennedy	Check well-formedness of where constraints on methods...	commit \| commitdiff \| tree
2020-09-02	Andrew Kennedy	Remove redundant check for overriding final method...	commit \| commitdiff \| tree
2020-09-01	Andrew Kennedy	Better error reporting for missing types in type constant...	commit \| commitdiff \| tree
2020-08-27	Andrew Kennedy	Small refactoring in override checks	commit \| commitdiff \| tree
2020-08-26	Andrew Kennedy	Taint positions derived from reasons and report tainted...	commit \| commitdiff \| tree
2020-08-25	Andrew Kennedy	Simplify variance checks to be ready for intersection...	commit \| commitdiff \| tree
2020-08-14	Andrew Kennedy	Produce error for incorrect mode syntax even when modes...	commit \| commitdiff \| tree
2020-08-11	Andrew Kennedy	Remove dead expr_hook feature	commit \| commitdiff \| tree
2020-08-10	Andrew Kennedy	Align heap slots on word instead of cacheline boundaries	commit \| commitdiff \| tree
2020-08-10	Andrew Kennedy	Log shared heap stats about total bytes including header...	commit \| commitdiff \| tree
2020-08-05	Andrew Kennedy	Avoid some more calls to subtype_method	commit \| commitdiff \| tree
2020-08-05	Andrew Kennedy	Avoid redundant calls to subtype_method	commit \| commitdiff \| tree
2020-08-05	Andrew Kennedy	Change subtype_method_decl so that it restores global_tpenv	commit \| commitdiff \| tree
2020-08-04	Andrew Kennedy	Move check for override attribute into typing	commit \| commitdiff \| tree
2020-07-29	Andrew Kennedy	Reject multiple implementation or extension of interfaces...	commit \| commitdiff \| tree
2020-07-28	Andrew Kennedy	Move tests for yield statement into own directory	commit \| commitdiff \| tree
2020-07-28	Andrew Kennedy	Move magic methods tests into their own directory	commit \| commitdiff \| tree
2020-07-28	Andrew Kennedy	Move array_map and array_filter tests into own dir	commit \| commitdiff \| tree
2020-07-25	Andrew Kennedy	Do not report duplicate (bad position) errors for type...	commit \| commitdiff \| tree
2020-07-22	Andrew Kennedy	Fix position for missing type const member on type	commit \| commitdiff \| tree
2020-07-22	Andrew Kennedy	Rename nastCheck module	commit \| commitdiff \| tree
2020-07-09	Andrew Kennedy	Check trait use for constraint satisfaction	commit \| commitdiff \| tree
2020-07-06	Andrew Kennedy	Fix unsoundness in overriding of generic method with...	commit \| commitdiff \| tree
2020-07-02	Andrew Kennedy	Remove some uses of the Hashtbl.find API in decl heap	commit \| commitdiff \| tree
2020-07-01	Andrew Kennedy	Remove redundant generics from Shapes methods	commit \| commitdiff \| tree
2020-07-01	Andrew Kennedy	Fix Shapes::removeKey quadratic blowup	commit \| commitdiff \| tree
2020-06-19	Andrew Kennedy	Refactor subtype_method	commit \| commitdiff \| tree
2020-06-19	Andrew Kennedy	Clean up initialization of generic parameters and constraints	commit \| commitdiff \| tree
2020-06-16	Andrew Kennedy	Remove another use of reason info	commit \| commitdiff \| tree
2020-06-13	Andrew Kennedy	Remove redundant code from localize_ft	commit \| commitdiff \| tree
2020-06-11	Andrew Kennedy	Add new option stdin-name to specify filename used...	commit \| commitdiff \| tree
2020-06-04	Andrew Kennedy	Move error handling from decl_hint to NAST check	commit \| commitdiff \| tree
2020-06-03	Andrew Kennedy	Do not trigger errors and then silence them when checking...	commit \| commitdiff \| tree
2020-06-03	Andrew Kennedy	Avoid use of get_reason for type checking	commit \| commitdiff \| tree
2020-06-01	Andrew Kennedy	Remove redundant check for constraint satisfaction...	commit \| commitdiff \| tree
2020-05-29	Andrew Kennedy	Recursive type errors should not be obscured by trivial...	commit \| commitdiff \| tree
2020-05-28	Andrew Kennedy	Detect errors with out-of-definition primary positions	commit \| commitdiff \| tree
2020-05-28	Andrew Kennedy	Move check for missing type hint on class constants...	commit \| commitdiff \| tree
2020-05-20	Andrew Kennedy	Fix bad position for failure to satisfy where constraint...	commit \| commitdiff \| tree
2020-05-15	Andrew Kennedy	Remove string matching for hhi extension	commit \| commitdiff \| tree
2020-05-14	Andrew Kennedy	Do not report unbound name errors when expanding type...	commit \| commitdiff \| tree
2020-05-14	Andrew Kennedy	Do not report duplicate errors for inherited type constants	commit \| commitdiff \| tree
2020-05-12	Andrew Kennedy	Fix bad position bugs in trait usage	commit \| commitdiff \| tree
2020-05-12	Andrew Kennedy	Fix error for const overriding so that overriding property...	commit \| commitdiff \| tree
2020-05-12	Andrew Kennedy	Do not report duplicate cyclic definition errors due...	commit \| commitdiff \| tree
2020-05-07	Andrew Kennedy	Do not recheck inherited type constants for enforceability	commit \| commitdiff \| tree
2020-05-05	Andrew Kennedy	Bad position for error relating to dynamic property...	commit \| commitdiff \| tree
2020-05-01	Andrew Kennedy	Do not check wrong class when there are duplicate definition...	commit \| commitdiff \| tree
2020-04-30	Andrew Kennedy	Fix array refinement bug	commit \| commitdiff \| tree
2020-04-30	Andrew Kennedy	Remove ft_arity (part 1)	commit \| commitdiff \| tree
2020-04-23	Andrew Kennedy	Propagate variance information to bounds on type parameters	commit \| commitdiff \| tree
2020-04-20	Andrew Kennedy	Unify decl and locl type representation of arrays	commit \| commitdiff \| tree
2020-04-17	Andrew Kennedy	Add test harness for hh_check	commit \| commitdiff \| tree
2020-04-17	Andrew Kennedy	Add tast option to hh_check	commit \| commitdiff \| tree
2020-04-14	Andrew Kennedy	Replace Fellipsis by use of Fvariadic	commit \| commitdiff \| tree
2020-04-14	Andrew Kennedy	Small changes to make TAST output compatible	commit \| commitdiff \| tree
2020-04-09	Andrew Kennedy	Avoid redundant get_class in expand_typeconst	commit \| commitdiff \| tree
2020-04-09	Andrew Kennedy	Add definition site position to cyclic typedef error	commit \| commitdiff \| tree
2020-04-09	Andrew Kennedy	Replace use of bools in decl element by bitwise flags	commit \| commitdiff \| tree
2020-04-09	Andrew Kennedy	Replace use of bools in param by bitwise flags	commit \| commitdiff \| tree
2020-04-07	Andrew Kennedy	Wrap unpack errors using on_error	commit \| commitdiff \| tree
2020-04-07	Andrew Kennedy	Implement transitive inheritance in subtyping	commit \| commitdiff \| tree
2020-04-03	Andrew Kennedy	Strengthen redundant generics check to a type checker...	commit \| commitdiff \| tree
2020-04-02	Andrew Kennedy	Move xhp_attr into ce_flags	commit \| commitdiff \| tree
2020-04-02	Andrew Kennedy	Replace use of bools in class element by bitwise flags	commit \| commitdiff \| tree
2020-04-02	Andrew Kennedy	Remove max arity in ft_arity, use List.length fp_params...	commit \| commitdiff \| tree
2020-04-02	Andrew Kennedy	Replace use of bools etc in fun_type by bitwise flags	commit \| commitdiff \| tree
2020-04-01	Andrew Kennedy	Fix infinite loop in is_enforceable	commit \| commitdiff \| tree
2020-03-31	Andrew Kennedy	Avoid calls to get_class where possible	commit \| commitdiff \| tree
2020-03-30	Andrew Kennedy	Use naming convention to determine variance of generic...	commit \| commitdiff \| tree
2020-03-30	Andrew Kennedy	Implement inheritance in subtyping	commit \| commitdiff \| tree
2020-03-30	Andrew Kennedy	Initial implementation of subtyping, return statement	commit \| commitdiff \| tree
2020-03-20	Andrew Kennedy	Kill AKempty array type	commit \| commitdiff \| tree
2020-03-10	Andrew Kennedy	Allocate subtype propositions in the arena	commit \| commitdiff \| tree
2020-03-10	Andrew Kennedy	Auxiliary functions on types	commit \| commitdiff \| tree
2020-03-06	Andrew Kennedy	Fix position bug	commit \| commitdiff \| tree
next

RSS Atom