cerc-io/solidity
16
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
21,372 Commits 348 Branches 121 Tags 100 MiB
080c7245ae
Commit Graph

21372 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
soroosh-sdi
8b04ac38ab Require latest Z3 by default and allow relaxing the requirement with STRICT_Z3_VERSION=OFF 
Signed-off-by: soroosh-sdi <soroosh.sardari@gmail.com>
 2021-09-24 22:09:56 +03:30
Alex Beregszaszi
3c8846e669
Merge pull request #11976 from ethereum/json-cleanup 
Some cleanup and testing for JSON
 2021-09-24 19:03:45 +01:00
Kamil Śliwak
091e15d6da Verify checksums of packages downloaded by scripts 2021-09-24 16:29:45 +02:00
Kamil Śliwak
59e8bbb1d7 Do not use --force with rm if not needed 2021-09-24 16:29:14 +02:00
Kamil Śliwak
67041fb37f Put versions of packages downloaded by scripts in variables to reduce duplication 2021-09-24 16:29:14 +02:00
Kamil Śliwak
caccd0a3e0 Always refer to the latest version of Boost in URLs 2021-09-24 15:35:33 +02:00
Kamil Śliwak
9326b2eaeb ASTImportTest.sh: Print an error when AST reimport fails instead of just exiting silently 2021-09-23 17:55:01 +02:00
chriseth
55467c1cca
Merge pull request #11982 from ethereum/splitCommon 
Split Common.h into Numeric.h.
 2021-09-23 16:28:47 +02:00
chriseth
1531863835 Split Common.h into Numeric.h. 2021-09-23 15:27:29 +02:00
chriseth
c8e6ef9657
Merge pull request #12004 from ethereum/disambiguateBytesRequired 
Disambiguate bytesRequired
 2021-09-23 15:25:44 +02:00
chriseth
9552270c62
Merge pull request #12012 from ethereum/solc-runs-text 
Improve `--optimize-runs` text
 2021-09-23 10:49:00 +02:00
Alex Beregszaszi
34b8477664 Improve --optimize-runs text 2021-09-23 10:07:10 +02:00
Kamil Śliwak
72fc34494a
Merge pull request #11994 from ethereum/smt-solver-choice-tweaks 
`SMTSolverChoice` tweaks: fix `&` modifying the object and add more `const`/`noexcept`
 2021-09-22 17:55:33 +02:00
Kamil Śliwak
11fdcc5159
Merge pull request #11996 from hawkess/isoltest-validation 
Isoltest validation
 2021-09-22 17:43:44 +02:00
chriseth
5a3a5c746f
Merge pull request #11864 from ethereum/protectViaIR 
Add protection against mixing "viaIR" and "non-viaIR".
 2021-09-22 16:16:11 +02:00
Harikrishnan Mulackal
55d609d354
Merge pull request #11990 from ethereum/smt_user_types 
[SMTChecker] Support user types
 2021-09-22 15:40:49 +02:00
chriseth
9f8406ad37 Add protection against mixing "viaIR" and "non-viaIR". 2021-09-22 15:34:39 +02:00
chriseth
bcdaa0c729
Merge pull request #11998 from ethereum/separate-yul-and-sol-locations-in-debug-info 
Store both Yul and Solidity locations in debug data
 2021-09-22 15:27:42 +02:00
Kamil Śliwak
fc7e8c56dc Fill out originLocation with nativeLocation when importing Yul AST 2021-09-22 13:17:18 +02:00
Kamil Śliwak
d23754eafd AsmParser: Don't use locationOverride as current location when location from comments is selected 2021-09-22 13:11:39 +02:00
Kamil Śliwak
ce4420f857 Separate DebugData fields for Solidity and Yul source locations 2021-09-22 13:11:39 +02:00
Kamil Śliwak
9c1d40debf AsmParser: Replace m_debugDataOverride with separate variables for location and AST ID 2021-09-22 13:11:39 +02:00
Kamil Śliwak
84ca67c283 Yul syntax tests showing broken behavior 2021-09-22 13:11:39 +02:00
chriseth
5a7fddbd1f
Merge pull request #11975 from ethereum/functionDebugInfo 
Function debug info
 2021-09-22 12:43:43 +02:00
chriseth
7726f37946 Update tests. 2021-09-22 11:33:02 +02:00
chriseth
50ce1f5ddd Disambiguate bytesRequired 2021-09-22 11:22:07 +02:00
chriseth
7637286074 Remove unused function. 2021-09-22 11:11:51 +02:00
chriseth
2741175507 Use function debug data. 2021-09-22 11:11:51 +02:00
chriseth
e6f0fe8ae3 Use source id in yul to evm code transform. 2021-09-22 11:11:51 +02:00
chriseth
d9ad047c21
Merge pull request #12001 from ethereum/cmdline-test-for-asm-json 
Command-line test for `--asm-json`
 2021-09-22 11:09:02 +02:00
chriseth
8af2cdfb82
Merge pull request #12003 from ethereum/wrong-err-msg 
[Trivial] Correct wrong error message referencing `.slot` and `.offset` when `.length` was used
 2021-09-22 11:07:43 +02:00
hawkess
4fd5093d94 Removed pointer to external editor resource in IsolTestOptions, changed TestTool::handleResponse() to get editor value from m_options member variable 2021-09-21 14:12:26 -05:00
Marenz
7a51acc5fe Correct wrong error message referencing .slot and .offset when .length was used 2021-09-21 18:28:38 +02:00
Marenz
0f326ada5c Sort changelog "bugfixes" alphabetically 2021-09-21 18:01:12 +02:00
Kamil Śliwak
b1351f4807 Fix typo in test name: leave_items_on_tack.sol -> leave_items_on_stack.sol 2021-09-21 16:28:16 +02:00
Kamil Śliwak
7bd1d1cf20 Command-line test for --asm-json 2021-09-21 16:28:16 +02:00
chriseth
fc95436704
Merge pull request #11984 from ethereum/parse-input-mode-earlier 
[CLI] Parse input mode earlier and add some asserts
 2021-09-21 15:09:21 +02:00
Leo Alt
e74f853c6b [SMTChecker] Support user types 2021-09-21 13:23:17 +02:00
chriseth
659498ff50
Merge pull request #11992 from ethereum/rename-debug-info-cmdline-tests 
Rename existing debug info tests to match the new naming convention
 2021-09-21 12:10:01 +02:00
Alex Beregszaszi
b5e68df3cd Document JsonFormat 2021-09-21 10:49:13 +01:00
Alex Beregszaszi
55c64e3ca1 Always explicitly initialise Json objects 2021-09-21 10:49:13 +01:00
Alex Beregszaszi
69e9531181 Add JSON tests for unicode, all types, and conformance to ECMA-262/ECMA-404 
Also avoid using toStyledString
 2021-09-21 10:49:13 +01:00
Kamil Śliwak
d86347cf7e Rename existing debug info tests to match the naming convention 2021-09-21 11:07:46 +02:00
hawkess
5edabc014d Changed enforce-gas-cost and enforce-via-yul to accept explicit arguments 2021-09-20 13:17:35 -05:00
Sean Hawkes
a875d1225a Explicity set default values for program options based on initialized values from constructor 2021-09-20 08:34:28 -05:00
chriseth
2c3322cbf6
Merge pull request #11993 from ethereum/remove-trailing-whitespace-after-location-with-no-snippet 
Don't include whitespace after `@src` tag if there's no snippet
 2021-09-20 14:10:59 +02:00
chriseth
06223f0ae9
Merge pull request #11977 from acoglio/patch-2 
Clarify interpretation of literals.
 2021-09-20 12:00:36 +02:00
Alessandro Coglio
0ac441ac73 Clarify interpretation of literals. 
This is based on discussions on Gitter.
 2021-09-20 11:59:59 +02:00
chriseth
c9f98f2cc2
Merge pull request #11983 from ethereum/fix-fatal-error-hiding-non-fatal-errors-in-standard-json 
Don't discard non-fatal errors in Yul mode in Standard JSON when followed by a fatal error
 2021-09-20 11:53:09 +02:00
Harikrishnan Mulackal
46f7078d67
Merge pull request #11995 from andrewl64/patch-1 
Update README.md
 2021-09-20 09:40:42 +02:00