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.

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

Verify mulWad functions correctness #1

Merged
merged 48 commits into from
Oct 10, 2023
Merged
Changes from 1 commit
Commits
Show all changes
48 commits
Select commit Hold shift + click to select a range
2fa01ac
Make mulWad specs exhaustive
JuanCoRo Sep 21, 2023
dfd4e6a
Update run script and add `smt-timeout` flag
JuanCoRo Sep 21, 2023
9828668
Add lemmas for mulWad proofs
JuanCoRo Sep 21, 2023
4a30438
Update run script comptibility with `kontrol` tool
JuanCoRo Sep 26, 2023
b50af47
Update verification summary for `wadMul` and `wadMulUp`
JuanCoRo Sep 26, 2023
e999f9a
Merge branch 'master' into mulWad-proofs
F-WRunTime Sep 27, 2023
a113156
Re-push to rebuild with CI changes
F-WRunTime Sep 29, 2023
2ff5a86
Merge branch 'master' into mulWad-proofs
F-WRunTime Sep 29, 2023
cdf27d2
Update action.yml
F-WRunTime Oct 4, 2023
303be37
login to pull private image form docker
F-WRunTime Oct 4, 2023
199a501
Define the ubuntu user
F-WRunTime Oct 4, 2023
aa4162b
WRong path
F-WRunTime Oct 4, 2023
20ec144
Run direct
F-WRunTime Oct 4, 2023
05b4ae7
Check copy directory
F-WRunTime Oct 4, 2023
850d31e
call just the script
F-WRunTime Oct 4, 2023
28d558a
Remove interactive shell
F-WRunTime Oct 4, 2023
ad9eea1
List directory
F-WRunTime Oct 4, 2023
0f88bd4
Fix user chown
F-WRunTime Oct 4, 2023
bfc204f
Change permissions
F-WRunTime Oct 4, 2023
1c847c3
Wrong workspace
F-WRunTime Oct 4, 2023
53a4892
Matching release version used in docker iamge
F-WRunTime Oct 5, 2023
f00e822
Test env
F-WRunTime Oct 5, 2023
7a740e7
Test env
F-WRunTime Oct 5, 2023
d15f2cc
Test env
F-WRunTime Oct 5, 2023
366fa4b
Test env
F-WRunTime Oct 5, 2023
1af256a
Test env
F-WRunTime Oct 5, 2023
6eaea5b
Transition to use docker images at build time based on a base image w…
F-WRunTime Oct 5, 2023
e6488b0
mount syntax
F-WRunTime Oct 5, 2023
7c63d41
Misplanned user permissions post start container
F-WRunTime Oct 5, 2023
dc8992c
updating dockerfile to force foundry binaries to path
F-WRunTime Oct 5, 2023
cf55942
Final clean up of test code
F-WRunTime Oct 5, 2023
2c26e45
Missing v in control version
F-WRunTime Oct 5, 2023
19cd2e8
Go to altest kontrol release, revert docker kup usage to kontrol image
F-WRunTime Oct 6, 2023
02ab5a1
Wrong image name
F-WRunTime Oct 6, 2023
546d04a
Docker login method update creds
F-WRunTime Oct 6, 2023
40f433e
Wrong registry
F-WRunTime Oct 6, 2023
0e93fd8
missed revert user to 'user'
F-WRunTime Oct 6, 2023
49e0b50
Remove tweaks that are now part of Kontrol's default behavior
JuanCoRo Oct 6, 2023
67328fb
Adding dockerfile if we need to control z3 install, cleaning docker b…
F-WRunTime Oct 6, 2023
e02a0ca
--name > --tag
F-WRunTime Oct 6, 2023
e115991
Kontrol version does not resolve
F-WRunTime Oct 6, 2023
19f3c4c
need to set variable name
F-WRunTime Oct 6, 2023
1b65597
Do not build Image
F-WRunTime Oct 6, 2023
ca2291c
Remove dockerfile
F-WRunTime Oct 6, 2023
e234dc3
Return to kontrol-kup
F-WRunTime Oct 10, 2023
c456c41
Revert "Return to kontrol-kup"
F-WRunTime Oct 10, 2023
e6a2ef0
Fix working solc version
JuanCoRo Oct 10, 2023
e2889c8
Replace KevmUtil in favor of KontrolCheats library
JuanCoRo Oct 10, 2023
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
Prev Previous commit
Next Next commit
Test env
  • Loading branch information
F-WRunTime committed Oct 5, 2023
commit 7a740e78871e3ca0c8a8a41e953af8f4e8cf9519
2 changes: 1 addition & 1 deletion .github/workflows/test-pr.yml
Original file line number Diff line number Diff line change
Expand Up @@ -45,5 +45,5 @@ jobs:
- name: 'Test New Tool Versions'
run: |
# Run the following in the running docker container
docker exec -u ubuntu ${{ env.repository_basename }}-ci bash -c 'which nix && which foundryup && which kontrol'
docker exec -u ubuntu ${{ env.repository_basename }}-ci bash -c 'which nix && which kup && which foundryup && which kontrol'
docker exec -u ubuntu ${{ env.repository_basename }}-ci bash -c './test/run-kevm.sh'
Loading