| commit | 61423e674268c090ff573a0e2d827212c813120a | |
| author | Eric Shrewsberry <eshrews@fb.com> | |
| Tue, 28 Feb 2017 22:45:17 +0000 (28 14:45 -0800) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Tue, 28 Feb 2017 23:03:16 +0000 (28 15:03 -0800) | ||
| tree | 1f174b627e577232d2463bf2b074d01b88454c90 | treesnapshot (tar.gz zip) |
| parent | 501f02b769e2630a0dd4021c2c7b13605bb31e51 | commitdiff |
v0.4.9 - Precompute candidate rules, and bind unbound rules on lines with 0 overflow
Summary: The importance of this diff is that by binding unbound rules on lines that have already been considered and have with 0 overflow, we can now look for overlapping states more easily (coming the the next diff).
Differential Revision: D4557276
fbshipit-source-id: cab1c57fe49c202e5c7009f5915c442e794f9a58
Summary: The importance of this diff is that by binding unbound rules on lines that have already been considered and have with 0 overflow, we can now look for overlapping states more easily (coming the the next diff).
Differential Revision: D4557276
fbshipit-source-id: cab1c57fe49c202e5c7009f5915c442e794f9a58
| hphp/hack/src/hackfmt/line_splitter/line_splitter.ml | diffblobblamehistory | |
| hphp/hack/src/hackfmt/line_splitter/solve_state.ml | diffblobblamehistory |