Leonardo
|
c69c08a26e
|
Merge pull request #11738 from ethereum/smt_div_mod_slacks
[SMTChecker] Add option divModWithSlacks
|
2021-08-06 16:34:06 +02:00 |
|
Leo Alt
|
08c065ee04
|
Add option divModWithSlacks
|
2021-08-06 15:50:25 +02:00 |
|
Kamil Śliwak
|
a532df20ec
|
Merge pull request #11751 from ethereum/fix-inconsistent-suppressing-of-pre-release-warning
Fix inconsistent suppressing of pre-release warning + remove superfluous warnings from tests
|
2021-08-05 18:21:54 +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
|
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 |
|