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
16,371 Commits 348 Branches 121 Tags
615668bfb4dd5fbe7df0619b537f17e680e2b6fb
Commit Graph
16371 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth 615668bfb4 Explain nonpayable 
Fixes https://github.com/ethereum/solidity/issues/8736
 2020-04-23 01:35:21 +02:00
Alex Beregszaszi 145176f18c Merge pull request #8742 from ethereum/smt_fix_slices 
Fix internal error when using array slices
 2020-04-23 00:00:50 +01:00
Leonardo Alt cfe3686116 Fix internal error when using array slices 2020-04-22 23:20:10 +02:00
Leonardo 6d98b907ef Merge pull request #8746 from ethereum/smt_fix_fixed_point 
Fix ICE with fixed point
 2020-04-22 23:18:41 +02:00
Alex Beregszaszi a9ae780fa2 Merge pull request #8748 from ethereum/smt_fix_undefined 
[SMTChecker] Fix undefined behavior with nullptr
 2020-04-22 22:14:05 +01:00
Leonardo Alt b191139f2a Fix undefined behavior with nullptr 2020-04-22 20:49:40 +02:00
Leonardo Alt 83c9e82099 Fix ICE with fixed point 2020-04-22 19:57:00 +02:00
chriseth 14fc9e740c Merge pull request #8685 from ethereum/yulForTypeType 
Yul codegen for member access to type type
 2020-04-22 14:27:19 +02:00
chriseth 4908101ad7 Yul IR generation for member access to type types. 2020-04-22 11:25:27 +02:00
chriseth d0fcd468f6 Merge pull request #8709 from ethereum/repeated_and_or_rules 
Add optimizer rules for repeated `and` and `or`
 2020-04-22 11:21:40 +02:00
Leonardo Alt 2daa52f18c Fix CI pip version 2020-04-22 10:20:59 +02:00
Leonardo Alt 606153ba71 Add optimizer rules for repeated and 2020-04-22 10:20:59 +02:00
chriseth 8c60b2c847 Merge pull request #8714 from iamdefinitelyahuman/develop 
Add dark mode to documentation
 2020-04-20 21:36:17 +02:00
iamdefinitelyahuman d59706e5f5 docs: fix formatting errors and style inconsistencies 2020-04-20 20:24:31 +04:00
iamdefinitelyahuman c59854c4bb docs: add dark mode to documentation 2020-04-20 20:23:45 +04:00
chriseth 6900544f0d Merge pull request #8651 from a3d4/modify-evmone-version 
Update evmone version to v0.4 in docs and scripts
 2020-04-20 16:49:10 +02:00
chriseth 1d8e742296 Merge pull request #8684 from ethereum/yulForSelector 
Yul codegen for `.selector`.
 2020-04-20 16:32:11 +02:00
chriseth 41ef13129b Merge pull request #8678 from ethereum/smt_remove_redundant_constraints 
[SMTChecker] Remove redundant CHC constraints
 2020-04-20 15:44:59 +02:00
chriseth 55483445e9 Merge pull request #8663 from ethereum/ir-function-generation-queue 
[Sol->Yul] IR function generation queue (refactor)
 2020-04-20 15:17:53 +02:00
chriseth 00a53c95e3 Merge pull request #8694 from ethereum/out-of-tree-build-dir 
Out-of-tree SOLIDITY_BUILD_DIR
 2020-04-20 15:15:52 +02:00
chriseth a82ed2ac44 Merge pull request #8705 from ethereum/fix-8704 
Fuzzer: Permit linking of libraries in compilation framework
 2020-04-20 15:11:06 +02:00
chriseth 264c4264a1 Merge pull request #8644 from ethereum/refactor-lValueRequested 
Replaced all instances of lValueRequested to willBeWrittenTo
 2020-04-20 15:03:50 +02:00
Leonardo 338b0285a0 Merge pull request #8703 from ethereum/changelogDeclarationTypeChecker 
Changelog entries for declaration type checker.
 2020-04-20 14:55:40 +02:00
Bhargava Shastry ea5b64ca9e Fuzzer: Permit linking of libraries in compilation framework 2020-04-20 14:28:38 +02:00
chriseth 5aa2107877 Changelog entries for declaration type checker. 2020-04-20 13:26:39 +02:00
chriseth c24c4f85e4 Merge pull request #8665 from ethereum/recursiveStructRefactoring 
Recursive struct refactoring and a bunch of ICE fixes.
 2020-04-20 13:24:19 +02:00
chriseth 7eff836a6d Merge pull request #8693 from ethereum/fix-inconsistent-indentation-in-scripts 
Fix inconsistent indentation in scripts/
 2020-04-20 12:16:07 +02:00
hrkrshnn 4760b8589d Replaced all instances of lValueRequested to willBeWrittenTo 2020-04-20 12:33:30 +05:30
Kamil Śliwak 3e65bcfd7f Allow SOLIDITY_BUILD_DIR outside of REPO_ROOT in scripts that respect this variable 2020-04-17 19:09:22 +02:00
Kamil Śliwak a80b032081 Fix inconsistent indentation in scripts/ 
- NOT reindenting all files. Just choosing one style in files that were using multiple.
 2020-04-17 19:09:02 +02:00
Leonardo 96ea8b3148 Merge pull request #8692 from ethereum/fix-missing-details-in-cmdlinetests-error-messages 
Fix missing details in some error messages in cmdlineTests.sh
 2020-04-17 18:27:03 +02:00
Kamil Śliwak 3180e6c5a2 cmdlineTests.sh: Fix missing details in some error messages 
- As far as I know $STDERR is not a standard shell variable and it's not defined in the file either.
 2020-04-17 15:45:17 +02:00
Kamil Śliwak 4788fdad0b Merge branch 'optimiser-suite-run-sequence-for-abbreviations' into develop 2020-04-17 15:39:20 +02:00
Kamil Śliwak c7947c1af6 Implement lazy function generation using function generation queue 2020-04-17 13:28:07 +02:00
Kamil Śliwak 1f28f79ae6 IRGenerator::generate(): Remove duplicate call to setMostDerivedContract() 
- The same call happens in resetContext(_contract) called immediately before
 2020-04-17 13:28:07 +02:00
chriseth ccc06c49af Merge pull request #8681 from ethereum/fun_fun_functions 
Add functional map and fold generic functions
 2020-04-17 12:19:35 +02:00
chriseth 19e68dc2a8 Merge pull request #8687 from ethereum/optimiser-command-line-help-cleanup 
Optimiser command line help cleanup
 2020-04-17 12:18:04 +02:00
Leonardo Alt 45f22e3ff4 Add functional map and fold generic functions 2020-04-16 19:21:36 +02:00
Kamil Śliwak 56af85ef39 command-line help: Minor whitespace and text tweaks 2020-04-16 18:20:28 +02:00
Kamil Śliwak 004be1788f command-line help: Move optimizer options to a separate section 2020-04-16 18:12:53 +02:00
Kamil Śliwak 1e38985fef command-line help: Clarify that --optimize-yul no longer does anything 2020-04-16 18:10:18 +02:00
Daniel Kirchner 150497c12a Stricter bounds for memory arrays. 2020-04-16 17:51:18 +02:00
Daniel Kirchner f6d1cee06b Ensure that public callable parameters are valid for calldata. 2020-04-16 17:23:20 +02:00
Daniel Kirchner 6093982606 Review suggestions. 2020-04-16 16:42:12 +02:00
Daniel Kirchner 3a5a4c6505 Another ICE test. 2020-04-16 16:42:12 +02:00
Daniel Kirchner 6f06154eb5 Move direct struct recursion check to detect recursion in global structs. 2020-04-16 16:42:12 +02:00
Daniel Kirchner b744a56801 Refactoring of errors and fixes for various ICEs. 2020-04-16 16:42:12 +02:00
Daniel Kirchner df1809f8da Annotate struct definitions with a recursive flag. 2020-04-16 16:42:12 +02:00
Kamil Śliwak 9db7d2bde9 OptimiserSuite: Replace full step names in run() with abbreviations 2020-04-16 16:09:15 +02:00
Kamil Śliwak 9d7df5db69 OptimiserSuite: Add a variant of runSequence() that works with a string of abbreviations 2020-04-16 16:09:15 +02:00