Merge pull request #46 from NethermindEth/ElijahVlasov/horus-version-…

…json

Add Horus version to output

pyproject.toml

@@ -18,7 +18,7 @@ skip_gitignore = true
 
 [tool.poetry]
 name = "horus-compile"
-version = "0.0.6.3"
+version = "0.0.6.4"
 authors = ["Nethermind <[email protected]>"]
 description = "Use formally verified annotations in your Cairo code"
 classifiers = [

src/horus/__init__.py

@@ -1 +1 @@
-__version__ = "0.0.6.3"
+__version__ = "0.0.6.4"

src/horus/compiler/contract_definition.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 
 from dataclasses import field
-from typing import Dict, List
+from typing import Dict, List, Optional
 
 import marshmallow.fields as mfields
 import marshmallow_dataclass
@@ -12,6 +12,7 @@
 from starkware.cairo.lang.compiler.scoped_name import ScopedName, ScopedNameAsStr
 from starkware.starknet.services.api.contract_class import ContractClass
 
+import horus
 from horus.compiler.var_names import *
 from horus.utils import z3And
 
@@ -100,6 +101,9 @@ class FunctionAnnotations:
 
 @marshmallow_dataclass.dataclass(frozen=True)
 class HorusDefinition(ContractClass):
+    horus_version: Optional[str] = field(
+        metadata=dict(marshmallow_field=mfields.String()), default=horus.__version__
+    )
     specifications: Dict[ScopedName, FunctionAnnotations] = field(
         metadata=dict(
             marshmallow_field=mfields.Dict(

src/horus/compiler/horus_compile.py

@@ -62,6 +62,7 @@ def assemble_horus_contract(
 
     return HorusDefinition(
         **contract_definition.__dict__,
+        horus_version=horus.__version__,
         specifications=preprocessed_program.specifications,
         invariants=preprocessed_program.invariants,
         storage_vars=preprocessed_program.storage_vars,