isabelle-client/pyproject.toml at master · inpefess/isabelle-client · 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
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
[project]
name = "isabelle-client"
version = "1.1.0"
description = "A client to Isabelle proof assistant server"
authors = [{name = "Boris Shminke", email = "<boris@shminke.com"}]
license = "Apache-2.0"
readme = "README.rst"
classifiers=[
	"Programming Language :: Python :: 3.14",
        "Programming Language :: Python :: 3.13",
	"Programming Language :: Python :: 3.12",
	"Programming Language :: Python :: 3.11",
	"Programming Language :: Python :: 3.10",
	"Operating System :: OS Independent",
	"Intended Audience :: Science/Research",
	"Development Status :: 4 - Beta",
	"Environment :: Console",
	"Natural Language :: English",
	"Topic :: Scientific/Engineering :: Artificial Intelligence",
	"Typing :: Typed"
]
keywords = ["TCP client", "Isabelle proof assistant", "interactive theorem prover"]
include = ["src/isabelle_client/py.typed"]
requires-python = ">= 3.10, < 3.15"
dependencies = ["pydantic"]

[project.urls]
Homepage = "https://github.com/inpefess/isabelle-client"
Repository = "https://github.com/inpefess/isabelle-client.git"
Issues = "https://github.com/inpefess/isabelle-client/issues"

[project.optional-dependencies]
doc = ["furo", "sphinx-autodoc-typehints"]
test = ["coverage", "pytest"]
dev = [
    "pre-commit",
    "tbump",
    "toml",
    "pyroma",
    "ruff",
    "pydoclint",
    "ty",
    "jedi-language-server",
    "rassumfrassum",
]

[tool.isort]
profile = "black"

[build-system]
requires = ["uv_build"]
build-backend = "uv_build"

[tool.pytest.ini_options]
minversion = "6.0"
addopts = """--doctest-modules
    --junit-xml test-results/isabelle-client.xml"""
testpaths = ["src"]

[tool.tox]
isolated_build_env = "true"
env_list = ["py310", "py311", "py312", "py313", "py314"]

[tool.tox.env_run_base]
deps = ["pytest", "coverage", "ty", "toml", "pyroma", "ruff", "pydoclint"]
commands =[
    ["ruff", "format"], ["ruff", "check"], ["pydoclint", "src"],
    ["ty", "check"], ["pyroma", "-n", "10", "."],
    ["coverage", "run"], ["coverage", "xml"], ["coverage", "report"]
]

[tool.tbump]
github_url = "https://github.com/inpfess/isabelle-client/"

[tool.tbump.version]
current = "1.1.0"
regex = '''
  (?P<major>\d+)
  \.
  (?P<minor>\d+)
  \.
  (?P<patch>\d+)
  '''

[tool.tbump.git]
message_template = "Bump to {new_version}"
tag_template = "v{new_version}"

[[tool.tbump.file]]
src = "pyproject.toml"

[tool.coverage.run]
command_line = "-m pytest"

[tool.coverage.report]
fail_under = 100
show_missing = true

[tool.ruff]
line-length = 79

[tool.ruff.format]
preview = true

[tool.ruff.lint]
select = ["F", "E", "W", "D", "S", "UP", "PL", "ERA", "YTT", "ANN", "ASYNC",
    "BLE", "B", "A", "C4", "CPY", "DTZ", "T10", "EM", "EXE", "FIX", "INT",
    "ISC", "ICN", "LOG", "G", "PIE", "T20", "PYI", "PT", "Q", "RSE", "RET",
    "SLF", "SIM", "SLOT", "TID", "TD", "TC", "ARG", "PTH", "FLY", "I", "C90",
    "N", "PERF", "FURB", "RUF", "TRY"]
exclude = ["examples/cicm2022_example.ipynb", "examples/example.ipynb"]
preview = true

[tool.ruff.lint.pydocstyle]
convention = "pep257"

[tool.ruff.lint.pylint]
max-statements = 10

[tool.pydoclint]
style = "sphinx"
arg-type-hints-in-docstring = false
check-return-types = false
check-yield-types = false

[tool.ruff.lint.flake8-annotations]
allow-star-arg-any = true