Public Git Hosting - hiphop-php.git/search

2022-04-21	Catherine Gasnier	doc + renames in Decl_redecl_service	commit \| commitdiff \| tree
2022-04-19	Catherine Gasnier	rename all the `fast` stuff to `defs_per_files`	commit \| commitdiff \| tree
2022-04-19	Catherine Gasnier	Fanouts: fix fanout algorithm when modifying a member	commit \| commitdiff \| tree
2022-04-19	Catherine Gasnier	switch fanout tests over to new fanout algorithm	commit \| commitdiff \| tree
2022-04-18	Catherine Gasnier	Add fanout test case for hierarchy checks	commit \| commitdiff \| tree
2022-04-13	Catherine Gasnier	Telemetry: rename rechecked_count to changed_files_count...	commit \| commitdiff \| tree
2022-04-13	Catherine Gasnier	log rechecked files count into 'rechecked' and 'total_rechec...	commit \| commitdiff \| tree
2022-04-12	Catherine Gasnier	Telemetry: remove is_lazy_incremental	commit \| commitdiff \| tree
2022-04-08	Catherine Gasnier	defunctionalize shallow_class_fanout	commit \| commitdiff \| tree
2022-04-08	Catherine Gasnier	Add rollout flag for ide_use_lfu_cache_instead_of_lru	commit \| commitdiff \| tree
2022-04-07	Catherine Gasnier	Hack IDE: add the possibility to use an Lfu_cache instead...	commit \| commitdiff \| tree
2022-03-31	Catherine Gasnier	FreqCache: no need to manually maintain `size`	commit \| commitdiff \| tree
2022-03-28	Catherine Gasnier	Move checks from Trait_reuse_check into Typing_extends	commit \| commitdiff \| tree
2022-03-28	Catherine Gasnier	refactor some map types in Typing_extends to avoid...	commit \| commitdiff \| tree
2022-03-17	Catherine Gasnier	simplify logic for `check_member_unique` param in Typing_extends	commit \| commitdiff \| tree
2022-03-14	Catherine Gasnier	rename parameters `truncate_elems` and `truncate_len...	commit \| commitdiff \| tree
2022-03-11	Catherine Gasnier	move logic from Typing_toplevel.check_extend_abstract...	commit \| commitdiff \| tree
2022-03-10	Catherine Gasnier	avoid calling unioning when localizing options	commit \| commitdiff \| tree
2022-03-07	Catherine Gasnier	improve error message and position for "bad decl override...	commit \| commitdiff \| tree
2022-03-04	Catherine Gasnier	Improve positions and wording of "method not implemented...	commit \| commitdiff \| tree
2022-03-04	Catherine Gasnier	add hh_autoimport.mli + doc	commit \| commitdiff \| tree
2022-03-04	Catherine Gasnier	wire the Pos.t of a class' parents down in Typing_extends	commit \| commitdiff \| tree
2022-03-01	Catherine Gasnier	Fix doc blocs in Trait_reuse_check	commit \| commitdiff \| tree
2022-03-01	Catherine Gasnier	A few renamings in Typing_extends	commit \| commitdiff \| tree
2022-02-28	Catherine Gasnier	remove Typing_env.wrap_inference_env_call	commit \| commitdiff \| tree
2022-02-26	Catherine Gasnier	Remove calls to the Measure module in Naming_heap	commit \| commitdiff \| tree
2022-02-24	Catherine Gasnier	remove function aast_to_nast which does nothing	commit \| commitdiff \| tree
2022-02-21	Catherine Gasnier	declutter Typing_env_from_def.class_env	commit \| commitdiff \| tree
2022-02-21	Catherine Gasnier	make Rtypeconst take a lazy string	commit \| commitdiff \| tree
2022-02-18	Catherine Gasnier	make string in Rtype_access lazy	commit \| commitdiff \| tree
2022-02-15	Catherine Gasnier	reset type variable identifiers for each top-level...	commit \| commitdiff \| tree
2022-01-31	Catherine Gasnier	factor out code about method return into helper	commit \| commitdiff \| tree
2022-01-31	Catherine Gasnier	Typing_subtype: take some functions out of big recursion	commit \| commitdiff \| tree
2022-01-31	Catherine Gasnier	NastInitCheck.class_ should belong to `class_wellformedness_...	commit \| commitdiff \| tree
2022-01-28	Catherine Gasnier	remove diagnostic subscription code	commit \| commitdiff \| tree
2022-01-28	Catherine Gasnier	remove flag stream_errors	commit \| commitdiff \| tree
2022-01-28	Catherine Gasnier	removing stream_errors flag: remove branching on flag...	commit \| commitdiff \| tree
2022-01-28	Catherine Gasnier	remove Adhoc_profiler	commit \| commitdiff \| tree
2022-01-28	Catherine Gasnier	create check_class_members helper	commit \| commitdiff \| tree
2022-01-28	Catherine Gasnier	further break down `class_wellformedness_checks`	commit \| commitdiff \| tree
2022-01-28	Catherine Gasnier	helpers for class wellformedness checks and class hierarchy...	commit \| commitdiff \| tree
2022-01-28	Catherine Gasnier	add check_class_where_constraint helper	commit \| commitdiff \| tree
2022-01-28	Catherine Gasnier	export sealed-related logic into helper	commit \| commitdiff \| tree
2022-01-28	Catherine Gasnier	Let Errors.t derive show for debugging	commit \| commitdiff \| tree
2022-01-28	Catherine Gasnier	Let ServerEnv.env derive show	commit \| commitdiff \| tree
2022-01-27	Catherine Gasnier	rename and document check_constructor_dep	commit \| commitdiff \| tree
2022-01-26	Catherine Gasnier	clean-up code checking override keyword	commit \| commitdiff \| tree
2022-01-26	Catherine Gasnier	setup_env_for_class_def_check helper	commit \| commitdiff \| tree
2022-01-24	Catherine Gasnier	simplify checking of multiple concrete definitions...	commit \| commitdiff \| tree
2022-01-24	Catherine Gasnier	simplify interface implementation checking	commit \| commitdiff \| tree
2022-01-21	Catherine Gasnier	no need to check dynamically callable for members that...	commit \| commitdiff \| tree
2022-01-21	Catherine Gasnier	Break down Typing_extends.check_override	commit \| commitdiff \| tree
2022-01-21	Catherine Gasnier	refactor check_override: remove parameter ignore_fun_return	commit \| commitdiff \| tree
2022-01-21	Catherine Gasnier	refactor adding dependency when calling check_override	commit \| commitdiff \| tree
2022-01-21	Catherine Gasnier	do not check overriding a synthesized member	commit \| commitdiff \| tree
2022-01-19	Catherine Gasnier	refactor some common private + LSB logic	commit \| commitdiff \| tree
2022-01-19	Catherine Gasnier	make class element flags abstract	commit \| commitdiff \| tree
2022-01-19	Catherine Gasnier	refactor class element flags and add a pretty printer	commit \| commitdiff \| tree
2022-01-18	Catherine Gasnier	fix master build	commit \| commitdiff \| tree
2022-01-18	Catherine Gasnier	remove dead code in Decl_env	commit \| commitdiff \| tree
2022-01-14	Catherine Gasnier	Let Typing_classes_heap.Api.t derive show	commit \| commitdiff \| tree
2022-01-13	Catherine Gasnier	remove dead parameter `check_privates`	commit \| commitdiff \| tree
2022-01-13	Catherine Gasnier	union all parent members before doing override checks	commit \| commitdiff \| tree
2022-01-11	Catherine Gasnier	aggregate redundant keys from /proc/cpuinfo as a histogram	commit \| commitdiff \| tree
2022-01-06	Catherine Gasnier	remove the multicache in favor of the frequency cache	commit \| commitdiff \| tree
2021-12-20	Catherine Gasnier	introduce HackEventLogger.PerFileProfilingConfig.t...	commit \| commitdiff \| tree
2021-12-16	Catherine Gasnier	various refactorings about member "source" / kind	commit \| commitdiff \| tree
2021-12-15	Catherine Gasnier	defunctionalize part of Typing_extends	commit \| commitdiff \| tree
2021-12-15	Catherine Gasnier	rename params of Errors.try_when	commit \| commitdiff \| tree
2021-12-15	Catherine Gasnier	refactor and export internal function doing method...	commit \| commitdiff \| tree
2021-12-15	Catherine Gasnier	use enum instead of polymorphic variant for member...	commit \| commitdiff \| tree
2021-12-14	Catherine Gasnier	`--profile-log` acts as `--config profile_log=true`	commit \| commitdiff \| tree
2021-12-14	Catherine Gasnier	avoid transformation to Sequence.t then back to list	commit \| commitdiff \| tree
2021-12-06	Catherine Gasnier	Do not dump per-file profiles in logs	commit \| commitdiff \| tree
2021-12-06	Catherine Gasnier	break down Typing_extends.check_members	commit \| commitdiff \| tree
2021-12-06	Catherine Gasnier	remove useless returning of class name	commit \| commitdiff \| tree
2021-12-06	Catherine Gasnier	getting and adding class from heap should be done by...	commit \| commitdiff \| tree
2021-11-24	Catherine Gasnier	add a config file flag equivalent for --profile-log	commit \| commitdiff \| tree
2021-11-23	Catherine Gasnier	Decl_folded_class: pull stuff out of the big recursion	commit \| commitdiff \| tree
2021-11-15	Catherine Gasnier	move BloomFilter into its own library	commit \| commitdiff \| tree
2021-11-15	Catherine Gasnier	move deferred_decl into its own library	commit \| commitdiff \| tree
2021-11-15	Catherine Gasnier	reorganize modules into typing_toplevel, typing_wellformedne...	commit \| commitdiff \| tree
2021-11-15	Catherine Gasnier	remove some unnecessary dependencies on typing_misc	commit \| commitdiff \| tree
2021-11-15	Catherine Gasnier	separate nast_visitor library	commit \| commitdiff \| tree
2021-11-15	Catherine Gasnier	separate module tast_env	commit \| commitdiff \| tree
2021-11-11	Catherine Gasnier	separate library for typing_global_inference	commit \| commitdiff \| tree
2021-11-11	Catherine Gasnier	wellformedness checks in separate library	commit \| commitdiff \| tree
2021-11-10	Catherine Gasnier	move certain modules out of typing_algebra into their...	commit \| commitdiff \| tree
2021-11-10	Catherine Gasnier	separate typing_utils library	commit \| commitdiff \| tree
2021-11-10	Catherine Gasnier	separate library for type_mapper	commit \| commitdiff \| tree
2021-11-10	Catherine Gasnier	separate library for core typing operations	commit \| commitdiff \| tree
2021-11-09	Catherine Gasnier	adapt OCAML_LANDMARKS for worker processes	commit \| commitdiff \| tree
2021-11-09	Catherine Gasnier	remove dangling mli	commit \| commitdiff \| tree
2021-11-09	Catherine Gasnier	separate library typing_env	commit \| commitdiff \| tree
2021-11-09	Catherine Gasnier	separate typing_env_types library	commit \| commitdiff \| tree
2021-11-04	Catherine Gasnier	remove flag about number of times to defer	commit \| commitdiff \| tree
2021-11-03	Catherine Gasnier	remove flag deferments_light	commit \| commitdiff \| tree
2021-11-03	Catherine Gasnier	refactor hphp/hack/test/typecheck/dune and add target...	commit \| commitdiff \| tree
2021-11-03	Catherine Gasnier	add landmarks to opam	commit \| commitdiff \| tree
2021-10-27	Catherine Gasnier	simplify Deferred_decl API	commit \| commitdiff \| tree
next

RSS Atom