Skip to content

chore: update nightly-testing-2024-12-23 #80

chore: update nightly-testing-2024-12-23

chore: update nightly-testing-2024-12-23 #80

Workflow file for this run

name: Performance
on:
push:
branches:
- "main"
pull_request:
merge_group:
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
permissions:
contents: write
jobs:
build:
name: tools, scaling, and auto-generated stmts
runs-on: self-hosted
steps:
- name: Checkout 🛎️
uses: actions/checkout@v3
- name: Install elan 🕑
run: |
set -o pipefail
curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- --default-toolchain none -y
~/.elan/bin/lean --version
echo "$HOME/.elan/bin" >> $GITHUB_PATH
- name: Cache `.lake` folder
id: cache-lake
uses: actions/cache@v4
with:
path: .lake
key: ${{ runner.os }}-lake-tools-${{ hashFiles('lake-manifest.json') }}
- name: Install Python Modules
run: |
sudo apt install python3-matplotlib python3-pandas python3-num2words
- name: Build
run: |
lake -R exe cache get # download cache of mathlib docs.
lake -R build
- name: Run LLVM
run: |
(cd bv-evaluation; python3 ./compare-leansat-vs-bitwuzla-llvm-sym.py -j128)
echo "Symbolic"
(cd bv-evaluation; python3 ./compare-leansat-vs-bitwuzla-llvm.py -j128)
- name: Run Alive Symbolic
run: |
(cd bv-evaluation; python3 ./compare-leansat-vs-bitwuzla-alive-sym.py -j256)
- name: Run HDel Symbolic
run: |
(cd bv-evaluation; python3 ./compare-leansat-vs-bitwuzla-hdel-sym.py -j256)
- name: Run HDel
run: |
(cd bv-evaluation; python3 ./compare-leansat-vs-bitwuzla-hdel.py -j256)
- name: Compare LLVM Symbolic
run: |
(cd bv-evaluation; python3 ./collect-data-llvm-symbolic.py > /dev/null)
- name: Compare HDEl Symbolic
run: |
(cd bv-evaluation; python3 ./collect-data-hdel-symbolic.py > /dev/null)
- name: Compare LLVM
run: |
(cd bv-evaluation; python3 ./collect-data-llvm.py > /dev/null)
- name: Compare HDEl
run: |
(cd bv-evaluation; python3 ./collect-data-hdel.py > /dev/null)
- name: Compare Alive All
run: |
(cd bv-evaluation; python3 ./collect-data-alive.py > /dev/null)
- name: Collect Stats
run: |
(cd bv-evaluation/for-paper/tools; python3 ./collect-stats.py)