Public Git Hosting - hiphop-php.git/search

2021-07-15	Lucian Wischik	dead code - ClientDebug, DerverDebug	commit \| commitdiff \| tree
2021-07-15	Lucian Wischik	serverTypeCheck no longer uses ServerDebug	commit \| commitdiff \| tree
2021-07-15	Lucian Wischik	dead code - FileInfo.print_names	commit \| commitdiff \| tree
2021-07-15	Lucian Wischik	dead code "hh_server --debug-client"	commit \| commitdiff \| tree
2021-07-14	Lucian Wischik	hh cleanup dead code prior to monitor_backpressure	commit \| commitdiff \| tree
2021-07-14	Lucian Wischik	Typing_print.decl* don't need a ctx	commit \| commitdiff \| tree
2021-07-14	Lucian Wischik	Typing_print.decl shouldn't need an env	commit \| commitdiff \| tree
2021-07-13	Lucian Wischik	autocompleteService supports builtins	commit \| commitdiff \| tree
2021-07-13	Lucian Wischik	autocompleteService can provide docs	commit \| commitdiff \| tree
2021-07-13	Lucian Wischik	remove --64bit option	commit \| commitdiff \| tree
2021-07-13	Lucian Wischik	reparse all failed_naming files	commit \| commitdiff \| tree
2021-07-08	Lucian Wischik	log INVARIANT_VIOLATION_BUG	commit \| commitdiff \| tree
2021-07-07	Lucian Wischik	NAMING_INVARIANT_VIOLATION_BUG -> INVARIANT_VIOLATION_BUG	commit \| commitdiff \| tree
2021-07-06	Lucian Wischik	longer timeouts for tests	commit \| commitdiff \| tree
2021-07-01	Lucian Wischik	5/5 log anomalous ndecl_file_error_if_already_bound	commit \| commitdiff \| tree
2021-07-01	Lucian Wischik	4/5 add HackEventLogger.naming_invariant_violation_bug	commit \| commitdiff \| tree
2021-07-01	Lucian Wischik	tast_provider no longer reports "name already bound"	commit \| commitdiff \| tree
2021-07-01	Lucian Wischik	hh_single_type_check call out side-effects of naming...	commit \| commitdiff \| tree
2021-07-01	Lucian Wischik	3/5 remove Naming_global.Env.new_* wrappers	commit \| commitdiff \| tree
2021-07-01	Lucian Wischik	2/5 rename x -> name	commit \| commitdiff \| tree
2021-07-01	Lucian Wischik	1/5 remove GEnv.type_canon_name	commit \| commitdiff \| tree
2021-06-17	Lucian Wischik	force 64bit	commit \| commitdiff \| tree
2021-06-08	Lucian Wischik	shut down server on EOF from monitor	commit \| commitdiff \| tree
2021-06-08	Lucian Wischik	remove on_server_exit hook	commit \| commitdiff \| tree
2021-06-08	Lucian Wischik	report "writing crash logs" to progress	commit \| commitdiff \| tree
2021-06-08	Lucian Wischik	leave progress file after server exit	commit \| commitdiff \| tree
2021-06-08	Lucian Wischik	ensure server progress file is present before client...	commit \| commitdiff \| tree
2021-06-05	Lucian Wischik	1/7 add missing ~suffix: label	commit \| commitdiff \| tree
2021-06-03	Lucian Wischik	4/4 log if non-empty sqlite local changes	commit \| commitdiff \| tree
2021-06-03	Lucian Wischik	3/4 always update reverse table	commit \| commitdiff \| tree
2021-06-03	Lucian Wischik	2/4 rename custom_local_changes -> changes_since_baseline	commit \| commitdiff \| tree
2021-06-03	Lucian Wischik	1/4 remove unused load_from_sqlite_for_batch_update	commit \| commitdiff \| tree
2021-05-27	Lucian Wischik	lwt_utils: don't Lwt.pick on an empty list	commit \| commitdiff \| tree
2021-05-27	Lucian Wischik	another attempt at monitor closing FDs	commit \| commitdiff \| tree
2021-05-26	Lucian Wischik	lsp gives up on EBADF	commit \| commitdiff \| tree
2021-05-26	Lucian Wischik	suppress scuba for all buck invocations	commit \| commitdiff \| tree
2021-05-26	Lucian Wischik	Suppress scuba for more buck tests	commit \| commitdiff \| tree
2021-05-25	Lucian Wischik	separate symbolindex_search_provider for serverless-ide	commit \| commitdiff \| tree
2021-05-25	Lucian Wischik	serverless-ide controlled by hh.conf, not by --serverless...	commit \| commitdiff \| tree
2021-05-25	Lucian Wischik	fix up inconsistent tests	commit \| commitdiff \| tree
2021-05-25	Lucian Wischik	small buckets for dirty names	commit \| commitdiff \| tree
2021-05-25	Lucian Wischik	indicate durations of parsing during init	commit \| commitdiff \| tree
2021-05-24	Lucian Wischik	don't make a fuss about worker EPIPE	commit \| commitdiff \| tree
2021-05-24	Lucian Wischik	close client FD if informant-induced restart	commit \| commitdiff \| tree
2021-05-24	Lucian Wischik	we might close FD more than once	commit \| commitdiff \| tree
2021-05-24	Lucian Wischik	Truth in naming: rename HackEventLogger.bad_exit -...	commit \| commitdiff \| tree
2021-05-24	Lucian Wischik	handle race when writing monitor-receipt-file	commit \| commitdiff \| tree
2021-05-22	Lucian Wischik	rationalize ServerMain exceptions	commit \| commitdiff \| tree
2021-05-21	Lucian Wischik	rename UNCAUGHT_EXCEPTION	commit \| commitdiff \| tree
2021-05-13	Lucian Wischik	for a typecheck, log whether IDE is connected	commit \| commitdiff \| tree
2021-05-13	Lucian Wischik	fix two SERVER_PROGRESS_EXCEPTION bugs	commit \| commitdiff \| tree
2021-05-12	Lucian Wischik	hhconfig_version and rollout_flags in more places	commit \| commitdiff \| tree
2021-05-11	Lucian Wischik	Handle backpressure in client/monitor/server protocol	commit \| commitdiff \| tree
2021-05-11	Lucian Wischik	add monitor_backpressure to hh.conf	commit \| commitdiff \| tree
2021-05-11	Lucian Wischik	Rollout_flags in clientLsp	commit \| commitdiff \| tree
2021-05-11	Lucian Wischik	Thread ServerLocalConfig.t into ClientConnect	commit \| commitdiff \| tree
2021-05-11	Lucian Wischik	monitor needn't retry handoff; just one attempt with...	commit \| commitdiff \| tree
2021-05-11	Lucian Wischik	Skip HackEventLogger in common protocol failure paths	commit \| commitdiff \| tree
2021-05-11	Lucian Wischik	Amend exception logging in common failure cases	commit \| commitdiff \| tree
2021-05-11	Lucian Wischik	logging for MonitorConnection.connect_once	commit \| commitdiff \| tree
2021-05-11	Lucian Wischik	refactor MonitorConnection.connect_to_monitor	commit \| commitdiff \| tree
2021-05-11	Lucian Wischik	inline MonitorConnection.connect_to_monitor	commit \| commitdiff \| tree
2021-05-11	Lucian Wischik	Catch all exceptions from Monitor_connection.establish_conne...	commit \| commitdiff \| tree
2021-05-11	Lucian Wischik	regularize the exceptions out of Monitor_connection...	commit \| commitdiff \| tree
2021-05-11	Lucian Wischik	Rewrite comment about too many requests	commit \| commitdiff \| tree
2021-05-08	Lucian Wischik	fix race in Sys_utils.protected_read_exn	commit \| commitdiff \| tree
2021-05-08	Lucian Wischik	track whether an IDE was hooked up to get push diagnostics	commit \| commitdiff \| tree
2021-05-08	Lucian Wischik	hh_client rollout flags	commit \| commitdiff \| tree
2021-05-08	Lucian Wischik	log hhconfig_version in CLIENT_CHECK	commit \| commitdiff \| tree
2021-05-08	Lucian Wischik	Distinguish "monitor can't handoff to server" from...	commit \| commitdiff \| tree
2021-05-08	Lucian Wischik	log Server_hung_up	commit \| commitdiff \| tree
2021-05-08	Lucian Wischik	remove ClientConnect.Server_hung_up	commit \| commitdiff \| tree
2021-05-08	Lucian Wischik	refactor ClientConnect.with_server_hung_up	commit \| commitdiff \| tree
2021-05-08	Lucian Wischik	add ClientConnect.mli and other cleanup	commit \| commitdiff \| tree
2021-05-07	Lucian Wischik	progress should be log not error	commit \| commitdiff \| tree
2021-04-30	Lucian Wischik	Monitor shouldn't cycle logfile if not owner	commit \| commitdiff \| tree
2021-04-30	Lucian Wischik	CLIENT_BAD_EXIT in case of Ctrl+C	commit \| commitdiff \| tree
2021-04-30	Lucian Wischik	store init data (fanout etc.) in first TYPE_CHECK_END	commit \| commitdiff \| tree
2021-04-30	Lucian Wischik	avoid nan json	commit \| commitdiff \| tree
2021-04-30	Lucian Wischik	include recheck stats in CLIENT_CHECK telemetry	commit \| commitdiff \| tree
2021-04-29	Lucian Wischik	updated comments for progress-file	commit \| commitdiff \| tree
2021-04-29	Lucian Wischik	Update logging for new handoff protocol	commit \| commitdiff \| tree
2021-04-29	Lucian Wischik	3/3 monitor gets handoff receipt from server	commit \| commitdiff \| tree
2021-04-29	Lucian Wischik	2/3 server_receipt_to_monitor_file	commit \| commitdiff \| tree
2021-04-29	Lucian Wischik	1/3 monitor closes FD after read-receipt	commit \| commitdiff \| tree
2021-04-29	Lucian Wischik	ADT-type the delay for when monitor closes delay	commit \| commitdiff \| tree
2021-04-29	Lucian Wischik	record-type the monitor->server handoff message	commit \| commitdiff \| tree
2021-04-27	Lucian Wischik	Less logging for working dune tests	commit \| commitdiff \| tree
2021-04-24	Lucian Wischik	CLIENT_CHECK should be at end, not at start	commit \| commitdiff \| tree
2021-04-24	Lucian Wischik	delete dead code "scheduler"	commit \| commitdiff \| tree
2021-04-24	Lucian Wischik	monitor uses monitor_fd_close_delay	commit \| commitdiff \| tree
2021-04-24	Lucian Wischik	add monitor_fd_close_delay to hh.conf	commit \| commitdiff \| tree
2021-04-23	Lucian Wischik	Switch tracker and Libancil-fd	commit \| commitdiff \| tree
2021-04-23	Lucian Wischik	don't HackEventLogger - increases monitor throughput...	commit \| commitdiff \| tree
2021-04-23	Lucian Wischik	Log tracker-id on read_version	commit \| commitdiff \| tree
2021-04-23	Lucian Wischik	delete dead monitor-progress code	commit \| commitdiff \| tree
2021-04-23	Lucian Wischik	clientLsp reads progress from file	commit \| commitdiff \| tree
2021-04-23	Lucian Wischik	clientConnect reads progress from file	commit \| commitdiff \| tree
2021-04-23	Lucian Wischik	serverProgress.send also writes to file	commit \| commitdiff \| tree
2021-04-23	Lucian Wischik	split out serverFiles.ml	commit \| commitdiff \| tree
next

RSS Atom