diff options
| author | Michael Soegtrop | 2019-05-10 13:58:31 +0200 |
|---|---|---|
| committer | Michael Soegtrop | 2019-05-10 13:58:31 +0200 |
| commit | 73f921f9634b9ccb587b2f85869d88eb12983d0f (patch) | |
| tree | d8e17412e42f9085fbaf000484f83ea98c6e65ea /kernel/genOpcodeFiles.ml | |
| parent | c659b96eaa7bb5e401786546bb293a31e5f3c3d4 (diff) | |
| parent | 281e6657c7fe5033a13c7a2fd2b6cc6f51cb6911 (diff) | |
Merge PR #9854: Improve field_simplify on fractions with constant denominator
Reviewed-by: MSoegtropIMC
Ack-by: Zimmi48
Reviewed-by: amahboubi
Reviewed-by: vbgl
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions