Alexander Arlt
|
d6b9b4175b
|
[isoltest] Add support for fixed point types.
|
2021-08-12 21:27:51 +02:00 |
|
chriseth
|
fe0d027d45
|
Merge pull request #11785 from ethereum/someMoreBaseFees
Some more base fees.
|
2021-08-12 19:48:10 +02:00 |
|
Leo Alt
|
6ee60aa628
|
Fix false positive on external calls from constructors
|
2021-08-12 18:51:55 +02:00 |
|
chriseth
|
c87c0f02bd
|
Test updates.
|
2021-08-12 16:56:12 +02:00 |
|
chriseth
|
90c4623460
|
Some more base fees.
|
2021-08-12 16:37:21 +02:00 |
|
chriseth
|
ccdc11ea5b
|
Merge pull request #11741 from ethereum/shadowing_inlineasm_fix_yul_codegen
Fixed inline assembly external identifier access.
|
2021-08-12 14:38:24 +02:00 |
|
Leo Alt
|
10397e440c
|
Fix ICE in constants
|
2021-08-12 10:53:01 +02:00 |
|
chriseth
|
a4c94a1b5b
|
Fixed inline assembly external identifier access.
|
2021-08-11 18:18:29 +02:00 |
|
Daniel Kirchner
|
e28d00a76d
|
Merge pull request #11763 from ethereum/basefee-hasOpcode
Allow basefee as Yul identifier for EVMVersion < london
|
2021-08-11 14:14:21 +02:00 |
|
Leo Alt
|
8ce878621a
|
Make show unproved CLI a flag
|
2021-08-11 10:54:03 +02:00 |
|
hrkrshnn
|
892700d769
|
Tests for basefee as identifier in inline assembly
Also added basefee to `EVMVersion::hasOpcode(...)`
|
2021-08-11 10:46:40 +02:00 |
|
hrkrshnn
|
7f1a2be0fe
|
Allow basefee as Yul identifier for EVMVersion < london
This was done to prevent basefee from being a breaking change. This change will be removed in 0.9.0.
TODO revert this commit in breaking.
|
2021-08-11 10:46:08 +02:00 |
|
Harikrishnan Mulackal
|
74ec3c1983
|
Merge pull request #11760 from ethereum/default-evmversion-london
Set default EVM version to London.
|
2021-08-11 10:42:41 +02:00 |
|
Harikrishnan Mulackal
|
0fc3e2dfb3
|
Merge pull request #11647 from ethereum/basefee
Implement London EVMVersion and the BASEFEE opcode
|
2021-08-11 10:31:22 +02:00 |
|
hrkrshnn
|
79733fca48
|
Set default EVM version to London.
|
2021-08-11 09:54:14 +02:00 |
|
hrkrshnn
|
43605d9299
|
Tests and Changelog for basefee.
|
2021-08-11 09:51:12 +02:00 |
|
hrkrshnn
|
a54addc2cb
|
An equivalence check for the Byte opcode
Checks that the byte opcode (implemented using shift) is equivalent to a
canonical definition of byte using extract.
|
2021-08-10 11:00:29 +02:00 |
|
chriseth
|
f6789de9f8
|
Fix implementation of BYTE
|
2021-08-09 19:14:14 +02:00 |
|
hrkrshnn
|
af1dabb555
|
Added EVMVersion london.
Also set the value of `block_base_fee` for testing to 7 wei.
|
2021-08-09 16:18:08 +02:00 |
|
hrkrshnn
|
543ccf5287
|
Added the basefee instruction in YulInterpreter
|
2021-08-09 16:18:08 +02:00 |
|
Leo Alt
|
ee6285d6d7
|
Do not create VCs for underoverflow by default for Sol >=0.8
|
2021-08-09 14:12:31 +02:00 |
|
Leo Alt
|
08c065ee04
|
Add option divModWithSlacks
|
2021-08-06 15:50:25 +02:00 |
|
Kamil Śliwak
|
506cc20fe8
|
Remove empty exit files from command-line tests
|
2021-08-05 17:41:33 +02:00 |
|
Kamil Śliwak
|
2803dba980
|
Add pragmas and SPDX comments to command-line tests to get cleaner error output
|
2021-08-05 17:41:30 +02:00 |
|
Kamil Śliwak
|
dc4620d2be
|
cmdlineTests.sh: Suppress message about empty output to get consistent output on release and pre-release builds
|
2021-08-05 17:11:58 +02:00 |
|
chriseth
|
db85849648
|
Merge pull request #11737 from ethereum/fix_shift_cleanup
Yul: Fix cleanup for left shift of bytes types.
|
2021-08-05 12:55:42 +02:00 |
|
chriseth
|
6b888b531b
|
Refactor conversion function.
|
2021-08-05 11:48:35 +02:00 |
|
chriseth
|
0112fed73b
|
Yul: Fix cleanup for left shift of bytes types.
|
2021-08-05 10:54:48 +02:00 |
|
Kamil Śliwak
|
2d5b9036c2
|
Merge pull request #11645 from ethereum/slightly-nicer-error-reporting
[Trivial] Provide a better error reporting for failed cmdline tests.
|
2021-08-04 15:47:14 +02:00 |
|
Marenz
|
dea201800f
|
Provide a better error reporting for failed cmdline tests.
|
2021-08-04 15:00:34 +02:00 |
|
Leo Alt
|
3c1f555f71
|
Tests
|
2021-08-04 13:54:50 +02:00 |
|
Leo Alt
|
700fe3e5d4
|
CL tests
|
2021-08-04 13:54:50 +02:00 |
|
Leo Alt
|
685d7a8c99
|
Bundle all unproved targets in a single message and only show all if setting chooses that
|
2021-08-04 13:54:50 +02:00 |
|
chriseth
|
ae519c1278
|
Merge pull request #11658 from ethereum/removeScannerFromCompilerStack
Remove scanner from compiler stack
|
2021-08-03 17:47:39 +02:00 |
|
chriseth
|
d7a40622e4
|
Merge pull request #11729 from ethereum/build-speedups
header file cleanups
|
2021-08-03 16:44:54 +02:00 |
|
chriseth
|
ffd66a5d08
|
Merge pull request #11720 from ethereum/onlySetRunsIfUsed
Only set "runs" if used.
|
2021-08-03 16:34:31 +02:00 |
|
chriseth
|
01a1316b36
|
Only set "runs" if used.
|
2021-08-03 15:53:59 +02:00 |
|
Christian Parpart
|
af18b8afc2
|
Eliminate some unnecessary header inclusions in headers in Scanner.h and SourceReferenceFormatter.h
|
2021-08-03 15:43:17 +02:00 |
|
Christian Parpart
|
6294aa871a
|
Simplify AsmParser::parse(.) usage
|
2021-08-03 15:43:17 +02:00 |
|
chriseth
|
ffc5cfd9a5
|
Remove scanner from compiler stack.
|
2021-08-03 15:43:17 +02:00 |
|
Mathias Baumann
|
2ee6c7be64
|
Print @src and @use-src locations in AsmPrinter
|
2021-08-03 15:29:52 +02:00 |
|
Harikrishnan Mulackal
|
5ff0811b99
|
Merge pull request #11717 from jaa2/develop
Handle --optimize-runs option in assembly mode
|
2021-07-29 18:56:22 +02:00 |
|
jaa2
|
c627e6af10
|
CommandLineParser: Handle --optimize-runs option in assembly mode
Fixes #11708.
|
2021-07-29 18:15:57 +02:00 |
|
chriseth
|
7e1cfc112e
|
Merge pull request #11712 from ethereum/cmdline-test-filtering
Running only selected command-line tests
|
2021-07-29 10:39:27 +02:00 |
|
Kamil Śliwak
|
ad3d3c0df6
|
cmdlineTests.sh: Accept test name patterns as positional arguments
|
2021-07-28 01:02:46 +02:00 |
|
Alex Beregszaszi
|
c018cdf419
|
Merge pull request #11706 from ethereum/update-evmone-part2
Update evmone part 2
|
2021-07-27 17:17:59 +01:00 |
|
Leonardo
|
57092b21a3
|
Merge pull request #11421 from ethereum/smt_solver_option
[SMTChecker] Solver option
|
2021-07-27 18:17:24 +02:00 |
|
Leo Alt
|
6c8ecfa82c
|
Add option to choose solver
|
2021-07-27 17:14:21 +02:00 |
|
Christian Parpart
|
3755210b7b
|
[libyul] ObjectParser: Enables the use of custom source mapping via @use-src.
|
2021-07-27 16:46:47 +02:00 |
|
hrkrshnn
|
8bec0c8a6b
|
Updated docs and evmc.h header file for evmone 0.8.0 release
|
2021-07-27 16:39:41 +02:00 |
|