Update div rounding_mode argument to optional<string> #2859
Update div rounding_mode to optional<string>
32e365fb
JackCaoG
requested changes
on 2021-04-02
Fix invalid rounding_mode access
e4de8fd7
peterbell10
force pushed
from
78fd9eb8
to
e4de8fd7
5 years ago
JackCaoG
approved these changes
on 2021-04-02
Add PyTorch pin
beb3f318
Fix tests
c608e122
Delete .torch_pin
25df9da1
JackCaoG
merged
72f92dfc
into master 5 years ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub