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
35e1ab2c6f
Merge pull request #11739 from ethereum/refactor_yul_conversion
...
solyul: Refactor conversion function.
2021-08-05 12:54:04 +02:00
chriseth
6b888b531b
Refactor conversion function.
2021-08-05 11:48:35 +02:00
chriseth
26fb2317ef
Merge pull request #11744 from ethereum/refactor_remove_identifieraccess
...
Only provide code generator to CodeTransform.
2021-08-05 11:32:39 +02:00
chriseth
0112fed73b
Yul: Fix cleanup for left shift of bytes types.
2021-08-05 10:54:48 +02:00
chriseth
467cbf92bc
Only provide code generator to CodeTransform.
2021-08-04 18:38:10 +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
Leonardo
e18dec871f
Merge pull request #11705 from ethereum/smt_show_unproved
...
[SMTChecker] Bundle unproved messages by default
2021-08-04 15:21:43 +02:00
Marenz
dea201800f
Provide a better error reporting for failed cmdline tests.
2021-08-04 15:00:34 +02:00
Leo Alt
01c01ea421
Changelog
2021-08-04 13:54:50 +02:00
Leo Alt
847dd5cf92
Docs
2021-08-04 13:54:50 +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
41087f3195
Add CLI and JSON option to show unproved targets
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
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