Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Repository
7fdaad84844cb686d5e110bb9090525252c6f373
Switch branch/tag
why3
src
util
bigInt.ml
Find file
Blame
History
Permalink
Do not adjust the remainder of computer_div_mod if it is zero.
· 7fdaad84
Guillaume Melquiond
authored
Sep 17, 2015
This fixes (-2) mod 2 being evaluated as nonzero.
7fdaad84
bigInt.ml
1.82 KB
Replace bigInt.ml
×
Attach a file by drag & drop or
click to upload
Commit message
Replace bigInt.ml
Replace file
Cancel
GitLab will create a branch in your fork and start a merge request.
