gds-core/packages/gds-framework/pyproject.toml at dev · DynamicalSystemsGroup/gds-core · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
[project]
name = "gds-framework"
dynamic = ["version"]
description = "Generalized Dynamical Systems — typed compositional specifications for complex systems"
readme = "README.md"
license = "Apache-2.0"
requires-python = ">=3.12"
authors = [
    { name = "Rohan Mehta", email = "rohan@dynamicalsystemsgroup.com" },
]
keywords = [
    "generalized-dynamical-systems",
    "compositional-systems",
    "block-diagram",
    "categorical-cybernetics",
    "dsl",
    "type-system",
    "verification",
    "msml",
    "cadcad",
    "system-specification",
    "mechanism-design",
]
classifiers = [
    "Development Status :: 3 - Alpha",
    "Intended Audience :: Developers",
    "Intended Audience :: Science/Research",
    "License :: OSI Approved :: Apache Software License",
    "Programming Language :: Python :: 3",
    "Programming Language :: Python :: 3.12",
    "Programming Language :: Python :: 3.13",
    "Topic :: Scientific/Engineering",
    "Topic :: Scientific/Engineering :: Mathematics",
    "Topic :: Software Development :: Libraries :: Python Modules",
    "Typing :: Typed",
]
dependencies = [
    "pydantic>=2.10",
]

[project.urls]
Homepage = "https://github.com/DynamicalSystemsGroup/gds-core"
Repository = "https://github.com/DynamicalSystemsGroup/gds-core"
Documentation = "https://dynamicalsystemsgroup.github.io/gds-core"

[build-system]
requires = ["hatchling"]
build-backend = "hatchling.build"

[tool.hatch.version]
path = "gds/__init__.py"

[tool.hatch.build.targets.wheel]
packages = ["gds"]

[tool.pytest.ini_options]
testpaths = ["tests"]
addopts = "--import-mode=importlib --cov=gds --cov-report=term-missing --no-header -q"
markers = [
    "requirement(id): links test to a formal requirement from check-specifications.md",
]

[tool.coverage.run]
source = ["gds"]
omit = ["gds/__init__.py"]

[tool.coverage.report]
fail_under = 80
show_missing = true
exclude_lines = [
    "if TYPE_CHECKING:",
    "pragma: no cover",
]

[tool.mypy]
python_version = "3.12"
strict = true
warn_return_any = true
warn_unused_configs = true
plugins = ["pydantic.mypy"]

[[tool.mypy.overrides]]
module = "tests.*"
disallow_untyped_defs = false

[dependency-groups]
dev = [
    "pytest>=9.0",
    "pytest-cov>=6.0",
    "mypy>=1.14",
    "ruff>=0.8",
    "pre-commit>=4.0",
    "pyright>=1.1.408",
    "hypothesis>=6.151.9",
]