Commit Graph

20969 Commits

Author SHA1 Message Date
Leonardo
78afd71ab7
Merge pull request #11860 from ethereum/smt_static_array
[SMTChecker] Add static array length constraint
2021-08-30 19:07:21 +02:00
Kamil Śliwak
525b4c70e7
Merge pull request #11853 from Midhun07/develop
Disallow `--experimental-via-ir` in Standard JSON, assembler and linker modes
2021-08-30 19:02:36 +02:00
Leo Alt
ac528cfd1b add static array length constraint 2021-08-30 17:15:16 +02:00
Midhun07
11065c6e79 Disallowed option --experimental-via-ir in Assembler, Linker and StandardJson input modes 2021-08-30 19:58:55 +05:30
Leonardo
d1a79214d5
Merge pull request #11854 from ethereum/smt_fix_push_lvalue
[SMTChecker] Fix false negative after `push` on storage references
2021-08-30 14:57:34 +02:00
Bhargava Shastry
c1242d6409
Merge pull request #11856 from ethereum/fix-failing-ubsan-nightly-build
UBSan CI: Remove unsigned-shift-base sanitizer flag.
2021-08-30 11:19:34 +02:00
Bhargava Shastry
f57e625a47 UBSan CI: Remove unsigned-shift-base sanitizer flag. 2021-08-28 12:17:19 +02:00
Leo Alt
16bc15acac Fix false negative on storage array references returned by internal functions 2021-08-28 09:30:53 +02:00
Leonardo
a3d8da2530
Merge pull request #11852 from ethereum/smt_fix_at
Fix ICE on multi-source use of abi.*
2021-08-27 19:38:36 +02:00
Leo Alt
60b866f9d8 Fix ICE on multi-source use of abi.* 2021-08-27 18:55:36 +02:00
Leonardo
ab6b430c1f
Merge pull request #11850 from ethereum/smt_remove_redundant_warnings
[SMTChecker] Remove redundant unsupported warnings
2021-08-27 17:07:24 +02:00
Leo Alt
0cc9162fb5 Update SMTChecker tests 2021-08-27 16:25:09 +02:00
Leo Alt
4d414a6d58 Update commandline tests 2021-08-27 16:25:09 +02:00
Leo Alt
8e81df1bd3 Do not show redundant unsupported errors in SMTChecker 2021-08-27 16:25:09 +02:00
Kamil Śliwak
327571db88
Merge pull request #11686 from ethereum/temporary-directory-extra-features
Convenience features in `TemporaryDirectory`
2021-08-27 16:06:53 +02:00
Kamil Śliwak
5229ace936
Merge pull request #11545 from ethereum/stripping-base-path-from-cli
Stripping base path from CLI paths
2021-08-27 16:06:42 +02:00
Kamil Śliwak
92446cbcab TemporaryDirectory: Add an alternative constructor that can create subdirectories 2021-08-27 15:11:20 +02:00
Kamil Śliwak
9dc7360903 TemporaryDirectory: Add automatic conversions to boost::filesystem::path 2021-08-27 15:11:20 +02:00
Kamil Śliwak
5a0a0af48f TemporaryDirectory: Use soltestAssert() instead of assert() and remove filesystem namespace alias 2021-08-27 15:11:20 +02:00
Kamil Śliwak
fb6a25715d TemporaryDirectory: Automatically add a dash after the prefix 2021-08-27 15:11:20 +02:00
Kamil Śliwak
251de730ed CommonIO: Use a macro to construct TemporaryDirectory prefix 2021-08-27 15:11:20 +02:00
Kamil Śliwak
13f46ebb1e FileReader: Normalize base path and strip it from normalized source paths 2021-08-27 15:10:46 +02:00
Kamil Śliwak
2d3ec69a05 CLI tests for FileReader 2021-08-27 15:10:46 +02:00
Kamil Śliwak
618ba2fb9a createSymlinkIfSupportedByFilesystem(): Add support for directory symlinks used on Windows 2021-08-27 15:10:46 +02:00
Leonardo
1f953486ee
Merge pull request #11851 from ethereum/update-openjdk-for-antlr
[CI] Bump OpenJDK version from 14 to 16
2021-08-27 13:21:05 +02:00
Kamil Śliwak
a12af13189 .circleci/config.yml: Bump OpenJDK version from 14 to 16
- OpenJDK 14 seems to have been removed from Ubuntu Focal repos
2021-08-27 12:42:08 +02:00
Bhargava Shastry
72c5f4caca
Merge pull request #11823 from ethereum/fix-11822
Add UBSan build + test nightly CI.
2021-08-27 10:07:09 +02:00
Bhargava Shastry
b77d345da7 Refactor and add gitter notification for UBSan test CIs. 2021-08-26 20:54:10 +02:00
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