Public Git Hosting - hiphop-php.git/search

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