New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Implement `U128` and related host functions #11

Closed

bbyalcinkaya wants to merge 0 commits into master from u128

Member

bbyalcinkaya commented Jul 16, 2024

Adds U128 type and the following host functions

obj_from_u128_pieces, "i" "3"
obj_to_u128_lo64, "i" "4"
obj_to_u128_hi64, "i" "5"

bbyalcinkaya closed this

bbyalcinkaya force-pushed the u128 branch from d25ed21 to 4f8637f Compare

July 16, 2024 19:17

asavienko added a commit that referenced this pull request


          Merge pull request #11 from runtimeverification/develop

a3e6302

ci

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet