combinatory-synthesizer 0.0.1.dev2__tar.gz

combinatory_synthesizer-0.0.1.dev2/.github/dependabot.yml

@@ -0,0 +1,6 @@
+version: 2
+updates:
+  - package-ecosystem: "github-actions"
+    directory: "/"
+    schedule:
+      interval: "monthly"

combinatory_synthesizer-0.0.1.dev2/.github/workflows/benchmarks.yml

@@ -0,0 +1,89 @@
+name: Perform Benchmarks
+
+on:
+  push:
+    branches:
+      - main
+      - develop
+  pull_request:
+    branches:
+      - main
+      - develop
+
+
+concurrency:
+  group: benchmarks-${{ github.event_name }}-${{ github.ref }}
+  cancel-in-progress: true
+
+
+env:
+  PYTHONUNBUFFERED: "1"
+  FORCE_COLOR: "1"
+  BRANCH_NAME: ${{ github.base_ref || github.ref_name }}
+  PUSH_TO_BENCHMARKS: false
+  COMMENT_ALWAYS: true
+
+jobs:
+  benchmark-then-upload:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/create-github-app-token@v2
+      id: tudo-seal-workflow-token
+      with:
+        app-id: ${{ secrets.TUDO_SEAL_WORKFLOW_CLIENT_ID }}
+        private-key: ${{ secrets.TUDO_SEAL_WORKFLOW_PRIVATE_KEY }}
+        repositories: |
+          cosy
+          cosy-benchmarks
+
+    - uses: actions/checkout@v5
+      with:
+        repository: tudo-seal/cosy-benchmarks
+        token: ${{ steps.tudo-seal-workflow-token.outputs.token }}
+        ref: 'gh-pages'
+
+    - uses: actions/checkout@v5
+      with:
+        # Full history for timestamps
+        fetch-depth: 0
+        token: ${{ steps.tudo-seal-workflow-token.outputs.token }}
+        path: 'cosy-nested'
+
+    - name: Set up Python
+      uses: actions/setup-python@v6
+      with:
+        python-version: '3.13'
+
+    - name: Install Hatch
+      uses: pypa/hatch@install
+
+    - name: Run Benchmark Suite
+      run: hatch test benchmarks --benchmark-json benchmarks.json
+      working-directory: 'cosy-nested'
+
+    - name: Config Git
+      run: |
+        git config user.name "tudo-seal-workflows[bot]"
+        git config user.email "244727884+tudo-seal-workflows[bot]@users.noreply.github.com"
+
+    - name: Determine Push Or Not
+      if: github.event_name != 'pull_request'
+      run: |
+        echo "PUSH_TO_BENCHMARKS=true" >> $GITHUB_ENV
+        echo "COMMENT_ALWAYS=false" >> $GITHUB_ENV
+
+    - name: Store Benchmark Result
+      uses: benchmark-action/github-action-benchmark@v1
+      with:
+        name: Benchmark CoSy
+        tool: 'pytest'
+        output-file-path: cosy-nested/benchmarks.json
+        github-token: ${{ steps.tudo-seal-workflow-token.outputs.token }}
+        auto-push: ${{ env.PUSH_TO_BENCHMARKS }}
+        alert-threshold: '300%'
+        comment-on-alert: true
+        fail-on-alert: true
+        comment-always: ${{ env.COMMENT_ALWAYS }}
+        summary-always: true
+        gh-repository: 'github.com/tudo-seal/cosy-benchmarks'
+        benchmark-data-dir-path: '${{ env.BRANCH_NAME }}/benchmarks'

combinatory_synthesizer-0.0.1.dev2/.github/workflows/build-nightly.yml

@@ -0,0 +1,78 @@
+name: "Nightly Build"
+on:
+  schedule:
+  - cron: "0 0 * * *"
+  workflow_dispatch:
+
+env:
+  nightly_tag: "nightly"
+
+jobs:
+  build-nightly:
+    runs-on: ubuntu-latest
+    if: github.ref == 'refs/heads/develop'
+    steps:
+      - uses: actions/create-github-app-token@v2
+        id: tudo-seal-workflow-token
+        with:
+          app-id: ${{ secrets.TUDO_SEAL_WORKFLOW_CLIENT_ID }}
+          private-key: ${{ secrets.TUDO_SEAL_WORKFLOW_PRIVATE_KEY }}
+
+      - uses: actions/checkout@v5
+        with:
+          # Full history for timestamps
+          fetch-depth: 0
+          token: ${{ steps.tudo-seal-workflow-token.outputs.token }}
+
+      - name: Date and Hash
+        run: |
+          echo "DATESTAMP=$(date +'%d.%m.%Y')" >> $GITHUB_ENV
+          echo "COMMIT_HASH=$(git rev-parse --short HEAD)" >> $GITHUB_ENV
+
+      - name: Set up Python
+        uses: actions/setup-python@v6
+        with:
+          python-version: '3.12'
+
+      - name: Install Hatch
+        uses: pypa/hatch@install
+
+      - name: Display Version
+        run: echo "NIGHTLY_VERSION=$(hatch version)" >> $GITHUB_ENV
+
+      - name: Build Package
+        run: hatch build
+
+      - name: Convert nightly to draft
+        run: gh release edit --draft "${{ env.nightly_tag }}" || true
+        env:
+          GH_TOKEN: ${{ steps.tudo-seal-workflow-token.outputs.token }}
+
+      - name: Move nightly tag to current HEAD
+        run: |
+          git config user.name "tudo-seal-workflows[bot]"
+          git config user.email "244727884+tudo-seal-workflows[bot]@users.noreply.github.com"
+          git tag -d ${{ env.nightly_tag }} || true
+          git push origin :refs/tags/${{ env.nightly_tag }} || true
+          git tag ${{ env.nightly_tag }}
+          git push origin ${{ env.nightly_tag }}
+        env:
+          GH_TOKEN: ${{ steps.tudo-seal-workflow-token.outputs.token }}
+
+      - name: Publish nightly on GitHub
+        run: |
+          while IFS= read -r line; do
+              gh release delete-asset "${{ env.nightly_tag }}" "$line"
+          done <<< "$(gh release view "${{ env.nightly_tag }}" --json assets --jq .assets[].name)"
+          gh release edit \
+            --verify-tag \
+            --title "Nightly@${{ env.NIGHTLY_VERSION }}" \
+            --notes "Nightly build of ''develop'', currently at ${{ env.COMMIT_HASH }}, built on ${{ env.DATESTAMP }}." \
+            --draft=false \
+            "${{ env.nightly_tag }}"
+          gh release upload --clobber "${{ env.nightly_tag }}" $ARTIFACTS
+        env:
+          GH_TOKEN: ${{ steps.tudo-seal-workflow-token.outputs.token }}
+          ARTIFACTS: >
+            dist/combinatory_synthesizer-${{ env.NIGHTLY_VERSION }}.tar.gz
+            dist/combinatory_synthesizer-${{ env.NIGHTLY_VERSION }}-py3-none-any.whl

combinatory_synthesizer-0.0.1.dev2/.github/workflows/check-docs.yml

@@ -0,0 +1,36 @@
+name: Check Docs
+
+on:
+  workflow_call:
+  push:
+    branches:
+      - main
+      - develop
+  pull_request:
+    branches:
+      - main
+      - develop
+
+concurrency:
+  group: check-docs-${{ github.event_name }}-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  check-docs:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v5
+        with:
+          # Full history for timestamps
+          fetch-depth: 0
+
+      - name: Set up Python
+        uses: actions/setup-python@v6
+        with:
+          python-version: '3.12'
+
+      - name: Install Hatch
+        uses: pypa/hatch@install
+
+      - name: Build and Check
+        run: hatch run docs:check

combinatory_synthesizer-0.0.1.dev2/.github/workflows/checks.yml

@@ -0,0 +1,73 @@
+name: Perform Checks
+
+on:
+  workflow_call:
+  push:
+    branches:
+      - main
+      - develop
+  pull_request:
+    branches:
+      - main
+      - develop
+
+
+concurrency:
+  group: checks-${{ github.event_name }}-${{ github.ref }}
+  cancel-in-progress: true
+
+
+env:
+  PYTHONUNBUFFERED: "1"
+  FORCE_COLOR: "1"
+  BRANCH_NAME: ${{ github.base_ref || github.ref_name }}
+
+jobs:
+  test-lint-type-coverage:
+    name: Python ${{ matrix.python-version }} on ${{ startsWith(matrix.os, 'macos-') && 'macOS' || startsWith(matrix.os, 'windows-') && 'Windows' || 'Linux' }}
+    runs-on: ${{ matrix.os }}
+    env:
+      OS: ${{ matrix.os }}
+      PYTHON: ${{ matrix.python-version }}
+    strategy:
+      fail-fast: false
+      matrix:
+        os: [ubuntu-latest, windows-latest, macos-latest]
+        python-version: ['3.10', '3.11', '3.12', '3.13']
+
+    steps:
+    - uses: actions/checkout@v5
+
+    - name: Set up Python ${{ matrix.python-version }}
+      uses: actions/setup-python@v6
+      with:
+        python-version: ${{ matrix.python-version }}
+
+    - name: Install Hatch
+      uses: pypa/hatch@install
+
+    - name: Run static analysis
+      run: hatch fmt --check
+
+    - name: Run type checks
+      run: hatch run types:check
+
+    - name: Run tests
+      run: hatch test tests --python ${{ matrix.python-version }} --cov --cov-branch --cov-report=xml --randomize --parallel --junit-xml=report.xml
+
+    - name: Upload Tests to Codecov
+      if: ${{ !cancelled() && !contains( github.head_ref, 'hotfix/')}}
+      uses: codecov/codecov-action@v5
+      with:
+        token: ${{ secrets.CODECOV_TOKEN }}
+        files: ./report.xml
+        report_type: test_results
+        flags: ${{ matrix.os }}-${{ matrix.python-version }}
+
+    - name: Upload Coverage to Codecov
+      uses: codecov/codecov-action@v5
+      if: ${{ !contains( github.head_ref, 'hotfix/') }}
+      with:
+        token: ${{ secrets.CODECOV_TOKEN }}
+        files: ./coverage.xml
+        flags: ${{ matrix.os }}-${{ matrix.python-version }}

combinatory_synthesizer-0.0.1.dev2/.github/workflows/deploy-docs.yml

@@ -0,0 +1,47 @@
+name: Deploy Documentation
+
+on:
+  push:
+    tags:
+    - v*
+  workflow_dispatch:
+
+permissions:
+  contents: write
+  pages: write
+
+concurrency:
+  group: deploy-docs
+  cancel-in-progress: true
+
+jobs:
+  pre-deploy-docs-checks:
+    uses: ./.github/workflows/check-docs.yml
+
+  deploy-docs:
+    needs: [pre-deploy-docs-checks]
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v5
+      with:
+        # Full history for timestamps
+        fetch-depth: 0
+
+    - name: Set up Python
+      uses: actions/setup-python@v6
+      with:
+        python-version: '3.12'
+
+    - name: Install Hatch
+      uses: pypa/hatch@install
+
+    - name: Display Version
+      run: hatch version
+
+    - name: Configure Git for Actions
+      run: |
+        git config --local user.name 'tudo-seal-workflows[bot]'
+        git config --local user.email '244727884+tudo-seal-workflows[bot]@users.noreply.github.com'
+
+    - name: Publish
+      run: hatch run docs:deploy

combinatory_synthesizer-0.0.1.dev2/.github/workflows/pr-rules-develop.yml

@@ -0,0 +1,48 @@
+name: 'Check PR Rules for Develop'
+
+on:
+  pull_request_target:
+    types: [ opened, reopened ]
+    branches:
+      - develop
+
+env:
+  PR_NUMBER: ${{ github.event.number }}
+
+jobs:
+  pr-rules-develop:
+    runs-on: ubuntu-latest
+    permissions:
+      checks: write
+      pull-requests: write
+    steps:
+      - uses: actions/create-github-app-token@v2
+        id: tudo-seal-workflow-token
+        with:
+          app-id: ${{ secrets.TUDO_SEAL_WORKFLOW_CLIENT_ID }}
+          private-key: ${{ secrets.TUDO_SEAL_WORKFLOW_PRIVATE_KEY }}
+
+      - uses: actions/checkout@v5
+        with:
+          # Full history for timestamps
+          fetch-depth: 0
+          token: ${{ steps.tudo-seal-workflow-token.outputs.token }}
+
+      - name: Close Pull Request and Comment if Violating
+        if: ${{ !contains( github.head_ref, 'feature/') && !contains( github.head_ref, 'bugfix/') && !contains( github.head_ref, 'dependabot/github_actions/') && !contains( github.head_ref, 'main')}}
+        run: |
+          gh pr comment ${{ env.PR_NUMBER }} --body ":warning: You can only merge to develop from a feature or a bugfix branch. :warning:"
+          gh pr close ${{ env.PR_NUMBER }}
+        env:
+          GH_TOKEN: ${{ steps.tudo-seal-workflow-token.outputs.token }}
+
+      - name: Fail Job if Violating
+        if: ${{ !contains( github.head_ref, 'feature/') && !contains( github.head_ref, 'bugfix/') && !contains( github.head_ref, 'dependabot/github_actions/') && !contains( github.head_ref, 'main')}}
+        run: |
+          echo "Reason: You can only merge to develop from a feature or a bugfix branch."
+          exit 1
+
+      - name: Succeed Job if not Violating
+        if: ${{ contains( github.head_ref, 'feature/') || contains( github.head_ref, 'bugfix/') || contains( github.head_ref, 'dependabot/github_actions/') && !contains( github.head_ref, 'main')}}
+        run: |
+          exit 0

combinatory_synthesizer-0.0.1.dev2/.github/workflows/pr-rules-main.yml

@@ -0,0 +1,48 @@
+name: 'Check PR Rules for Main'
+
+on:
+  pull_request_target:
+    types: [ opened, reopened ]
+    branches:
+      - main
+
+env:
+  PR_NUMBER: ${{ github.event.number }}
+
+jobs:
+  pr-rules-main:
+    runs-on: ubuntu-latest
+    permissions:
+      checks: write
+      pull-requests: write
+    steps:
+      - uses: actions/create-github-app-token@v2
+        id: tudo-seal-workflow-token
+        with:
+          app-id: ${{ secrets.TUDO_SEAL_WORKFLOW_CLIENT_ID }}
+          private-key: ${{ secrets.TUDO_SEAL_WORKFLOW_PRIVATE_KEY }}
+
+      - uses: actions/checkout@v5
+        with:
+          # Full history for timestamps
+          fetch-depth: 0
+          token: ${{ steps.tudo-seal-workflow-token.outputs.token }}
+
+      - name: Close Pull Request and Comment if Violating
+        if: ${{ !contains( github.head_ref, 'release/') && !contains( github.head_ref, 'hotfix/')}}
+        run: |
+          gh pr comment ${{ env.PR_NUMBER }} --body ":warning: You can only merge to main from a release or a hotfix branch. :warning:"
+          gh pr close ${{ env.PR_NUMBER }}
+        env:
+          GH_TOKEN: ${{ steps.tudo-seal-workflow-token.outputs.token }}
+
+      - name: Fail Job if Violating
+        if: ${{ !contains( github.head_ref, 'release/') && !contains( github.head_ref, 'hotfix/')}}
+        run: |
+          echo "Reason: You can only merge to main from a release or a hotfix branch."
+          exit 1
+
+      - name: Succeed Job if not Violating
+        if: ${{ contains( github.head_ref, 'release/') || contains( github.head_ref, 'hotfix/')}}
+        run: |
+          exit 0

combinatory_synthesizer-0.0.1.dev2/.github/workflows/pre-release.yml

@@ -0,0 +1,49 @@
+name: Pre-release CoSy
+
+on:
+  workflow_dispatch:
+
+permissions:
+  id-token: write
+
+concurrency:
+  group: pre-release
+  cancel-in-progress: true
+
+jobs:
+  pre-release-checks:
+    if: github.ref == 'refs/heads/develop'
+    uses: ./.github/workflows/checks.yml
+
+  pre-release-pypi:
+    if: github.ref == 'refs/heads/develop'
+    needs: [pre-release-checks]
+    environment: pre-release
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v5
+      with:
+        # Full history for timestamps
+        fetch-depth: 0
+
+    - name: Set up Python
+      uses: actions/setup-python@v6
+      with:
+        python-version: '3.12'
+
+    - name: Install Hatch
+      uses: pypa/hatch@install
+
+    - name: Check for Dev
+      run: |
+        hatch_version="$(hatch version)"
+        if [[ ! $hatch_version =~ "dev" ]]; then
+           exit 1
+        fi
+
+    - name: Build Package
+      run: hatch build
+
+    # Uses OpenID Connect
+    - name: Publish Package
+      uses: pypa/gh-action-pypi-publish@release/v1

combinatory_synthesizer-0.0.1.dev2/.github/workflows/release.yml

@@ -0,0 +1,48 @@
+name: Release CoSy
+
+on:
+  push:
+    tags:
+    - v*
+  workflow_dispatch:
+
+permissions:
+  id-token: write
+
+concurrency:
+  group: release
+  cancel-in-progress: true
+
+jobs:
+  pre-release-checks:
+    uses: ./.github/workflows/checks.yml
+
+  release-pypi:
+    needs: [pre-release-checks]
+    environment: release
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v5
+      with:
+        # Full history for timestamps
+        fetch-depth: 0
+
+    - name: Set up Python
+      uses: actions/setup-python@v6
+      with:
+        python-version: '3.12'
+
+    - name: Install Hatch
+      uses: pypa/hatch@install
+
+    - name: Display Version
+      run: hatch version
+
+    - name: Build Package
+      run: hatch build
+
+    # Uses OpenID Connect
+    - name: Publish Package
+      uses: pypa/gh-action-pypi-publish@release/v1
+      with:
+        repository-url: https://test.pypi.org/legacy/