Public Git Hosting - hiphop-php.git/search

2019-12-10	Sasha Manzyuk	Extract newtype definitions with their upper bounds	commit \| commitdiff \| tree
2019-12-10	Sasha Manzyuk	Add implementations of constants and type constants...	commit \| commitdiff \| tree
2019-12-10	Sasha Manzyuk	Print variance of generic type parameters	commit \| commitdiff \| tree
2019-12-10	Sasha Manzyuk	When adding a dependency on the class constructor,...	commit \| commitdiff \| tree
2019-12-10	Sasha Manzyuk	extract_standalone_make_default needs to be reactive	commit \| commitdiff \| tree
2019-12-10	Sasha Manzyuk	Add implementations of methods required by a parent...	commit \| commitdiff \| tree
2019-12-10	Sasha Manzyuk	Extract final classes as such	commit \| commitdiff \| tree
2019-12-10	Sasha Manzyuk	Fix a bug with adding type constant dependencies	commit \| commitdiff \| tree
2019-12-06	Sasha Manzyuk	Add basic support for function reactivity attributes	commit \| commitdiff \| tree
2019-12-06	Sasha Manzyuk	Fix calculation of direct required ancestors	commit \| commitdiff \| tree
2019-12-02	Sasha Manzyuk	Elaborate in a given namespace the names of classes...	commit \| commitdiff \| tree
2019-11-28	Sasha Manzyuk	Fix extraction of type constants referenced through...	commit \| commitdiff \| tree
2019-11-28	Sasha Manzyuk	Add dependenies on type constants declared in an interface...	commit \| commitdiff \| tree
2019-11-15	Sasha Manzyuk	Fix bad error position reported when type checking...	commit \| commitdiff \| tree
2019-11-01	Sasha Manzyuk	Minor clean up of print_fun_args	commit \| commitdiff \| tree
2019-11-01	Sasha Manzyuk	Do not generate an enum value named "class" if the...	commit \| commitdiff \| tree
2019-11-01	Sasha Manzyuk	Fix extraction of dependency functions with default...	commit \| commitdiff \| tree
2019-11-01	Sasha Manzyuk	When adding a dependency on an enum, also add dependencies...	commit \| commitdiff \| tree
2019-10-31	Sasha Manzyuk	Support constants of type varray_or_darray<_>	commit \| commitdiff \| tree
2019-10-30	Sasha Manzyuk	Add dependencies on the class constants representing...	commit \| commitdiff \| tree
2019-10-29	Sasha Manzyuk	Print bounds on generic type parameters	commit \| commitdiff \| tree
2019-10-29	Sasha Manzyuk	Don't generate declarations of built-in constants declared...	commit \| commitdiff \| tree
2019-10-28	Sasha Manzyuk	Add a test showing the need of global_tpenv	commit \| commitdiff \| tree
2019-10-28	Sasha Manzyuk	Change the way self (the enclosing class) is stored...	commit \| commitdiff \| tree
2019-10-28	Sasha Manzyuk	Change the way parent is stored in genv	commit \| commitdiff \| tree
2019-10-28	Sasha Manzyuk	Set class parent when constructing class type checking...	commit \| commitdiff \| tree
2019-10-24	Sasha Manzyuk	Don't set parent_id in NastInitCheck	commit \| commitdiff \| tree
2019-10-24	Sasha Manzyuk	Rename the field parent of genv to parent_ty	commit \| commitdiff \| tree
2019-10-17	Sasha Manzyuk	Better way of detecting built-in dependencies	commit \| commitdiff \| tree
2019-10-15	Sasha Manzyuk	Check that ConstMaps, ImmMaps, and KeyedContainers...	commit \| commitdiff \| tree
2019-10-14	Sasha Manzyuk	Add dependencies on type constants declared in classes...	commit \| commitdiff \| tree
2019-10-14	Sasha Manzyuk	Refactoring: clean up adding dependencies on methods...	commit \| commitdiff \| tree
2019-10-14	Sasha Manzyuk	Let constructor stubs always throw	commit \| commitdiff \| tree
2019-10-14	Sasha Manzyuk	Don't generate a declaration for the 'class' constant	commit \| commitdiff \| tree
2019-10-09	Sasha Manzyuk	Remove unused functions	commit \| commitdiff \| tree
2019-10-09	Sasha Manzyuk	When adding a dependency on an enum, also add dependencies...	commit \| commitdiff \| tree
2019-10-09	Sasha Manzyuk	Don't add the wildcard generic type parameter as a...	commit \| commitdiff \| tree
2019-10-09	Sasha Manzyuk	Refactoring: combine is_class_dependency and get_class_name...	commit \| commitdiff \| tree
2019-10-09	Sasha Manzyuk	Refactor getting dependency position	commit \| commitdiff \| tree
2019-10-08	Sasha Manzyuk	Don't print _ for a missing function argument type...	commit \| commitdiff \| tree
2019-10-08	Sasha Manzyuk	Put declarations originating from partial mode files...	commit \| commitdiff \| tree
2019-10-03	Sasha Manzyuk	Support generating multiple declarations with the same...	commit \| commitdiff \| tree
2019-10-03	Sasha Manzyuk	Print class definitions more compactly dropping blank...	commit \| commitdiff \| tree
2019-10-03	Sasha Manzyuk	Generate declarations for the dependencies from the...	commit \| commitdiff \| tree
2019-10-02	Sasha Manzyuk	Fix an unsoundness with nested type constant accesses	commit \| commitdiff \| tree
2019-10-02	Sasha Manzyuk	Remove special treatment of equality where constraints...	commit \| commitdiff \| tree
2019-10-02	Sasha Manzyuk	When adding a dependency on a generic type also add...	commit \| commitdiff \| tree
2019-10-01	Sasha Manzyuk	Simplify get_enum_value	commit \| commitdiff \| tree
2019-10-01	Sasha Manzyuk	Replace HashSet with SSet when computing direct ancestors...	commit \| commitdiff \| tree
2019-10-01	Sasha Manzyuk	Simplify conditional	commit \| commitdiff \| tree
2019-10-01	Sasha Manzyuk	Further factor partitioning of dependencies into class...	commit \| commitdiff \| tree
2019-10-01	Sasha Manzyuk	Split up collect_dependency into collection of dependencies...	commit \| commitdiff \| tree
2019-10-01	Sasha Manzyuk	No need to separately add the class containing the...	commit \| commitdiff \| tree
2019-10-01	Sasha Manzyuk	Use pattern matching instead of Option.is_some	commit \| commitdiff \| tree
2019-10-01	Sasha Manzyuk	Use a dedicated type to represent the target of extraction...	commit \| commitdiff \| tree
2019-10-01	Sasha Manzyuk	Refactor ServerExtractStandalone: collect declarations...	commit \| commitdiff \| tree
2019-09-27	Sasha Manzyuk	When generating code for ancestors and requirements...	commit \| commitdiff \| tree
2019-09-27	Sasha Manzyuk	Add dependencies on interface/trait's requirements	commit \| commitdiff \| tree
2019-09-27	Sasha Manzyuk	Make the helper function which "returns" value of any...	commit \| commitdiff \| tree
2019-09-27	Sasha Manzyuk	If a class implements a built-in interface, generate...	commit \| commitdiff \| tree
2019-09-27	Sasha Manzyuk	Remove the function/method being extracted from the...	commit \| commitdiff \| tree
2019-09-27	Sasha Manzyuk	When we have a dependency on a static method and this...	commit \| commitdiff \| tree
2019-09-26	Sasha Manzyuk	When adding a new dependency, make sure we add its...	commit \| commitdiff \| tree
2019-09-25	Sasha Manzyuk	Fix dependency collection for enum constants	commit \| commitdiff \| tree
2019-09-25	Sasha Manzyuk	Change collecting dependencies of type constants	commit \| commitdiff \| tree
2019-09-25	Sasha Manzyuk	Do not use AAST to get direct ancestors of the class	commit \| commitdiff \| tree
2019-09-25	Sasha Manzyuk	Correctly print function declaration when the only...	commit \| commitdiff \| tree
2019-09-25	Sasha Manzyuk	Initialize static properties at compile time	commit \| commitdiff \| tree
2019-09-25	Sasha Manzyuk	Refactor serverExtractStandalone.ml	commit \| commitdiff \| tree
2019-09-24	Sasha Manzyuk	Rename some functions in Typing_generic_constraints...	commit \| commitdiff \| tree
2019-09-23	Sasha Manzyuk	Back out "Allow projecting type constants off of generic...	commit \| commitdiff \| tree
2019-09-18	Sasha Manzyuk	Allow projecting type constants off of generic type...	commit \| commitdiff \| tree
2019-09-18	Sasha Manzyuk	Fix broken tests	commit \| commitdiff \| tree
2019-09-17	Sasha Manzyuk	Correctly compute the expected key and value types...	commit \| commitdiff \| tree
2019-09-13	Sasha Manzyuk	Any generic constraint holds in an inconsistent environment	commit \| commitdiff \| tree
2019-09-09	Sasha Manzyuk	Correctly check the variance of generic type parameters...	commit \| commitdiff \| tree
2019-08-28	Sasha Manzyuk	Make tpenv type abstract	commit \| commitdiff \| tree
2019-08-21	Sasha Manzyuk	Fix computation of variance of generic type parameters...	commit \| commitdiff \| tree
2019-08-12	Sasha Manzyuk	Kill the disable_stringish_magic flag	commit \| commitdiff \| tree
2019-08-12	Sasha Manzyuk	Fix an unsoundness with calling a static method through...	commit \| commitdiff \| tree
2019-08-08	Sasha Manzyuk	Get rid of "There are remaining unsolved constraints...	commit \| commitdiff \| tree
2019-07-11	Sasha Manzyuk	Typing.set_valid_rvalue doesn't need to return the...	commit \| commitdiff \| tree
2019-07-10	Sasha Manzyuk	Make it an error to access a shape field known to not...	commit \| commitdiff \| tree
2019-07-10	Sasha Manzyuk	Improve error messages generated by subtyping checks...	commit \| commitdiff \| tree
2019-07-08	Sasha Manzyuk	Remove unused parameter of Typing_shapes.shrink_shape	commit \| commitdiff \| tree
2019-07-08	Sasha Manzyuk	Implement refinement by Shapes::keyExists checks using...	commit \| commitdiff \| tree
2019-07-04	Sasha Manzyuk	Get rid of tracking unset fields in the shape type	commit \| commitdiff \| tree
2019-07-03	Sasha Manzyuk	Use optional shape fields of type nothing to represent...	commit \| commitdiff \| tree
2019-07-03	Sasha Manzyuk	Simplify subtyping of shapes	commit \| commitdiff \| tree
2019-07-02	Sasha Manzyuk	Improve the error message of "primary error position...	commit \| commitdiff \| tree
2019-07-01	Sasha Manzyuk	Fix positions of Awaitall nodes produced by parsing...	commit \| commitdiff \| tree
2019-06-26	Sasha Manzyuk	Remove unused functions from the Errors module	commit \| commitdiff \| tree
2019-06-24	Sasha Manzyuk	Fix creation of expression dependent types from nullable...	commit \| commitdiff \| tree
2019-06-24	Sasha Manzyuk	Replace Unsat f with Disj (f, [])	commit \| commitdiff \| tree
2019-06-21	Sasha Manzyuk	Better error messages for disjunctions: propagate the...	commit \| commitdiff \| tree
2019-06-18	Sasha Manzyuk	Display full types when printing generic type mismatch...	commit \| commitdiff \| tree
2019-06-18	Sasha Manzyuk	Fix the primary position of error messages for invalid...	commit \| commitdiff \| tree
2019-06-17	Sasha Manzyuk	Functions in Typing_subtype don't need to pass around...	commit \| commitdiff \| tree
2019-06-17	Sasha Manzyuk	Better error message from Typing_subtype.sub_string	commit \| commitdiff \| tree
2019-06-17	Sasha Manzyuk	Typing_subtype.sub_string doesn't need to pattern-match...	commit \| commitdiff \| tree
next

RSS Atom