Daniel Kirchner
|
2df5ca0774
|
Merge pull request #8385 from ethereum/immutable
Immutable state variables (1)
|
2020-03-06 14:20:13 +01:00 |
|
Daniel Kirchner
|
7f38cbb91d
|
Fix calling unimplemented base function.
|
2020-03-06 10:51:16 +01:00 |
|
Daniel Kirchner
|
9318dae42c
|
Merge pull request #8420 from mijovic/iceStackTooDeepFix
Throwing stack too deep ICE in case of calling encode with too many a…
|
2020-03-04 17:41:59 +01:00 |
|
Djordje Mijovic
|
38b219d140
|
Throwing stack too deep ICE in case of calling encode with too many arguments instead of invalid opcode
|
2020-03-04 16:29:07 +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 |
|
Christian Parpart
|
27a4670ad8
|
Merge pull request #8408 from ethereum/utilFunctionsFromOldCodegen
Allow using YulUtilFunctions from old codegen
|
2020-03-04 14:27:26 +01:00 |
|
Djordje Mijovic
|
58c6b90705
|
Deprecated warning for .value() and .gas() on function and constructror calls
|
2020-03-04 12:51:49 +01:00 |
|
Daniel Kirchner
|
561e5d9b27
|
Rename variables and review suggestion.
|
2020-03-03 15:12:00 +01:00 |
|
Daniel Kirchner
|
24d6e6295e
|
Reuse the mechanism for abi functions and move tracking of used functions to CompilerContext
|
2020-03-03 15:11:18 +01:00 |
|
Leonardo
|
32ca1a5e26
|
Merge pull request #8311 from ethereum/smt_split_2
[SMTChecker] Change CHC encoding from explicit CFG to function forests
|
2020-03-03 13:16:14 +01:00 |
|
Leonardo Alt
|
3bee348525
|
Change CHC encoding to functions forest instead of explicit CFG
|
2020-03-03 12:12:26 +01:00 |
|
Leonardo Alt
|
96a230af50
|
[SMTChecker] Fix ICEs with tuples
|
2020-03-03 11:35:58 +01:00 |
|
Daniel Kirchner
|
90fa56c719
|
Allow use of yul util functions in legacy code generation.
|
2020-03-02 16:32:30 +01:00 |
|
chriseth
|
1488a1ceb8
|
Refactor isConstant to add "immutable".
|
2020-03-02 14:20:17 +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 |
|
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
|
663a9f892f
|
Merge pull request #8333 from ethereum/fix-8332
Use explicit variant constructor in direct list initializer
|
2020-02-18 14:46:31 +01:00 |
|
chriseth
|
64f9dc351e
|
Merge pull request #8337 from mijovic/assembly-multifile
Assembly: Added missing source field to legacy assembly json output
|
2020-02-18 12:47:19 +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 |
|
Bhargava Shastry
|
786c63ec3c
|
Use explicit type for variant constructor that is part of direct list initializer
|
2020-02-18 10:42:08 +05:30 |
|
Jason Cobb
|
6db0d50094
|
Don't use identifiers starting with an underscore followed by an uppercase letter
|
2020-02-17 12:44:39 -05:00 |
|
Erik Kundt
|
b43751d65e
|
Reports source location for structured documentation errors.
|
2020-02-14 15:21:39 +01:00 |
|
chriseth
|
99f88742d6
|
Merge pull request #8263 from ethereum/functionSelectorPure
Mark function selectors accessed via declaration as pure.
|
2020-02-14 12:34:39 +01:00 |
|
Daniel Kirchner
|
9f094d59b9
|
Mark function selector accesses as pure for pure expressions and mark function accesses via contract name as pure.
|
2020-02-14 12:33:33 +01:00 |
|
Christian Parpart
|
c92fe69a60
|
Finishes external call implementation.
|
2020-02-14 11:59:04 +01:00 |
|
Leonardo Alt
|
3800391a1a
|
[Yul] Support conditionals
|
2020-02-13 17:02:15 -04:00 |
|
Mathias L. Baumann
|
c635377450
|
Merge pull request #8313 from ethereum/checkFunctionsExistInIsoltest
Make type error fatal to prevent assert failure at later point
|
2020-02-13 16:08:13 +01:00 |
|
Mathias Baumann
|
8911b58a6d
|
Make type error fatal to prevent assert failure at later point
|
2020-02-13 15:16:28 +01:00 |
|
Leonardo
|
2cadf7ec5a
|
Merge pull request #8307 from ethereum/smt_split_1
[SMTChecker] Some refactoring
|
2020-02-12 15:25:56 -03:00 |
|
chriseth
|
1ea66fd1f8
|
Merge pull request #8301 from ethereum/fixPostTypeChecker
PostTypeChecker: ConstStateVarCircularReferenceChecker on function type state variables.
|
2020-02-12 18:40:19 +01:00 |
|
Daniel Kirchner
|
45f80e9895
|
Move assertion in PostTypeChecker's ConstStateVarCircularReferenceChecker to account for function type variables
|
2020-02-12 17:42:27 +01:00 |
|
Alexander Arlt
|
d0eeca8014
|
Fix CompilerStack::loadMissingSources()
- FatalError Exception was not caught
- fixes #8102
|
2020-02-12 11:22:11 -05:00 |
|
Leonardo Alt
|
d31a2a8d21
|
CHC clears indices so that initial is 0 and current is 1
|
2020-02-12 11:47:58 -03:00 |
|
Leonardo Alt
|
34d64761d9
|
Extract symbolicArguments function
|
2020-02-12 11:47:58 -03:00 |
|
Leonardo Alt
|
6451a4d2a0
|
Move VerificationTarget and add BMCVerificationTarget
|
2020-02-12 11:47:58 -03:00 |
|
Leonardo Alt
|
ba576bc6c3
|
Fix new namespaces
|
2020-02-12 10:35:44 -03:00 |
|
Daniel Kirchner
|
df0873d138
|
Implement calldata arrays for Yul IR
|
2020-02-12 14:00:29 +01:00 |
|
Daniel Kirchner
|
3c9f18b749
|
Use IRVariable's in IR code generation and implement tuples.
|
2020-02-12 12:36:14 +01:00 |
|
Daniel Kirchner
|
6abe0a50b1
|
Define stack slot names in types.
|
2020-02-12 12:36:14 +01:00 |
|
Daniel Kirchner
|
e786650bef
|
Merge pull request #8274 from ethereum/structRecursionMapping
Move mapping key checks to ReferencesResolver and make errors fatal.
|
2020-02-12 11:19:07 +01:00 |
|
Mathias Baumann
|
80bd0f47cc
|
Unify optimize yul code in CompilerContext/ContractCompiler
|
2020-02-11 13:55:47 +01:00 |
|
Mathias Baumann
|
1a3998648c
|
Run yul optimizer on user code without refs
|
2020-02-11 13:55:47 +01:00 |
|
Daniel Kirchner
|
9c3151748e
|
Move mapping key checks to ReferencesResolver and make them fatal.
|
2020-02-11 13:35:23 +01:00 |
|
chriseth
|
d033c2f767
|
Merge pull request #8178 from ethereum/internal_revert_strings
Internal reverts with reason in debug mode
|
2020-02-10 17:35:41 +01:00 |
|
Leonardo Alt
|
36928c7a35
|
Add reason string for internal reverts
|
2020-02-10 11:57:20 -03:00 |
|
a3d4
|
b3b8441aa4
|
Fix printing source for missing pragma.
|
2020-02-09 02:28:47 +01:00 |
|