cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
20,798 Commits 348 Branches 121 Tags
8d1331a081bdb882ddb2ed3344acb5cf491e350e
Commit Graph
20798 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Paul Razvan Berg 8d1331a081 docs: delete stale note about reading code 2021-09-04 22:40:36 +03:00
Daniel Kirchner 8447b32d52 Merge pull request #11861 from ethereum/smt_value 
[SMTChecker] Support `value` in CHC for external function calls
 2021-09-03 14:00:21 +02:00
Daniel Kirchner d384664dcb Merge pull request #11615 from ethereum/yulStackLayoutGenerator 
Yul Stack Layout Generator (New Code Transform Step 2)
 2021-09-03 13:13:18 +02:00
chriseth 7f137d352a Merge pull request #11869 from ethereum/remodelUseSrc 
Allow and require use-src to be repeated for each object.
 2021-09-02 18:34:07 +02:00
Daniel Kirchner f881409ea4 Stack layout generator for new code generation. 2021-09-02 17:47:19 +02:00
chriseth 9c2ab1ff2f Merge pull request #11881 from ethereum/unsuable-symbol-11855 
Properly export symbols from aliased imports.
 2021-09-02 16:39:16 +02:00
chriseth 5caa15879b Allow and require use-src to be repeated for each object. 2021-09-02 11:29:42 +02:00
Kamil Śliwak 70fe0c65d5 Merge pull request #11883 from ethereum/remove-archlinux-ci-workarounds 
Remove CI workarounds for archlinux
 2021-09-01 20:58:03 +02:00
Bhargava Shastry 6f8f58ebb7 Merge pull request #11874 from ethereum/remove-unsigned-overflow-ubsan-nightly 
Fix UBSan CI
 2021-09-01 20:29:42 +02:00
Leo Alt 106c591dde Support the external call option 2021-09-01 20:18:37 +02:00
Marenz 4700c2b973 Properly export symbols from aliased imports. 2021-09-01 19:55:30 +02:00
Kamil Śliwak 4e76914622 Switch back to using the latest ArchLinux docker image 2021-09-01 19:00:03 +02:00
Kamil Śliwak 5849e0c16e Re-enable SMT tests on Arch Linux 
- Z3 4.8.12 has already been released
 2021-09-01 18:59:13 +02:00
Bhargava Shastry 7b05d3bc70 CMake: Remove unsigned-integer-overflow check from UBSan compiler flags because it is too noisy. 2021-09-01 16:47:06 +02:00
chriseth 29cc7aa951 Merge pull request #11847 from ethereum/enum-min-max-11469 
Add type().min/max for enums
 2021-09-01 15:43:05 +02:00
Daniel Kirchner f4effe966e Merge pull request #11824 from ethereum/yulControlFlowGraphRecursiveCalls 
Mark recursive calls in yul control flow graph.
 2021-09-01 15:18:04 +02:00
Marenz 2b28f87abf Add type().min/max for enums 2021-09-01 15:02:02 +02:00
Bhargava Shastry 31fd97bb14 Merge pull request #11863 from ethereum/update-circleci-evm-version 
Circle CI: Introduce default evm version parameter and change the default to `london`
 2021-09-01 10:30:14 +02:00
Harikrishnan Mulackal 1e334a8993 Merge pull request #11799 from benldrmn/increase_use_of_constexpr 
Increase use of C++ constexpr
 2021-08-31 17:23:36 +02:00
Bhargava Shastry 427aec2cb4 Circle CI: Introduce default evm version parameter; remove hard-coded setting. 2021-08-31 17:15:15 +02:00
chriseth 208ba61ee6 Merge pull request #11866 from ethereum/clarifyExample 
Clarify function call options example.
 2021-08-31 17:08:25 +02:00
Kamil Śliwak 5e5f49df93 Merge pull request #11839 from priyansh786/develop 
Don't create empty expectation files when updating test expectations
 2021-08-31 16:46:14 +02:00
chriseth 3780e5a92f Merge pull request #11577 from ethereum/disallow-modifiers-in-interfaces 
Disallow modifier declarations and definitions in interfaces
 2021-08-31 16:08:39 +02:00
Kamil Śliwak d07b796675 Disallow modifier declarations and definitions in interfaces 2021-08-31 15:25:08 +02:00
benldrmn 58e4cc62e0 Increase use of C++ constexpr constant expressions in code base as described in issue #7720 2021-08-31 15:03:59 +02:00
chriseth 9033660b22 Clarify function call options example. 2021-08-31 14:32:32 +02:00
chriseth 13691dfbaa Merge pull request #11628 from ethereum/noOverrideForInterface 
Add override exception for interface functions.
 2021-08-31 10:45:57 +02:00
chriseth f7916f2940 Add override exception for interface functions. 2021-08-31 10:45:31 +02:00
priyansh786 803901fa7e Don't create empty expectation files when updating test expectations 2021-08-30 22:55:37 +05:30
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