Alex Beregszaszi
|
a29a7ad680
|
[ewasm] Properly encode i32/i64.select in the text format
|
2020-12-01 11:22:38 +00:00 |
|
chriseth
|
ce6e52b052
|
Merge pull request #10430 from ethereum/wasm-select
[ewasm] Add i32.select/i64.select
|
2020-11-30 14:42:26 +01:00 |
|
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
|
cedb56ed81
|
Forward failure for creation.
|
2020-11-24 19:54:18 +01:00 |
|
chriseth
|
79669ecd48
|
Use new abicoder pragma.
|
2020-11-24 14:57:45 +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 |
|
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 |
|
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 |
|
Alex Beregszaszi
|
6f6bcdd526
|
[ewasm] Display custom sections as hex string in the text output
|
2020-11-10 23:48:24 +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
|
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 |
|
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 |
|
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 |
|
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 |
|