Public Git Hosting - hiphop-php.git/search

2023-01-06	Max Heiber	repro shape analysis codemod stripping `Awaitable`...	commit \| commitdiff \| tree
2023-01-05	Max Heiber	refactor_sd: Remove reflexive closure (afaict didn...	commit \| commitdiff \| tree
2022-12-19	Max Heiber	Conservatively approximate calls through ObjGet	commit \| commitdiff \| tree
2022-12-19	Max Heiber	Conservatively approximate calls to unknown functions...	commit \| commitdiff \| tree
2022-12-14	Max Heiber	Repro bug T140068390: we infer shapes for interfaces...	commit \| commitdiff \| tree
2022-12-08	Max Heiber	Enforce that hhstc --naming-table requires --root	commit \| commitdiff \| tree
2022-11-29	Max Heiber	Add ability to solve from disk: source-file-level or...	commit \| commitdiff \| tree
2022-11-29	Max Heiber	Infra for file-level solving	commit \| commitdiff \| tree
2022-11-29	Max Heiber	Link to tasks for removing options	commit \| commitdiff \| tree
2022-11-21	Max Heiber	Remove closed-world assumption from HIPS	commit \| commitdiff \| tree
2022-11-17	Max Heiber	Remove stale TODO comments	commit \| commitdiff \| tree
2022-11-07	Max Heiber	Add support for `--verbose` in interprocedural analysis	commit \| commitdiff \| tree
2022-11-04	Max Heiber	tests for propagating `Needs` and `Has` constraints	commit \| commitdiff \| tree
2022-11-04	Max Heiber	Rename "Param" to "ParamLike" and "Arg" to "ArgLike"	commit \| commitdiff \| tree
2022-11-04	Max Heiber	Propagate 'maybe needs' constraints forward	commit \| commitdiff \| tree
2022-11-04	Max Heiber	Demonstrate issue T136763758	commit \| commitdiff \| tree
2022-11-04	Max Heiber	Constrain returns	commit \| commitdiff \| tree
2022-11-04	Max Heiber	Enable interprocedural constraints to propagate from...	commit \| commitdiff \| tree
2022-11-03	Max Heiber	Propagate return entities	commit \| commitdiff \| tree
2022-11-03	Max Heiber	snapshot tests for interprocedural analysis of returns	commit \| commitdiff \| tree
2022-11-03	Max Heiber	Structured logging mode in shape_analysis_logger	commit \| commitdiff \| tree
2022-10-28	Max Heiber	add wip tests for the interaction of traits and constants	commit \| commitdiff \| tree
2022-10-27	Max Heiber	snapshot tests for classname and constants	commit \| commitdiff \| tree
2022-10-27	Max Heiber	Handle self, static, super	commit \| commitdiff \| tree
2022-10-27	Max Heiber	snapshot tests for self, static, and parent consts	commit \| commitdiff \| tree
2022-10-27	Max Heiber	refactor: combine `close` logic in hips_solver	commit \| commitdiff \| tree
2022-10-27	Max Heiber	remove unnecessary patterns	commit \| commitdiff \| tree
2022-10-27	Max Heiber	better formatting of snapshot tests	commit \| commitdiff \| tree
2022-10-27	Max Heiber	propagate inheritance: fix two bugs	commit \| commitdiff \| tree
2022-10-27	Max Heiber	noop refactor: rename functions	commit \| commitdiff \| tree
2022-10-27	Max Heiber	noop refactor: split find_const up	commit \| commitdiff \| tree
2022-10-27	Max Heiber	Example of incorrect interprocedural solve: handling...	commit \| commitdiff \| tree
2022-10-27	Max Heiber	showable constraints for hips	commit \| commitdiff \| tree
2022-10-27	Max Heiber	smaller API surface	commit \| commitdiff \| tree
2022-10-27	Max Heiber	Example of incorrect interprocedural solve: should...	commit \| commitdiff \| tree
2022-10-27	Max Heiber	Example of incorrectness in interprocedural shape analysis	commit \| commitdiff \| tree
2022-10-27	Max Heiber	Consistent direction for Constant	commit \| commitdiff \| tree
2022-10-27	Max Heiber	consistent direction for ConstantIdentifier	commit \| commitdiff \| tree
2022-10-27	Max Heiber	refactor: More honest lie about forwards/backwards...	commit \| commitdiff \| tree
2022-10-27	Max Heiber	Delete dead code in HIPS	commit \| commitdiff \| tree
2022-09-08	Max Heiber	infer readonly for static props	commit \| commitdiff \| tree
2022-09-08	Max Heiber	handle self methods	commit \| commitdiff \| tree
2022-09-07	Max Heiber	Basic support for static methods	commit \| commitdiff \| tree
2022-09-07	Max Heiber	Basic handling of classes and objects	commit \| commitdiff \| tree
2022-08-23	Max Heiber	inference	commit \| commitdiff \| tree
2022-08-23	Max Heiber	Document how to run slow tests without repo-authoritative...	commit \| commitdiff \| tree
2022-08-23	Max Heiber	test type-directed bytecode emission for `readonly`	commit \| commitdiff \| tree
2022-08-18	Max Heiber	Replace redundant --type-directed flag with decl_proider...	commit \| commitdiff \| tree
2022-08-16	Max Heiber	Don't wrap `readonly` expressions in `readonly`	commit \| commitdiff \| tree
2022-08-16	Max Heiber	handle namespacing of primitives	commit \| commitdiff \| tree
2022-08-16	Max Heiber	Basic non-local inference for `readonly`	commit \| commitdiff \| tree
2022-08-16	Max Heiber	Expose decl_provider to our readonly inference.	commit \| commitdiff \| tree
2022-08-08	Max Heiber	test case for yielding a readonly key	commit \| commitdiff \| tree
2022-08-08	Max Heiber	Fix readonly-checking hole: `yield` expressions	commit \| commitdiff \| tree
2022-08-05	Max Heiber	Remove `if self.is_type_checker` check	commit \| commitdiff \| tree
2022-08-05	Max Heiber	Take clippy suggestions in hackc	commit \| commitdiff \| tree
2022-08-03	Max Heiber	incorporate feedback: Cow	commit \| commitdiff \| tree
2020-08-28	Max Heiber	Ban instance properties on abstract final classes	commit \| commitdiff \| tree

RSS Atom