Merge pull request #279 from egraphs-good/prims

saulshanabrook · web-flow · commit 33aacc04e655 · 2025-03-20T09:41:37.000-04:00
Add missing i64.log2 method
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/docs/changelog.md b/docs/changelog.md
@@ -4,6 +4,8 @@ _This project uses semantic versioning_
 
 ## UNRELEASED
 
+- Add missing i64.log2 method to the bindings
+
 ## 9.0.0 (2025-03-20)
 
 ### Evaluating Primitives
diff --git a/python/egglog/builtins.py b/python/egglog/builtins.py
@@ -195,6 +195,9 @@ def __rlshift__(self, other: i64Like) -> i64: ...
 
     def __rrshift__(self, other: i64Like) -> i64: ...
 
+    @method(egg_fn="log2")
+    def log2(self) -> i64: ...
+
     @method(egg_fn="not-i64")
     def __invert__(self) -> i64: ...
 
