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
22,639 Commits 348 Branches 121 Tags 100 MiB
6e1f0e73b6
Commit Graph

22639 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Daniel Kirchner
d1e382f2a8 Python Z3 proofs of the rules. 2022-06-22 09:26:09 +02:00
Daniel Lupu
8c5f5c7db0 add rules for mod(mul(X, Y), A) & mod(add(X, Y), A) 2022-06-22 09:26:09 +02:00
Mathias L. Baumann
75300c32a8
Merge pull request #13170 from RohitKS7/develop 
fix: Typo
 2022-06-21 17:28:56 +02:00
Marenz
5d2e134378 Add all path locations to the IdentifierPath ASTNode 2022-06-21 14:19:45 +02:00
Marenz
18784cff81 Add all path declarations in IdentifierPath annotation 2022-06-20 18:08:57 +02:00
chriseth
c3ea86612e
Merge pull request #13161 from ethereum/rename-converter 
Rename ASTJsonConverter to ASTJsonExporter
 2022-06-20 14:49:42 +02:00
Rohit Kumar Suman
9bc015071c
fix: Typo 
Line 84!
By => With
to the them => to them
 2022-06-19 11:56:03 +05:30
Daniel Kirchner
be470c16fe
Merge pull request #13166 from ethereum/libraryNameIsoltestSemanticTestExpectations 
Fix for library name updates in isoltest semantics tests.
 2022-06-17 17:20:08 +02:00
Daniel Kirchner
14ef22c112 Hot fix for library name updates in isoltest semantics tests. 2022-06-17 16:02:05 +02:00
Daniel Kirchner
bed4d986f9
Merge pull request #13118 from ethereum/improvedCopyValueArrayToStorageFunction 
Improved copy value-type-array to storage function
 2022-06-17 15:13:55 +02:00
Daniel Kirchner
dc0a9bd8ec
Merge pull request #13164 from IMEF-FEMI/patch-1 
updated int assembly.rst (Sample program bug fix)
 2022-06-17 12:33:28 +02:00
Femi Bolaji
d417fe135f
updated int assembly.rst (Sample program bug fix) 
fixed for loop bug in VectorSum.sumPureAsm function at line 42
# updated { data := add(dataElementLocation, 0x20) } to ----->  { dataElementLocation := add(dataElementLocation, 0x20) }
 in order to update dataElementLocation after every iteration. (Hence ending the loop)
 2022-06-17 10:48:48 +01:00
Marenz
c88c74ceb8 Rename ASTJsonConverter to ASTJsonExporter 
given that we have an ASTJsonImporter this name makes more sense.
 2022-06-16 18:05:51 +02:00
Daniel Kirchner
384bb8b8f7 More gas adjustments. 2022-06-16 15:24:22 +02:00
Daniel Kirchner
9c3a0f11f9 Review suggested test adjustments. 2022-06-16 15:05:21 +02:00
Daniel Kirchner
4c84b77a4b Review suggested renaming. 2022-06-16 15:05:21 +02:00
Daniel Kirchner
c3781f7a1c Gas cost updates. 2022-06-16 15:05:21 +02:00
Daniel Kirchner
1a9e66f4b0 Tests 2022-06-16 15:05:21 +02:00
Daniel Kirchner
cdf243a9af Improved array copy routine for value type arrays from memory or calldata to storage. 2022-06-16 15:05:21 +02:00
Nishant Sachdeva
b80f4baae2
Merge pull request #12928 from StrongerXi/expand-purity-check-for-foreign-constants 
Propagate purity information for member access to foreign pure variables
 2022-06-16 17:53:49 +05:30
Nishant Sachdeva
c7fd1190d1
Merge pull request #12166 from Midhun07/fix_invalid_options_mode_combinations 
Disallowed --metadata-literal, --model-checker-show-unproved, --model-checker-div-mod-no-slacks outside of compiler mode
 2022-06-16 17:53:19 +05:30
Ryan
3b2c6de61c Propagate purity information for member access to foreign pure variables 2022-06-16 17:11:55 +05:30
Midhun07
697821b96b Disallowed --metadata-literal, --model-checker-show-unproved, --model-checker-div-mod-no-slacks ----metadata-hash=swarm outside of compiler mode 2022-06-16 17:09:33 +05:30
Daniel Kirchner
f904bb0615
Merge pull request #13154 from ethereum/fixReleasePPAScript 
Fix release regex and add Ubuntu Kinetic to PPA scripts
 2022-06-15 23:54:38 +02:00
Daniel Kirchner
080d2f7868 Fix release ppa script. 2022-06-15 22:48:06 +02:00
Kamil Śliwak
7e0665752f
Merge pull request #13155 from ethereum/fix-naming-in-binary-collector-job 
Fix naming for the release binary collector job
 2022-06-15 21:17:47 +02:00
Daniel Kirchner
1fa354560b
Merge pull request #13156 from ethereum/setver0816 
Set version to 0.8.16.
 2022-06-15 19:17:11 +02:00
Daniel Kirchner
60004acfe9 Set version to 0.8.16. 2022-06-15 18:32:15 +02:00
Kamil Śliwak
51e0ae514c ReleaseChecklist: Use the correct name for c_release_binaries 2022-06-15 18:16:06 +02:00
Kamil Śliwak
1e8faa8e83 CI: Fix binary naming for solc-bin 2022-06-15 18:16:06 +02:00
Daniel Kirchner
e14f27147b
Merge pull request #13151 from ethereum/setreleasedatefor0815 
Set release date for 0.8.15.
 2022-06-15 15:56:19 +02:00
Daniel Kirchner
14d0776c94 Set release date for 0.8.15. 2022-06-15 15:08:24 +02:00
Daniel Kirchner
506e9c4536
Merge pull request #13152 from ethereum/fixWarningInDocs 
Add warning comment to dangling references docs.
 2022-06-15 15:07:52 +02:00
Daniel Kirchner
3f112280f8 Add warning comment to dangling references docs. 2022-06-15 14:52:37 +02:00
Daniel Kirchner
416c3dc1a4
Merge pull request #13139 from ethereum/lvalueBytesPushWarning 
Warn about multiple assignments to storage byte pushes.
 2022-06-15 14:39:46 +02:00
Daniel Kirchner
16245f7b9b Warn about multiple assignments to storage byte pushes and fix warnings about multiple storage to storage copies. 
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2022-06-15 13:53:05 +02:00
Daniel Kirchner
7f07497f2a
Merge pull request #13023 from SamuelOsewa/patch-1 
Changes to error message for Unicode character in non-unicode string literal
 2022-06-15 13:31:40 +02:00
Daniel Kirchner
71c838abb3
Merge pull request #13141 from ethereum/danglingReferencesDocs 
Add documentation section about dangling references.
 2022-06-15 13:23:09 +02:00
Daniel Kirchner
d30b04674e Add resolveUnaryTuples helper. 2022-06-15 13:15:26 +02:00
Daniel Kirchner
1cb8e17d94 Add documentation section about dangling references. 
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2022-06-15 12:51:24 +02:00
Samuel Osewa
c21265f9f8 Changed error message for for Unicode character in non-unicode string literal 
Co-authored-by: Kamil Śliwak <cameel2@gmail.com>
 2022-06-15 16:12:24 +05:30
Daniel Kirchner
9542e46ea4
Merge pull request #13145 from ethereum/fixCompilationError 
Fix GCC compilation errors due to Boost 1.79 update
 2022-06-15 11:57:16 +02:00
Daniel Kirchner
53c4facf4e Fix compilation error. 2022-06-15 11:14:50 +02:00
Daniel Kirchner
b45bc3918f
Merge pull request #13045 from ethereum/bytesArrayToStorageBug 
Bytes array to storage bug
 2022-06-15 10:21:01 +02:00
Daniel Kirchner
27822dbca7 Remove entry in IR breaking changes. 2022-06-14 18:27:52 +02:00
Daniel Kirchner
187f0f070d Some review suggestions. 2022-06-14 18:27:52 +02:00
Daniel Kirchner
91ff02b988 Changelog and buglist entries. 2022-06-14 18:26:16 +02:00
Daniel Kirchner
5989f45e9e Test updates. 2022-06-14 18:26:16 +02:00
Daniel Kirchner
7a84e9c875 Bugfix. 2022-06-14 18:26:16 +02:00
Daniel Kirchner
a27b063c10 Test for buggy behaviour. 2022-06-14 18:26:16 +02:00