Public Git Hosting - hiphop-php.git/search

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
2020-03-05	Andrew Kennedy	Cleanup after opaque ty change	commit \| commitdiff \| tree
2020-03-05	Andrew Kennedy	Extend TypeBuilder with classes and well-known types	commit \| commitdiff \| tree
2020-03-04	Andrew Kennedy	Move method_def out of typing.ml	commit \| commitdiff \| tree
2020-03-03	Andrew Kennedy	First stab at hh_check	commit \| commitdiff \| tree
2020-03-03	Andrew Kennedy	Move more code out of typing.ml	commit \| commitdiff \| tree
2020-03-03	Andrew Kennedy	Split typing.ml into multiple modules	commit \| commitdiff \| tree
2020-02-24	Andrew Kennedy	Refactor continuations map to assist Rust oxidize	commit \| commitdiff \| tree
2020-02-19	Andrew Kennedy	Remove Tnothing decl type	commit \| commitdiff \| tree
2020-02-12	Andrew Kennedy	Enable new_inference_lambda by default, remove all...	commit \| commitdiff \| tree
2020-02-04	Andrew Kennedy	Avoid Reason.to_pos in validate type	commit \| commitdiff \| tree
2020-01-29	Andrew Kennedy	Avoid accessing reason on type	commit \| commitdiff \| tree
2020-01-29	Andrew Kennedy	In inheritance checks get positions directly from class...	commit \| commitdiff \| tree
2020-01-24	Andrew Kennedy	Fix bad position bug	commit \| commitdiff \| tree
2020-01-23	Andrew Kennedy	Fix build break	commit \| commitdiff \| tree
2020-01-23	Andrew Kennedy	Actually make ty and constraint_type opaque	commit \| commitdiff \| tree
2020-01-23	Andrew Kennedy	Make ty opaque in Typing_defs (part 13)	commit \| commitdiff \| tree
2020-01-23	Andrew Kennedy	Make ty opaque in Typing_defs (part 12)	commit \| commitdiff \| tree
2020-01-23	Andrew Kennedy	Make ty opaque in Typing_defs (part 11)	commit \| commitdiff \| tree
2020-01-21	Andrew Kennedy	Make ty opaque in Typing_defs (part 10)	commit \| commitdiff \| tree
2020-01-20	Andrew Kennedy	Make ty opaque in Typing_defs (part 9)	commit \| commitdiff \| tree
2020-01-20	Andrew Kennedy	Make ty opaque in Typing_defs (part 8)	commit \| commitdiff \| tree
2020-01-20	Andrew Kennedy	Make ty opaque in Typing_defs (part 7)	commit \| commitdiff \| tree
2020-01-20	Andrew Kennedy	Make ty opaque in Typing_defs (part 6)	commit \| commitdiff \| tree
2020-01-20	Andrew Kennedy	Make ty opaque in Typing_defs (part 5)	commit \| commitdiff \| tree
2020-01-20	Andrew Kennedy	Make ty opaque in Typing_defs (part 4)	commit \| commitdiff \| tree
2020-01-20	Andrew Kennedy	Make ty opaque in Typing_defs (part 3)	commit \| commitdiff \| tree
2020-01-16	Andrew Kennedy	Make ty opaque in Typing_defs (part 1)	commit \| commitdiff \| tree
2020-01-05	Andrew Kennedy	Add on_error to ety_env environment	commit \| commitdiff \| tree
next

RSS Atom