diff options
| author | Vincent Laporte | 2019-02-01 15:47:49 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-02-01 15:47:49 +0000 |
| commit | f4cf212efd98d01a6470ea7bfd1034d52e928906 (patch) | |
| tree | 360bf6678bf8e1e0095cde7ac5ed17938f87bff1 /kernel/nativecode.ml | |
| parent | 506136d60c0dcc4fc2a2ca83ef3b586fbede55a2 (diff) | |
| parent | 687c7d97971316223e24b637973aa378077b5135 (diff) | |
Merge PR #8062: Add Z.div_mod_to_quot_rem tactic, put it in zify
Ack-by: JasonGross
Reviewed-by: fajb
Reviewed-by: jfehrle
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions