issues
search
safe-global
/
safe-smart-account
Safe allows secure management of blockchain assets.
https://safe.global
GNU Lesser General Public License v3.0
1.84k
stars
907
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Run
#675
jamiegreen7
closed
11 months ago
0
Chore: skip test files in coverage, use SafeL2 contract for coverage calculation
#674
mmv08
closed
11 months ago
1
Update 1.4.1 migration contract with storage slot 0 checks and proper documentation
#672
mmv08
closed
11 months ago
0
Bump flat, eth-gas-reporter and solidity-coverage
#671
dependabot[bot]
closed
11 months ago
1
Bump tough-cookie and eth-gas-reporter
#670
dependabot[bot]
closed
11 months ago
2
No token files found. If you try to add/modify a token, check the name and location of your files! Logo file must be named exactly 'logo.png'. If you are not adding a token, ignore this message.
#669
jamiegreen7
closed
11 months ago
0
Reverts jamiegreen7/jamiegreen7#2
#668
jamiegreen7
closed
11 months ago
0
Update readme
#666
robriks
closed
11 months ago
1
Update README.md to add missing --save-dev
#665
bertux
closed
11 months ago
2
safe-singleton-factory should be updated in devDependencies
#664
bertux
closed
11 months ago
0
Implement AdminGuard
#663
robriks
closed
1 year ago
0
Feature: Extract contract signature check into a function to allow summarization during formal verification
#662
mmv08
closed
11 months ago
6
Make checkSignature rule run.
#661
jhoenicke
closed
1 year ago
2
Certora: Mutation testing and rule enhancements
#660
mmv08
closed
1 year ago
2
Don't use the word "Confirm"
#659
SKYBITDev3
closed
1 year ago
2
fix typo:
#658
owl11
closed
1 year ago
3
[Certora]: Add counter of owners to specification
#657
jhoenicke
closed
1 year ago
0
Fv/mutation testing
#656
mailalexjoseph
closed
1 year ago
1
ERC777 Token Compatibility for TokenCallbackHandler
#655
QYuQianchen
opened
1 year ago
4
Feat/butter safe
#654
Albert-Lo
closed
1 year ago
1
Before releasing 1.5.0, update the runtime bytecodes and addresses in tests and the migration contract
#653
mmv08
opened
1 year ago
2
Feature: 1.5.0 Migration
#652
mmv08
closed
11 months ago
3
Adjust 1.5.0 for zkSync
#651
ElvisKrop
closed
7 months ago
2
Fix: Solidity linter errors
#650
mmv08
closed
1 year ago
3
Add a 1.3.0 -> 1.4.1 migration contract
#649
mmv08
closed
1 year ago
1
Formal verification: Add rules that check only modules can execute module transactions
#648
mmv08
closed
1 year ago
1
Chore: Remove ewc and volta from the hardhat config
#647
mmv08
closed
1 year ago
1
Use byte instead of and in the SignatureDecoderContract
#646
mmv08
closed
1 year ago
1
Formal verification: Remove rules overlapping with rules in OwnerReach.spec
#645
mmv08
closed
1 year ago
0
Bump @openzeppelin/contracts from 3.4.2 to 4.9.3
#644
dependabot[bot]
closed
1 month ago
2
Formal verification: Fix unresolved setup call from the harness constructor
#643
mmv08
closed
1 year ago
1
Merge main into checkSignatures branch
#642
teryanarmen
closed
1 year ago
0
Feature: migration to `hardhat-toolbox`, ethers v6
#641
mmv08
closed
1 year ago
2
persistent release branches
#640
gosuto-inzasheru
closed
1 year ago
1
Add 1.5.0 changelog
#639
mmv08
closed
1 year ago
1
Provide migration contracts for 1.4.1 and 1.5.0
#638
mmv08
closed
1 year ago
1
Fix typo in buildSignatureBytes comment
#637
mmv08
closed
1 year ago
1
Formal verification: checkSignatures rule
#636
mmv08
closed
1 year ago
2
Formal verification: Add rules for modules
#635
mmv08
closed
1 year ago
3
Change code block language identifier
#634
YanhuiJessica
closed
1 year ago
3
Newly created safes do not have a EIP1271 isSignatureValid() method
#633
slavik0329
closed
1 year ago
1
Formal verification: Add rules for owners
#632
mmv08
closed
1 year ago
1
Update npm badge in the readme
#631
mmv08
closed
1 year ago
1
Feature: Use safe-singleton-factory from safe-global namespace
#630
mmv08
closed
1 year ago
1
Formal Verification: Rules for is/add/remove/swapOwner
#629
jhoenicke
closed
1 year ago
2
Adding buildbear polygon testnet in hardhat network
#627
IRSHIT033
closed
1 year ago
0
Adjust 1.4.1 tests for zkSync
#625
ElvisKrop
opened
1 year ago
4
Gnosis Pay fails because of GS022
#621
marcocastignoli
closed
1 year ago
1
Formal verification: Add a rule for enabling modules
#620
mmv08
closed
1 year ago
1
fix inListReachable_preserve for setup
#619
jhoenicke
closed
1 year ago
1
Previous
Next