Daniel Kirchner
|
0a6fc89da2
|
Fix negation function name collision.
|
2021-07-08 10:47:29 +02:00 |
|
chriseth
|
46514ffad2
|
Merge pull request #11520 from ethereum/local-streams-in-command-line-parser
Local output streams in CommandLineParser
|
2021-07-07 15:07:23 +02:00 |
|
chriseth
|
b281c01bfb
|
Merge pull request #11548 from ethereum/removeArgAliases
Remove arg aliases.
|
2021-07-07 15:03:10 +02:00 |
|
Kamil Śliwak
|
3bad7aff02
|
CommandLineParser: Remove g_arg aliases
|
2021-07-07 13:02:50 +02:00 |
|
Kamil Śliwak
|
baced5d10e
|
Test for the --help option
|
2021-07-07 12:53:15 +02:00 |
|
Kamil Śliwak
|
4c479b5689
|
CommandLineInterface: Accept the standard input stream as a parameter
|
2021-07-07 12:53:15 +02:00 |
|
Kamil Śliwak
|
bb64d366ea
|
CommandLineInterface: Accept output streams as parameters
|
2021-07-07 12:53:15 +02:00 |
|
Kamil Śliwak
|
6c33fbcb6a
|
CommandLineParser: Replace global sout/serr streams with class members
- This removes the global variable and prevents stderr/stdout from being printed in tests
|
2021-07-07 12:53:15 +02:00 |
|
chriseth
|
566537835b
|
Merge pull request #11627 from ethereum/allowEmptyFileName
Include locations with empty source name.
|
2021-07-07 12:52:49 +02:00 |
|
Kamil Śliwak
|
ce11ebb687
|
Merge pull request #11518 from ethereum/command-line-parser
CommandLineParser
|
2021-07-07 12:51:09 +02:00 |
|
chriseth
|
6ba298c82b
|
Include locations with empty source name.
|
2021-07-07 12:13:52 +02:00 |
|
Leonardo
|
69233c37bd
|
Merge pull request #11623 from simontianx/develop
Update smtchecker.rst
|
2021-07-06 18:15:46 +02:00 |
|
chriseth
|
085ca40e1f
|
Merge pull request #11621 from ethereum/fixSourceLocationOfBuiltins
Fix source location of builtin function calls.
|
2021-07-06 18:05:54 +02:00 |
|
Simon Tian
|
f0ec3dd6a2
|
Update smtchecker.rst
|
2021-07-06 23:24:37 +08:00 |
|
Kamil Śliwak
|
ef7abd224d
|
Tests for all input modes in CommandLineParser
|
2021-07-06 17:17:18 +02:00 |
|
Kamil Śliwak
|
c17ee4fe65
|
CommandLineParser: Equality operators for settings
|
2021-07-06 17:17:18 +02:00 |
|
Kamil Śliwak
|
7d16c7b127
|
Equality operators for ModelCheckerSettings and ImportRemapper
|
2021-07-06 17:17:18 +02:00 |
|
Kamil Śliwak
|
d781955b26
|
Extract CommandLineParser out of CommandLineInterface
|
2021-07-06 17:17:18 +02:00 |
|
Kamil Śliwak
|
b0c70883f7
|
Copy CommandLineInterface.cpp/.h to CommandLineParser.cpp/.h
|
2021-07-06 17:17:18 +02:00 |
|
chriseth
|
8d5e82b406
|
Fix source location of builtin function calls.
|
2021-07-06 16:54:29 +02:00 |
|
chriseth
|
09578e7e22
|
Merge pull request #11550 from ethereum/runs-constant
Constant for default --runs
|
2021-07-06 10:44:07 +02:00 |
|
chriseth
|
19b217dcf7
|
Merge pull request #10286 from ethereum/yul-evmasm-optim
Optimise libevmasm in yul
|
2021-07-05 14:24:27 +02:00 |
|
chriseth
|
ae3f06a8e5
|
Merge pull request #11563 from ethereum/fix-11555
Document difference in evaluation order of arguments of addmod/mulmod…
|
2021-07-05 13:52:41 +02:00 |
|
Kamil Śliwak
|
105b4b4c8b
|
Update tests
|
2021-07-05 13:46:53 +02:00 |
|
Alex Beregszaszi
|
847e30e6ff
|
Optimise libevmasm in yul
|
2021-07-05 13:46:53 +02:00 |
|
Bhargava Shastry
|
3e275335c7
|
Document difference in evaluation order of arguments of addmod/mulmod by old and new code gens.
|
2021-07-05 13:39:14 +02:00 |
|
Kamil Śliwak
|
f6cb933f24
|
Merge pull request #11589 from ethereum/testable-common-io
Make CommonIO testable
|
2021-07-02 15:39:56 +02:00 |
|
Kamil Śliwak
|
a72857df03
|
CommonIO: Replace readStandardInput() with readUntilEnd() with a configurable stream
|
2021-07-02 14:58:30 +02:00 |
|
chriseth
|
98e1dee45f
|
Merge pull request #11604 from ethereum/make-yul-tests-independent-of-optimizer
Make Yul tests independent of optimizer
|
2021-07-01 18:33:09 +02:00 |
|
Kamil Śliwak
|
e3b345e5f0
|
Use a simpler stack optimization test to avoid having ICE message with absolute paths as expected output
|
2021-07-01 17:29:24 +02:00 |
|
Kamil Śliwak
|
753f359157
|
Replace stack optimization command-line test with Standard JSON ones
- It's not possible to run optimizer with only stack optimization enabled on the CLI.
|
2021-07-01 16:54:09 +02:00 |
|
Kamil Śliwak
|
9d08b5001f
|
Add sstore to linker tests to prevent the address from being optimized out
|
2021-07-01 16:54:09 +02:00 |
|
Kamil Śliwak
|
703a73f949
|
EVMCodeTransformTest: Disable all non-stack optimizations
|
2021-07-01 16:54:09 +02:00 |
|
Alex Beregszaszi
|
cd60ade472
|
Improve some Yul object and command line tests to avoid using pop() which can be optimized out
|
2021-07-01 16:54:09 +02:00 |
|
Alex Beregszaszi
|
8a6a330d95
|
Merge pull request #11598 from ethereum/erc20-semantictest-gas
Manually enabled gas statistics for erc20 token test.
|
2021-06-30 16:14:56 +01:00 |
|
hrkrshnn
|
b628b115ae
|
Manually enabled gas statistics for erc20 token test.
|
2021-06-30 16:35:53 +02:00 |
|
chriseth
|
13d1fc9f41
|
Merge pull request #11579 from ethereum/better-errors-about-bad-paths-in-tests-with-external-sources
Better errors about bad paths in tests with external sources
|
2021-06-30 11:56:47 +02:00 |
|
chriseth
|
54b1c667f1
|
Merge pull request #11595 from ethereum/issue-11526
Fix yul codegen bug when using binary negation.
|
2021-06-30 11:55:42 +02:00 |
|
chriseth
|
1dbed8a726
|
Merge pull request #11599 from ethereum/fix-pylint
Fix pylint issues in CI
|
2021-06-30 11:54:48 +02:00 |
|
hrkrshnn
|
0ef7d27dbd
|
Fix pylint issues
|
2021-06-30 10:38:37 +02:00 |
|
Mathias Baumann
|
c47d02066c
|
Fix yul codegen bug when using binary negatition.
|
2021-06-29 17:41:03 +02:00 |
|
chriseth
|
eaac16c779
|
Merge pull request #11590 from ethereum/disallow-non-hex-zero-and-fix-bytes32-literals-in-bytes-concat
Disallow non-hex zero literals and fix 32-byte hex literals in `bytes.concat()`
|
2021-06-29 16:34:26 +02:00 |
|
chriseth
|
ccad22bafa
|
Merge pull request #11581 from ethereum/fix-crash-on-empty-string-in-bytes-concat
Fix `bytes.concat("")`
|
2021-06-29 15:02:26 +02:00 |
|
Kamil Śliwak
|
6a50d088a0
|
Fix ICE for 32-byte hex literals and zero literals in bytes.concat() by disallowing them
|
2021-06-29 14:48:42 +02:00 |
|
Kamil Śliwak
|
fa3696878b
|
Fix crash when passing empty strings to bytes.concat()
|
2021-06-29 13:52:01 +02:00 |
|
Kamil Śliwak
|
1d1d74bd0e
|
RationalNumberType: Fix wrong docstring about m_compatibleBytesType being used for explicit conversions
|
2021-06-29 13:27:21 +02:00 |
|
chriseth
|
7bce83e7c4
|
Merge pull request #11592 from ethereum/robots-host
Set preferred host in robots.txt
|
2021-06-29 11:17:03 +02:00 |
|
Alex Beregszaszi
|
37db29e9f1
|
Set preferred host in robots.txt
|
2021-06-28 21:26:00 +01:00 |
|
Harikrishnan Mulackal
|
d91dc9953f
|
Merge pull request #10015 from ethereum/moveFunctionArgumentsToMemoryNew
Stack Limit Evader: Move function arguments and return values to memory (v2)
|
2021-06-28 18:49:40 +02:00 |
|
Daniel Kirchner
|
c341445f8e
|
Maintain disambiguation when generating new functions in StackToMemoryMover.
|
2021-06-28 18:11:57 +02:00 |
|