benchmark
Enable profile directed typing using _script_pdt API
#385

Merged

Enable profile directed typing using _script_pdt API #385

nikithamalgifb merged 9 commits into master from enable_script_pdt_api

Enable profile directed typing using _script_pdt API

45e64d83

facebook-github-bot added cla signed

Enable profile directed typing using _script_pdt API

4c36909f

Fix merge conflicts

9fa0499e

Revert changes to pytorch struct

79146ab2

Revert changes to pytorch struct

3f001d14

Fix merge conflicts

765169bb

Fix merge conflicts

3caea6ef

Fix merge conflicts

c4c4432f

Merge branch 'enable_script_pdt_api' of https://github.com/pytorch/be…

4b2af8b7

nikithamalgifb marked this pull request as ready for review 4 years ago

nikithamalgifb requested a review from

gmagogsfm 4 years ago

nikithamalgifb requested a review from

wconstab 4 years ago

wconstab approved these changes on 2021-06-01

nikithamalgifb merged e4ce1674 into master 4 years ago

Reviewers

wconstab

gmagogsfm

Assignees

No one assigned

Labels

cla signed

Milestone

No milestone