-
Notifications
You must be signed in to change notification settings - Fork 1
/
pyproject.toml
54 lines (48 loc) · 1.29 KB
/
pyproject.toml
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
[project]
name = "xdsl-smt"
version = "0.0.0"
dependencies = [
"z3-solver==4.12.1.0",
"xdsl==0.22.0",
]
[project.optional-dependencies]
dev = [
"pyright==1.1.309",
"lit<16.0.0",
"pytest<8.0",
"filecheck==0.0.23",
"pre-commit==3.3.1",
]
[tool.setuptools]
platforms = ["Linux", "Mac OS-X", "Unix"]
zip-safe = false
[tool.setuptools.package-data]
xdsl_smt = ["py.typed"]
[project.scripts]
xdsl-smt = "xdsl_smt.cli.xdsl_smt:main"
xdsl-tv = "xdsl_smt.cli.xdsl_tv:main"
xdsl-synth = "xdsl_smt.cli.xdsl_synth:main"
xdsl-translate = "xdsl_smt.cli.xdsl_translate:main"
verifier = "xdsl_smt.cli.verifier:main"
verify-pdl = "xdsl_smt.cli.verify_pdl:main"
transfer-verifier = "xdsl_smt.cli.transfer_smt_verifier:main"
cpp-translate = "xdsl_smt.cli.cpp_translate:main"
superoptimize = "xdsl_smt.cli.superoptimize:main"
[build-system]
requires = ["setuptools>=61", "wheel"]
build-backend = "setuptools.build_meta"
[tool.pyright]
reportImportCycles = false
reportUnnecessaryIsInstance = false
typeCheckingMode = "strict"
include = ["xdsl_smt"]
ignore = [
"xdsl_smt/utils/z3_to_dialect.py",
"xdsl_smt/utils/integer_to_z3.py",
"xdsl_smt/utils/lower_utils.py",
"xdsl_smt/passes/calculate_smt.py",
"xdsl_smt/passes/transfer_lower.py",
"xdsl_smt/cli/xdsl_translate.py",
"xdsl_smt/cli/verifier.py",
"tests"
]