From 10876358b46f20dcc9410b78c988786ed9b78de7 Mon Sep 17 00:00:00 2001 From: Palina Tolmach Date: Thu, 5 Sep 2024 11:03:50 +0400 Subject: [PATCH] Update README.md with `log2` (#47) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Andrei Văcaru <16517508+anvacaru@users.noreply.github.com> --- 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 +```