python-saw.yml

name: Python Saw

on: [push, pull_request]

jobs:
  build:
    runs-on: ubuntu-latest
    container:
      image: ghcr.io/weaversa/cryptol-course:2.13
      options: --user root
    steps:
      - name: Checkout
        uses: actions/checkout@v2
      - name: Build .bc files
        run: |
          clang -c -g -emit-llvm labs/Demos/SAW/Salsa20/src/salsa20.c -o labs/Demos/SAW/Salsa20/salsa20.bc -Ilabs/Demos/SAW/Salsa20/include
          make --directory=labs/Demos/SAW/xxHash xxhash32-ref.bc
          make --directory=labs/Demos/SAW/xxHash xxhash64-ref.bc
      - name: Archive file
        uses: actions/upload-artifact@v3
        with:
          name: bc-files
          path: |
            labs/Demos/SAW/Salsa20/salsa20.bc
            labs/Demos/SAW/xxHash/xxhash32-ref.bc
            labs/Demos/SAW/xxHash/xxhash64-ref.bc

  saw-prove:
    needs: build
    runs-on: ubuntu-latest
    container:
      image: ghcr.io/weaversa/cryptol-course:2.13
      options: --user root
    steps:
      - name: Checkout
        uses: actions/checkout@v2
      - name: Download bc-files
        uses: actions/download-artifact@v3
        with:
          name: bc-files
          path: labs/Demos/SAW/
      - name: Start saw-remote-api server
        run: start-saw-remote-api-read-only
      - name: Run Python SAW Script
        run: |
          python3 labs/Demos/SAW/xxHash/xxhash32-ref.py
          python3 labs/Demos/SAW/xxHash/xxhash64-ref.py
          python3 labs/Demos/SAW/Salsa20/proof/salsa20.py

  saw-tutorial:
    runs-on: ubuntu-latest
    container:
      image: ghcr.io/weaversa/cryptol-course:2.13
      options: --user root
    steps:
      - name: Checkout
        uses: actions/checkout@v2
      # Start saw-remote-api server
      - run: start-saw-remote-api-read-only
      # Run final rotl SAW Script
      - run: |
          make prove -C labs/SAW/rotl
      # Run addRow SAW Script
      - run: |
          make prove -C labs/SAW/addRow
      # Run null SAW Script
      - run: |
          make prove -C labs/SAW/null
      # Run Game SAW Script
      - run: |
          make prove -C labs/SAW/Game/DLC
      # Run ceilLog2 SAW Script
      - run: |
          make prove -C labs/SAW/ceilLog2