From 73cef883532d3fb6fff5c557f84472e247930512 Mon Sep 17 00:00:00 2001 From: Palina Tolmach Date: Sat, 24 Aug 2024 00:38:47 +0300 Subject: [PATCH] Update README.md with `log2` --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 02cac830..9cfccec3 100644 --- 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 -``` \ No newline at end of file +```