Merge branch 'main' into liav/cert-7899-update-output-format

.github/workflows/publish-pypi.yml

@@ -0,0 +1,26 @@
+name: publish-pypi
+
+on:
+  workflow_dispatch:
+
+jobs:
+  publish:
+    runs-on: ubuntu-latest
+    permissions:
+      id-token: write
+      contents: read
+    env:
+      TWINE_USERNAME: ${{ secrets.PYPI_USER }}
+      TWINE_PASSWORD: ${{ secrets.PYPI_PASSWORD }}
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+
+      - name: Install requirements for publishing
+        run: pip3 install build twine
+
+      - name: Build distros
+        run: python3 -m build
+
+      - name: Upload to PyPi
+        run: python3 -m twine upload dist/* --verbose

.gitignore

@@ -3,10 +3,11 @@
 **/.vscode
 **/local*
 build/
+dist/
 *.egg-info
 CustomerClones/
 **cache**
 **.DS_Store
 !**cached_llm.py
 quorum_project/
-dist/
+dist/

MANIFEST.in

@@ -0,0 +1,5 @@
+include LICENSE
+include version
+include requirements.txt
+include Quorum/templates/*
+recursive-include Quorum *.j2

pyproject.toml

@@ -0,0 +1,37 @@
+[build-system]
+requires = ["setuptools>=42", "wheel"]
+build-backend = "setuptools.build_meta"
+
+[project]
+name = "Quorum"
+description = "Quorum: A tool for managing proposals and reports"
+authors = [
+    {name = "Niv Vaknin", email = "[email protected]"},
+    {name = "Liav Katry", email = "[email protected]"}
+]
+readme = "README.md"
+license = {file = "LICENSE"}
+keywords = ["Quorum", "Proposals", "Reports"]
+classifiers = [
+    "Programming Language :: Python :: 3",
+    "License :: OSI Approved :: MIT License",
+    "Operating System :: OS Independent",
+]
+dynamic = ["version", "dependencies"]
+
+[tool.setuptools.dynamic]
+dependencies = {file = ["requirements.txt"]}
+version = {file = ["version"]}
+
+[project.urls]
+Homepage = "https://github.com/Certora/Quorum"
+Source = "https://github.com/Certora/Quorum"
+
+[project.scripts]
+CheckProposal = "Quorum.entry_points.check_proposal:main"
+IPFSValidator = "Quorum.entry_points.ipfs_validator:main"
+CreateReport = "Quorum.entry_points.create_report:main"
+SetupQuorum = "Quorum.entry_points.setup_quorum:main"
+
+[tool.setuptools]
+include-package-data = true

version

@@ -1 +1 @@
-20250106.181023.639435
+20250106.181023.639435