Update README.md with log2 (#47)

Co-authored-by: Andrei Văcaru <16517508+anvacaru@users.noreply.github.com>
runtimeverification · Sep 5, 2024 · 1087635 · 1087635
1 parent 784b85d
commit 1087635
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -14,7 +14,7 @@ We employ two different types of specification for function verification: functi
 |------------|--------------------------------------------------------------------------------------------------------------------------|-------------|----------|
 | `wadMul`   | [solady/src/utils/FixedPointMathLib.sol](https://github.com/Vectorized/solady/blob/main/src/utils/FixedPointMathLib.sol) | No          | Yes      |
 | `wadMulUp` | [solady/src/utils/FixedPointMathLib.sol](https://github.com/Vectorized/solady/blob/main/src/utils/FixedPointMathLib.sol) | No          | Yes      |
-
+| `log2    ` | [solady/src/utils/FixedPointMathLib.sol](https://github.com/Vectorized/solady/blob/main/src/utils/FixedPointMathLib.sol) | No          | Yes      |
 
 ## Repository Structure
 
@@ -28,4 +28,4 @@ The recommended way of executing the verification script is to log the output tr
 
 ```bash
 time bash test/run-kevm.sh 2>&1 | tee log.out
-```
+```