chriseth
1794e1c837
Merge pull request #11713 from ethereum/better-error-for-non-existent-base-path
...
Better error message when base path does not exist
2021-07-28 08:44:53 +02:00
Kamil Śliwak
056d780b63
Better error message when base path does not exist
2021-07-28 01:03:29 +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
chriseth
3349720c36
Merge pull request #11594 from ethereum/ObjectCompiler-use-src
...
Yul ObjectCompiler: parse `@use-src ...`
2021-07-27 17:56:26 +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
hrkrshnn
6b8c32b859
Updated circleci scripts with evmone 0.8.0 docker images
2021-07-27 16:38:55 +02:00
Harikrishnan Mulackal
e3184c737a
Merge pull request #11649 from ethereum/evmone-upgrade
...
Updated evmone version to 0.8.0 and evmc version to 9.0.0
2021-07-27 16:34:17 +02:00
Christian Parpart
de2e72b868
Merge pull request #11544 from ethereum/standard-json-cli-common-input-file-processing
...
Common input file processing for CLI and Standard JSON
2021-07-27 16:34:03 +02:00
Kamil Śliwak
9a7c364c71
Process input files in Standard JSON mode just like in other modes
...
- This makes `-` for stdin work.
- `--ignore-missing` now works with `--standard-json`, though it's not very useful because there can be at most one input file.
- Separate errors for situations where there are no input files on the command line (this can be detected in the parser) and where they are not present on disk.
2021-07-27 15:54:32 +02:00
Kamil Śliwak
c938f35b99
CommandLineParser: Initialize inputMode earlier to make it usable in more functions
2021-07-27 15:54:32 +02:00
Kamil Śliwak
3b104a3f38
CommandLineParser: Refactor checkMutuallyExclusive() to handle multiple options and use it more
2021-07-27 15:54:32 +02:00
hrkrshnn
1b56fdea9d
Updated dockerfiles for evmone 0.8.0
2021-07-27 15:20:49 +02:00
chriseth
f97fe813ec
Merge pull request #11698 from QEDK/patch-2
...
[Docs] Update list of reserved keywords in cheatsheet
2021-07-26 22:30:41 +02:00
qedk
3ea2854e97
Update list of reserved keywords in cheatsheet
...
- `unchecked` (added)
+ `var` (removed)
+ `byte` (removed)
2021-07-26 23:48:33 +05:30
chriseth
fe29385dc7
Merge pull request #11639 from sladecek/pretty2
...
Make --pretty-json work with Standard JSON output
2021-07-26 16:41:25 +02:00
Ladislav Sladecek
9bbeea58c8
Make --pretty-json work with Standard JSON output
2021-07-26 16:00:46 +02:00
Harikrishnan Mulackal
7041b87c3b
Merge pull request #11694 from ethereum/chriseth-patch-1
...
Use caret for version pragma
2021-07-26 14:54:36 +02:00
chriseth
8ea31cf4e1
Use caret
2021-07-26 14:17:22 +02:00
Leonardo
f697b349f1
Merge pull request #11672 from ethereum/z3_12_docker
...
Bump docker images to z3 4.8.12
2021-07-26 14:12:05 +02:00
Harikrishnan Mulackal
8f6c6eec27
Merge pull request #11683 from GuLiPing-Hz/patch-1
...
[Docs] Add `unchecked` to fix reverting `BigInt` example in `libraries.rst`
2021-07-26 14:02:40 +02:00
Harikrishnan Mulackal
e35b39b6fe
Merge pull request #11684 from j05u3/patch-1
...
[documentation improvement proposal] tx.origin pointing where exactly is the bug
2021-07-26 13:43:04 +02:00
Harikrishnan Mulackal
f0d7ed98a5
Merge pull request #11675 from TransmissionsDev/patch-1
...
Remove incorrect statement that calldata must be used for external functions
2021-07-26 13:32:22 +02:00
GuLiPing-Hz
997c014971
Update libraries.rst
...
add unchecked
2021-07-26 13:24:04 +02:00
Josué
71d6e8da2d
tx.origin pointing where exactly is the bug
...
Clarification for preventing more bugs of this kind that have been shown recently.
2021-07-26 13:04:14 +02:00
Alex Beregszaszi
a2ce461610
Merge pull request #11693 from QEDK/patch-1
...
[Docs] Remove keyword already in use from cheatsheet
2021-07-25 22:33:29 +01:00
qedk
6e18c6e7cd
Remove keyword already in use from cheatsheet
2021-07-25 20:23:29 +05:30
Kamil Śliwak
6d6c9e6e4f
Merge pull request #11660 from ethereum/docs-fix-badly-indented-lists-and-blocks
...
[Docs] Fix badly indented lists and blocks
2021-07-21 18:35:19 +02:00
Leonardo
d655a3c91b
Merge pull request #11673 from ethereum/smt_update_z3_12
...
Update SMTChecker tests with z3 4.8.12
2021-07-20 10:56:20 +02:00
Leo Alt
f745604474
Bump docker images to z3 4.8.12
2021-07-19 15:21:20 +02:00
Leo Alt
e46abd0ca1
Update tests due to nondeterminism
2021-07-19 15:20:11 +02:00
Leo Alt
5decccaf3a
update docker hashes and versions
2021-07-19 15:20:11 +02:00
t11s
c2dfbbf78c
New note about which data locations are allowed in which function types
...
Co-authored-by: Kamil Śliwak <cameel2@gmail.com>
2021-07-18 15:02:16 -07:00
t11s
61f33c53a0
Remove trailing whitespace
2021-07-18 10:16:51 -07:00
t11s
bc36dbf3b8
Fix extra space
2021-07-18 10:11:18 -07:00
t11s
61e4c29cf8
Update note about calldata
2021-07-18 10:10:07 -07:00
t11s
bb040e40ed
Fix rst syntax
2021-07-17 12:46:58 -07:00
t11s
e7324f660d
Update line about calldata use for external funcs
2021-07-17 12:45:03 -07:00
t11s
616933cd5f
Remove incorrect statement that calldata must be used for external functions
2021-07-16 22:33:48 -07:00
Leo Alt
20e23171da
Update tests to z3 4.8.12
2021-07-16 14:43:52 +02:00
Daniel Kirchner
3d26d47d46
Merge pull request #11525 from ethereum/yulControlFlowGraph
...
Yul control flow graph (OptimizedEVMCodeTransform Step 1)
2021-07-15 16:03:39 +02:00
chriseth
31cca72213
Merge pull request #11665 from ethereum/yul-output-fixes
...
Yul src output updates & fixes
2021-07-15 16:00:53 +02:00
Daniel Kirchner
f3707f2ab0
Control flow graph for Yul.
2021-07-15 15:24:12 +02:00
chriseth
f82da14a3a
Merge pull request #11666 from ethereum/robots-txt-html-extra-template-renderer
...
Sphinx extension for rendering `robots txt`
2021-07-15 15:21:37 +02:00
Mathias Baumann
bf204403d8
Add "@use-src" header for generated yul code
2021-07-15 14:26:01 +02:00
Kamil Śliwak
8c5ae508f9
Use html_extra_template_renderer to replace the current robots.txt rendering script
2021-07-15 13:29:27 +02:00
Kamil Śliwak
2bebc2f822
Create a local html_extra_template_renderer Sphinx extension
2021-07-15 13:29:27 +02:00
