From 826757348515d979137e2ab3ff3ce716971c347b Mon Sep 17 00:00:00 2001
From: minaminao <minaminaoy@gmail.com>
Date: Wed, 20 Sep 2023 14:55:33 +0900
Subject: [PATCH] update smtchecker and style-guide

---
 docs/smtchecker.rst  | 8 ++++----
 docs/style-guide.rst | 6 +++---
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/docs/smtchecker.rst b/docs/smtchecker.rst
index b30e8d9b92..38dddcd5b0 100644
--- a/docs/smtchecker.rst
+++ b/docs/smtchecker.rst
@@ -1212,12 +1212,12 @@ CHCエンジンは、内部関数の呼び出しをサポートするために
 +===================================+======================================+
 |``assert``                         |Verification target.                  |
 +-----------------------------------+--------------------------------------+
-|``require``                        |Assumption.                           |
+|``require``                        |仮定                                  |
 +-----------------------------------+--------------------------------------+
-|internal call                      |BMC: Inline function call.            |
+|internalコール                     |BMC: Inline function call.            |
 |                                   |CHC: Function summaries.              |
 +-----------------------------------+--------------------------------------+
-|external call to known code        |BMC: Inline function call or          |
+|既知のコードへのexternalコール     |BMC: Inline function call or          |
 |                                   |erase knowledge about state variables |
 |                                   |and local storage references.         |
 |                                   |CHC: Assume called code is unknown.   |
@@ -1228,7 +1228,7 @@ CHCエンジンは、内部関数の呼び出しをサポートするために
 |                                   |Checks whether it is popping an       |
 |                                   |empty array.                          |
 +-----------------------------------+--------------------------------------+
-|ABI functions                      |Abstracted with UF.                   |
+|ABI関数                            |Abstracted with UF.                   |
 +-----------------------------------+--------------------------------------+
 |``addmod``, ``mulmod``             |Supported precisely.                  |
 +-----------------------------------+--------------------------------------+
diff --git a/docs/style-guide.rst b/docs/style-guide.rst
index 4f68eb7255..4c503f98b2 100644
--- a/docs/style-guide.rst
+++ b/docs/style-guide.rst
@@ -1433,14 +1433,14 @@ mixedCaseを使用してください。
 
 .. Underscore Prefix for Non-external Functions and Variables
 
-非外部関数および変数のためのアンダースコア接頭辞
-================================================
+非外部関数と非外部変数のためのアンダースコア接頭辞
+==================================================
 
 * ``_singleLeadingUnderscore``
 
 .. This convention is suggested for non-external functions and state variables (``private`` or ``internal``). State variables without a specified visibility are ``internal`` by default.
 
-この規約は、外部関数と状態変数（ ``private`` または ``internal`` ）以外では推奨されています。
+この規約は、非外部関数と非外部状態変数（つまり ``private`` または ``internal`` ）で推奨されています。
 ビジビリティの指定がない状態変数は、デフォルトで ``internal`` となります。
 
 .. When designing a smart contract, the public-facing API (functions that can be called by any account) is an important consideration.