Leonardo
|
3287341f1e
|
Merge pull request #10316 from blishko/bmc_branches
[SMTChecker] Handle branches with return statements properly in BMC engine
|
2020-11-30 13:50:09 +01:00 |
|
Alex Beregszaszi
|
a7ee1355bd
|
[ewasm] Use select instruction where appropriate
|
2020-11-30 12:10:32 +00:00 |
|
Martin Blicha
|
cd06d68cbe
|
[SMTChecker] Keeping better track of path condition through branches with return statement in the BMC engine.
|
2020-11-30 11:47:49 +01:00 |
|
Alex Beregszaszi
|
06af2fb38a
|
[ewasm] Change eq() in polyfill to branch-less version
|
2020-11-27 22:47:55 +00:00 |
|
chriseth
|
18de8a56c9
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-11-26 11:48:53 +01:00 |
|
Alex Beregszaszi
|
c4fd7e4003
|
Remove/update tests
|
2020-11-25 11:40:33 +00:00 |
|
chriseth
|
f01cd3f38f
|
Fix merge conflicts
|
2020-11-25 08:09:38 +01:00 |
|
chriseth
|
cedb56ed81
|
Forward failure for creation.
|
2020-11-24 19:54:18 +01:00 |
|
chriseth
|
253889cbf1
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-11-24 16:22:03 +01:00 |
|
chriseth
|
79669ecd48
|
Use new abicoder pragma.
|
2020-11-24 14:57:45 +01:00 |
|
chriseth
|
a0a02f2307
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-11-23 19:28:08 +01:00 |
|
chriseth
|
91c88a5f6b
|
Merge pull request #10346 from ethereum/boundFunctions
[Sol->Yul] Bound functions.
|
2020-11-23 19:09:20 +01:00 |
|
chriseth
|
f87edb6efc
|
Bound functions.
|
2020-11-23 18:58:23 +01:00 |
|
chriseth
|
f313668ef1
|
Merge pull request #10211 from ethereum/copyArrayCalldata2MemSol2Yul
[Sol->Yul] Copying arrays from calldata to memory
|
2020-11-23 15:02:18 +01:00 |
|
Djordje Mijovic
|
41ec7cc23e
|
Adding new tests and activating old tests.
|
2020-11-23 14:52:55 +01:00 |
|
Alexander Arlt
|
9d6296eca4
|
[ewasm] Polyfill: calldataload & calldatacopy.
|
2020-11-20 13:46:04 -05:00 |
|
chriseth
|
a7db4fa4a5
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-11-18 20:05:02 +01:00 |
|
Alexander Arlt
|
c0d28492c3
|
[ewasm] Polyfill: Rename endian_swap -> bswap.
|
2020-11-17 21:30:06 -05:00 |
|
chriseth
|
1e08e4e04c
|
Merge pull request #10319 from ethereum/ewasm-polyfill-split
Split ewasm polyfill functions into different files.
|
2020-11-18 01:53:46 +01:00 |
|
Alexander Arlt
|
19f764bf65
|
Split ewasm polyfill functions into different files.
|
2020-11-17 19:27:44 -05:00 |
|
chriseth
|
691f7e6eae
|
Fix merge conflicts.
|
2020-11-17 19:59:23 +01:00 |
|
chriseth
|
e8a278eefa
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-11-17 18:51:57 +01:00 |
|
Kamil Śliwak
|
4174f38b02
|
StandardCompiler: Include file names in link references
|
2020-11-17 17:51:04 +01:00 |
|
Kamil Śliwak
|
9f0283df5c
|
Fix command-line tests using wrong file names for libraries
|
2020-11-17 17:50: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 |
|
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
|
1a4d38c0ac
|
CommandLineInterface: Report an error if library appears multiple times in the --libraries option
|
2020-11-16 21:22:47 +01:00 |
|
chriseth
|
62893aa1a1
|
Copy byte arrays from storage to storage.
|
2020-11-16 19:06:33 +01:00 |
|
Kamil Śliwak
|
b97c6c55ad
|
StandardCompiler: Don't assume that link reference always contains a colon
|
2020-11-16 17:41:54 +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
|
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
|
0a31a6bc36
|
Merge pull request #10258 from ethereum/develop
Merge develop into breaking.
|
2020-11-11 13:36:17 +01:00 |
|
Alex Beregszaszi
|
6f6bcdd526
|
[ewasm] Display custom sections as hex string in the text output
|
2020-11-10 23:48:24 +01:00 |
|
chriseth
|
141277dadf
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-11-10 17:28:36 +01:00 |
|
Leonardo
|
55ac5de472
|
Merge pull request #10240 from ethereum/immutablesPureValue
Immutables with literal values are pure.
|
2020-11-10 15:23:33 +00:00 |
|
chriseth
|
eaba9a680a
|
Merge pull request #10199 from ethereum/readfile
[CLI] Improve error handling of missing/unwriteable files
|
2020-11-10 13:50:40 +01:00 |
|
chriseth
|
da92fe548e
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-11-10 13:48:32 +01:00 |
|
chriseth
|
765ed13814
|
Immutables with literal values are pure.
|
2020-11-10 13:08:42 +01:00 |
|
Kamil Śliwak
|
df8e182b46
|
Link binaries produced in assembly mode
|
2020-11-09 17:17:43 +01:00 |
|
Kamil Śliwak
|
6ef1e4cfd4
|
Command-line tests for linking in assembly mode
|
2020-11-09 17:17:27 +01:00 |
|
Kamil Śliwak
|
a0d22422b0
|
Command-line tests for linking in Solidity mode
|
2020-11-09 17:17:27 +01:00 |
|
Kamil Śliwak
|
06ea7c66f7
|
Use consistent style for stuff removed from the output of command-line tests
|
2020-11-09 17:17:15 +01:00 |
|
Kamil Śliwak
|
0e4edc8424
|
Strip bytecode from command-line test output but leave linker references intact
|
2020-11-09 17:17:15 +01:00 |
|
chriseth
|
04195439b7
|
Merge remote-tracking branch 'origin/develop' into HEAD
|
2020-11-09 14:28:05 +01:00 |
|
Leonardo Alt
|
1b6abfa37f
|
Make timeout tests harder
|
2020-11-06 13:35:07 +00:00 |
|
Kamil Śliwak
|
3c4273a06c
|
cmdlineTests: Use .yul extension for Yul files
- Currently many files have .sol extension because originally the test script required it but this has changed some time ago.
|
2020-11-05 18:05:23 +01:00 |
|
Alex Beregszaszi
|
9ebd3da3ff
|
[CLI] Report error on missing file for --standard-json
|
2020-11-04 16:35:19 +00:00 |
|
Leonardo Alt
|
d03ddeb0fa
|
[SMTChecker] User timeout option
|
2020-11-03 10:46:11 +00:00 |
|
chriseth
|
60af9d24ff
|
Update tests.
|
2020-10-22 19:25:55 +02:00 |
|
chriseth
|
6979952995
|
Merge remote-tracking branch 'origin/develop' into HEAD
|
2020-10-19 18:02:50 +02:00 |
|
chriseth
|
e61fa59593
|
Update existing tests.
|
2020-10-19 16:58:59 +02:00 |
|
Leonardo Alt
|
b67ade5163
|
Move modelCheckerSettings out of settings in StandardCompiler
|
2020-10-19 10:39:06 +01:00 |
|
Leonardo Alt
|
289ac23fe6
|
Fix smt cmdlinetest
|
2020-10-16 17:58:45 +01:00 |
|
Leonardo Alt
|
4e49135318
|
Add CLI option to choose model checker engine
|
2020-10-16 15:01:47 +01:00 |
|
Djordje Mijovic
|
5f0b8dd716
|
[Sol->Yul] Changing yul unimplemented test as delete bytes is implemented now.
|
2020-10-15 22:05:40 +02:00 |
|
Daniel Kirchner
|
2e984a3651
|
Remove memoryguard calls from command line test expectations.
|
2020-10-15 16:25:15 +02:00 |
|
chriseth
|
f6e57a0eec
|
Merge pull request #10023 from ethereum/develop
Merge develop into breaking.
|
2020-10-13 18:18:53 +02:00 |
|
Mathias Baumann
|
006e5f2e1f
|
Allow path syntax for super constructor calls
|
2020-10-13 14:32:11 +02:00 |
|
Mathias Baumann
|
0b7b174945
|
Add AST Node IdentifierPath
|
2020-10-13 14:32:11 +02:00 |
|
Mathias Baumann
|
32b4f18023
|
Print warning for unnamed return parameters and no return statement
|
2020-10-13 13:11:29 +02:00 |
|
chriseth
|
4b342a7cad
|
Merge pull request #9816 from ethereum/exp-base-literals
[Sol->Yul] Optimization for exponentiation when the base is a literal
|
2020-10-12 19:34:38 +02:00 |
|
Harikrishnan Mulackal
|
dbd5326d0c
|
Commandline test for exp with literal base
|
2020-10-12 18:54:58 +02:00 |
|
chriseth
|
3970c4e57d
|
Merge pull request #9892 from ethereum/constantsAtFileLevel
Constants at file-level.
|
2020-10-08 19:53:33 +02:00 |
|
chriseth
|
b2f1d558da
|
Update existing tests.
|
2020-10-08 18:56:17 +02:00 |
|
Djordje Mijovic
|
fa69378f4f
|
Changing unimplemented test for yul
|
2020-10-08 15:27:33 +02:00 |
|
chriseth
|
fda8bde2d7
|
Stop after parsing.
|
2020-09-30 16:57:49 +02:00 |
|
chriseth
|
b5c340cd66
|
Update tests
|
2020-09-24 17:07:43 +02:00 |
|
Daniel Kirchner
|
f4b42d1c72
|
Add stack limit evader.
|
2020-09-17 22:13:27 +02:00 |
|
chriseth
|
2f41245e43
|
Commandline test for unimplemented IR.
|
2020-09-15 14:42:04 +02:00 |
|
chriseth
|
33cdefc40e
|
New test.
|
2020-09-15 11:22:43 +02:00 |
|
chriseth
|
3f9f63b829
|
Test updates.
|
2020-09-15 11:22:16 +02:00 |
|
chriseth
|
42c26e0bf5
|
Inline tiny functions first.
|
2020-09-10 17:01:20 +02:00 |
|
chriseth
|
f102feaf09
|
Handle "leaf functions" first in full inliner.
|
2020-09-10 17:01:19 +02:00 |
|
chriseth
|
6101bdf7e2
|
Name simplifier.
|
2020-09-10 16:23:29 +02:00 |
|
Harikrishnan Mulackal
|
974e35d09c
|
Tests and changelog
|
2020-09-03 13:15:38 +02:00 |
|
chriseth
|
e72afcba47
|
Fix inlining order to correspond to source order.
|
2020-08-26 10:20:18 +02:00 |
|
chriseth
|
21489d8193
|
Merge pull request #9638 from ethereum/fixNullValuesAST
Remove null values from AST also in standard-json mode.
|
2020-08-24 15:57:33 +02:00 |
|
chriseth
|
b2b8e0e4c6
|
Merge pull request #9312 from ethereum/rewrite-loopInvariantCodeMotion
Rewrite loop invariant code motion
|
2020-08-19 14:27:04 +02:00 |
|
Harikrishnan Mulackal
|
bbf15c9af3
|
Tests and Changelog
|
2020-08-19 12:41:29 +02:00 |
|
chriseth
|
7b8cc0c49b
|
Remove null values from AST also in standard-json mode.
|
2020-08-19 11:06:14 +02:00 |
|
chriseth
|
2ff954ec2d
|
Use kind in json AST for free function.
|
2020-08-18 11:46:59 +02:00 |
|
chriseth
|
e9f91edc4b
|
Update existing tests.
|
2020-08-18 11:46:59 +02:00 |
|
Alex Beregszaszi
|
6e381326fe
|
Adjust and add more tests
|
2020-08-05 11:37:04 +01:00 |
|
Alex Beregszaszi
|
f5f86779b8
|
Update tests for unicode literals
|
2020-07-27 18:21:17 +01:00 |
|
chriseth
|
6bb6783d39
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-07-22 15:26:44 +02:00 |
|
Djordje Mijovic
|
6f97e6153c
|
[yul] Adding support for accessing subobjects via .
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
|
2020-07-21 17:56:11 +02:00 |
|
chriseth
|
f945163909
|
Merge pull request #9432 from ethereum/develop
Merge develop into breaking.
|
2020-07-16 17:14:45 +02:00 |
|
chriseth
|
080f33a72c
|
Remove swap after dup.
|
2020-07-13 15:05:01 +02:00 |
|
chriseth
|
8eee3ed3a2
|
Merge pull request #9388 from ethereum/develop
Merge develop into breaking.
|
2020-07-13 14:55:21 +02:00 |
|
a3d4
|
a068583bec
|
Cover cmdlineTests.sh errors
|
2020-07-09 14:39:05 +02:00 |
|
chriseth
|
64b6524bdb
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-07-08 09:37:14 +02:00 |
|
chriseth
|
9743390a53
|
Update tests.
|
2020-07-07 12:16:18 +02:00 |
|
chriseth
|
4d2b9cd38f
|
Jump types for yul functions.
|
2020-07-06 18:12:54 +02:00 |
|
chriseth
|
3e3f9a472f
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-06-30 18:56:51 +02:00 |
|
Kamil Śliwak
|
3f3f8adcb8
|
CommandLineInterface: In error message about options disallowed in assembly mode only include the names of actually used options
|
2020-06-29 15:23:13 +02:00 |
|
chriseth
|
71cb7551f4
|
Merge pull request #9208 from ethereum/develop
Merge develop into breaking.
|
2020-06-16 16:11:41 +02:00 |
|
Kamil Śliwak
|
50b426e37b
|
Update the expected output of command-line tests after wasm changes
|
2020-06-16 15:36:47 +02:00 |
|
Kamil Śliwak
|
4bd078ed7e
|
CommandLineInterface: Disallow --output-dir, --gas and --combined-json in assembly mode
|
2020-06-15 17:12:51 +02:00 |
|