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
3b1eacfcaa
Merge pull request #11655 from ethereum/ObjectCompiler-user-src-new-test
...
Print source locations in AsmPrinter
2021-08-03 16:09:40 +02:00
Christian Parpart
d203c80abd
Eliminate unnecessary m_source from Parser
2021-08-03 16:03:45 +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
Christian Parpart
ac0c749a32
Eliminate some unnecessary header inclusions in headers in SourceLocation.h
2021-08-03 15:43:17 +02:00
chriseth
ffc5cfd9a5
Remove scanner from compiler stack.
2021-08-03 15:43:17 +02:00
Christian Parpart
81e9225304
Eliminate some unnecessary header inclusions in headers.
2021-08-03 15:43:14 +02:00
Mathias Baumann
2ee6c7be64
Print @src and @use-src locations in AsmPrinter
2021-08-03 15:29:52 +02:00
Harikrishnan Mulackal
c89b46c55e
Merge pull request #11726 from ethereum/yulScoping
...
Clarify Yul scoping rules.
2021-08-03 12:41:24 +02:00
chriseth
363278d2ec
Clarify Yul scoping rules.
2021-08-02 18:27:34 +02:00
chriseth
e9cab0ffc6
Merge pull request #11707 from ethereum/docs-clarify-optional-remapping-components
...
[Docs] Clarify optional parts in remappings
2021-08-02 12:58:56 +02:00
Kamil Śliwak
c6fc9934fa
Clarify optional parts in remappings
2021-07-30 12:30:17 +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
62727f322a
Merge pull request #11662 from ethereum/docs-fix-highlighting-and-upgrade-pygments
...
[Docs] Fix highlighting and always use latest packages
2021-07-29 11:29:38 +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
Harikrishnan Mulackal
fa49170bac
Merge pull request #11714 from ethereum/fix-11709
...
Document free memory pointer overflow check in Sol->Yul.
2021-07-29 10:07:05 +02:00
Bhargava Shastry
3a0d654dce
Document free memory pointer overflow check in Sol->Yul.
...
Co-authored-by: chriseth <chris@ethereum.org>
2021-07-28 15:00:25 +02:00
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