Skip to content

Comment out specs that depend on unfinished exercises #364

Comment out specs that depend on unfinished exercises

Comment out specs that depend on unfinished exercises #364

Workflow file for this run

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