cerc-io/solidity
10
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,409 Commits 348 Branches 121 Tags 100 MiB
05496064fe
Commit Graph

22409 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Mathias L. Baumann
05496064fe
Merge pull request #13189 from ethereum/fix-externalTests-script 
Enabled external tests to use relative paths to solc binary.
 2022-06-29 19:46:00 +02:00
Mathias L. Baumann
b988d3ed37
Merge pull request #13184 from ethereum/memberAccess_locations 
Add location for member in MemberAccess ASTNode
 2022-06-29 19:25:57 +02:00
Matheus Aguiar
5b8a9509fc Enable each external script to work with solc binary relative path. 2022-06-29 13:55:21 -03:00
Mathias L. Baumann
2e334c30ae
Merge pull request #13229 from ethereum/temp-fix-ext 
Fix external test ens
 2022-06-29 18:54:26 +02:00
Marenz
ee710eadd4 Add location for member in MemberAccess ASTNode 2022-06-29 18:37:09 +02:00
Marenz
4d8a14b653 Fix external test ens 
By using the last known working commit.
Only a temporary measure.
 2022-06-29 17:54:35 +02:00
chriseth
b70e064e8f
Merge pull request #13130 from ethereum/check-overflow-after-add-sub-operations 
Check overflow after add sub operations
 2022-06-27 15:33:57 +02:00
Mathias L. Baumann
2397f09b79
Merge pull request #13182 from ethereum/identifierPath_declarations 
Add all path declarations in IdentifierPath annotation
 2022-06-27 12:35:50 +02:00
Mathias L. Baumann
9d72842635
Merge pull request #13163 from Ruko97/formatNumberReadable_signed_int 
formatNumberReadable now prints signed integers as well
 2022-06-27 12:31:32 +02:00
Hari
046423f272
Merge pull request #13191 from aiman/doc-decimal-literal-trailing-dots 
docs: Disallow decimal literals with trailing dots
 2022-06-27 11:08:02 +02:00
Ishtiaque Zahid
61febbd249 formatNumberReadable now prints signed integers as well 2022-06-24 07:15:15 +06:00
Matheus Aguiar
4fd5c11af7 Checks for overflow/underflow after add/sub operations. 2022-06-23 14:41:12 -03:00
Mathias L. Baumann
3ed9a38abc
Merge pull request #12966 from a3d4/fix-ice-structtype-nativemembers 
Fix ICE caused by an immutable struct with mapping
 2022-06-23 16:11:28 +02:00
Mathias L. Baumann
70ca05fd73
Merge pull request #13183 from ethereum/identifierPath_locations 
Add all path locations to the IdentifierPath ASTNode
 2022-06-23 14:39:41 +02:00
Aiman Baharna
392b1872b3 docs: Disallow decimal literals with trailing dots 
Currently the documentation suggests that a decimal literal can omit the
fractional part [1]:

> Decimal fractional literals are formed by a `.` with at least one
> number on one side. Examples include `1.`, `.1` and `1.3`.

However, commit ac68710 (May 30, 2018) disallowed trailing dots that are
not followed by a number [2].

Using decimal literals of the form `1.` will actually result in a
`ParserError` and so the docs should no longer recommend this form.

[1] https://docs.soliditylang.org/en/v0.8.15/types.html#rational-and-integer-literals
[2] ac68710789
 2022-06-22 17:19:12 +01:00
Mathias L. Baumann
a2a88afd98
Merge pull request #13167 from ywon0925/ICE-isoltest 
Fix validation error causing ICE with isoltest --test
 2022-06-22 17:29:34 +02:00
ywon0925
0ee38c5d54 Rename boostTest.cpp to soltest.cpp, changed CMakeLists.txt accordingly 2022-06-22 21:14:42 +09:00
ywon0925
b78960c604 Add a Catch to handle exception 2022-06-22 21:14:42 +09:00
Mathias L. Baumann
03409beb1d
Update libsolidity/analysis/NameAndTypeResolver.h 
Co-authored-by: Damian Wechman <damian.wechman.it@gmail.com>
 2022-06-22 13:25:24 +02:00
Damian Wechman
02fdcb3623
Merge pull request #12976 from dflupu/mulmod-opti 
Add simplification rules for `mod(mul(X, Y), A)` & `mod(add(X, Y), A)`
 2022-06-22 10:10:14 +02:00
Daniel Lupu
8498fdf1d4 Add changelog entries 2022-06-22 09:26:31 +02:00
Daniel Lupu
b99f85ec65 Only apply rules for yul optimizer 2022-06-22 09:26:09 +02:00
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