Public Git Hosting - hiphop-php.git/search

2020-06-01	Catherine Gasnier	fix careless mistake in transitive closure	commit \| commitdiff \| tree
2020-05-27	Catherine Gasnier	fix linking error about vfs function being defined...	commit \| commitdiff \| tree
2020-05-12	Catherine Gasnier	stress test for transitive closure	commit \| commitdiff \| tree
2020-05-12	Catherine Gasnier	add `hh_force_solve` pseudo function	commit \| commitdiff \| tree
2020-05-12	Catherine Gasnier	create trait ToOxidized and implement for the environment	commit \| commitdiff \| tree
2020-05-11	Catherine Gasnier	hh_show_env pseudo function, stubs only	commit \| commitdiff \| tree
2020-05-07	Catherine Gasnier	`localize_ft`: merge multiple substs maps where needed	commit \| commitdiff \| tree
2020-05-01	Catherine Gasnier	method calls	commit \| commitdiff \| tree
2020-05-01	Catherine Gasnier	porting of calls to `new`	commit \| commitdiff \| tree
2020-04-21	Catherine Gasnier	de-tangle `new_object`	commit \| commitdiff \| tree
2020-04-14	Catherine Gasnier	Implementation for `union_list`	commit \| commitdiff \| tree
2020-04-14	Catherine Gasnier	parts of the solver	commit \| commitdiff \| tree
2020-04-07	Catherine Gasnier	transitive closure	commit \| commitdiff \| tree
2020-04-07	Catherine Gasnier	use a persistent vector in for conjunctions and disjunctions	commit \| commitdiff \| tree
2020-04-06	Catherine Gasnier	some helpers in typing_inference_env.rs	commit \| commitdiff \| tree
2020-04-06	Catherine Gasnier	port `prop_to_env`	commit \| commitdiff \| tree
2020-04-02	Catherine Gasnier	generate variable ids locally to the function	commit \| commitdiff \| tree
2020-04-02	Catherine Gasnier	adding primitives to typing::expr	commit \| commitdiff \| tree
2020-04-02	Catherine Gasnier	make tast annotation refer to positions to avoid too...	commit \| commitdiff \| tree
2020-04-02	Catherine Gasnier	localize function parameters	commit \| commitdiff \| tree
2020-04-01	Catherine Gasnier	localize functions with type arguments	commit \| commitdiff \| tree
2020-03-31	Catherine Gasnier	remove limit of 20 iterations during unioning list...	commit \| commitdiff \| tree
2020-03-30	Catherine Gasnier	implement localize_targs	commit \| commitdiff \| tree
2020-03-27	Catherine Gasnier	localize_targs stub	commit \| commitdiff \| tree
2020-03-27	Catherine Gasnier	support calls with arguments	commit \| commitdiff \| tree
2020-03-25	Catherine Gasnier	make env the first parameter of functions	commit \| commitdiff \| tree
2020-03-25	Catherine Gasnier	reorder functions in typing.rs	commit \| commitdiff \| tree
2020-03-25	Catherine Gasnier	add functions stubs for `check_call, `fun_type_of_id...	commit \| commitdiff \| tree
2020-03-24	Catherine Gasnier	localize classes and generics	commit \| commitdiff \| tree
2020-03-12	Catherine Gasnier	porting expand_var logic to rust	commit \| commitdiff \| tree
2020-03-02	Catherine Gasnier	infer type parameters for varray, darray, array annotations	commit \| commitdiff \| tree
2020-02-29	Catherine Gasnier	make sure variables from the same type (e.g. Map<#1...	commit \| commitdiff \| tree
2020-02-29	Catherine Gasnier	make type var ids from position hashes	commit \| commitdiff \| tree
2020-02-28	Catherine Gasnier	allow to reinfer PHPism_FIXME_Array	commit \| commitdiff \| tree
2020-02-27	Catherine Gasnier	for X a type to reinfer, also create a type var for ?X	commit \| commitdiff \| tree
2020-02-26	Catherine Gasnier	add test for partial type annotation inference rewriting	commit \| commitdiff \| tree
2020-02-26	Catherine Gasnier	allow to infer partially annotated classes	commit \| commitdiff \| tree
2020-02-26	Catherine Gasnier	add test alias for server_tests.ml	commit \| commitdiff \| tree
2020-02-21	Catherine Gasnier	give more explicit name to check_param and other renamings	commit \| commitdiff \| tree
2020-02-21	Catherine Gasnier	Fixing occurrence of Tnothing which has been deprecated	commit \| commitdiff \| tree
2020-02-20	Catherine Gasnier	create global type variables for hints from the reinfer_type...	commit \| commitdiff \| tree
2020-02-20	Catherine Gasnier	add option to specify which types to reinfer	commit \| commitdiff \| tree
2020-02-19	Catherine Gasnier	command to compare solved environments	commit \| commitdiff \| tree
2020-02-19	Catherine Gasnier	separate command for optimized solving	commit \| commitdiff \| tree
2020-02-19	Catherine Gasnier	ordered solver	commit \| commitdiff \| tree
2020-02-18	Catherine Gasnier	avoid potential file descriptor leak	commit \| commitdiff \| tree
2020-02-14	Catherine Gasnier	remove all `ignore`s in Typing	commit \| commitdiff \| tree
2020-02-12	Catherine Gasnier	remove all `ignore`s in Typing_extends	commit \| commitdiff \| tree
2020-02-12	Catherine Gasnier	remove one more `ignore`	commit \| commitdiff \| tree
2020-02-12	Catherine Gasnier	remove one more 'ignore'	commit \| commitdiff \| tree
2020-02-12	Catherine Gasnier	remove one other 'ignore'	commit \| commitdiff \| tree
2020-02-12	Catherine Gasnier	remove call to `ignore` which drops environment	commit \| commitdiff \| tree
2020-01-27	Catherine Gasnier	raise exception when adding bound to already solved...	commit \| commitdiff \| tree
2020-01-27	Catherine Gasnier	clean up temporary variables created while merging...	commit \| commitdiff \| tree
2020-01-27	Catherine Gasnier	undo D16440063 and D16666682 which have been superseded...	commit \| commitdiff \| tree
2020-01-27	Catherine Gasnier	fix of type variable being discarded with env	commit \| commitdiff \| tree
2020-01-27	Catherine Gasnier	fix global inference for static methods	commit \| commitdiff \| tree
2020-01-27	Catherine Gasnier	raise exception when setting bounds of already solved...	commit \| commitdiff \| tree
2020-01-27	Catherine Gasnier	raise exception when setting type constant or PU access...	commit \| commitdiff \| tree
2020-01-27	Catherine Gasnier	raise exception when setting variance on solved type var	commit \| commitdiff \| tree
2020-01-24	Catherine Gasnier	don't recreate global type var if it already exists	commit \| commitdiff \| tree
2020-01-24	Catherine Gasnier	fix bug where env was dropped	commit \| commitdiff \| tree
2020-01-24	Catherine Gasnier	avoid crashing with exceptions and surface as an error...	commit \| commitdiff \| tree
2020-01-23	Catherine Gasnier	fix bug where environment was wrongly dropped, loosing...	commit \| commitdiff \| tree
2020-01-23	Catherine Gasnier	raise exception when setting type constant or PU access...	commit \| commitdiff \| tree
2020-01-23	Catherine Gasnier	raise exception when setting bounds of already solved...	commit \| commitdiff \| tree
2020-01-23	Catherine Gasnier	raise exception when setting variance on solved type var	commit \| commitdiff \| tree
2020-01-22	Catherine Gasnier	remove dead module Typing_gather_defined	commit \| commitdiff \| tree
2020-01-22	Catherine Gasnier	avoid crashing with exceptions for all AST definitions	commit \| commitdiff \| tree
2020-01-22	Catherine Gasnier	fix none position in wrap_ty_in_var	commit \| commitdiff \| tree
2020-01-22	Catherine Gasnier	call type simplifier with Env.add instead of Typing_solver...	commit \| commitdiff \| tree
2020-01-20	Catherine Gasnier	still add type var to inference env even when outside...	commit \| commitdiff \| tree
2020-01-20	Catherine Gasnier	more type simplifier tests	commit \| commitdiff \| tree
2020-01-20	Catherine Gasnier	introduce unit testing with OUnit	commit \| commitdiff \| tree
2020-01-14	Catherine Gasnier	tyvar_occurrences was not maintained properly when...	commit \| commitdiff \| tree
2020-01-13	Catherine Gasnier	move tyvar_occurrences field from Typing_env_types...	commit \| commitdiff \| tree
2020-01-13	Catherine Gasnier	don't create global type vars for lambdas	commit \| commitdiff \| tree
2020-01-13	Catherine Gasnier	clean up codemoder for parameters and returns, clean...	commit \| commitdiff \| tree
2020-01-09	Catherine Gasnier	refactor inference environment	commit \| commitdiff \| tree
2019-12-17	Catherine Gasnier	fix test timeout	commit \| commitdiff \| tree
2019-12-17	Catherine Gasnier	simplify update_lost_info	commit \| commitdiff \| tree
2019-12-16	Catherine Gasnier	put type var occurrence info into an abstract type	commit \| commitdiff \| tree
2019-12-09	Catherine Gasnier	remove unused on_infinite_tvar method in Type_mapper	commit \| commitdiff \| tree
2019-11-22	Catherine Gasnier	non_null does intersection with Tnonnull	commit \| commitdiff \| tree
2019-11-22	Catherine Gasnier	better detection of early solve failure	commit \| commitdiff \| tree
2019-11-22	Catherine Gasnier	basic_reactivity_check missing match case for intersection	commit \| commitdiff \| tree
2019-11-22	Catherine Gasnier	introduce simple unions and intersections for constraint...	commit \| commitdiff \| tree
2019-11-15	Catherine Gasnier	Back out "non_null does intersection with Tnonnull"	commit \| commitdiff \| tree
2019-11-15	Catherine Gasnier	non_null does intersection with Tnonnull	commit \| commitdiff \| tree
2019-11-15	Catherine Gasnier	simplify unions after solving type variables	commit \| commitdiff \| tree
2019-11-13	Catherine Gasnier	missing expand_types in simplify_subtype	commit \| commitdiff \| tree
2019-11-13	Catherine Gasnier	more missing expand_types 2	commit \| commitdiff \| tree
2019-11-13	Catherine Gasnier	more missing expand_type	commit \| commitdiff \| tree
2019-11-13	Catherine Gasnier	adding missing expand_type	commit \| commitdiff \| tree
2019-11-13	Catherine Gasnier	rework Typing_expr_dep_type.make	commit \| commitdiff \| tree
2019-11-13	Catherine Gasnier	better subtyping with intersection on the left and...	commit \| commitdiff \| tree
2019-11-13	Catherine Gasnier	call `union_list` instead of `Tunion` constructor in...	commit \| commitdiff \| tree
2019-11-13	Catherine Gasnier	call union_list instead of Tunion in array_filter	commit \| commitdiff \| tree
2019-11-13	Catherine Gasnier	do expand_type instead of fully_expand in typing_union	commit \| commitdiff \| tree
2019-11-13	Catherine Gasnier	missing expand_type before creating reason Rinstantiate	commit \| commitdiff \| tree
next

RSS Atom