chriseth
|
b732ecb98c
|
Merge pull request #9734 from ethereum/aarlt-patch-1
Update ReleaseChecklist.md: Add Homebrew formula bump description.
|
2020-09-22 12:56:06 +02:00 |
|
Alexander Arlt
|
b3953e39db
|
Update ReleaseChecklist.md: Add Homebrew formula bump description.
|
2020-09-21 20:25:26 -05:00 |
|
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 |
|