Harikrishnan Mulackal
774edd4670
Error when Mapping type in (non-local) storage is assigned to
2020-05-19 19:12:38 +05:30
Leonardo Alt
82db35e563
[SMTChecker] Support array push/pop
2020-05-18 16:33:34 +02:00
Harikrishnan Mulackal
4a291f8551
Changelog and test
2020-05-18 12:36:01 +05:30
Leonardo Alt
a0c605aa85
[SMTChecker] Support array length
2020-05-14 23:32:29 +02:00
Daniel Kirchner
e5da635c0c
Add missing Changelog entry about soljson.js build changes.
2020-05-14 21:38:43 +02:00
chriseth
79e62f6600
Set version to 0.6.9.
2020-05-14 13:58:00 +02:00
chriseth
a16a8c6123
Sort and copyedit changelog.
2020-05-14 12:36:04 +02:00
chriseth
6308ca4a22
Binary transform for br and br_if.
2020-05-14 11:30:19 +02:00
chriseth
1700bdc4ad
Merge pull request #8925 from ethereum/abiEncodeCalldataSlice
...
Allow abi encoding array slices without casting.
2020-05-13 18:55:16 +02:00
Daniel Kirchner
97296d8622
Allow ABI encoding for array slices without explicit casts.
2020-05-13 18:20:07 +02:00
Mathias Baumann
820fdd9bf7
Escape backslashes when formatting
2020-05-13 17:08:37 +02:00
chriseth
e9446475bb
Merge pull request #8924 from ethereum/arraySliceBug
...
Fix array slice bug.
2020-05-13 16:06:28 +02:00
Daniel Kirchner
6f04664cfa
Disallow array slicing for arrays with dyanmically encoded base types.
2020-05-13 15:52:22 +02:00
Harikrishnan Mulackal
47e9a13e8a
Fix exponentiation bug
2020-05-13 13:53:06 +05:30
chriseth
7da453014d
Fix source location of yul variable declarations without value.
2020-05-12 17:45:19 +02:00
Harikrishnan Mulackal
095e17f7f9
Bug that ignored return tag when no other devdoc tags were present
2020-05-12 20:05:22 +05:30
Daniel Kirchner
3fbde6e782
Merge pull request #8856 from ethereum/implicitConstructorCallvalueCheck
...
Implicit constructor callvalue check
2020-05-11 18:50:36 +02:00
Daniel Kirchner
79b217dfb3
Callvalue checks for implicit constructors.
2020-05-11 16:14:34 +02:00
chriseth
3312150d7f
Merge pull request #8878 from ethereum/selecting-yul-optimisation-steps-in-strict-assembly-mode
...
Selecting Yul optimisation steps in strict assembly mode
2020-05-11 16:05:57 +02:00
chriseth
0248303c15
Merge pull request #8872 from ethereum/int-min-max
...
implemented type(X).min and type(X).max for all integer types
2020-05-11 15:08:19 +02:00
Harikrishnan Mulackal
e4e200f29f
Changelog and tests
2020-05-11 15:29:05 +05:30
Kamil Śliwak
6a58227830
CommandLineInterface: Make --yul-optimizations work in strict assembly mode
2020-05-08 22:29:57 +02:00
Mathias Baumann
eb4926cb48
run addMissingFunctions only once
2020-05-07 17:06:11 +02:00
Mathias Baumann
50e59f1008
trigger error when runtimeCode is called on contracts with immutables
2020-05-07 15:10:04 +02:00
a3d4
5e9502bfae
Fix ABI internal compiler error caused by an internal constructor
2020-05-07 05:49:49 +02:00
chriseth
14ba31f64c
Set version to 0.6.8.
2020-05-04 18:09:10 +02:00
Kamil Śliwak
682f53fc82
Changelog: Add an entry for --yul-optimizations option
2020-05-04 15:36:27 +02:00
chriseth
d7180c0522
Prepare 0.6.7.
2020-05-04 12:57:27 +02:00
a3d4
3bd15655cb
Type Checker: Fix internal error when applying unary operators to tuples with empty components
2020-04-29 02:18:48 +02:00
ssi91
3d772edc7a
handle file prefix
...
add the description to the changelog
fix: use the right method to search in string
follow the codestyle
using tabs
delete redundant declaration
implement the handling inline
Update Changelog.md
Co-Authored-By: Leonardo <leo@ethereum.org>
2020-04-27 21:02:39 +07:00
chriseth
d136e7dc95
Rules for optimizing idempotency for bitwise operations.
2020-04-23 14:21:00 +02:00
hrkrshnn
48ff9fd4d6
Tests, Changelog and updated grammar
2020-04-23 17:27:37 +05:30
chriseth
a371910674
Merge pull request #8642 from ethereum/interfaceid
...
Add support for interfaceId.
2020-04-23 12:24:49 +02:00
chriseth
18ee96ac91
Merge pull request #8752 from a3d4/fix-8711-typechecker-compiler-error
...
Type Checker: Fix internal error when assigning to empty tuples
2020-04-23 12:01:00 +02:00
a3d4
9538024c81
Fix #8711 , #8277
2020-04-23 05:57:35 +02:00
Leonardo Alt
cfe3686116
Fix internal error when using array slices
2020-04-22 23:20:10 +02:00
Leonardo Alt
83c9e82099
Fix ICE with fixed point
2020-04-22 19:57:00 +02:00
chriseth
00a53c95e3
Merge pull request #8694 from ethereum/out-of-tree-build-dir
...
Out-of-tree SOLIDITY_BUILD_DIR
2020-04-20 15:15:52 +02:00
chriseth
5aa2107877
Changelog entries for declaration type checker.
2020-04-20 13:26:39 +02:00
Kamil Śliwak
3e65bcfd7f
Allow SOLIDITY_BUILD_DIR outside of REPO_ROOT in scripts that respect this variable
2020-04-17 19:09:22 +02:00
Alexander Arlt
3754a86ab2
Add support for interfaceID.
2020-04-16 12:17:40 -05:00
Daniel Kirchner
b86c927505
Disallow virtual and override for constructors.
2020-04-15 13:58:37 +02:00
chriseth
557c3ef767
Set version to 0.6.7.
2020-04-09 16:50:31 +02:00
chriseth
474b72e3f4
Prepare 0.6.6
2020-04-09 11:55:21 +02:00
chriseth
748afe0edd
Merge pull request #8630 from ethereum/encoding-bug-functionCallOption
...
TypeChecker error when encoding functions with call options; tests
2020-04-08 16:33:24 +02:00
chriseth
9fab9df18c
Merge pull request #8607 from a3d4/fix-nested-tuples
...
Fixed nested tuples on the right-hand side.
2020-04-08 12:29:52 +02:00
a3d4
aba0b2957c
Fix tuple assignments with multi-slot components.
2020-04-07 18:39:25 +02:00
hrkrshnn
96411711ef
Added changelog
2020-04-07 21:17:35 +05:30
chriseth
236eff8416
Export immutability.
2020-04-07 17:30:54 +02:00
Leonardo Alt
e3ec22124e
[SMTChecker] Fix ICE in CHC internal calls
2020-04-07 01:09:03 +02:00
chriseth
0988ee641b
Set version to 0.6.6.
2020-04-06 18:12:21 +02:00
chriseth
06562e3431
Prepare changelog for 0.6.5.
2020-04-06 11:11:20 +02:00
chriseth
0d3303e4af
Changelog entry for immutable variables.
2020-04-02 17:46:29 +02:00
chriseth
8d28089abc
Merge pull request #8475 from ethereum/immutable-functioncallgraph
...
implement ImmutableValidator class
2020-04-02 14:14:53 +02:00
hrkrshnn
cb66274827
Added changelog
2020-04-02 17:41:44 +05:30
Mathias Baumann
ac7b31e559
Validate immutable variables
2020-04-02 13:52:27 +02:00
Daniel Kirchner
fe9f8d520c
Restrict size for dynamic memory array creation.
2020-04-01 17:25:09 +02:00
Alexander Arlt
3e649eb8e1
Disallow access to functions from inline assembly.
2020-04-01 10:34:55 +02:00
chriseth
b83d82ab75
Merge pull request #8550 from a3d4/fix-8450-typechecker-compiler-error
...
Fix a couple of internal compiler errors when assigning nested tuples
2020-03-31 22:21:58 +02:00
a3d4
c002cae691
Fix #8450 . Prevented internal compiler errors when assigning nested tuples.
2020-03-31 03:25:26 +02:00
chriseth
4a7d2e590d
Merge pull request #8529 from MrChico/develop
...
CommandLineInterface: add storage-layout option to --combined-json
2020-03-26 19:15:23 +01:00
Martin Lundfall
5b4ea1eb89
CommandLineInterface: add storage-layout option to --combined-json
2020-03-26 11:38:28 +01:00
a3d4
339f3ca32c
Fix #8427 : Promoted typeError to fatalTypeError in ReferencesResolver::endVisit(UserDefinedTypeName).
2020-03-25 02:51:34 +01:00
Daniel Kirchner
fe659ceb41
Anything outside storage is always a pointer.
2020-03-23 15:34:10 +01:00
chriseth
1587486334
Merge tag 'v0.5.17' into develop
2020-03-17 19:50:09 +01:00
Mathias Baumann
e2db9d7ef3
Disallow private functions from being overridden
2020-03-17 16:15:59 +01:00
a3d4
a86c511713
Replaced "assert" with "if" (incorrect contract code is not supposed to trigger asserts).
2020-03-12 14:03:27 +01:00
Leonardo
07ab4c80c4
Merge pull request #8323 from ethereum/smt_split_3
...
[SMTChecker] CHC support to internal function calls
2020-03-11 18:37:45 +01:00
Leonardo Alt
07368c2e1e
Add support to internal function calls
2020-03-11 16:29:07 +01:00
Djordje Mijovic
37878cf8d2
Adding support for ipfs large files.
2020-03-11 13:55:46 +01:00
chriseth
f8344cb4df
Set version to 0.6.5
2020-03-10 21:08:03 +01:00
chriseth
d541e222a2
Prepare changelog for 0.6.4.
2020-03-10 10:46:13 +01:00
Daniel Kirchner
809e3503ba
Control flow analysis for inline assembly.
2020-03-09 16:23:10 +01:00
chriseth
4ad998eb5f
Merge pull request #8391 from ethereum/optimizedIRCommandline
...
Enable optimized IR output via the commandline.
2020-03-09 15:05:29 +01:00
chriseth
37e01a19c0
Fix scoping following try/catch.
2020-03-09 13:14:13 +01:00
chriseth
a328e940b5
Merge pull request #8429 from ethereum/astJsonImportYulBlock
...
Fix yul ast import for blocks, switches and string literals.
2020-03-08 17:06:05 +01:00
Daniel Kirchner
7f38cbb91d
Fix calling unimplemented base function.
2020-03-06 10:51:16 +01:00
Daniel Kirchner
420f57aec3
Fix yul ast import for blocks, switches and string literals.
2020-03-05 14:09:13 +01:00
Daniel Kirchner
b10f12a395
Merge pull request #8413 from mijovic/depratateValueCalls
...
Deprecated warning for .value() and .gas() on function and constructr…
2020-03-04 14:43:06 +01:00
Djordje Mijovic
58c6b90705
Deprecated warning for .value() and .gas() on function and constructror calls
2020-03-04 12:51:49 +01:00
Leonardo Alt
96a230af50
[SMTChecker] Fix ICEs with tuples
2020-03-03 11:35:58 +01:00
chriseth
bc32619364
Enable optimized IR output via the commandline.
2020-02-27 15:48:38 +01:00
chriseth
bb09787bd0
Merge pull request #8378 from mijovic/yulSourceLocations
...
Adding source location support to AssemblyStack
2020-02-25 22:34:57 +01:00
Djordje Mijovic
ec083c4878
Adding source location support to AssemblyStack and thus debugging Yul sources
2020-02-25 22:19:03 +01:00
chriseth
c5a0a434e2
Merge pull request #8374 from ethereum/writeAccessToSlot
...
Allow access to ``_slot`` for local storage pointer variables.
2020-02-25 22:11:13 +01:00
chriseth
45041e5d3a
Allow access to `_slot
` for local storage pointer variables.
2020-02-25 14:28:04 +01:00
Djordje Mijovic
8524e3f48d
Standard-JSON-Interface: Fix a bug ( #8371 ) related to empty filenames and imports.
2020-02-25 01:07:36 +01:00
Djordje Mijovic
dd9009eba6
TestFileParser: Adding new keyword wei for expressing function value
2020-02-21 11:39:37 +01:00
chriseth
9dd9a68c08
Set version to 0.6.4.
2020-02-18 16:42:02 +01:00
chriseth
c2e22d4cab
Merge pull request #8221 from ethereum/structured-docs-error-locations
...
[parser] Source locations for structured documentation errors
2020-02-18 14:57:28 +01:00
chriseth
4115553344
Prepare changelog for 0.6.3 release.
2020-02-18 12:52:58 +01:00
Djordje Mijovic
18dea6b69c
Assembly: Added missing source field to legacy assembly json output to complete the source reference
2020-02-18 10:22:34 +01:00
Erik Kundt
125d9f6648
Adds changelog for locations of structured doc errors.
2020-02-14 15:53:39 +01:00
Daniel Kirchner
e3a235a492
Add missing changelog entries.
2020-02-14 14:22:11 +01:00
Gaith Hallak
24d6702986
[Yul] Prune functions that call each other but are otherwise unreferenced
2020-02-11 20:39:32 +03:00
Leonardo Alt
36928c7a35
Add reason string for internal reverts
2020-02-10 11:57:20 -03:00
chriseth
0b9c842656
Fix abstract without contract.
2020-02-05 12:14:14 +01:00
Daniel Kirchner
d3cbfb0c5c
Allow user-defined types as mapping keys in parser and restrict to contracts during type checking.
2020-02-04 17:22:03 +01:00
Erik Kundt
306f6d963d
Adds changelog entry for structured AST node introduction.
2020-01-30 18:26:01 +01:00
chriseth
abbedb0819
Update Changelog.md
...
Co-Authored-By: Erik K <erik@ethereum.org>
2020-01-29 13:49:45 +01:00