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
|
[project]
name = "focaccia"
version = "0.1.0"
requires-python = "==3.12.*"
description = "Symbolic Tester for QEMU"
readme = {file = "README.md", content-type = "text/markdown"}
authors = [
{name = "Theofilos Augoustis", email = "theofilos.augoustis@gmail.com"},
{name = "Christian Krinitsin", email="christian.krinitsin@tum.de"},
{name = "Sebastian Reimers", email="sebastian.reimers@in.tum.de"},
{name = "Nicola Crivellin", email="nicola.crivellin98@gmail.com"},
{name = "Alp Berkman", email="alpberkman@gmail.com"}
]
dependencies = [
"cffi",
"miasm",
"brotli",
"pycapnp",
"setuptools",
"cpuid @ git+https://github.com/taugoust/cpuid.py.git@master",
]
[project.optional-dependencies]
dev = [
"ruff",
"black",
"pytest",
"pyright",
]
[project.scripts]
focaccia = "focaccia.cli:main"
convert = "focaccia.tools.convert:main"
validate-qemu = "focaccia.tools.validate_qemu:main"
capture-transforms = "focaccia.tools.capture_transforms:main"
[build-system]
requires = ["hatchling"]
build-backend = "hatchling.build"
[tool.uv]
environments = [
"sys_platform == 'linux' and platform_machine == 'x86_64'",
"sys_platform == 'linux' and platform_machine == 'aarch64'",
]
[tool.uv.sources]
miasm = { path = "./miasm" }
[tool.hatch.metadata]
allow-direct-references = true
[tool.hatch.envs.default]
dependencies = [
"ruff",
"black",
"pyright",
]
# Formatter
[tool.black]
line-length = 100
target-version = ["py312"]
[tool.ruff]
line-length = 100
exclude = ["__pycache__", "result"]
src = ["src"]
[tool.pyright]
typeCheckingMode = "standard"
reportMissingImports = true
reportMissingTypeStubs = false
useLibraryCodeForTypes = true
executionEnvironments = [ {root = "src"} ]
[tool.pytest.ini_options]
testpaths = ["tests"]
python_files = ["test_*.py"]
python_functions = ["test_*"]
|