Initial commit

Author: chengpeng-wang

.github/workflows/black.yml

@@ -0,0 +1,54 @@
+name: Black Formatting
+
+on:
+  pull_request:
+    branches:
+      - main
+      - 'repoaudit-v[0-9]+\.[0-9]+'
+    paths:
+      - 'src/**/*.py'
+
+  push:
+    branches:
+      - main
+      - 'repoaudit-v[0-9]+\.[0-9]+'
+    paths:
+      - 'src/**/*.py'
+
+jobs:
+  black:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+          token: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: Set up Python
+        uses: actions/setup-python@v5
+        with:
+          python-version: '3.x'
+
+      - name: Install Black
+        run: pip install black
+
+      - name: Run Black
+        run: |
+          if [ "${{ github.event_name }}" = "pull_request" ]; then
+            echo "Checking formatting on pull_request..."
+            black --check src/
+          else
+            echo "Auto-formatting and pushing changes on push..."
+            black src/
+            if [[ `git status --porcelain` ]]; then
+              git config user.name "github-actions[bot]"
+              git config user.email "github-actions[bot]@users.noreply.github.com"
+              git add src/
+              git commit -m "chore: auto-format Python code in src/ with black"
+              git push
+            else
+              echo "No formatting changes needed."
+            fi
+          fi

.github/workflows/mypy.yml

@@ -0,0 +1,41 @@
+name: Mypy Type Checking
+
+on:
+  push:
+    paths:
+      - 'src/**/*.py'
+
+  pull_request:
+    paths:
+      - 'src/**/*.py'
+
+jobs:
+  mypy:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+
+      - name: Set up Python
+        uses: actions/setup-python@v5
+        with:
+          python-version: '3.x'
+
+      - name: Cache pip dependencies
+        uses: actions/cache@v4
+        with:
+          path: ~/.cache/pip
+          key: ${{ runner.os }}-pip-${{ hashFiles('**/requirements.txt') }}
+          restore-keys: |
+            ${{ runner.os }}-pip-
+
+      - name: Install dependencies
+        run: |
+          python -m pip install --upgrade pip
+          pip install -r requirements.txt
+          pip install mypy
+
+      - name: Run Mypy
+        run: mypy src/
+

.github/workflows/slack.yml

@@ -0,0 +1,49 @@
+name: Notify Slack on Push
+
+on:
+  push:
+    branches: ['**']
+
+jobs:
+  slack_notify:
+    runs-on: ubuntu-latest
+
+    steps:
+      # 1. Build the plain-text body and expose it as multiline output
+      - name: Build Slack text
+        id: build
+        shell: bash
+        run: |
+          set -euo pipefail
+
+          REPO_URL="https://github.com/${{ github.repository }}"
+          COMPARE_URL="${{ github.event.compare }}"
+
+          text="*New push to branch \`${{ github.ref_name }}\` by \`${{ github.actor }}\`*"
+          while IFS= read -r c; do
+            sha=$(jq -r '.id' <<<"$c")
+            msg=$(jq -r '.message' <<<"$c" | tr '\n' ' ')
+            text+=$'\n'
+            text+="• <${REPO_URL}/commit/${sha}|${sha:0:7}>: ${msg}"
+          done < <(jq -c '.commits[]' "$GITHUB_EVENT_PATH")
+          text+=$'\n\n'
+          text+="🔗 *<${COMPARE_URL}|View all changes>*"
+
+          # Multiline output (<<EOF syntax)
+          {
+            echo "text<<EOF"
+            printf '%s\n' "$text"
+            echo "EOF"
+          } >> "$GITHUB_OUTPUT"
+
+      # 2. Post to Slack – the action serialises this object once
+      - name: Send Slack notification
+        uses: slackapi/slack-github-action@v1.24.0
+        with:
+          payload: |
+            {
+              "text": ${{ toJson(steps.build.outputs.text) }}
+            }
+        env:
+          SLACK_WEBHOOK_URL: ${{ secrets.SLACK_WEBHOOK_URL }}
+          SLACK_WEBHOOK_TYPE: INCOMING_WEBHOOK

.gitignore

@@ -0,0 +1,193 @@
+.DS_Store
+
+# Byte-compiled / optimized / DLL files
+__pycache__/
+*.py[cod]
+*$py.class
+**/*.pyc
+
+# C extensions
+*.so
+
+*.pyc
+
+# Ignore all content in benchmark directory...
+benchmark/*/
+!benchmark/*/toy/
+!benchmark/*/toy/**
+
+log/
+result/
+seedcache/
+IRDB/
+
+# **/run_info.json
+**.log
+result**
+bugscan_jy.sh
+extract_jy.sh
+
+# Distribution / packaging
+.Python
+build/
+develop-eggs/
+dist/
+downloads/
+eggs/
+.eggs/
+lib/
+lib64/
+parts/
+sdist/
+var/
+wheels/
+share/python-wheels/
+*.egg-info/
+.installed.cfg
+*.egg
+MANIFEST
+
+# PyInstaller
+#  Usually these files are written by a python script from a template
+#  before PyInstaller builds the exe, so as to inject date/other infos into it.
+*.manifest
+*.spec
+
+# Installer logs
+pip-log.txt
+pip-delete-this-directory.txt
+
+# Unit test / coverage reports
+htmlcov/
+.tox/
+.nox/
+.coverage
+.coverage.*
+.cache
+nosetests.xml
+coverage.xml
+*.cover
+*.py,cover
+.hypothesis/
+.pytest_cache/
+cover/
+
+# Translations
+*.mo
+*.pot
+
+# Django stuff:
+*.log
+local_settings.py
+db.sqlite3
+db.sqlite3-journal
+
+# Flask stuff:
+instance/
+.webassets-cache
+
+# Scrapy stuff:
+.scrapy
+
+# Sphinx documentation
+docs/_build/
+
+# PyBuilder
+.pybuilder/
+target/
+
+# Jupyter Notebook
+.ipynb_checkpoints
+
+# IPython
+profile_default/
+ipython_config.py
+
+# pyenv
+#   For a library or package, you might want to ignore these files since the code is
+#   intended to run in multiple environments; otherwise, check them in:
+# .python-version
+
+# pipenv
+#   According to pypa/pipenv#598, it is recommended to include Pipfile.lock in version control.
+#   However, in case of collaboration, if having platform-specific dependencies or dependencies
+#   having no cross-platform support, pipenv may install dependencies that don't work, or not
+#   install all needed dependencies.
+#Pipfile.lock
+
+# poetry
+#   Similar to Pipfile.lock, it is generally recommended to include poetry.lock in version control.
+#   This is especially recommended for binary packages to ensure reproducibility, and is more
+#   commonly ignored for libraries.
+#   https://python-poetry.org/docs/basic-usage/#commit-your-poetrylock-file-to-version-control
+#poetry.lock
+
+# pdm
+#   Similar to Pipfile.lock, it is generally recommended to include pdm.lock in version control.
+#pdm.lock
+#   pdm stores project-wide configurations in .pdm.toml, but it is recommended to not include it
+#   in version control.
+#   https://pdm.fming.dev/#use-with-ide
+.pdm.toml
+
+# PEP 582; used by e.g. github.com/David-OConnor/pyflow and github.com/pdm-project/pdm
+__pypackages__/
+
+# Celery stuff
+celerybeat-schedule
+celerybeat.pid
+
+# SageMath parsed files
+*.sage.py
+
+# Environments
+.env
+.venv
+env/
+venv/
+ENV/
+env.bak/
+venv.bak/
+
+# Spyder project settings
+.spyderproject
+.spyproject
+
+# Rope project settings
+.ropeproject
+
+# mkdocs documentation
+/site
+
+# mypy
+.mypy_cache/
+.dmypy.json
+dmypy.json
+
+# Pyre type checker
+.pyre/
+
+# pytype static type analyzer
+.pytype/
+
+# Cython debug symbols
+cython_debug/
+
+# PyCharm
+#  JetBrains specific template is maintained in a separate JetBrains.gitignore that can
+#  be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
+#  and can be added to the global gitignore or merged into this file.  For a more nuclear
+#  option (not recommended) you can uncomment the following to ignore the entire idea folder.
+#.idea/
+
+# VS Code settings
+.vscode/
+
+testcases/**
+
+# java class files in regression testing
+src/test/regression_testing/test_files/java/**/*.class
+
+# files used for regression testing script
+src/test/regression_testing/regression_results.md
+src/test/regression_testing/dif.txt