git @ Cat's Eye Technologies Eqthy / b1ae69a
Update copyright year and run `reuse lint` as part of the test. Chris Pressey 1 year, 7 days ago
12 changed file(s) with 30 addition(s) and 19 deletion(s). Raw diff Collapse all Expand all
+2
-2
HISTORY.md less more
00 <!--
1 Copyright (c) 2022-2023 Chris Pressey, Cat's Eye Technologies
2
1 Copyright (c) 2022-2024 Chris Pressey, Cat's Eye Technologies
2 This file is distributed under a 2-clause BSD license. See LICENSES directory:
33 SPDX-License-Identifier: LicenseRef-BSD-2-Clause-X-Eqthy
44 -->
55
+1
-1
LICENSES/LicenseRef-BSD-2-Clause-X-Eqthy.txt less more
00 BSD 2-Clause License
11
2 Copyright (c) 2022-2023, Chris Pressey, Cat's Eye Technologies.
2 Copyright (c) 2022-2024, Chris Pressey, Cat's Eye Technologies.
33 All rights reserved.
44
55 Redistribution and use in source and binary forms, with or without
+1
-1
README.md less more
11 =====
22
33 <!--
4 Copyright (c) 2022-2023 Chris Pressey, Cat's Eye Technologies
4 Copyright (c) 2022-2024 Chris Pressey, Cat's Eye Technologies
55 This file is distributed under a 2-clause BSD license. See LICENSES directory:
66 SPDX-License-Identifier: LicenseRef-BSD-2-Clause-X-Eqthy
77 -->
+2
-2
doc/Eqthy.md less more
00 <!--
1 Copyright (c) 2022-2023 Chris Pressey, Cat's Eye Technologies
2 This file is distributed under a 2-clause BSD license. See LICENSES dir:
1 Copyright (c) 2022-2024 Chris Pressey, Cat's Eye Technologies
2 This file is distributed under a 2-clause BSD license. See LICENSES directory:
33 SPDX-License-Identifier: LicenseRef-BSD-2-Clause-X-Eqthy
44 -->
55
+1
-1
doc/Equational-Logic.md less more
00 <!--
1 Copyright (c) 2022-2023 Chris Pressey, Cat's Eye Technologies
1 Copyright (c) 2022-2024 Chris Pressey, Cat's Eye Technologies
22
33 SPDX-License-Identifier: CC-BY-SA-4.0
44 -->
+2
-2
src/eqthy/main.py less more
0 # Copyright (c) 2022-2023 Chris Pressey, Cat's Eye Technologies
1 #
0 # Copyright (c) 2022-2024 Chris Pressey, Cat's Eye Technologies
1 # This file is distributed under a 2-clause BSD license. See LICENSES directory:
22 # SPDX-License-Identifier: LicenseRef-BSD-2-Clause-X-Eqthy
33
44 from argparse import ArgumentParser
+2
-2
src/eqthy/objects.py less more
0 # Copyright (c) 2022-2023 Chris Pressey, Cat's Eye Technologies
1 # This file is distributed under a 2-clause BSD license. See LICENSES dir:
0 # Copyright (c) 2022-2024 Chris Pressey, Cat's Eye Technologies
1 # This file is distributed under a 2-clause BSD license. See LICENSES directory:
22 # SPDX-License-Identifier: LicenseRef-BSD-2-Clause-X-Eqthy
33
44 """Objects in the Eqthy document structure."""
+2
-2
src/eqthy/parser.py less more
0 # Copyright (c) 2022-2023 Chris Pressey, Cat's Eye Technologies
1 # This file is distributed under a 2-clause BSD license. See LICENSES dir:
0 # Copyright (c) 2022-2024 Chris Pressey, Cat's Eye Technologies
1 # This file is distributed under a 2-clause BSD license. See LICENSES directory:
22 # SPDX-License-Identifier: LicenseRef-BSD-2-Clause-X-Eqthy
33
44 from typing import Union
+2
-2
src/eqthy/scanner.py less more
0 # Copyright (c) 2022-2023 Chris Pressey, Cat's Eye Technologies
1 # This file is distributed under a 2-clause BSD license. See LICENSES dir:
0 # Copyright (c) 2022-2024 Chris Pressey, Cat's Eye Technologies
1 # This file is distributed under a 2-clause BSD license. See LICENSES directory:
22 # SPDX-License-Identifier: LicenseRef-BSD-2-Clause-X-Eqthy
33
44 # encoding: UTF-8
+2
-2
src/eqthy/terms.py less more
0 # Copyright (c) 2022-2023 Chris Pressey, Cat's Eye Technologies
1 # This file is distributed under a 2-clause BSD license. See LICENSES dir:
0 # Copyright (c) 2022-2024 Chris Pressey, Cat's Eye Technologies
1 # This file is distributed under a 2-clause BSD license. See LICENSES directory:
22 # SPDX-License-Identifier: LicenseRef-BSD-2-Clause-X-Eqthy
33
44 from copy import copy
+2
-2
src/eqthy/verifier.py less more
0 # Copyright (c) 2022-2023 Chris Pressey, Cat's Eye Technologies
1 # This file is distributed under a 2-clause BSD license. See LICENSES dir:
0 # Copyright (c) 2022-2024 Chris Pressey, Cat's Eye Technologies
1 # This file is distributed under a 2-clause BSD license. See LICENSES directory:
22 # SPDX-License-Identifier: LicenseRef-BSD-2-Clause-X-Eqthy
33
44 from typing import Dict, Union, Any
+11
-0
test.sh less more
22 if command -v flake8 > /dev/null; then
33 echo "flake8 --ignore=E501 src"
44 flake8 --ignore=E501 src
5 else
6 echo "flake8 not found, skipping check"
57 fi
8
69 if command -v mypy > /dev/null; then
710 echo "mypy --strict src"
811 mypy --strict src
12 else
13 echo "mypy not found, skipping check"
14 fi
15
16 if command -v reuse > /dev/null; then
17 reuse lint
18 else
19 echo "reuse not found, skipping check"
920 fi
1021
1122 falderal doc/*.md || exit 1