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

Add Halmos support #5034

Merged
merged 30 commits into from
May 23, 2024
Merged

Add Halmos support #5034

Changes from 1 commit
Commits
Show all changes
30 commits
Select commit Hold shift + click to select a range
d23da5c
Add Halmos support
ernestognw May 8, 2024
8db40c6
solhint disable
ernestognw May 8, 2024
bdc2398
Fix lint
ernestognw May 8, 2024
14afaf4
Apply Halmos team suggestions
ernestognw May 10, 2024
7c6b5ce
Remove commented failing tests
ernestognw May 13, 2024
5e10b1f
Update workflow
ernestognw May 13, 2024
9a0eb4c
Move halmos check to formal verification workflow
ernestognw May 13, 2024
4484df4
Remove testSymbolicLog2 due to timeout
ernestognw May 13, 2024
6368717
Merge branch 'master' into chore/use-halmos
ernestognw May 13, 2024
da8990c
Fix workflow lint
ernestognw May 13, 2024
ca59b7e
Fix SlotDerivation tests generation
ernestognw May 13, 2024
809a5d6
Add missing description
ernestognw May 13, 2024
0c22458
Merge branch 'master' into chore/use-halmos
ernestognw May 14, 2024
61e8ab7
Upgrade python-version
ernestognw May 14, 2024
05d479d
Revert "Upgrade python-version"
ernestognw May 14, 2024
5d61e47
Set python version when building docs
ernestognw May 14, 2024
6e84212
Revert "Set python version when building docs"
ernestognw May 14, 2024
6c429a3
Remove requirements.txt when building docs for netlfify
ernestognw May 14, 2024
6729d16
Change requirements.txt file name
ernestognw May 14, 2024
6e0ce0c
Fix wrong file reference
ernestognw May 14, 2024
3b94a82
Add cache-dependency-path
ernestognw May 14, 2024
01912ba
Add explaining comment for requirements filename
ernestognw May 14, 2024
fe184a1
Update .github/workflows/formal-verification.yml
ernestognw May 17, 2024
cc44c6e
Change check_ -> checkSymbolic
ernestognw May 17, 2024
6ccfad5
Change check_ -> checkSymbolic
ernestognw May 17, 2024
08100e8
Recover solhint-disable
ernestognw May 17, 2024
142520b
Split deriveArray tests
ernestognw May 17, 2024
5fb63b0
Update scripts/generate/templates/SlotDerivation.t.js
Amxx May 22, 2024
b4a1141
Merge branch 'master' into chore/use-halmos
Amxx May 22, 2024
8366a6d
checkSymbolic -> symbolic
ernestognw May 22, 2024
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
Revert "Upgrade python-version" 
This reverts commit 61e8ab7.
  • Loading branch information
@ernestognw
ernestognw committed May 14, 2024
commit 05d479da3277c48383310c35c076abf7b1abbe0c
2 changes: 1 addition & 1 deletion .github/workflows/formal-verification.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ on:
workflow_dispatch: {}

env:
PIP_VERSION: '3.11'
PIP_VERSION: '3.10'
JAVA_VERSION: '11'
SOLC_VERSION: '0.8.20'

Expand Down