Public Git Hosting - hiphop-php.git/search

2022-01-11	Mistral Orhan Jean...	Constraints for function arguments	commit \| commitdiff \| tree
2022-01-10	Mistral Orhan Jean...	Create an algebra of shape keys of static key constraints	commit \| commitdiff \| tree
2022-01-10	Mistral Orhan Jean...	Add a test to ensure we don't coalesce keys	commit \| commitdiff \| tree
2022-01-10	Mistral Orhan Jean...	Support parameters	commit \| commitdiff \| tree
2022-01-10	Mistral Orhan Jean...	Support for While loops	commit \| commitdiff \| tree
2022-01-09	Mistral Orhan Jean...	Add extension	commit \| commitdiff \| tree
2022-01-09	Mistral Orhan Jean...	Copy-on-write array assignments	commit \| commitdiff \| tree
2022-01-09	Mistral Orhan Jean...	Move from PointsTo to Subset constraints	commit \| commitdiff \| tree
2022-01-09	Mistral Orhan Jean...	Switch statements	commit \| commitdiff \| tree
2022-01-07	Mistral Orhan Jean...	Typehole due to omitted fallthrough statements	commit \| commitdiff \| tree
2022-01-07	Mistral Orhan Jean...	Refactor type decomposition in intersection logic	commit \| commitdiff \| tree
2022-01-06	Mistral Orhan Jean...	Use fuel in type printing	commit \| commitdiff \| tree
2022-01-04	Mistral Orhan Jean...	Add switch exhaustiveness linter for non-enum types	commit \| commitdiff \| tree
2022-01-04	Mistral Orhan Jean...	Clean up switch case type mismatch lints/errors	commit \| commitdiff \| tree
2021-12-14	Mistral Orhan Jean...	Don't evaluate overloaded function arguments twice	commit \| commitdiff \| tree
2021-12-14	Mistral Orhan Jean...	Don't evaluate overloaded function arguments thrice	commit \| commitdiff \| tree
2021-12-14	Mistral Orhan Jean...	Add practical upper bound to Levenshtein distance	commit \| commitdiff \| tree
2021-12-14	Mistral Orhan Jean...	Optimise Levenshtein distance	commit \| commitdiff \| tree
2021-12-14	Mistral Orhan Jean...	Performance bug due to unnecessarily converting type...	commit \| commitdiff \| tree
2021-12-14	Mistral Orhan Jean...	Optimise subtyping with physical equality	commit \| commitdiff \| tree
2021-11-30	Mistral Orhan Jean...	Get `hint` out of mutual recursion	commit \| commitdiff \| tree
2021-11-30	Mistral Orhan Jean...	Get rid of unnecessary global inference on hhstc checks	commit \| commitdiff \| tree
2021-11-23	Mistral Orhan Jean...	Remove in case	commit \| commitdiff \| tree
2021-11-17	Mistral Orhan Jean...	Add a classname typehole to the regression test suite	commit \| commitdiff \| tree
2021-11-13	Mistral Orhan Jean...	Suppress unsafe cast lint on nondenotable expression...	commit \| commitdiff \| tree
2021-11-11	Mistral Orhan Jean...	Remove "invalid comment due to mode" errors	commit \| commitdiff \| tree
2021-11-11	Mistral Orhan Jean...	Remove uses of `is_strict` API	commit \| commitdiff \| tree
2021-11-11	Mistral Orhan Jean...	Delete partial mode	commit \| commitdiff \| tree
2021-11-11	Mistral Orhan Jean...	Remove --disable-modes option to hh_single_type_check	commit \| commitdiff \| tree
2021-11-09	Mistral Orhan Jean...	Start using continuations	commit \| commitdiff \| tree
2021-11-09	Mistral Orhan Jean...	Handle Markup and AssertEnv statements	commit \| commitdiff \| tree
2021-11-09	Mistral Orhan Jean...	Detect empty shape like dicts & refactor solver	commit \| commitdiff \| tree
2021-11-09	Mistral Orhan Jean...	Handle if statements	commit \| commitdiff \| tree
2021-11-09	Mistral Orhan Jean...	Move partial integration tests to strict	commit \| commitdiff \| tree
2021-11-09	Mistral Orhan Jean...	Port ML tests from partial to strict pt.2	commit \| commitdiff \| tree
2021-11-09	Mistral Orhan Jean...	Port ML tests from partial to strict	commit \| commitdiff \| tree
2021-11-02	Mistral Orhan Jean...	Revert partial mode in integration tests	commit \| commitdiff \| tree
2021-11-01	Mistral Orhan Jean...	Port partial dynamic view tests to strict	commit \| commitdiff \| tree
2021-11-01	Mistral Orhan Jean...	Porting decl tests from partial to strict	commit \| commitdiff \| tree
2021-11-01	Mistral Orhan Jean...	Port partial global inference tests to strict - FIXMEs	commit \| commitdiff \| tree
2021-11-01	Mistral Orhan Jean...	Port partial global inference tests to strict - trivial...	commit \| commitdiff \| tree
2021-11-01	Mistral Orhan Jean...	Port partial typechecker tests to strict - type annotations...	commit \| commitdiff \| tree
2021-11-01	Mistral Orhan Jean...	Port partial typechecker tests to strict - deleted	commit \| commitdiff \| tree
2021-11-01	Mistral Orhan Jean...	Port partial typechecker tests to strict - tany cases	commit \| commitdiff \| tree
2021-11-01	Mistral Orhan Jean...	Port partial typechecker tests to strict - interesting	commit \| commitdiff \| tree
2021-11-01	Mistral Orhan Jean...	Port partial TAST tests to strict ones	commit \| commitdiff \| tree
2021-11-01	Mistral Orhan Jean...	Convert partial full fidelity tests to strict	commit \| commitdiff \| tree
2021-11-01	Mistral Orhan Jean...	Remove partial from tests that don't need it	commit \| commitdiff \| tree
2021-10-22	Mistral Orhan Jean...	Add partial support for array assignments	commit \| commitdiff \| tree
2021-10-20	Mistral Orhan Jean...	Pos info in unhandled feature errors	commit \| commitdiff \| tree
2021-10-20	Mistral Orhan Jean...	Note dynamically accessed dicts after simplification	commit \| commitdiff \| tree
2021-10-20	Mistral Orhan Jean...	Simplify constraints	commit \| commitdiff \| tree
2021-10-20	Mistral Orhan Jean...	Expand types and dedicated shape key type	commit \| commitdiff \| tree
2021-10-15	Mistral Orhan Jean...	Move Pos_embedded to Pos	commit \| commitdiff \| tree
2021-10-06	Mistral Orhan Jean...	Separate constraints by where they are generated	commit \| commitdiff \| tree
2021-10-06	Mistral Orhan Jean...	Stabilise test output	commit \| commitdiff \| tree
2021-10-06	Mistral Orhan Jean...	Support variable expressions and assignment	commit \| commitdiff \| tree
2021-10-06	Mistral Orhan Jean...	Add an environment	commit \| commitdiff \| tree
2021-10-06	Mistral Orhan Jean...	Extract basic literal and indexing constraints	commit \| commitdiff \| tree
2021-10-06	Mistral Orhan Jean...	Flagging shape analysis targets	commit \| commitdiff \| tree
2021-10-06	Mistral Orhan Jean...	Infrastructure for shape analysis	commit \| commitdiff \| tree
2021-08-11	Mistral Orhan Jean...	Remove Tobject	commit \| commitdiff \| tree
2021-08-11	Mistral Orhan Jean...	Generate Terr instead of Tobj when a new expression...	commit \| commitdiff \| tree
2021-08-11	Mistral Orhan Jean...	Unknown XHP classes produce Terr instead of Tobj	commit \| commitdiff \| tree
2021-08-11	Mistral Orhan Jean...	Generate Terr instead of Tobject during invalid refinement	commit \| commitdiff \| tree
2021-08-10	Mistral Orhan Jean...	Log bad types to Scuba	commit \| commitdiff \| tree
2021-08-10	Mistral Orhan Jean...	Tany/Terr/Tobject logger	commit \| commitdiff \| tree
2021-08-10	Mistral Orhan Jean...	Set log levels from hh configuration	commit \| commitdiff \| tree
2021-08-04	Mistral Orhan Jean...	Tidy typing environment.	commit \| commitdiff \| tree
2021-06-28	Mistral Orhan Jean...	Fix bug preventing Glean from finding global revision	commit \| commitdiff \| tree
2021-06-15	Mistral Orhan Jean...	Don't forget fake members on non-property-writing calls	commit \| commitdiff \| tree
2021-06-15	Mistral Orhan Jean...	Make assignment refinement an intersection	commit \| commitdiff \| tree
2021-06-15	Mistral Orhan Jean...	Optimise TVar <: union of that TVar simplification	commit \| commitdiff \| tree
2021-06-15	Mistral Orhan Jean...	Simplify intersections with type equality	commit \| commitdiff \| tree
2021-06-15	Mistral Orhan Jean...	Make ty_equal do physical equality	commit \| commitdiff \| tree
2021-06-02	Mistral Orhan Jean...	Documentation for function type from identifier	commit \| commitdiff \| tree
2021-06-02	Mistral Orhan Jean...	Array filter TODO	commit \| commitdiff \| tree
2021-06-02	Mistral Orhan Jean...	Pointer comment for Disposable/using helper	commit \| commitdiff \| tree
2021-06-02	Mistral Orhan Jean...	Notes on `make_call_special` and its use	commit \| commitdiff \| tree
2021-06-02	Mistral Orhan Jean...	Move echo IO enforcement to dedicated place	commit \| commitdiff \| tree
2021-06-02	Mistral Orhan Jean...	Eliminate unnecessary call dispatch indirection	commit \| commitdiff \| tree
2021-06-01	Mistral Orhan Jean...	Global function references are banned	commit \| commitdiff \| tree
2021-06-01	Mistral Orhan Jean...	Log deferment status	commit \| commitdiff \| tree
2021-05-27	Mistral Orhan Jean...	Order of evaluation in typechecker differs from HHVM	commit \| commitdiff \| tree
2021-05-27	Mistral Orhan Jean...	Don't error on missing HHI decl if typechecking is...	commit \| commitdiff \| tree
2021-05-27	Mistral Orhan Jean...	Keep track of collection decl existence invariant violations	commit \| commitdiff \| tree
2021-05-27	Mistral Orhan Jean...	Add an error to keep track of invariant violations	commit \| commitdiff \| tree
2021-05-27	Mistral Orhan Jean...	echo arguments should be arraykey	commit \| commitdiff \| tree
2021-05-26	Mistral Orhan Jean...	Update closure return type	commit \| commitdiff \| tree
2021-05-21	Mistral Orhan Jean...	new error code for bad echo argument	commit \| commitdiff \| tree
2021-05-18	Mistral Orhan Jean...	Demote nullsafe access (?->) operator use on `nonnull`	commit \| commitdiff \| tree
2021-05-18	Mistral Orhan Jean...	mixed can be cast string	commit \| commitdiff \| tree
2021-05-14	Mistral Orhan Jean...	Check keyset values to be arraykeys	commit \| commitdiff \| tree
2021-05-13	Mistral Orhan Jean...	Map array indexing is not checked to be arraykey	commit \| commitdiff \| tree
2021-05-12	Mistral Orhan Jean...	Introduce invalid keyset error	commit \| commitdiff \| tree
2021-05-12	Mistral Orhan Jean...	XHP attribute access can invalidate the attribute	commit \| commitdiff \| tree
2021-05-12	Mistral Orhan Jean...	Typecheck collection type arguments	commit \| commitdiff \| tree
2021-05-11	Mistral Orhan Jean...	Test case for lack of fake member invalidation on attribute...	commit \| commitdiff \| tree
2021-05-10	Mistral Orhan Jean...	Add the option to remove positions while printing ASTs	commit \| commitdiff \| tree
2021-04-23	Mistral Orhan Jean...	list `coeffects.hhi` as a dune dependency	commit \| commitdiff \| tree
next

RSS Atom