chriseth
fffd0306f5
Fix bug in array to storage copy routine.
2020-11-17 14:56:44 +01:00
chriseth
adaf1ff7df
Merge pull request #10272 from ethereum/storageStorageCopyForStructs
...
Storage storage copy for structs
2020-11-17 11:47:48 +01:00
Leonardo
65c2089b43
Merge pull request #10310 from blishko/issue-10306
...
[SMTChecker] Adding a dummy frame to the call stack for the implicit constructor
2020-11-17 09:34:49 -01:00
chriseth
98cc7a1ea9
Copying structs from storage to storage.
2020-11-17 11:06:25 +01:00
chriseth
1911a5a25a
Merge pull request #10271 from ethereum/copyValueArrayFromStorageToStorage
...
Copy value array from storage to storage.
2020-11-17 11:02:13 +01:00
chriseth
d9fb17a85e
Copy value array from storage to storage.
2020-11-17 10:51:34 +01:00
chriseth
a97521bff1
Merge pull request #10293 from ethereum/fix-output-dir-creation-with-trailing-slash
...
[CLI] Fix --output-dir failure for paths with a trailing slash
2020-11-17 00:49:16 +01:00
chriseth
f6ac6b738d
Merge pull request #10291 from ethereum/linker-docs-refresh
...
Refresh linker docs
2020-11-17 00:31:50 +01:00
chriseth
7ccb4fea2b
Merge pull request #10270 from ethereum/copyByteArrayFromStorageToStorage
...
[SolYul] Copy byte arrays from storage to storage.
2020-11-17 00:30:30 +01:00
Martin Blicha
07427c798c
[SMTChecker] Adding a dummy frame to the call stack for the implicit constructor
2020-11-16 22:46:17 +01:00
Alex Beregszaszi
d7814358a6
Merge pull request #10292 from ethereum/cli-check-for-duplicate-libraries
...
[CLI] Reject duplicates in --libraries
2020-11-16 21:12:00 +00:00
Kamil Śliwak
b7694b9a14
docs: Gather information about linker in one place and reorganize the section a bit
2020-11-16 21:37:36 +01:00
Leonardo
81b3a13333
Merge pull request #10289 from ethereum/fix-standard-json-crash-on-linker-references-without-colon
...
Fix standard JSON crash on linker references without a colon
2020-11-16 19:27:35 -01:00
Kamil Śliwak
1ff00488bb
docs: Add information about metadata difference resulting from manual linking
2020-11-16 21:26:47 +01:00
Kamil Śliwak
aba04c7afa
docs: Remove the outdated information about linked library name length limitation
2020-11-16 21:26:47 +01:00
Kamil Śliwak
1a4d38c0ac
CommandLineInterface: Report an error if library appears multiple times in the --libraries option
2020-11-16 21:22:47 +01:00
chriseth
c3b862c073
Merge pull request #10294 from ethereum/cmdline-tests-fix-bytecode-removal-leaving-out-every-other-part
...
Fix bytecode replacement in command-line tests not detecting all bytecode segments between linker references
2020-11-16 20:22:56 +01:00
chriseth
c0bfbaebc8
Merge pull request #10309 from a3d4/fix-vs-compilation-include-optional
...
Fix Visual Studio compilation error (add missing include <optional>)
2020-11-16 20:11:30 +01:00
chriseth
62893aa1a1
Copy byte arrays from storage to storage.
2020-11-16 19:06:33 +01:00
chriseth
5431afcc8c
Merge pull request #10287 from ethereum/refactorMoveTests3
...
Moving mostly array tests to semanticTests
2020-11-16 18:50:40 +01:00
a3d4
148c379ab9
Fix Visual Studio compilation error (add missing include <optional>)
2020-11-16 17:42:51 +01:00
Kamil Śliwak
b97c6c55ad
StandardCompiler: Don't assume that link reference always contains a colon
2020-11-16 17:41:54 +01:00
Kamil Śliwak
543f804226
StandardCompiler: Add helpers to streamline comparing link references in tests
2020-11-16 17:41:54 +01:00
Kamil Śliwak
9f67d26a1a
CommandLineInterface: Fix output directory creation for paths ending with a slash and equivalent but not equal to dot or double dot
2020-11-14 04:29:05 +01:00
Kamil Śliwak
738769db4c
cmdlineTest.sh: Fix regex for bytecode removal removing only every other piece between two references
...
- Matched fragments must not overlap for the regex to work correctly.
2020-11-14 03:18:46 +01:00
Djordje Mijovic
1428a939a6
Moving some more array tests to semanticTests.
2020-11-13 12:32:39 +01:00
Djordje Mijovic
29d480d0ed
Moving some byte array pop tests to semanticTests.
2020-11-13 12:32:39 +01:00
Djordje Mijovic
31981bad12
Organizing array tests into more directories.
2020-11-13 12:32:39 +01:00
Djordje Mijovic
11033c9536
Moving some bytes and array tests to semanticTests
2020-11-13 12:32:39 +01:00
Djordje Mijovic
bdf05bf8a0
Moving try catch test to semantic tests.
2020-11-13 12:32:35 +01:00
Leonardo
f1846b57a2
Merge pull request #10244 from blishko/this-external-calls
...
[SMTChecker] Analyzing external calls to `this`
2020-11-13 11:28:34 +00:00
chriseth
cc58fb2cad
Merge pull request #10147 from ethereum/viair
...
Add viaIR option to CompilerStack (and solc)
2020-11-13 11:56:46 +01:00
Martin Blicha
5ca7a24896
[SMTChecker] Added support for precise modeling of external calls to this
.
...
Modeling external calls to this, since we can trust these calls.
fixed problem with transaction data not being restored after trusted external call
update to the tests
additional tests
changelog entry
added tests for external getters of this
2020-11-13 11:49:09 +01:00
Alex Beregszaszi
a3381d7260
Add settings.viaIR to standard json
2020-11-12 22:38:44 +00:00
Alex Beregszaszi
e074582bf1
Add --experimental-via-ir option to solc
2020-11-12 22:34:31 +00:00
Alex Beregszaszi
301d7ea39e
Add viaIR option to CompilerStack
...
It also sets the experimental flag in the metadata to true.
2020-11-12 22:34:31 +00:00
chriseth
c69c7f32ae
Merge pull request #10273 from ethereum/wasm-abstract
...
[ewasm] Allow compiling abstract/interface contracts
2020-11-12 23:19:40 +01:00
Alex Beregszaszi
fcedaba7f7
[ewasm] Allow compiling abstract/interface contracts
2020-11-12 15:26:11 +00:00
Alex Beregszaszi
a63d850f50
Improve ewasm commandline tests
2020-11-12 15:25:54 +00:00
chriseth
44eb63fad0
Merge pull request #10263 from ethereum/fixTryCreateYul
...
Fix Yul codegen for try with create.
2020-11-11 20:10:54 +01:00
chriseth
571e1e5269
Merge pull request #10266 from ethereum/fixCalldataIndexAccess
...
Fix calldata index access.
2020-11-11 19:03:19 +01:00
chriseth
e7e76131c8
Merge pull request #10265 from ethereum/fixMappingInit
...
Fix initializing mapping return variables.
2020-11-11 18:42:45 +01:00
chriseth
8f570a3184
Fix calldata index access.
2020-11-11 18:42:26 +01:00
chriseth
01d7d50750
Fix initializing mapping return variables.
2020-11-11 18:08:42 +01:00
Alex Beregszaszi
826ed58b2f
Merge pull request #10262 from ethereum/smt-conversion
...
[SMTChecker] Avoid implicit conversion
2020-11-11 17:03:49 +00:00
chriseth
59da25056b
Fix Yul codegen for try with create.
2020-11-11 17:52:50 +01:00
Alex Beregszaszi
2f899bbffa
[SMTChecker] Avoid implicit conversion
2020-11-11 16:29:03 +00:00
chriseth
be7b2c3725
Merge pull request #10248 from ethereum/cmdline-tests-fix-input-file-count
...
cmdlineTests.sh: Fix buggy calculation of the number of input files
2020-11-11 14:47:20 +01:00
Kamil Śliwak
ed55d48727
cmdlineTests.sh: Fix buggy calculation of the number of input files
2020-11-11 13:47:36 +01:00
chriseth
0f6d3bc4ed
Merge pull request #10192 from ethereum/refactorMoveTests2
...
Moving tests to semanticTests part2
2020-11-11 13:45:02 +01:00