aboutsummaryrefslogtreecommitdiff
path: root/kernel/nativecode.ml
diff options
context:
space:
mode:
authorPierre-Marie Pédrot2016-09-26 02:30:45 +0200
committerPierre-Marie Pédrot2016-09-26 16:08:48 +0200
commit5d36de8e2304661e76ac433d5dd90c13b3b86c72 (patch)
tree06b361b179fa775e2fa9f3448372a91dc5d99a24 /kernel/nativecode.ml
parentad56f07611f78abb612e8c8c22866ea45040f11e (diff)
Fast russian peasant exponentiation in Nsatz.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions