Public Git Hosting - hiphop-php.git/search

2022-08-19	Leo Osvald	Kill .hackpartial config & related complexity	commit \| commitdiff \| tree
2022-08-18	Leo Osvald	Remove non-parser/typechecker options from GlobalOptions...	commit \| commitdiff \| tree
2022-08-18	Leo Osvald	Remove parser-only options from GlobalOptions to avoid...	commit \| commitdiff \| tree
2022-08-18	Leo Osvald	ctx in type refinements [4/?]: coeffect (type)checking	commit \| commitdiff \| tree
2022-08-12	Leo Osvald	Support ctx refinements [3/?]: decl_ty	commit \| commitdiff \| tree
2022-08-12	Leo Osvald	Lower & elaborate contexts in refinements	commit \| commitdiff \| tree
2022-08-12	Leo Osvald	Support ctx refinements [1/?]: AAST	commit \| commitdiff \| tree
2022-08-11	Leo Osvald	Remove typechecker-only options from GlobalOptions...	commit \| commitdiff \| tree
2022-08-01	Leo Osvald	Preview-launch multiple as-constraints in type consts	commit \| commitdiff \| tree
2022-07-22	Leo Osvald	Add a backtest for a new use case for multiple `as...	commit \| commitdiff \| tree
2022-06-30	Leo Osvald	Intro shallow/local variant for leak_safe ctx	commit \| commitdiff \| tree
2022-06-01	Leo Osvald	Create HIP: Type Refinements	commit \| commitdiff \| tree
2022-05-19	Leo Osvald	Support `super` on type consts as unstable feature	commit \| commitdiff \| tree
2022-05-18	Leo Osvald	Parse `Type with { ... }` syntax as unstable feature	commit \| commitdiff \| tree
2022-04-22	Leo Osvald	Check that getInstanceKey can be called from PolicyShardedMe...	commit \| commitdiff \| tree
2022-04-15	Leo Osvald	Ensure multiple as bounds on type const type-check...	commit \| commitdiff \| tree
2022-04-07	Leo Osvald	Support multiple constraints in type const at the syntax...	commit \| commitdiff \| tree
2022-02-01	Leo Osvald	Encode ty as bincode+LZ4 in HSTC --type and typing...	commit \| commitdiff \| tree
2022-01-12	Leo Osvald	Batch multiple files in HSTC --type mode and its benchmark	commit \| commitdiff \| tree
2022-01-07	Leo Osvald	Support using precomputed naming table in SerDe benchmark...	commit \| commitdiff \| tree
2022-01-07	Leo Osvald	Support a quiet log level for hh_show(*_env), disabled...	commit \| commitdiff \| tree
2022-01-04	Leo Osvald	Write a native benchmark for type (de)serialization...	commit \| commitdiff \| tree
2022-01-04	Leo Osvald	Write Rust library for deserializing via typechecker	commit \| commitdiff \| tree
2021-12-21	Leo Osvald	Write FFI for auto-serializing a type to JSON	commit \| commitdiff \| tree
2021-12-17	Leo Osvald	Support mode hh_single_type_check --type	commit \| commitdiff \| tree
2021-09-14	Leo Osvald	Ban globals in default args if ctx lacks AccessGlobals...	commit \| commitdiff \| tree
2021-08-31	Leo Osvald	Fix tast_holes test	commit \| commitdiff \| tree
2021-08-29	Leo Osvald	Disable tast_holes test in dune	commit \| commitdiff \| tree
2021-07-16	Leo Osvald	Introduce `controlled` in typechecker	commit \| commitdiff \| tree
2021-06-30	Leo Osvald	Don't simplify intersections before adding coeffects...	commit \| commitdiff \| tree
2021-06-30	Leo Osvald	Make [defaults] be a finite capability set	commit \| commitdiff \| tree
2021-06-19	Leo Osvald	Avoid single-element intersection to avoid NAST errors	commit \| commitdiff \| tree
2021-06-15	Leo Osvald	Introduce a codegen context and escape hatch codegen_unsafe	commit \| commitdiff \| tree
2021-06-04	Leo Osvald	Don't treat ::class as ::VARIANT (requiring write_props)	commit \| commitdiff \| tree
2021-05-03	Leo Osvald	Migrate tests from `rx` to `oldrx` to keep good coverage	commit \| commitdiff \| tree
2021-04-29	Leo Osvald	Type-check context constants [3/?]: lift parser ban	commit \| commitdiff \| tree
2021-04-29	Leo Osvald	Pretty print contexts in bounds of ctx consts [2/?...	commit \| commitdiff \| tree
2021-04-29	Leo Osvald	Pretty print contexts in bounds of ctx consts [1/?]	commit \| commitdiff \| tree
2021-04-21	Leo Osvald	Stop enforcing calling conventions for `rx`	commit \| commitdiff \| tree
2021-04-21	Leo Osvald	Fix subtyping of closures with unsafe capabilities	commit \| commitdiff \| tree
2021-04-14	Leo Osvald	Reduce 24K events / sec during spikes for GET_CLIENT_CHANNEL...	commit \| commitdiff \| tree
2021-04-07	Leo Osvald	Clean up duplicated helpers for decl subtyping	commit \| commitdiff \| tree
2021-04-07	Leo Osvald	Type-check context constants [2/?]: access	commit \| commitdiff \| tree
2021-04-07	Leo Osvald	Type-check context constants [1/?]: inheritance	commit \| commitdiff \| tree
2021-03-30	Leo Osvald	Add lower bounds to AST for type constants [3/?]: direct...	commit \| commitdiff \| tree
2021-03-22	Leo Osvald	Add lower bounds to AST for context constants [2/?...	commit \| commitdiff \| tree
2021-03-18	Leo Osvald	Add lower bounds to AST for type constants [1/?]	commit \| commitdiff \| tree
2021-03-17	Leo Osvald	Fix a typo in parser to create context (not type) constraints	commit \| commitdiff \| tree
2021-03-11	Leo Osvald	Open-source the Vision doc (predates HIP)	commit \| commitdiff \| tree
2021-03-10	Leo Osvald	Forbid impurities in default args of callables except...	commit \| commitdiff \| tree
2021-02-08	Leo Osvald	Rename _constraint to _as_constraint	commit \| commitdiff \| tree
2021-02-02	Leo Osvald	Ban redeclarations of context constants in parser	commit \| commitdiff \| tree
2021-01-16	Leo Osvald	Enforce arity check on context list	commit \| commitdiff \| tree
2021-01-13	Leo Osvald	UX: clarify error message (defined -> Hack provides)	commit \| commitdiff \| tree
2021-01-12	Leo Osvald	UX: ban by default non-contexts in context list	commit \| commitdiff \| tree
2021-01-10	Leo Osvald	Clean up HH\Contexts in naming special names	commit \| commitdiff \| tree
2021-01-09	Leo Osvald	Point to context definitions in coeffect-related errors	commit \| commitdiff \| tree
2020-12-31	Leo Osvald	Migrate not-immediately-awaited Awaitable check to...	commit \| commitdiff \| tree
2020-12-29	Leo Osvald	Migrate Rx\IS_ENABLED logic to coeffects	commit \| commitdiff \| tree
2020-12-28	Leo Osvald	Canonicalize (HH\)Rx\IS_ENABLED to simplify further...	commit \| commitdiff \| tree
2020-12-28	Leo Osvald	Don't overload `anon` for both PHP-style anon. funs...	commit \| commitdiff \| tree
2020-12-22	Leo Osvald	Insert capabilites for calls outside body (toplevel)	commit \| commitdiff \| tree
2020-12-21	Leo Osvald	Let PHP-style anon. use enclosing capabilities	commit \| commitdiff \| tree
2020-12-21	Leo Osvald	Enforce indexing & mutation outside TAST check [2/2]	commit \| commitdiff \| tree
2020-12-21	Leo Osvald	type-check constructors in attributes with default...	commit \| commitdiff \| tree
2020-12-20	Leo Osvald	Enforce reactive indexing & mutation outside TAST check...	commit \| commitdiff \| tree
2020-12-17	Leo Osvald	Modify capability hierarchy & work around lack of lower...	commit \| commitdiff \| tree
2020-12-17	Leo Osvald	Migrate output & static prop checks & Rx/Pure tests	commit \| commitdiff \| tree
2020-12-15	Leo Osvald	Write comprehensive HHVM tests with context syntax	commit \| commitdiff \| tree
2020-12-15	Leo Osvald	Parse & lower context list on PHP-style anon. function	commit \| commitdiff \| tree
2020-12-14	Leo Osvald	Parse context constants with optional super (and as)	commit \| commitdiff \| tree
2020-12-13	Leo Osvald	Independently gate call & local op coeffects, untie...	commit \| commitdiff \| tree
2020-12-12	Leo Osvald	Elaborate contexts on a method just like fun/lambda	commit \| commitdiff \| tree
2020-12-12	Leo Osvald	Enable call into [rx*] & don't track Input capability	commit \| commitdiff \| tree
2020-12-10	Leo Osvald	Enable coeffect syntax in all rx/pure tests	commit \| commitdiff \| tree
2020-12-10	Leo Osvald	Migrate rx/pure tests to strict mode, fix broken tests	commit \| commitdiff \| tree
2020-11-21	Leo Osvald	Enforce output & access to static properties via coeffects	commit \| commitdiff \| tree
2020-11-14	Leo Osvald	Omit "set {" when printing single-type capability	commit \| commitdiff \| tree
2020-11-11	Leo Osvald	Register capabilities after saving env for anon. fun	commit \| commitdiff \| tree
2020-11-10	Leo Osvald	Remove TAST checks associated with parser-banned $GLOBALS	commit \| commitdiff \| tree
2020-10-16	Leo Osvald	Type closure definition properly	commit \| commitdiff \| tree
2020-10-08	Leo Osvald	Type body of closure properly, add fast path	commit \| commitdiff \| tree
2020-10-07	Leo Osvald	Add tests for closures with and without annotations	commit \| commitdiff \| tree
2020-10-05	Leo Osvald	Print capabilities as sets when possible	commit \| commitdiff \| tree
2020-09-17	Leo Osvald	Remove Naming & Typing checks for coroutines	commit \| commitdiff \| tree
2020-08-11	Leo Osvald	Represent capabilities as sealed interface hierarchies	commit \| commitdiff \| tree
2020-08-05	Leo Osvald	Add new capability hint(s) to (T/A)AST	commit \| commitdiff \| tree
2020-06-02	Leo Osvald	Kill dead code in emitter (hhbc/)	commit \| commitdiff \| tree
2020-05-29	Leo Osvald	Make sure enforcement works across hierarchies	commit \| commitdiff \| tree
2020-05-27	Leo Osvald	Support arbitrary-layout HHVM options	commit \| commitdiff \| tree
2020-05-22	Leo Osvald	Support logging HackC options in HHVM (via JSON)	commit \| commitdiff \| tree
2020-05-21	Leo Osvald	Make order of aliased namespaces canonical	commit \| commitdiff \| tree
2020-05-21	Leo Osvald	Detect misparsed HHBC options	commit \| commitdiff \| tree
2020-05-19	Leo Osvald	Skip empty configs (not a valid JSON)	commit \| commitdiff \| tree
2020-04-23	Leo Osvald	Parse bool-ish JSON options as true iff =1 [3rd attempt]	commit \| commitdiff \| tree
2020-04-22	Leo Osvald	Back out "Re-commit D20569996: bool options can't be >1"	commit \| commitdiff \| tree
2020-04-22	Leo Osvald	Parse int JSON as true only if == 1	commit \| commitdiff \| tree
2020-04-22	Leo Osvald	Re-commit D20569996: bool options can't be >1	commit \| commitdiff \| tree
2020-04-10	Leo Osvald	Backport caching of HHBC options merging to OCaml	commit \| commitdiff \| tree
2020-04-07	Leo Osvald	Treat CLI option keys for HHBC options case-insensitively	commit \| commitdiff \| tree
next

RSS Atom