projects / platform / upstream / pytorch.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e8c3c5) | patch
Merge script and _script_pdt API (#62420)
authornikithamalgi <nikithamalgi@devvm146.prn0.facebook.com>
Fri, 27 Aug 2021 01:54:51 +0000 (18:54 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Fri, 27 Aug 2021 01:58:19 +0000 (18:58 -0700)
commit510d2ece81c18ba3f9bbcbc509effe281a77206c
tree35ae6c98e66b238f2b9fcc35cd400415869015eftree | snapshot
parent0e8c3c51d9a2a0d364f2707d4131ab12229dc826commit | diff
Merge script and _script_pdt API (#62420)

Summary:
Merge `torch.jit.script` and `torch.jit._script_pdt` API. This PR merges profile directed typing with script api

Pull Request resolved: https://github.com/pytorch/pytorch/pull/62420

Reviewed By: iramazanli

Differential Revision: D30579015

Pulled By: nikithamalgifb

fbshipit-source-id: 99ba6839d235d61b2dd0144b466b2063a53ccece
test/jit/test_pdt.py diff | blob | history
torch/jit/__init__.py diff | blob | history
torch/jit/_script.py diff | blob | history
Domain: Machine Learning / ML Framework;