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
19,434 Commits 348 Branches 121 Tags
catchCustomErrors
Commit Graph
19434 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Alex Beregszaszi d4eb2bd0b4 Merge pull request #10794 from ethereum/pragma-tests 
Move all experimental pragma tests to syntaxTests/pragma
 2021-01-15 19:13:16 +00:00
Alex Beregszaszi 2c92f7641b Move all experimental pragma tests to syntaxTests/pragma 2021-01-15 19:12:32 +00:00
Daniel Kirchner 9bf88d5459 Merge pull request #10791 from ethereum/committer-date-in-prerelease-txt-on-windows 
Use committer date in CI build version strings on Windows
 2021-01-15 20:12:04 +01:00
Kamil Śliwak 68e416e905 build_win.ps1: Use committer date rather than author date in prerelease.txt 
- That's what the Linux/macOS scripts do.
 2021-01-15 19:09:49 +01:00
Dmytro c3d6f19e12 Update events doc 
Changed the name of the variable because the RTD displays it in green (like the data type or the syntax of the word function), apparently, this is due to the formatting of the RTD text.
https://docs.soliditylang.org/en/latest/contracts.html#events
 2021-01-15 18:12:52 +02:00
Leonardo 726c5ff68c Merge pull request #10777 from blishko/smt-fix-checked 
[SMTChecker] Fix BMC crash related to `unchecked` blocks
 2021-01-15 16:46:32 +01:00
Alex Beregszaszi 3e678acd7d Merge pull request #10781 from ethereum/new-ir-tests 
Enable some semantic tests for the IR
 2021-01-15 14:48:22 +00:00
Martin Blicha 18214d1ccc [SMTChecker] Reset checked/unchecked flag to the default value when inlining function in BMC 2021-01-15 15:36:26 +01:00
Leonardo 93b25dc783 Merge pull request #10741 from ethereum/smt_cex_external_calls 
[SMTChecker] Synthesize untrusted functions called externally
 2021-01-15 15:31:56 +01:00
Alex Beregszaszi 293bb01c56 Enable some semantic tests for the IR 2021-01-15 14:10:54 +00:00
Leonardo Alt 007d39871b [SMTChecker] Synthesize untrusted functions called externally 2021-01-15 11:56:26 +01:00
Alex Beregszaszi eaf7d7daa7 Merge pull request #10546 from ethereum/isoltestHardError 
[isoltest] Error out in case of different result when enforcing via yul.
 2021-01-14 22:53:36 +00:00
Djordje MijovicandAlex Beregszaszi b92d024898 [isoltest] Error out in case of different result when enforcing via yul. 
Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>
 2021-01-14 22:37:12 +00:00
chriseth ece2fdd8c6 Merge pull request #10774 from ethereum/roundUpAllocations 
Round up allocations to multiples of 32.
 2021-01-14 23:16:41 +01:00
chriseth cae1b75932 Merge pull request #10772 from ethereum/fix-commit-date-in-ci-builds-on-mac-os 
Fix commit date command for CI builds on macOS
 2021-01-14 23:07:55 +01:00
chriseth db4b39e09e Round up allocations to multiples of 32. 2021-01-14 21:52:17 +00:00
Alex Beregszaszi 31ee06d945 Merge pull request #10775 from ethereum/useRoundUpInArrayAlloc 
Use round up function.
 2021-01-14 21:46:32 +00:00
Kamil Śliwak 71d19c5178 build_win.ps1: Use commit date for CI builds on Windows and Emscripten as well 2021-01-14 22:23:06 +01:00
Kamil Śliwak 6c3ccc8e29 ci/build.sh: Use a more portable command for getting the date to make it work on macOS too 2021-01-14 22:22:39 +01:00
chriseth 7d6331e26f Use round up function. 2021-01-14 21:01:43 +00:00
Alex Beregszaszi 6ad0ea9f23 Merge pull request #10773 from ethereum/useArrayAllocationFunction 
Fix array allocation.
 2021-01-14 20:25:31 +00:00
chriseth aba8d807db Merge pull request #10765 from ethereum/ir-revert-strings 
Include revert strings in IR
 2021-01-14 20:00:11 +01:00
chriseth f4479fd7ed Fix array allocation. 2021-01-14 19:56:37 +01:00
chriseth a26e6eacdc Merge pull request #10767 from ethereum/ir-unimplemented-failures 
Display unimplemented errors in Yul codegen testing
 2021-01-14 19:28:30 +01:00
Alex Beregszaszi 4491a290e2 Display unimplemented errors in Yul codegen testing 
i.e. do not hide exceptions
 2021-01-14 18:08:01 +00:00
chriseth 35bc9b1ea1 Merge pull request #10682 from ethereum/catchPanic 
Document ``catch Panic(uint)``.
 2021-01-14 18:46:03 +01:00
Alex Beregszaszi 7c7fd22062 Include revert strings in IR 2021-01-14 18:45:12 +01:00
chriseth f9bfceccd1 Merge pull request #10771 from ethereum/use-commit-date-in-ci-builds 
Commit date in CI build version strings
 2021-01-14 18:38:45 +01:00
chriseth df7c17a053 Document `catch Panic(uint)`. 2021-01-14 18:37:02 +01:00
chriseth 96ce3cf7cb Merge pull request #10770 from ethereum/doc-pragma-check-special-case-for-current-dev-version 
Special case for development version in doc pragma checker
 2021-01-14 18:35:47 +01:00
Kamil Śliwak a901f78be7 ci/build.sh: Use commit date rather than build date in version strings of CI builds 2021-01-14 18:04:41 +01:00
Alex Beregszaszi d4627d53eb Merge pull request #10235 from ethereum/onlyFailOnUnimplemented 
Fail on assertion failures in yul code generation.
 2021-01-14 16:55:07 +00:00
Kamil Śliwak c63fd0a1af docs_version_pragma_check.sh: Remove the special case for versions ending in .99 2021-01-14 17:35:19 +01:00
Kamil Śliwak a39c8e3750 docs_version_pragma_check.sh: Switch to the new-style [[ ]] conditions 2021-01-14 17:35:19 +01:00
Kamil Śliwak d8d5b3ab20 docs_version_pragma_check.sh: Don't treat missing compiler version as an error if it's the current dev version 2021-01-14 17:35:19 +01:00
Kamil Śliwak 203ebf89bb scripts/common.sh: Add printWarning() helper 2021-01-14 17:35:19 +01:00
Leonardo 110e0e1f25 Merge pull request #10763 from blishko/smt-abi-fixes 
[SMTChecker] Small fixes in handling ABI functions
 2021-01-14 16:00:49 +01:00
chriseth a4769d446f Fail on assertion failures in yul code generation. 2021-01-14 14:51:16 +00:00
chriseth 7d036dcb81 Merge pull request #10762 from ethereum/packedStorageOverflowSol2Yul 
[Sol->Yul] Fixing uncheked increment/decrement.
 2021-01-14 15:32:55 +01:00
chriseth 6769c519b2 Merge pull request #10764 from ethereum/fixLibraryFromModule 
Fix accessing libraries inside modules.
 2021-01-14 15:30:52 +01:00
chriseth 7f03af08b6 Merge pull request #10766 from ethereum/snark 
Move snark.sol in tests to externalContracts
 2021-01-14 15:06:23 +01:00
chriseth e61c4b411e Merge pull request #10754 from ethereum/extractTwoTests 
Extract some tests.
 2021-01-14 15:05:38 +01:00
Alex Beregszaszi 4db0e3049e Move snark.sol in tests to externalContracts 2021-01-14 13:55:36 +00:00
Martin Blicha 2ee0f347b9 [SMTChecker] additional regression tests 2021-01-14 14:54:14 +01:00
Martin Blicha 504e4c22b2 [SMTChecker] Fix in abi handling - tuple expression of size 1 has the type of the member and not TupleType 2021-01-14 14:53:56 +01:00
Martin Blicha b4d2a71eec [SMTChecker] Fix in abi handling - fixed missing type conversion 2021-01-14 14:53:44 +01:00
Martin Blicha 32a923c7ef [SMTChecker] Fix in abi handling - abstracting expressions of type Function inside ABI functions when translating to SMT 2021-01-14 14:53:22 +01:00
chriseth a65415cdad Fix accessing libraries inside modules. 2021-01-14 14:07:08 +01:00
Djordje Mijovic dc3e76bc2c [Sol->Yul] Fixing uncheked increment/decrement. 2021-01-14 13:46:04 +01:00
chriseth 2a62814686 Merge pull request #10758 from ethereum/defaultBuildType 
Set default build type, if none was specified.
 2021-01-14 11:36:33 +01:00