Commit Graph

20725 Commits

Author SHA1 Message Date
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
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
chriseth
22482802d1
Merge pull request #11810 from ethereum/fixFixedParsingIsoltest
Fix parsing fixed point values.
2021-08-17 15:26:00 +02:00
chriseth
063d481bb3 Fix parsing fixed point values. 2021-08-17 14:46:11 +02:00
chriseth
948665ff89
Merge pull request #11749 from ethereum/simplifyConvertEvenMOre
Simplify yul conversion function even more.
2021-08-17 14:39:59 +02:00
chriseth
5015284c3a
Merge pull request #11748 from ethereum/optimize_signextend
Optimizer rules for signextend.
2021-08-17 14:39:16 +02:00
Kamil Śliwak
cb1a0f08ca readFileAsString(): Accept path as boost::filesystem::path instead of string 2021-08-17 12:58:33 +02:00
Kamil Śliwak
790d08f24b source-upgrade does not really process standard input 2021-08-17 12:55:01 +02:00
chriseth
704820cc6e Update tests. 2021-08-16 22:24:06 +02:00
chriseth
94c4e1e172 Simplify yul conversion function even more. 2021-08-16 22:24:06 +02:00
chriseth
b62bb0a0b2
Merge pull request #11804 from ethereum/fixedPointTypes
[isoltest] Leading zero for fixed point types.
2021-08-16 22:17:48 +02:00
chriseth
4480662a58 Test. 2021-08-16 18:54:33 +02:00
hrkrshnn
59db0f1537 An equivalence check for SIGNEXTEND opcode
Checking the implementation of SIGNEXTEND using Z3's native SignExt and Extract
2021-08-16 18:54:33 +02:00
chriseth
5906d25a39 Formalization of SIGNEXTEND and rule proofs 2021-08-16 18:54:33 +02:00
chriseth
16787ecfd6 Optimizer rules for signextend. 2021-08-16 18:54:33 +02:00
Kamil Śliwak
d59497bd92
Merge pull request #11805 from ethereum/fixSolcjs
Remove the code for disabling `prepublish` hook before solc-js tests
2021-08-16 17:30:56 +02:00
Daniel Kirchner
9f2885e173 Disabling of prepublish hook is no longer needed in setup_solcjs
See https://github.com/ethereum/solc-js/pull/542
2021-08-16 16:50:31 +02:00
chriseth
97b4ff15f1
Merge pull request #11791 from CrimsonGlory/patch-2
Document pre-0.5.0 bytesX/uintY conversions
2021-08-16 14:24:55 +02:00