Skip to content

Commit

Permalink
rename div_euc -> div_euclid, and mod_euc -> rem_euclid
Browse files Browse the repository at this point in the history 
logic is written up in #49048

Also, update the documentation slightly
  • Loading branch information
@ubsan
ubsan committed Dec 18, 2018
1 parent 54f3cd6 commit e36b628
Show file tree
Hide file tree
Showing 5 changed files with 141 additions and 121 deletions.

0 comments on commit e36b628

Please sign in to comment.