research/argus
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(pyargus): use version from Cargo

Browse source
This commit is contained in:
Anand Balakrishnan 2023-10-06 14:34:10 -07:00
parent 411b144761
commit dc71a51df3
No known key found for this signature in database
3 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
pyargus/argus/__init__.pyi
View file

@ -36,3 +36,5 @@ from argus._argus import eval_robust_semantics as eval_robust_semantics
from argus._argus import parse_expr as parse_expr from argus._argus import parse_expr as parse_expr
AllowedDtype: TypeAlias = bool | int | float AllowedDtype: TypeAlias = bool | int | float
__version__: str

2
pyargus/argus/_argus.pyi
View file

@ -2,6 +2,8 @@ from typing import ClassVar, Literal, TypeAlias, TypeVar, final
from typing_extensions import Generic, Self from typing_extensions import Generic, Self
__version__: str
def parse_expr(expr_str: str) -> Expr: ... def parse_expr(expr_str: str) -> Expr: ...
class Expr: ... class Expr: ...

1
pyargus/pyproject.toml
View file

@ -1,6 +1,5 @@
[project] [project]
name = "argus-temporal-logic" name = "argus-temporal-logic"
version = "0.1.1"
requires-python = ">=3.8" requires-python = ">=3.8"
classifiers = [ classifiers = [
"Programming Language :: Rust", "Programming Language :: Rust",