Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[WIP] Formal verification #14

Open
wants to merge 16 commits into
base: main
Choose a base branch
from
Open

[WIP] Formal verification #14

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
bb10d61
preparing for formal verification
borispovod Sep 19, 2022
8cdfd63
preparing for formal verification, enabled prover CI
borispovod Sep 19, 2022
85f3fef
seems `add` covered, yet still very buggy
borispovod Sep 19, 2022
1cd6380
fixed space
borispovod Sep 19, 2022
961f2bf
feat: update sub function
Sep 21, 2022
4533eb3
feat: add formal verification for sub
Sep 21, 2022
002c1f4
chore: remove disability
Sep 21, 2022
b00eb97
feat: update mul function and optimize sub and add functions
Sep 23, 2022
a3f74ce
feat: update shl and shr functions
Sep 27, 2022
9971101
removed ud256, updated specs
borispovod Sep 28, 2022
a89581f
fix spec
borispovod Sep 28, 2022
3b28ec5
feat: add div function
Sep 29, 2022
e325b71
feat: bitwise operations
Oct 2, 2022
a1af62e
seems verification works
borispovod Oct 5, 2022
6465a8f
feat: update mul function
Oct 10, 2022
7ea1f51
chore: update zero determination
Oct 10, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions .github/workflows/ci.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -22,9 +22,13 @@ jobs:
with:
version: latest
token: ${{ secrets.GITHUB_TOKEN }}
prover: true

- name: Build
run: aptos move compile

- name: Test
run: aptos move test

- name: Prove
run: aptos move prove
Loading