chriseth
|
833f973f0e
|
Fix assertion for receive function in libraries.
|
2020-08-17 16:49:13 +02:00 |
|
Leonardo Alt
|
8a06041bbe
|
[SMTChecker] Add underflow/overflow target to CHC
|
2020-08-14 12:58:27 +02:00 |
|
Jason Cobb
|
888d7037cd
|
Make FunctionCallAnnotation::kind a SetOnce
|
2020-08-12 11:57:01 -04:00 |
|
Djordje Mijovic
|
d685bee2ec
|
[Sol->Yul] Implementing struct copying from calldata to memory.
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
|
2020-08-11 16:18:06 +02:00 |
|
Leonardo Alt
|
ec31d971e6
|
[SMTChecker] Fix tuple name for arrays
|
2020-08-07 12:28:10 +02:00 |
|
Daniel Kirchner
|
143b37af56
|
Only conditionally run old code generation in CompilerStack, StandardCompiler and semantic tests.
|
2020-08-06 15:05:17 +02:00 |
|
chriseth
|
3a409c39e4
|
Merge pull request #9518 from ethereum/smt_fix_bmc_function_inlining
[SMTChecker] Fix ICE in BMC function inlining
|
2020-08-06 00:50:04 +02:00 |
|
chriseth
|
98faf82d3f
|
Merge pull request #9563 from ethereum/constrInLib
Fix member lookup for constructor in library.
|
2020-08-05 19:07:28 +02:00 |
|
Leonardo Alt
|
8df8c6e14f
|
[SMTChecker] Fix ICE in BMC function inlining
|
2020-08-05 11:47:25 +02:00 |
|
chriseth
|
0ea5aae9aa
|
Require inheritdoc tag to be non-empty.
|
2020-08-04 12:13:23 +02:00 |
|
chriseth
|
c96e997a3c
|
Fix member lookup for constructor in library.
|
2020-08-04 10:51:40 +02:00 |
|
chriseth
|
d31f05fcc0
|
Merge pull request #9528 from a3d4/improve-error-coverage-return-tag
Use assert to check if return tag applies to a public state-variable
|
2020-08-03 17:35:50 +02:00 |
|
a3d4
|
0b45168bcb
|
Use assert to check if return tag applies to a public state-variable
|
2020-08-03 05:22:09 +02:00 |
|
chriseth
|
cd2ce28317
|
Merge pull request #9547 from ethereum/useCBOR
Use cbor metadata in gas cost tests.
|
2020-07-28 23:59:14 +02:00 |
|
chriseth
|
b8b78a6982
|
Use cbor metadata in gas cost tests.
|
2020-07-28 23:42:22 +02:00 |
|
chriseth
|
aea75d0f5b
|
Merge pull request #9513 from ethereum/smt_fix_fixed_bytes_access
[SMTChecker] Fix ICE on fixed bytes access
|
2020-07-28 23:24:04 +02:00 |
|
chriseth
|
73506e2858
|
Merge pull request #9530 from a3d4/improve-error-coverage-referenceresolver
Complete error coverage of ReferenceResolver
|
2020-07-28 21:12:54 +02:00 |
|
a3d4
|
ffdb0e37ff
|
Complete error coverage of ReferenceResolver
|
2020-07-28 18:56:57 +02:00 |
|
Leonardo Alt
|
ad1798b000
|
[SMTChecker] Fix ICE on fixed bytes access
|
2020-07-28 17:59:42 +02:00 |
|
a3d4
|
5394435bea
|
Use assert to check zero size base type
|
2020-07-28 17:39:52 +02:00 |
|
chriseth
|
53d497fc31
|
Merge pull request #9412 from ethereum/unicode-string
[BREAKING] Support unicode string literal type
|
2020-07-28 11:42:23 +02:00 |
|
chriseth
|
ee9a03ffe1
|
Merge pull request #9501 from ethereum/calldataToMemoryCopy
[Sol->Yul] Implementing bytes copying from calldata to memory.
|
2020-07-27 19:23:30 +02:00 |
|
chriseth
|
81cdc39f51
|
Merge pull request #9514 from ethereum/fixInterCon
Fix internal error for invalid data location in constructor.
|
2020-07-27 19:21:55 +02:00 |
|
Alex Beregszaszi
|
6eb60bc8cd
|
Add check that regular and unicode string literals are well formatted
|
2020-07-27 18:21:17 +01:00 |
|
Alex Beregszaszi
|
6fe8e63eee
|
Remove inconsistently used isValidUTF8 helper
|
2020-07-27 18:21:17 +01:00 |
|
chriseth
|
9605b85c21
|
Merge pull request #9352 from ethereum/smt_cex
[SMTChecker] CHC counterexamples
|
2020-07-27 19:21:04 +02:00 |
|
Leonardo Alt
|
b207222af7
|
Fix extra parens
|
2020-07-27 17:14:59 +02:00 |
|
Djordje Mijovic
|
96258c7e75
|
[Sol->Yul] Implementing bytes copying from calldata to memory.
|
2020-07-27 15:14:26 +02:00 |
|
chriseth
|
f24097c38d
|
Fix internal error for invalid data location in constructor.
|
2020-07-27 15:00:17 +02:00 |
|
Leonardo Alt
|
de4ae301c4
|
[SMTChecker] Fix ICE when tuples have extra effectless parens
|
2020-07-27 13:03:27 +02:00 |
|
chriseth
|
5812cd8213
|
Merge pull request #9511 from ethereum/ast-hex-string
[BREAKING] Distinguish between stringLiteral and hexStringLiteral in the JSON AST
|
2020-07-27 12:34:40 +02:00 |
|
Alex Beregszaszi
|
5ecc84e92e
|
Distinguish between stringLiteral and hexStringLiteral in the JSON AST
|
2020-07-27 10:19:24 +01:00 |
|
chriseth
|
2c574af45b
|
Fix conversion bug for exp operation.
|
2020-07-27 10:44:42 +02:00 |
|
chriseth
|
42063f2158
|
Merge pull request #9490 from ethereum/renameSlotToSelector
Rename external function slot to selector.
|
2020-07-27 10:42:47 +02:00 |
|
chriseth
|
7ad27188a0
|
Merge pull request #9496 from ethereum/removeSignedCode
Remove handling of signed shift amounts.
|
2020-07-23 19:10:16 +02:00 |
|
Leonardo Alt
|
d5f00842d9
|
cex2dot debug
|
2020-07-23 18:49:03 +02:00 |
|
Leonardo Alt
|
5bb4e73693
|
Review 1
|
2020-07-23 18:49:03 +02:00 |
|
Leonardo Alt
|
51721c3080
|
Double SAT run for cex
|
2020-07-23 18:49:03 +02:00 |
|
Leonardo Alt
|
694ec92688
|
Generate counterexample message based on cex graph
|
2020-07-23 18:49:03 +02:00 |
|
Leonardo Alt
|
744905525f
|
Convert z3 cex graph into STL
|
2020-07-23 18:49:03 +02:00 |
|
Leonardo Alt
|
a7a069c74a
|
Refactor constructor exit
|
2020-07-23 18:49:03 +02:00 |
|
chriseth
|
1b810d4a0a
|
Remove handling of signed shift amounts.
|
2020-07-23 16:45:16 +02:00 |
|
a3d4
|
5b54cfbed3
|
Report an error if immutables not assigned
|
2020-07-23 16:38:54 +02:00 |
|
chriseth
|
336fe94422
|
Merge pull request #9426 from ethereum/smt_fix_1_tuple
[SMTChecker] Fix ICE in 1-tuple chain
|
2020-07-23 15:38:17 +02:00 |
|
Djordje Mijovic
|
e7d5a7da10
|
[TypeChecker] Remove function input and return parameter names from mobileType
|
2020-07-23 14:39:49 +02:00 |
|
chriseth
|
147a80aa24
|
Rename external function slot to selector.
|
2020-07-23 14:19:15 +02:00 |
|
Leonardo Alt
|
9d2a0947e9
|
Fix 1-tuple chain
|
2020-07-23 13:46:41 +02:00 |
|
chriseth
|
6bb6783d39
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-07-22 15:26:44 +02:00 |
|
Djordje Mijovic
|
546e9af24d
|
[Sol->Yul] Supporting .runtimeCode
|
2020-07-21 17:56:37 +02:00 |
|
chriseth
|
8b7567f963
|
Fix merge conflicts.
|
2020-07-21 15:06:57 +02:00 |
|
chriseth
|
e19e4d9db1
|
Merge pull request #9451 from ethereum/smt_fix_push_push
[SMTChecker] Fix push().push()
|
2020-07-21 11:40:37 +02:00 |
|
chriseth
|
9be5ed1220
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-07-21 11:35:28 +02:00 |
|
a3d4
|
ecdfef1b30
|
Replace grave accent with acute accent
|
2020-07-21 00:18:47 +02:00 |
|
chriseth
|
10f93fbd8a
|
Merge pull request #9428 from ethereum/removeVar
Remove special treatment of ``var``.
|
2020-07-20 18:43:44 +02:00 |
|
Mathias Baumann
|
ba0a4de50d
|
NatSpec: Implement `@inheritdoc`
|
2020-07-20 18:32:18 +02:00 |
|
chriseth
|
a8c14c2e68
|
Merge pull request #9416 from ethereum/disallowOverridePure
Disallow public state variables overriding pure functions.
|
2020-07-20 18:19:40 +02:00 |
|
chriseth
|
93c792c696
|
Remove special treatment of `var`.
|
2020-07-20 17:22:04 +02:00 |
|
Leonardo Alt
|
2c93278719
|
Fix push().push()
|
2020-07-20 17:17:35 +02:00 |
|
chriseth
|
50a54fa8aa
|
Implement inline arrays.
|
2020-07-20 17:06:32 +02:00 |
|
chriseth
|
50dc17350c
|
Remove leftover of code-generator for `now`.
|
2020-07-20 15:37:53 +02:00 |
|
chriseth
|
c8772a54c3
|
Constants are considered pure.
|
2020-07-20 15:18:23 +02:00 |
|
chriseth
|
d3647b13e4
|
Disallow public state variables overriding pure functions.
|
2020-07-20 15:18:23 +02:00 |
|
Mathias L. Baumann
|
69a596b0ff
|
Merge pull request #9418 from ethereum/stateMutForOverride
Issue state mutability restriction for overriding and not for virtual functions.
|
2020-07-20 15:01:25 +02:00 |
|
Sachin Grover
|
b7adb2aa42
|
Add SPDX license identifier if not present already in source file
Fixes: #9220
|
2020-07-17 20:24:12 +05:30 |
|
Leonardo Alt
|
2e1067a05a
|
Set type properly for event parameters
|
2020-07-17 11:17:27 +02:00 |
|
chriseth
|
ba21d26f88
|
Merge pull request #9344 from ethereum/issue-3412
Allow overrides to have a more strict mutability than super
|
2020-07-16 18:50:51 +02:00 |
|
Mathias Baumann
|
dfffecfe2c
|
Allow overrides to have a more strict mutability than super
|
2020-07-16 17:55:12 +02:00 |
|
Leonardo Alt
|
672633af0a
|
[SMTChecker] Fix ICE on compound assignment to array index
|
2020-07-16 17:44:10 +02:00 |
|
chriseth
|
aa3f51ab47
|
Issue state mutability restriction for overriding and not for virtual functions.
|
2020-07-16 17:19:35 +02:00 |
|
chriseth
|
f945163909
|
Merge pull request #9432 from ethereum/develop
Merge develop into breaking.
|
2020-07-16 17:14:45 +02:00 |
|
Mathias Baumann
|
d3af598c49
|
CodeGen: Avoid double cleanup when copying to memory
|
2020-07-16 13:53:48 +02:00 |
|
Leonardo Alt
|
46653b2d43
|
Fix ICE when bitwise operator on fixed bytes
|
2020-07-15 19:32:15 +02:00 |
|
Alex Beregszaszi
|
eab12ecf77
|
Nicer error message for private payable functions
|
2020-07-14 14:38:12 +01:00 |
|
chriseth
|
349114684d
|
Fix windows build.
|
2020-07-14 14:19:37 +02:00 |
|
chriseth
|
f93932c259
|
Merge pull request #9406 from ethereum/fixSegfault
Fix segfault in oversized objects check in combination with var.
|
2020-07-14 13:30:33 +02:00 |
|
Daniel Kirchner
|
9c62ea182d
|
Fix segfault in oversized objects check in combination with var.
|
2020-07-14 11:23:39 +02:00 |
|
chriseth
|
f28bede34a
|
Refactor storageSizeUpperBound.
|
2020-07-14 10:45:02 +02:00 |
|
Harikrishnan Mulackal
|
f73b25bb78
|
Removed specialized errors related to constant state mutability
|
2020-07-14 12:42:47 +05:30 |
|
Daniel Kirchner
|
c3e13b6733
|
Promote gwei to a proper keyword.
|
2020-07-13 18:07:11 +02:00 |
|
Daniel Kirchner
|
38c6ecbbe2
|
Remove finney and szabo denominations.
|
2020-07-13 18:07:10 +02:00 |
|
chriseth
|
cf189a3285
|
Merge pull request #9285 from ethereum/no_dot_in_asm
[BREAKING] Change _slot and _offset to use dot in inline assembly
|
2020-07-13 17:46:39 +02:00 |
|
chriseth
|
12f390a60a
|
Merge pull request #9326 from ethereum/eventOverwriting
[BREAKING] Disallow multiple events with same name and types.
|
2020-07-13 15:44:35 +02:00 |
|
chriseth
|
fc2e9ec2ff
|
Use .slot and .offest to access storage items.
|
2020-07-13 14:59:22 +02:00 |
|
chriseth
|
8eee3ed3a2
|
Merge pull request #9388 from ethereum/develop
Merge develop into breaking.
|
2020-07-13 14:55:21 +02:00 |
|
chriseth
|
b3566ad0d5
|
Merge pull request #9082 from ethereum/conversionWarnings
Adding `-Wsign-conversion` flag and fixing errors
|
2020-07-13 11:28:09 +02:00 |
|
chriseth
|
ab2f64f442
|
Disallow multiple events with same name and types.
|
2020-07-13 11:24:37 +02:00 |
|
Leonardo
|
8d4ec27544
|
Merge pull request #9376 from ethereum/smt_refactor_targets
[SMTChecker] Refactor verification targets
|
2020-07-10 17:30:48 +02:00 |
|
a3d4
|
efc5ee207d
|
Fix internal compiler error caused by oversized objects
|
2020-07-10 11:39:07 +02:00 |
|
Leonardo Alt
|
88030c6568
|
[SMTChecker] Refactor verification targets
|
2020-07-10 10:28:49 +02:00 |
|
Alex Beregszaszi
|
a0300835eb
|
Change CHC to avoid sign mismatch
|
2020-07-09 17:22:52 +02:00 |
|
Djordje Mijovic
|
547590b972
|
Fixing additional signedness errors after adding -Wsign-conversion flag
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
|
2020-07-09 17:22:45 +02:00 |
|
Mathias Baumann
|
6b37f1c025
|
Remove visiblity of libraries in inherited contracts.
|
2020-07-09 16:38:29 +02:00 |
|
chriseth
|
9ef050af9a
|
Merge pull request #9373 from ethereum/develop
Merge develop into breaking.
|
2020-07-09 16:15:43 +02:00 |
|
chriseth
|
8eb459c825
|
Disallow dot in inline assembly identifiers.
|
2020-07-08 19:29:58 +02:00 |
|
chriseth
|
d4ecd33247
|
Propagate function call argument types across function call options.
|
2020-07-08 17:59:02 +01:00 |
|
chriseth
|
0c7e4cf16b
|
Merge pull request #9340 from ethereum/compileTimeSha
Evaluate keccak256 of string literals at compile-time.
|
2020-07-08 18:42:38 +02:00 |
|
chriseth
|
0a0f578d7c
|
Evaluate keccak256 of string literals at compile-time.
|
2020-07-08 16:14:14 +02:00 |
|
chriseth
|
89231bea1e
|
Merge pull request #9324 from ethereum/noDuplicateInternalRoutine
Remove duplicate creation of internal routine.
|
2020-07-08 10:30:37 +02:00 |
|
chriseth
|
64b6524bdb
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-07-08 09:37:14 +02:00 |
|
chriseth
|
d67862362a
|
Merge pull request #9338 from ethereum/interface-events
Natspec: change events() to interfaceEvents()
|
2020-07-07 14:25:41 +02:00 |
|
Harikrishnan Mulackal
|
849bae2aa7
|
Natspec: change events() to interfaceEvents()
|
2020-07-07 17:22:09 +05:30 |
|
chriseth
|
9ff72ceaa9
|
Merge pull request #9335 from ethereum/fixOverridingWording
Fix wording of non-function override error messages.
|
2020-07-07 12:21:56 +02:00 |
|
chriseth
|
ec8be81258
|
Merge pull request #9243 from ethereum/jumpTypesForYul
Jump types for yul functions.
|
2020-07-07 12:21:14 +02:00 |
|
chriseth
|
5959d442cb
|
Make visibility optional, but it has to be consistent.
|
2020-07-07 12:16:18 +02:00 |
|
chriseth
|
28de7cbce9
|
Fix wording of non-function override error messages.
|
2020-07-07 11:57:38 +02:00 |
|
chriseth
|
747aeb4999
|
Assert that visibility of constructor is not queried.
|
2020-07-07 11:49:44 +02:00 |
|
chriseth
|
f6232393ef
|
Force contracts with constructors with internal parameters abstract.
|
2020-07-07 11:49:44 +02:00 |
|
chriseth
|
da36400576
|
Disallow visibility for constructors.
|
2020-07-07 11:49:44 +02:00 |
|
chriseth
|
8e711a8b99
|
Remove duplicate creation of internal routine.
|
2020-07-06 19:25:47 +02:00 |
|
chriseth
|
e48d3e5847
|
Fix wording of error message.
|
2020-07-06 19:22:52 +02:00 |
|
chriseth
|
982a269b2b
|
Merge pull request #9325 from ethereum/develop
Merge develop into breaking.
|
2020-07-06 19:11:02 +02:00 |
|
chriseth
|
a09a791999
|
Merge pull request #9313 from ethereum/doesnt
[Trivial] Replace "doesn't" with "does not" in error message
|
2020-07-06 18:21:02 +02:00 |
|
chriseth
|
4d2b9cd38f
|
Jump types for yul functions.
|
2020-07-06 18:12:54 +02:00 |
|
chriseth
|
f372ba6fea
|
Constructors cannot have calldata parameters.
|
2020-07-06 16:52:51 +02:00 |
|
chriseth
|
ab68406006
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-07-06 15:25:25 +02:00 |
|
a3d4
|
5e4aeaa460
|
Add variable name to the "Variable covers a large part of storage ...." message
|
2020-07-06 13:49:09 +02:00 |
|
Mathias Baumann
|
8cdf14f1b3
|
Replace "doesn't" with "does not" in error message
|
2020-07-06 13:44:33 +02:00 |
|
a3d4
|
46bcac58eb
|
Merge pull request #9187 from a3d4/fix-storagesizeestimate
Fixed recursive check in structureSizeEstimate
|
2020-07-03 17:35:11 +02:00 |
|
a3d4
|
1c7a0dcbea
|
Add warnings for oversized subtypes
|
2020-07-03 15:18:02 +02:00 |
|
Leonardo
|
8985a93b39
|
Merge pull request #9041 from ethereum/smt_summary_inputs
[SMTChecker] Add current input variables to the function summary
|
2020-07-02 19:34:41 +02:00 |
|
chriseth
|
3d96e2b11a
|
Merge pull request #9257 from ethereum/yul-in-memory-struct-creation
Yul: Implement memory struct allocation
|
2020-07-02 17:03:46 +02:00 |
|
Mathias Baumann
|
50373ac1b0
|
Yul: Implement memory struct allocation
|
2020-07-02 16:37:20 +02:00 |
|
Leonardo Alt
|
f97fa9b520
|
[SMTChecker] Add current input variables to the function summary
|
2020-07-02 15:30:29 +02:00 |
|
a3d4
|
c2e1273ff4
|
Fixed recursive check in structureSizeEstimate
|
2020-07-02 04:14:58 +02:00 |
|
Leonardo Alt
|
5517e817d5
|
Do not trust code of external functions
|
2020-07-01 18:20:46 +02:00 |
|
Leonardo Alt
|
56e7d43384
|
Rename var
|
2020-07-01 18:20:34 +02:00 |
|
Leonardo Alt
|
5160f89c1b
|
[SMTChecker] Support to external calls to unknown code
|
2020-07-01 18:20:33 +02:00 |
|
chriseth
|
1ec1166a27
|
Merge pull request #9277 from a3d4/improve-docstringparser-error-coverage
Add a missing DocStringParser error to tests
|
2020-07-01 18:17:09 +02:00 |
|
Bhargava Shastry
|
1a0391bceb
|
Fuzzer: Add a specialized StackTooDeepError Exception that is caught in the fuzzing harness
|
2020-07-01 11:08:20 +02:00 |
|
a3d4
|
acd42a08c1
|
Add a missing DocStringParser error to tests.
|
2020-07-01 04:42:37 +02:00 |
|
chriseth
|
d7899a31af
|
Fix merge conflict resolution.
|
2020-06-30 18:59:54 +02:00 |
|
chriseth
|
3e3f9a472f
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-06-30 18:56:51 +02:00 |
|
chriseth
|
76943023bd
|
Merge pull request #9267 from ethereum/issue-8911-split
NatSpec: Implement default inheritance.
|
2020-06-30 15:16:14 +02:00 |
|
Mathias Baumann
|
c50f0ae00e
|
NatSpec: Implement default inheritance.
|
2020-06-30 14:45:13 +02:00 |
|
Harikrishnan Mulackal
|
d41eaeba56
|
Added containsNestedMapping()
|
2020-06-30 16:15:03 +05:30 |
|
chriseth
|
49e3217933
|
Merge pull request #9230 from ethereum/issue-8716
Add unit denomination ``gwei``
|
2020-06-30 12:36:10 +02:00 |
|
Mathias Baumann
|
fe33891531
|
Natspec: Add warning when using @author with functions
|
2020-06-29 18:10:36 +02:00 |
|
Harikrishnan Mulackal
|
4146ff9fcf
|
NatSpec for events
|
2020-06-26 15:06:43 +05:30 |
|
Mathias Baumann
|
02328f3bbb
|
Add unit denomination `gwei`
|
2020-06-24 18:24:56 +02:00 |
|
chriseth
|
af0cd4ab98
|
Merge pull request #9252 from ethereum/develop
Merge develop into breaking.
|
2020-06-23 18:28:24 +02:00 |
|
chriseth
|
1441b97131
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-06-22 18:40:20 +02:00 |
|
chriseth
|
98e5923e3a
|
Do now disallow assigning to external parameters.
|
2020-06-22 18:36:32 +02:00 |
|
chriseth
|
cd2cc76f20
|
Modules are pure.
|
2020-06-18 18:28:04 +02:00 |
|
chriseth
|
76468f19fe
|
Check if using for refers to a library earlier.
|
2020-06-17 17:45:40 +02:00 |
|
chriseth
|
71cb7551f4
|
Merge pull request #9208 from ethereum/develop
Merge develop into breaking.
|
2020-06-16 16:11:41 +02:00 |
|
chriseth
|
8086ddd3bd
|
Merge pull request #9189 from ethereum/simplifyResolver
Simplify inline assembly resolver.
|
2020-06-16 15:31:21 +02:00 |
|
chriseth
|
3a8c996807
|
Merge pull request #9193 from ethereum/experimentalFeatureBysource
Directly determine if experimental feature active.
|
2020-06-16 14:27:27 +02:00 |
|
chriseth
|
8e23899886
|
Merge pull request #9188 from ethereum/refactorNameAndType
Refactor name and type resolution in preparation for free functions.
|
2020-06-16 14:26:52 +02:00 |
|
chriseth
|
645c3508a8
|
Prepare for allowing bound functions and using for everywhere.
|
2020-06-15 21:20:18 +02:00 |
|
chriseth
|
5fdbb5c3e3
|
Simplify inline assembly resolver.
|
2020-06-15 18:10:18 +02:00 |
|