init commit

Author: YameenMalik

.gitignore

@@ -0,0 +1,5 @@
+/sui/.idea
+/sui/sui.log.*
+/sui/build
+/build
+/.idea

Move.lock

@@ -0,0 +1,26 @@
+# @generated by Move, please check-in and do not edit manually.
+
+[move]
+version = 3
+manifest_digest = "1B29C0E9894E300594C1632826C95D54D7F9CF16F611403E8C9141E0932A3F21"
+deps_digest = "F8BBB0CCB2491CA29A3DF03D6F92277A4F3574266507ACD77214D37ECA3F3082"
+dependencies = [
+  { id = "Sui", name = "Sui" },
+]
+
+[[move.package]]
+id = "MoveStdlib"
+source = { git = "https://github.com/MystenLabs/sui.git", rev = "mainnet-v1.48.2", subdir = "crates/sui-framework/packages/move-stdlib" }
+
+[[move.package]]
+id = "Sui"
+source = { git = "https://github.com/MystenLabs/sui.git", rev = "mainnet-v1.48.2", subdir = "crates/sui-framework/packages/sui-framework" }
+
+dependencies = [
+  { id = "MoveStdlib", name = "MoveStdlib" },
+]
+
+[move.toolchain-version]
+compiler-version = "1.49.1"
+edition = "2024"
+flavor = "sui"

Move.toml

@@ -0,0 +1,12 @@
+# mainnet
+# -------------------------------
+[package]
+name = "IntegerLibrary"
+version = "1.0.0"
+published-at = "0x03637b7b60978ef4389124f7683456f0050ab015a0590d52b6e6cadb342af34a"
+
+[dependencies]
+Sui = { git = "https://github.com/MystenLabs/sui.git", subdir = "crates/sui-framework/packages/sui-framework", rev = "mainnet-v1.48.2" }
+
+[addresses]
+integer_library = "0x03637b7b60978ef4389124f7683456f0050ab015a0590d52b6e6cadb342af34a"

README.md

@@ -0,0 +1,6 @@
+# Integer Library
+
+A formally verified library of common unsigned and signed operations.
+
+
+

sources/full_math_u128.move

@@ -0,0 +1,30 @@
+module integer_library::full_math_u128 {
+    public fun mul_div_floor(num1: u128, num2: u128, denom: u128): u128 {
+        let r = full_mul(num1, num2) / (denom as u256);
+        (r as u128)
+    }
+
+    public fun mul_div_round(num1: u128, num2: u128, denom: u128): u128 {
+        let r = (full_mul(num1, num2) + ((denom as u256) >> 1)) / (denom as u256);
+        (r as u128)
+    }
+
+    public fun mul_div_ceil(num1: u128, num2: u128, denom: u128): u128 {
+        let r = (full_mul(num1, num2) + ((denom as u256) - 1)) / (denom as u256);
+        (r as u128)
+    }
+
+    public fun mul_shr(num1: u128, num2: u128, shift: u8): u128 {
+        let product = full_mul(num1, num2) >> shift;
+        (product as u128)
+    }
+
+    public fun mul_shl(num1: u128, num2: u128, shift: u8): u128 {
+        let product = full_mul(num1, num2) << shift;
+        (product as u128)
+    }
+
+    public fun full_mul(num1: u128, num2: u128): u256 {
+        (num1 as u256) * (num2 as u256)
+    }
+}

sources/full_math_u64.move

@@ -0,0 +1,31 @@
+module integer_library::full_math_u64 {
+    public fun mul_div_floor(num1: u64, num2: u64, denom: u64): u64 {
+        let r = full_mul(num1, num2) / (denom as u128);
+        (r as u64)
+    }
+    
+    public fun mul_div_round(num1: u64, num2: u64, denom: u64): u64 {
+        let r = (full_mul(num1, num2) + ((denom as u128) >> 1)) / (denom as u128);
+        (r as u64)
+    }
+    
+    public fun mul_div_ceil(num1: u64, num2: u64, denom: u64): u64 {
+        let r = (full_mul(num1, num2) + ((denom as u128) - 1)) / (denom as u128);
+        (r as u64)
+    }
+    
+    public fun mul_shr(num1: u64, num2: u64, shift: u8): u64 {
+        let r = full_mul(num1, num2) >> shift;
+        (r as u64)
+    }
+    
+    public fun mul_shl(num1: u64, num2: u64, shift: u8): u64 {
+        let r = full_mul(num1, num2) << shift;
+        (r as u64)
+    }
+
+    public fun full_mul(num1: u64, num2: u64): u128 {
+        ((num1 as u128) * (num2 as u128))
+    }
+}
+