Bhargava Shastry
|
0b9fc214c7
|
Add UBSan build + test CI.
|
2021-08-26 13:14:56 +02:00 |
|
Harikrishnan Mulackal
|
7df33f0d61
|
Merge pull request #11777 from Ahmed-Ali/improving_naming_consistency
[DOCS] Improving the naming consistency in Solidity by Example documentation
|
2021-08-26 12:38:35 +02:00 |
|
Ahmed Ali
|
e09b0ae15f
|
Updated some examples following the naming convention
According to Solidity naming convention:
https://docs.soliditylang.org/en/latest/style-guide.html#naming-conventions There is no need to use
underscore except when there is a naming collision. In which case, a trailing underscore is used to
avoid the collision. So in this change, I am removing all underscores, except for the ones that
could shadow other symbols in their context (none of the changed names is a reserved keyword:
https://docs.soliditylang.org/en/latest/cheatsheet.html?highlight=reserved#reserved-keywords )
|
2021-08-26 11:59:10 +02:00 |
|
Leonardo
|
6e6bbb2f83
|
Merge pull request #11837 from soroosh-sdi/use-range-v3-part2
Using range-v3 instead of boost
|
2021-08-26 09:38:27 +02:00 |
|
Leonardo
|
208cf6a3c1
|
Merge pull request #11828 from ethereum/smt_chc_balance
[SMTChecker] Add proper constraints on the contract's balance
|
2021-08-25 22:02:49 +02:00 |
|
Leo Alt
|
a9af63187e
|
Adjust tests for nondeterminism
|
2021-08-25 21:10:43 +02:00 |
|
Leo Alt
|
facc66997b
|
Update existing CLI tests
|
2021-08-25 21:10:08 +02:00 |
|
Leo Alt
|
4cf4ccafd7
|
New tests
|
2021-08-25 21:10:08 +02:00 |
|
Leo Alt
|
85378b1770
|
Update existing tests
|
2021-08-25 21:10:08 +02:00 |
|
Leo Alt
|
563469ac33
|
Docs
|
2021-08-25 21:10:08 +02:00 |
|
Leo Alt
|
61160aa0e7
|
Add constraints correlating address(this).balance and msg.value
|
2021-08-25 21:10:08 +02:00 |
|
Harikrishnan Mulackal
|
c69f91917d
|
Merge pull request #11841 from ethereum/smt_fix_delegatecall
[SMTChecker] Erase balances when delegatecall is seen
|
2021-08-25 15:26:57 +02:00 |
|
Leo Alt
|
718f392849
|
Don't erase things for BMC if function call is staticcall
|
2021-08-25 14:09:46 +02:00 |
|
Leo Alt
|
a55685c04f
|
Erase balances when delegatecall is seen
|
2021-08-25 12:39:26 +02:00 |
|
soroosh-sdi
|
b0ce98bcb2
|
Using range-v3 instead of boost
Signed-off-by: soroosh-sdi <soroosh.sardari@gmail.com>
|
2021-08-24 23:50:23 +04:30 |
|
Harikrishnan Mulackal
|
7a0295ec6c
|
Merge pull request #11831 from soroosh-sdi/use-range-v3
Replace boost::adaptors with range-v3
|
2021-08-24 11:17:43 +02:00 |
|
soroosh-sdi
|
0417ee2a21
|
Replace boost::adaptors with range-v3
Signed-off-by: soroosh-sdi <soroosh.sardari@gmail.com>
|
2021-08-24 13:07:26 +04:30 |
|
Leonardo
|
07dd9e94ea
|
Merge pull request #11834 from ethereum/improve-pylint-all
Improve `pylint_all.sh`
|
2021-08-24 10:19:08 +02:00 |
|
Kamil Śliwak
|
7ad45a2772
|
pylintrc: Ignore duplicate-code warnings
- We get a lot of them in test/format/. They were not being reported before because pylint was getting only one file at a time.
|
2021-08-23 23:12:56 +02:00 |
|
Kamil Śliwak
|
fa2b9dd1e1
|
pylint_all: Enable pylint's built-in colors and disable score summary
|
2021-08-23 23:12:56 +02:00 |
|
Kamil Śliwak
|
5da52048ac
|
pylint_all: In non-dev mode run pylint on all files at once
- This is much faster than running it one file at a time
|
2021-08-23 23:12:56 +02:00 |
|
Kamil Śliwak
|
7dd24edf14
|
pylint_all: Handle Ctrl+C more gracefully
|
2021-08-23 23:12:56 +02:00 |
|
Kamil Śliwak
|
714cce175f
|
pylint_all: Do not rename exit()
|
2021-08-23 23:12:56 +02:00 |
|
Kamil Śliwak
|
74c73d396a
|
pylint_all: Use subprocess module instead of os.system()
- As a bonus this makes the script properly stop on Ctrl+C
|
2021-08-23 23:12:56 +02:00 |
|
Kamil Śliwak
|
0746f2adf9
|
pylint_all: Make better use of the PROJECT_ROOT variable
|
2021-08-23 23:12:56 +02:00 |
|
Kamil Śliwak
|
9b3e714a6c
|
pylint_all: Use argparse for processing arguments
|
2021-08-23 23:12:56 +02:00 |
|
Kamil Śliwak
|
a39eb7ae99
|
Merge pull request #11832 from ethereum/fix-pylint-warnings-about-encoding-in-open
Fix pylint warnings about encoding in `open()`
|
2021-08-23 23:12:12 +02:00 |
|
Kamil Śliwak
|
8f5a04270f
|
Merge pull request #11835 from ethereum/fix-boost-download-from-jfrog-in-powershell
Use empty user agent when downloading Boost from jfrog in powershell
|
2021-08-23 22:05:28 +02:00 |
|
Kamil Śliwak
|
bc68e95221
|
install_deps.ps1: Use empty user agent when downloading boost from jfrog to avoid being treated as a browser
|
2021-08-23 21:23:39 +02:00 |
|
Kamil Śliwak
|
a6683e3226
|
Fix pylint warnings about encoding not being specified in open() calls
|
2021-08-23 19:24:35 +02:00 |
|
Kamil Śliwak
|
941919e8ab
|
fix_homebrew_paths_in_standalone_zip.py: Remove a superfluous call to open()
|
2021-08-23 16:00:35 +02:00 |
|
Kamil Śliwak
|
6b7857d56b
|
Merge pull request #11650 from ethereum/boost-path-in-read-file-as-string
Use `boost::filesystem::path` in `readFileAsString()`
|
2021-08-20 19:45:54 +02:00 |
|
Leonardo
|
26207968c6
|
Merge pull request #11820 from ethereum/smt_barecall
[SMTChecker] CALL
|
2021-08-19 18:15:38 +02:00 |
|
Daniel Kirchner
|
c82f9b9fab
|
Mark recursive calls in yul control flow graph.
|
2021-08-19 16:54:43 +02:00 |
|
Leo Alt
|
55d197f092
|
Changelog
|
2021-08-19 16:34:16 +02:00 |
|
Leo Alt
|
9ea4576664
|
Update tests
|
2021-08-19 16:34:01 +02:00 |
|
Leo Alt
|
d89d63bf9c
|
Use the nondeterministic interface also for BARECALL
|
2021-08-19 16:34:01 +02:00 |
|
chriseth
|
45a910c2ca
|
Merge pull request #11750 from ethereum/immutables-10463
Allow reading of immutables during construction time
|
2021-08-19 14:39:03 +02:00 |
|
chriseth
|
065a303b76
|
Merge pull request #11817 from ethereum/extendKnowledgeBase
Extend knowledge base
|
2021-08-19 14:05:46 +02:00 |
|
Marenz
|
121fd40f74
|
Allow reading of immutables during construction time
|
2021-08-19 13:59:05 +02:00 |
|
chriseth
|
2165c0d3d9
|
Update gas costs.
|
2021-08-19 13:26:52 +02:00 |
|
chriseth
|
c6473ff32b
|
Proof for rules.
|
2021-08-19 12:51:54 +02:00 |
|
chriseth
|
a467f3205c
|
Tests for knowledge base.
|
2021-08-19 12:51:54 +02:00 |
|
chriseth
|
2a8090d797
|
New simplification rules.
|
2021-08-19 12:51:54 +02:00 |
|
chriseth
|
8926274000
|
Fix recursion protection.
|
2021-08-19 12:51:54 +02:00 |
|
Kamil Śliwak
|
cef0f1b9e1
|
Merge pull request #11818 from ethereum/fix-bad-bash-highlighting-in-optimizer-rst
Fix incorrect Bash highlighting in a Yul code snippet
|
2021-08-18 14:00:06 +02:00 |
|
Kamil Śliwak
|
f794539628
|
optimizer.rst: Fix a code block with incorrectly set Bash highlighting
|
2021-08-18 13:07:22 +02:00 |
|
chriseth
|
4b038e3f02
|
Extend knowledge base.
|
2021-08-18 12:42:46 +02:00 |
|
Daniel Kirchner
|
729db521a9
|
Merge pull request #11812 from ethereum/addMissingHeader
Add missing header.
|
2021-08-17 16:45:33 +02:00 |
|
Daniel Kirchner
|
f609288cba
|
Add missing header.
|
2021-08-17 16:04:38 +02:00 |
|