chore: rename warnings.py => logs.py

src/halmos/__main__.py

@@ -86,7 +86,7 @@
     unbox_int,
     yellow,
 )
-from .warnings import (
+from .logs import (
     COUNTEREXAMPLE_INVALID,
     COUNTEREXAMPLE_UNKNOWN,
     INTERNAL_ERROR,

src/halmos/bytevec.py

@@ -17,7 +17,7 @@
     try_bv_value_to_bytes,
     unbox_int,
 )
-from .warnings import warn
+from .logs import warn
 
 UnwrappedBytes = bytes | Byte
 WrappedBytes = ForwardRef("Chunk") | ForwardRef("ByteVec")

src/halmos/calldata.py

@@ -13,7 +13,7 @@
 from .bytevec import ByteVec
 from .config import Config as HalmosConfig
 from .utils import con, uid
-from .warnings import debug_once
+from .logs import debug_once
 
 
 @dataclass(frozen=True)

src/halmos/cheatcodes.py

@@ -59,7 +59,7 @@
     uint160,
     uint256,
 )
-from .warnings import debug
+from .logs import debug
 
 # f_vmaddr(key) -> address
 f_vmaddr = Function("f_vmaddr", BitVecSort256, BitVecSort160)

src/halmos/config.py

@@ -10,7 +10,7 @@
 
 import toml
 
-from .warnings import warn
+from .logs import warn
 
 # common strings
 internal = "internal"

src/halmos/console.py

@@ -15,7 +15,7 @@
     render_int,
     render_uint,
 )
-from .warnings import (
+from .logs import (
     info,
     warn,
 )

src/halmos/sevm.py

@@ -125,7 +125,7 @@
     uint256,
     unbox_int,
 )
-from .warnings import (
+from .logs import (
     INTERNAL_ERROR,
     LIBRARY_PLACEHOLDER,
     debug,

src/halmos/utils.py

@@ -38,7 +38,7 @@
 
 from .exceptions import HalmosException, NotConcreteError
 from .mapper import Mapper
-from .warnings import warn
+from .logs import warn
 
 # order of the secp256k1 curve
 secp256k1n = (