mathlib3
perf(data/gaussian_int): speed up div and mod
#1394
Merged

perf(data/gaussian_int): speed up div and mod #1394

mergify merged 1 commit into master from ChrisHughes24-patch-1
ChrisHughes24
ChrisHughes24 perf(data/gaussian_int): speed up div and mod
2fb75ff5
ChrisHughes24 ChrisHughes24 requested a review 6 years ago
digama0
digama0 approved these changes on 2019-09-03
digama0 digama0 added ready-to-merge
mergify mergify merged 4b6fcd90 into master 6 years ago
mergify mergify deleted the ChrisHughes24-patch-1 branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone