diff --git a/pyargus/argus/__init__.pyi b/pyargus/argus/__init__.pyi index bb852fa..69a97b3 100644 --- a/pyargus/argus/__init__.pyi +++ b/pyargus/argus/__init__.pyi @@ -36,3 +36,5 @@ from argus._argus import eval_robust_semantics as eval_robust_semantics from argus._argus import parse_expr as parse_expr AllowedDtype: TypeAlias = bool | int | float + +__version__: str diff --git a/pyargus/argus/_argus.pyi b/pyargus/argus/_argus.pyi index 156d72d..d14b02b 100644 --- a/pyargus/argus/_argus.pyi +++ b/pyargus/argus/_argus.pyi @@ -2,6 +2,8 @@ from typing import ClassVar, Literal, TypeAlias, TypeVar, final from typing_extensions import Generic, Self +__version__: str + def parse_expr(expr_str: str) -> Expr: ... class Expr: ... diff --git a/pyargus/pyproject.toml b/pyargus/pyproject.toml index 0c2574a..7024eef 100644 --- a/pyargus/pyproject.toml +++ b/pyargus/pyproject.toml @@ -1,6 +1,5 @@ [project] name = "argus-temporal-logic" -version = "0.1.1" requires-python = ">=3.8" classifiers = [ "Programming Language :: Rust",