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
17,888 Commits 348 Branches 121 Tags 100 MiB
d80a81b01b
Commit Graph

17888 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth
d80a81b01b
Merge pull request #9848 from ethereum/readdrelease 
Re-add the release script still used by appveyor.
 2020-09-21 22:33:48 +02:00
chriseth
83aa8c1e23
Merge pull request #9818 from a3d4/introduce-compositetype 
Introduce CompositeType
 2020-09-21 22:33:04 +02:00
Daniel Kirchner
7fa9a9d312
Merge pull request #9162 from ethereum/memoryEscalator 
Memory Escalator
 2020-09-21 20:03:38 +02:00
chriseth
8e77bb5bfc
Merge pull request #9838 from ethereum/fix-wrong-name-reported-for-invalid-named-argument 
Fix wrong name reported for invalid named argument
 2020-09-21 17:17:14 +02:00
chriseth
5733927dde
Merge pull request #9847 from ethereum/extocdesizecheck 
[DOC] Add note about extcodesize check.
 2020-09-21 16:28:59 +02:00
a3d4
6b77a20134 Introduce CompositeType 2020-09-21 16:18:04 +02:00
chriseth
8979174f02 Re-add the release script still used by appveyor. 2020-09-21 12:23:41 +02:00
chriseth
306fef334b
Merge pull request #9546 from ethereum/expToShift 
Optimization rule: Replace exp by shl.
 2020-09-21 12:21:47 +02:00
chriseth
71af44b27b Add note about extcodesize check. 2020-09-21 11:58:23 +02:00
Daniel Kirchner
f3c2d6cfdc Move memory load and store functions to the dialect. 2020-09-17 22:13:27 +02:00
Daniel Kirchner
48f620fb50 Reverse the order of the memory offsets assigned to variables. 2020-09-17 22:13:27 +02:00
Daniel Kirchner
976abf4715 Easy review fixes. 2020-09-17 22:13:27 +02:00
Daniel Kirchner
0eb32b3f60 Rephrase documentation of memoryguard 2020-09-17 22:13:27 +02:00
Daniel Kirchner
f4b42d1c72 Add stack limit evader. 2020-09-17 22:13:27 +02:00
Kamil Śliwak
b571fd05b0
Merge pull request #9837 from ethereum/fix-isoltest-regex-not-accepting-zero 
Allow using zero in patterns passed to isoltest --test
 2020-09-17 19:02:44 +02:00
Kamil Śliwak
aae640dd3a Fix wrong name used in error message when reporting invalid named argument 2020-09-17 18:59:18 +02:00
Kamil Śliwak
4045f41c8d Make the test for invalid named arguments more robust 
- Add more parameters and use different types.
- Now it's clear that the name used in the error message is wrong.
 2020-09-17 17:29:28 +02:00
Kamil Śliwak
dc62d763eb Move syntax tests for named arguments from namedAndTypeResolution/ to functionCalls/ 2020-09-17 17:29:28 +02:00
Kamil Śliwak
89e696ca1b Allow using zero in patterns passed to isoltest --test 2020-09-17 17:28:49 +02:00
chriseth
7a5957512c
Merge pull request #9825 from ethereum/windowsCircleCITests 
CircleCI Windows test run.
 2020-09-17 16:21:37 +02:00
chriseth
684fff34a9 Replace exp by shl. 2020-09-17 16:06:52 +02:00
Daniel Kirchner
e716c9e2b9 Run solc.exe after build run just to make sure no error was missed. 2020-09-17 14:46:24 +02:00
Daniel Kirchner
a1de862135 Set ErrorActionPreference on all powershell scripts and add explicit error checks. 2020-09-17 14:44:52 +02:00
Daniel Kirchner
23fa0a5387 Test run for CircleCI windows builds. 2020-09-17 14:44:52 +02:00
Daniel Kirchner
ed80585311
Merge pull request #9476 from ethereum/windows-tests 
Building release on Windows
 2020-09-17 14:44:13 +02:00
chriseth
cbba1b726f
Merge pull request #9833 from ethereum/ignoreReasoningBasedSimplifierYulTestIfNoSMT 
Do not run reasoning test if no SMT Solver is available.
 2020-09-17 14:31:05 +02:00
chriseth
6e4205e445 Do not run reasoning test if no SMT Solver is available. 2020-09-17 13:43:35 +02:00
Christian Parpart
165f898ba9 Release build for Windows. 2020-09-17 13:32:32 +02:00
chriseth
ccc6106c7c
Merge pull request #9773 from ethereum/docs_contributing 
[Docs] Adds language design to contributing section and restructures it a bit
 2020-09-17 11:48:28 +02:00
franzihei
711983e53c adding lang design and restructuring 2020-09-17 11:46:59 +02:00
chriseth
905065280f
Merge pull request #9827 from ethereum/fixreassimpl 
Small fixes wrt ReasoningBasedSimplifier.
 2020-09-16 18:42:19 +02:00
chriseth
6e2d2feb10 Small fixes wrt ReasoningBasedSimplifier. 2020-09-16 18:08:54 +02:00
chriseth
ef0760614d
Merge pull request #9811 from ethereum/windowsStaticCircleCI 
Completely static Windows build on CircleCI
 2020-09-16 17:47:56 +02:00
chriseth
19dccf4c36
Merge pull request #9826 from ethereum/verify-exp-shl 
Verify simplification rule exp(2, X) to shl(X, 1)
 2020-09-16 17:43:14 +02:00
Harikrishnan Mulackal
64ddf2c699 Verify simplification rule exp(2, X) to shl(X, 1) 2020-09-16 17:36:39 +02:00
Daniel Kirchner
b97ce763c5 Upload binaries individually as artifacts. 2020-09-16 17:19:41 +02:00
chriseth
5000785ff8
Merge pull request #9822 from ethereum/fix-ice-on-returning-string-literal-in-calldata 
Mark string literals as not implicitly convertible to calldata arrays
 2020-09-16 14:23:47 +02:00
Alex Beregszaszi
a187a1c4c4
Merge pull request #9798 from ethereum/smt-log 
[SMTChecker] Support events and low-level logs
 2020-09-16 12:26:27 +01:00
Daniel Kirchner
d0fa9a5a6d Update AppVeyor config to set Boost_USE_STATIC_RUNTIME. 2020-09-16 13:25:44 +02:00
Daniel Kirchner
d66b6f1c46 CircleCI Windows config and install_deps.ps1 script. 2020-09-16 12:50:31 +02:00
Daniel Kirchner
860226e25d Allow statically linked windows build in CMake. 2020-09-16 12:50:31 +02:00
Kamil Śliwak
3ba3bde65e Mark string literals as not implicitly convertible to calldata arrays 2020-09-16 12:44:57 +02:00
chriseth
79201f8834
Merge pull request #9819 from ethereum/fix-static-arrays-of-dynamic-elements-not-treated-as-dynamic 
Fix static arrays with dynamic elements not being treated as dynamic in returnParameterTypesWithoutDynamicTypes()
 2020-09-16 12:33:25 +02:00
Alex Beregszaszi
c8c17b693b [SMTChecker] Support events and low-level logs 2020-09-16 11:50:39 +02:00
Kamil Śliwak
2916ae5bda Fix static arrays with dynamic elements not being treated as dynamic in FunctionType::returnParameterTypesWithoutDynamicTypes() 2020-09-16 11:15:52 +02:00
chriseth
b08b76ffca
Merge pull request #9776 from ethereum/reportUnimplemented 
Sol->Yul: Report source locations related to unimplemented features.
 2020-09-15 18:46:45 +02:00
chriseth
adccc0608d
Merge pull request #9736 from ethereum/yul_smt 
Reasoning based optimizer using integers only
 2020-09-15 18:45:55 +02:00
chriseth
e92b44026f
Merge pull request #9814 from waynenilsen/wn/patch-docs 
Fix homebrew instructions
 2020-09-15 18:44:48 +02:00
Leonardo
efb789964c
Merge pull request #9763 from ethereum/smt_refactor_sorts 
[SMTChecker] Refactor CHC sorts
 2020-09-15 18:41:12 +02:00
Wayne Nilsen
bc1f591477
Fix homebrew instructions 
The instructions for installing a specific version of solidity using homebrew no longer work with the latest version of homebrew. There is a specific error message that indicates that raw github links are forbidden. This documents the workaround that is now needed. This is how I did it but of course I am open so suggestions.
 2020-09-15 11:59:25 -04:00