Tag:
Branch:
Tree:
1eea95f9ac
audit/2023-03
audit/2023-06
audit/2023-07-10
audit/2023-07-24
audit/2023-08-01
audit/2023-08-07
audit/M-01
audits/5.1
docs-org
docs-v2.x
docs-v3.x
docs-v4.x
docs-v5.x
eof
features/full-math
formal-verification
frangio-patch-1
frangio-patch-2
fv/ERC20Votes
fv/Governor
master
next-v5.0
release-v2.3.0
release-v2.4.0
release-v2.5.0
release-v3.0.0
release-v3.1.0
release-v3.2.0
release-v3.2.0-solc-0.7
release-v3.3
release-v3.3-solc-0.7
release-v3.4
release-v3.4-solc-0.7
release-v4.0
release-v4.1
release-v4.2
release-v4.3
release-v4.4
release-v4.5
release-v4.6
release-v4.7
release-v4.8
release-v4.9
release-v5.0
release-v5.1
release-v5.2
renovate/certora-cli-7.x
renovate/lock-file-maintenance
renovate/major-linters
renovate/npm-undici-vulnerability
solc-0.6
solc-0.7
test/linearization
transient/access-manager-execution-id
typo-fixes
update/certora-7.3.0
v1.0.0
v1.0.1
v1.0.2
v1.0.3
v1.0.4
v1.0.5
v1.0.6
v1.0.7
v1.1.0
v1.10.0
v1.11.0
v1.11.0-rc.1
v1.12.0
v1.12.0-rc.1
v1.12.0-rc.2
v1.2.0
v1.3.0
v1.4.0
v1.5.0
v1.6.0
v1.7.0
v1.8.0
v1.9.0
v1.9.1
v1.9.2
v1.9.3
v1.9.4
v2.0.0
v2.0.0-rc.1
v2.0.0-rc.2
v2.0.0-rc.3
v2.0.0-rc.4
v2.0.1
v2.0.2
v2.1.0-rc.1
v2.1.0-rc.2
v2.1.1
v2.1.2
v2.1.3
v2.2.0
v2.2.0-rc.1
v2.2.1
v2.2.2
v2.2.3
v2.3.0
v2.3.0-rc.0
v2.3.0-rc.1
v2.3.0-rc.2
v2.3.0-rc.3
v2.4.0
v2.4.0-beta.0
v2.4.0-beta.1
v2.4.0-beta.2
v2.5.0
v2.5.0-rc.0
v2.5.1
v3.0.0
v3.0.0-beta.0
v3.0.0-rc.0
v3.0.0-rc.1
v3.0.1
v3.0.2
v3.1.0
v3.1.0-rc.0
v3.1.0-solc-0.7
v3.2.0
v3.2.0-rc.0
v3.2.1-solc-0.7
v3.2.2-solc-0.7
v3.3.0
v3.3.0-rc.0
v3.3.0-rc.1
v3.3.0-rc.2
v3.3.0-solc-0.7
v3.4.0
v3.4.0-rc.0
v3.4.0-solc-0.7
v3.4.1
v3.4.1-solc-0.7
v3.4.1-solc-0.7-2
v3.4.2
v3.4.2-solc-0.7
v4.0.0
v4.0.0-beta.0
v4.0.0-beta.1
v4.0.0-rc.0
v4.1.0
v4.1.0-rc.0
v4.2.0
v4.2.0-rc.0
v4.3.0
v4.3.0-rc.0
v4.3.1
v4.3.2
v4.3.3
v4.4.0
v4.4.0-rc.0
v4.4.0-rc.1
v4.4.1
v4.4.2
v4.5.0
v4.5.0-rc.0
v4.5.1
v4.5.2
v4.6.0
v4.6.0-rc.0
v4.7.0
v4.7.0-rc.0
v4.7.1
v4.7.2
v4.7.3
v4.8.0
v4.8.0-rc.0
v4.8.0-rc.1
v4.8.0-rc.2
v4.8.1
v4.8.2
v4.8.3
v4.9.0
v4.9.0-rc.0
v4.9.0-rc.1
v4.9.1
v4.9.2
v4.9.3
v4.9.4
v4.9.5
v4.9.6
v5.0.0
v5.0.0-rc.0
v5.0.0-rc.1
v5.0.0-rc.2
v5.0.1
v5.0.2
v5.1.0
v5.1.0-rc.0
v5.1.0-rc.1
v5.2.0
v5.2.0-rc.0
v5.2.0-rc.1
${ noResults }
3 Commits (1eea95f9acebada0360f1f4be7c442325db27fa6)
| Author | SHA1 | Message | Date |
|---|---|---|---|
AugustoL
|
2b008f4cb6 |
Fix solidity linter errors
|
7 years ago |
|
AugustoL
|
8854966847 |
change throw for require in MessageHelper contract@
|
7 years ago |
|
AugustoL
|
a4b1cd6e31 |
Add SmartToken contract with tests and documentation
add missing public identifier in approveData in SmartToken contract remove constact from showMessage function in message helper contract move Message helper contract to mocks folder move SmartTokenMock contract to mocks folder |
7 years ago |