mirror of
https://github.com/signalapp/SparsePostQuantumRatchet.git
synced 2025-10-19 05:53:16 +00:00
22 lines
478 B
YAML
22 lines
478 B
YAML
name: proverif
|
|
|
|
on:
|
|
push:
|
|
|
|
jobs:
|
|
proofs:
|
|
runs-on: "ubuntu-latest"
|
|
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
|
|
- run: sudo apt-get update && sudo apt-get install -y opam libgtk2.0-dev
|
|
- run: opam init
|
|
- run: opam install -y proverif
|
|
|
|
- name: proverif proofs
|
|
run: |
|
|
eval $(opam env)
|
|
proverif -lib cryptolib.pvl spqr-cka.pv
|
|
proverif -lib cryptolib.pvl spqr-dr.pv
|
|
working-directory: ./proofs/proverif
|