Skip to content

feat(proof-libs): add missing definitions#1356

Merged
W95Psp merged 1 commit intomainfrom
misc-proof-libs
Mar 11, 2025
Merged

feat(proof-libs): add missing definitions#1356
W95Psp merged 1 commit intomainfrom
misc-proof-libs

Conversation

@W95Psp
Copy link
Copy Markdown
Contributor

@W95Psp W95Psp commented Mar 11, 2025

This commit adds the following missing definitions:

  • impl_u128__wrapping_sub
  • impl_i128__wrapping_add
  • impl_i128__wrapping_sub

It also adds hardcoded values for pow2 for 127 and 128: this is useful when dealing with u128s.

This commit adds the following missing definitions:
 - `impl_u128__wrapping_sub`
 - `impl_i128__wrapping_add`
 - `impl_i128__wrapping_sub`

It also adds hardcoded values for `pow2` for `127` and `128`: this is useful when dealing with `u128`s.
@W95Psp W95Psp requested a review from a team as a code owner March 11, 2025 16:19
@W95Psp W95Psp requested a review from maximebuyse March 11, 2025 16:20
@W95Psp W95Psp added this pull request to the merge queue Mar 11, 2025
Merged via the queue into main with commit 43363c5 Mar 11, 2025
14 of 15 checks passed
@W95Psp W95Psp deleted the misc-proof-libs branch March 11, 2025 17:22
@W95Psp W95Psp restored the misc-proof-libs branch January 15, 2026 15:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants