Wrong upper bound of int16
#6
Comments
|
Moot after the big #7 PR, and #15 added https://github.com/dafny-lang/libraries/blob/master/src/BoundedInts.dfy with the correct bounds |
davidcok
added a commit
that referenced
this issue
Apr 17, 2023
* Working on reusable tests * Debugging * Debugging #2 * Debugging #3 * Debugging #4 * Debugging #4 * Debugging #5 * Debugging #6 * Debugging #7 * Debugging #8 * Debugging #9 * Debugging #10 * Debugging #11 * Debugging #12 * Debugging #13 * Debugging #14 * Debugging #14 * Debugging * Debugging * Debugging * Debugging * OK, except disabling 3.13.1 and nightly-latest until setup-dafny-action is fixed * OK, except disabling 3.13.1 and nightly-latest until setup-dafny-action is fixed * Fixing the concurrency check * Old edits * Edits to examples * Touchups to examples and library * Math relations and examples * Some docstring documentation * Some docstring documentation * typo * Formatting * Removing semicolon * Adjusting for Dafny 3 * Attempt to fix proof in ld dafny versions * Fixing up docstrings * Fixed examples * Fixed formatting * Fixed formatting * Formatting * Formatting --------- Co-authored-by: davidcok <davidcok@github.com>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The upper bound of
int16should be0x8000(it is0x80000)https://github.com/dafny-lang/libraries/blob/master/src/Std.dfy#L9
The text was updated successfully, but these errors were encountered: