Public Git Hosting - hiphop-php.git/search

2020-03-23	Henri Verroken	Make Ty abstract	commit \| commitdiff \| tree
2020-03-23	Henri Verroken	Fix lifetimes on get_node and get_reason	commit \| commitdiff \| tree
2020-03-17	Henri Verroken	Update typing inference env to use arena-maps	commit \| commitdiff \| tree
2020-03-17	Henri Verroken	Functional maps and sets that can be allocated in an...	commit \| commitdiff \| tree
2020-03-12	Henri Verroken	Provide copy trait for Ty to get implicit cloning	commit \| commitdiff \| tree
2020-03-10	Henri Verroken	Load stats into MySQL	commit \| commitdiff \| tree
2020-03-09	Henri Verroken	Use persistent maps for maps in typing environment	commit \| commitdiff \| tree
2020-03-09	Henri Verroken	Make the inference env arena-compatible	commit \| commitdiff \| tree
2020-03-09	Henri Verroken	Introduce arena-compatible Reason type	commit \| commitdiff \| tree
2020-03-06	Henri Verroken	Partial arena representation of types	commit \| commitdiff \| tree
2020-02-28	Henri Verroken	Fix bug where we loose tyvars without other tyvars...	commit \| commitdiff \| tree
2020-02-27	Henri Verroken	Only extract positions for hints in certain locations...	commit \| commitdiff \| tree
2020-02-26	Henri Verroken	Fix formatting of patches for parameter names on newlines	commit \| commitdiff \| tree
2020-02-26	Henri Verroken	Clean up type extraction from tast	commit \| commitdiff \| tree
2020-02-26	Henri Verroken	Properly expand types in tasts	commit \| commitdiff \| tree
2020-02-25	Henri Verroken	Generate patches for reinferred types with type-position	commit \| commitdiff \| tree
2020-02-25	Henri Verroken	Fix hh_single_type_check --rewrite in multi-file mode	commit \| commitdiff \| tree
2020-02-25	Henri Verroken	Support patch generation for Awaitables	commit \| commitdiff \| tree
2020-02-21	Henri Verroken	Generate patches for re-inferred types	commit \| commitdiff \| tree
2020-02-18	Henri Verroken	Generate patches for class properties	commit \| commitdiff \| tree
2020-02-18	Henri Verroken	Replace --patches mode in hh_single_type_check with...	commit \| commitdiff \| tree
2020-02-14	Henri Verroken	Add mode to hh_single_type_check to dump generated...	commit \| commitdiff \| tree
2020-02-13	Henri Verroken	Timeout on transitive closure in a controlled way	commit \| commitdiff \| tree
2020-02-13	Henri Verroken	Pre-initialize global variables before merging	commit \| commitdiff \| tree
2020-02-13	Henri Verroken	Add stats command to hh_gi	commit \| commitdiff \| tree
2020-02-13	Henri Verroken	Record a reason for global type variables	commit \| commitdiff \| tree
2020-02-13	Henri Verroken	Mechanism to filter type variables	commit \| commitdiff \| tree
2020-02-07	Henri Verroken	Fix graph building for connected components	commit \| commitdiff \| tree
2020-01-31	Henri Verroken	Generate global tyvars for class properties	commit \| commitdiff \| tree
2020-01-29	Henri Verroken	Don't force solve global variables during type checking	commit \| commitdiff \| tree
2020-01-29	Henri Verroken	Don't catch timeout exceptions when checking expressions	commit \| commitdiff \| tree
2020-01-29	Henri Verroken	Actually use the generated global type variables for...	commit \| commitdiff \| tree
2020-01-24	Henri Verroken	For now, never infer "nothing"	commit \| commitdiff \| tree
2020-01-24	Henri Verroken	Fix dune warning for annotated_ast	commit \| commitdiff \| tree
2020-01-16	Henri Verroken	Stand-alone tool to compute transitive closure	commit \| commitdiff \| tree
2020-01-16	Henri Verroken	Build tool to split subgraphs in connected components	commit \| commitdiff \| tree
2020-01-14	Henri Verroken	Introduce tool to inspect/export individual subgraphs	commit \| commitdiff \| tree
2019-12-11	Henri Verroken	Catch merge exceptions	commit \| commitdiff \| tree
2019-12-06	Henri Verroken	Filter out global type variables that don't carry any...	commit \| commitdiff \| tree
2019-11-30	Henri Verroken	Add --merge-global-tvenvs to hh_single_type_check	commit \| commitdiff \| tree
2019-11-29	Henri Verroken	Fix typo in variable name	commit \| commitdiff \| tree
2019-11-28	Henri Verroken	Also save position information in subgraph files	commit \| commitdiff \| tree
2019-11-27	Henri Verroken	Add --dump-global-tvenvs to hh_single_type_check	commit \| commitdiff \| tree
2019-11-19	Henri Verroken	Log merge progress for global inference	commit \| commitdiff \| tree
2019-11-13	Henri Verroken	fix endless loop when simplifying (N & _ & #1) <: HM...	commit \| commitdiff \| tree
2019-10-18	Henri Verroken	Produce error on duplicate constructors in traits	commit \| commitdiff \| tree
2019-10-01	Henri Verroken	Expand function name when getting signature help	commit \| commitdiff \| tree

RSS Atom