Public Git Hosting - hiphop-php.git/search

2022-08-05	Scott Owens	Fix is_php_array refinement of supportdyn types	commit \| commitdiff \| tree
2022-08-03	Scott Owens	Boilerplate for types in compilation	commit \| commitdiff \| tree
2022-08-03	Scott Owens	Move readonly check from parser to hackc	commit \| commitdiff \| tree
2022-07-13	Scott Owens	Fix bug with Set under pessimised builtins	commit \| commitdiff \| tree
2022-07-05	Scott Owens	Fix typo	commit \| commitdiff \| tree
2022-07-04	Scott Owens	Update pessimisation test configuration	commit \| commitdiff \| tree
2022-06-28	Scott Owens	fix targeted test cleaner	commit \| commitdiff \| tree
2022-06-27	Scott Owens	Disable targeted pessimisation tests that aren't currently...	commit \| commitdiff \| tree
2022-06-24	Scott Owens	comments wrt D37418257	commit \| commitdiff \| tree
2022-06-24	Scott Owens	Improve subtyping completeness	commit \| commitdiff \| tree
2022-06-22	Scott Owens	Update tests for inout	commit \| commitdiff \| tree
2022-06-21	Scott Owens	Improve inference around like-type call rule	commit \| commitdiff \| tree
2022-06-01	Scott Owens	Fix constructor calls with like types	commit \| commitdiff \| tree
2022-04-26	Scott Owens	remove anyfy	commit \| commitdiff \| tree
2022-04-19	Scott Owens	Make all array index read error codes the same	commit \| commitdiff \| tree
2022-04-14	Scott Owens	typing constraints for foreach	commit \| commitdiff \| tree
2022-04-13	Scott Owens	typing constraints for foreach (boilerplate code)	commit \| commitdiff \| tree
2022-04-13	Scott Owens	typing constraints for array index op (boilderplate...	commit \| commitdiff \| tree
2022-04-08	Scott Owens	Use supportdyn for methods	commit \| commitdiff \| tree
2022-04-05	Scott Owens	Stop sub-type logging from printing Capabilities	commit \| commitdiff \| tree
2022-04-04	Scott Owens	Make SDT static methods supportdyn	commit \| commitdiff \| tree
2022-04-04	Scott Owens	improve arithmetic with float bounded generics	commit \| commitdiff \| tree
2022-04-01	Scott Owens	Extend like pushing to vec_or_dict	commit \| commitdiff \| tree
2022-04-01	Scott Owens	Fix --pessimise-builtins for `vec_or_dict`	commit \| commitdiff \| tree
2022-03-31	Scott Owens	Fix circular type detection	commit \| commitdiff \| tree
2022-03-31	Scott Owens	update ** and / implementation	commit \| commitdiff \| tree
2022-03-29	Scott Owens	Fix expected type for arguments to supportdyn functions	commit \| commitdiff \| tree
2022-03-26	Scott Owens	Add a special case for calling like-typed functions	commit \| commitdiff \| tree
2022-03-25	Scott Owens	Tweaks to changes to +/-/*	commit \| commitdiff \| tree
2022-03-24	Scott Owens	Redo +/-/* to fix arithmetic typehole and result types...	commit \| commitdiff \| tree
2022-03-17	Scott Owens	Fix foreach over dynamic typed arrays	commit \| commitdiff \| tree
2022-03-16	Scott Owens	pessimised builtins were not compatible with like pushing	commit \| commitdiff \| tree
2022-03-11	Scott Owens	Make inout work better with dynamic	commit \| commitdiff \| tree
2022-03-09	Scott Owens	Fix bug in setting variances on call parameters with...	commit \| commitdiff \| tree
2022-03-08	Scott Owens	Fix bug with key pessimisation	commit \| commitdiff \| tree
2022-03-03	Scott Owens	Expose a pure version of shape_field_name	commit \| commitdiff \| tree
2022-02-28	Scott Owens	Fix missing Set key type bound	commit \| commitdiff \| tree
2022-02-26	Scott Owens	Fix a bug in pessimised keysets	commit \| commitdiff \| tree
2022-02-25	Scott Owens	Use like-type function application rule instead of...	commit \| commitdiff \| tree
2022-02-25	Scott Owens	fix dict with non-arraykey keys	commit \| commitdiff \| tree
2022-02-22	Scott Owens	Improve subtyping for intersection on the left with...	commit \| commitdiff \| tree
2022-02-18	Scott Owens	Improve some TAST checks to use type disjointness	commit \| commitdiff \| tree
2022-02-08	Scott Owens	Improve subtyping wrt constraint types	commit \| commitdiff \| tree
2022-02-07	Scott Owens	remove redundant lower bounds in disjunctive typing...	commit \| commitdiff \| tree
2022-02-02	Scott Owens	rename a helper function	commit \| commitdiff \| tree
2022-01-20	Scott Owens	Let supportdyn functions be called with like types	commit \| commitdiff \| tree
2022-01-19	Scott Owens	unify treatment of is AnyArray and is_any_array	commit \| commitdiff \| tree
2022-01-10	Scott Owens	Improve assignment to keyset/dict	commit \| commitdiff \| tree
2021-12-08	Scott Owens	remove varray and darray	commit \| commitdiff \| tree
2021-12-08	Scott Owens	add a typehole test for vec_or_dict	commit \| commitdiff \| tree
2021-11-25	Scott Owens	remove dead code and polymorphic variant	commit \| commitdiff \| tree
2021-11-25	Scott Owens	remove redundant refinement code	commit \| commitdiff \| tree
2021-11-25	Scott Owens	remove redundant expr type check	commit \| commitdiff \| tree
2021-11-24	Scott Owens	Add shapes to pessimised_builtins	commit \| commitdiff \| tree
2021-11-24	Scott Owens	refactor shape construction	commit \| commitdiff \| tree
2021-11-19	Scott Owens	remove empty .decl_out files in test directory	commit \| commitdiff \| tree
2021-11-18	Scott Owens	Make --pessimise-builtins pessimise tuples	commit \| commitdiff \| tree
2021-11-15	Scott Owens	Fix pessimisation of expected type	commit \| commitdiff \| tree
2021-11-11	Scott Owens	Improve key pessimisation for Map/dict/keyset	commit \| commitdiff \| tree
2021-11-10	Scott Owens	update test suite to hh_expect_equivalent	commit \| commitdiff \| tree
2021-11-10	Scott Owens	Add hh_expect and hh_expect_equivalent pseudo function...	commit \| commitdiff \| tree
2021-11-03	Scott Owens	Update semantics of generics with no __RequireDynamic	commit \| commitdiff \| tree
2021-11-03	Scott Owens	Remove a trivial let and reformat	commit \| commitdiff \| tree
2021-11-03	Scott Owens	Refactor __RequireDynamic case of dynamic-aware subtyping	commit \| commitdiff \| tree
2021-10-22	Scott Owens	fix refinement of like types	commit \| commitdiff \| tree
2021-10-20	Scott Owens	Allow echo of dynamic type	commit \| commitdiff \| tree
2021-10-19	Scott Owens	fix bug in as	commit \| commitdiff \| tree
2021-10-19	Scott Owens	Fix and test arraykeys	commit \| commitdiff \| tree
2021-10-18	Scott Owens	Fix pessimised vec/dict assignment	commit \| commitdiff \| tree
2021-10-14	Scott Owens	Fix typehole with Set append	commit \| commitdiff \| tree
2021-10-12	Scott Owens	allow dynamic expressions as container keys	commit \| commitdiff \| tree
2021-10-12	Scott Owens	make --pessimise-builtins pessimise collections and...	commit \| commitdiff \| tree
2021-10-08	Scott Owens	Fix some array index bugs	commit \| commitdiff \| tree
2021-10-07	Scott Owens	Add a flag `--pessimise-builtins`	commit \| commitdiff \| tree
2021-10-04	Scott Owens	Test case for type hole	commit \| commitdiff \| tree
2021-09-28	Scott Owens	Fix test case	commit \| commitdiff \| tree
2021-09-24	Scott Owens	Fix arrays and arithmetic	commit \| commitdiff \| tree
2021-09-24	Scott Owens	Change __NoRequireDynamic to __RequireDynamic	commit \| commitdiff \| tree
2021-09-23	Scott Owens	Relax enforcement requirement on public properties	commit \| commitdiff \| tree
2021-09-22	Scott Owens	Remove implicit coercion	commit \| commitdiff \| tree
2021-09-14	Scott Owens	Update sub-typing of dynamic	commit \| commitdiff \| tree
2021-09-14	Scott Owens	Add an upcast expression	commit \| commitdiff \| tree
2021-09-13	Scott Owens	Remove like_types tests	commit \| commitdiff \| tree
2021-09-10	Scott Owens	Consider ~t to be enforceable when t is	commit \| commitdiff \| tree
2021-07-12	Scott Owens	extend negation types to classes	commit \| commitdiff \| tree
2021-07-06	Scott Owens	union of intersections factors out common types	commit \| commitdiff \| tree
2021-06-25	Scott Owens	add a disjointness check for types	commit \| commitdiff \| tree
2021-06-21	Scott Owens	simplify intersection and union in localisation	commit \| commitdiff \| tree
2021-06-08	Scott Owens	allow types in hsl .hhi files to be considered enforced	commit \| commitdiff \| tree
2021-06-07	Scott Owens	fix arraykey & num bug	commit \| commitdiff \| tree
2021-05-27	Scott Owens	Add a type for the negation of primitive types	commit \| commitdiff \| tree
2021-05-19	Scott Owens	Fix assignment to a Map with bad key	commit \| commitdiff \| tree
2021-05-18	Scott Owens	Simplify array index check	commit \| commitdiff \| tree
2021-05-18	Scott Owens	Make dict/Map Tk <: arraykey	commit \| commitdiff \| tree
2021-05-07	Scott Owens	Add an mli file	commit \| commitdiff \| tree
2021-05-06	Scott Owens	Test for type hole involving writing to a `Map` with...	commit \| commitdiff \| tree
2021-04-21	Scott Owens	Improve type solving heuristic	commit \| commitdiff \| tree
2021-04-21	Scott Owens	Add logging for object_get	commit \| commitdiff \| tree
2021-04-15	Scott Owens	Improve the treatment of various Collections with dynamic	commit \| commitdiff \| tree
2021-04-14	Scott Owens	Stop dynamic being potentially considered enforceable	commit \| commitdiff \| tree
next

RSS Atom