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 |
|