Bhargava Shastry
|
e0e30fc600
|
Merge pull request #10592 from ethereum/abiv2-isabelle-test-values-fix-bugs
Abiv2 isabelle fuzzing
|
2020-12-15 14:29:20 +01:00 |
|
chriseth
|
2a54079d41
|
Merge pull request #10575 from ethereum/calldataArraySlices
Conversion of calldata array slices to memory
|
2020-12-15 12:21:33 +01:00 |
|
Leonardo
|
2552a9b7b0
|
Merge pull request #10601 from blishko/smt-fix-constructor-recursive-struct
[SMTChecker] Fix internal error on constructor of a recursive struct
|
2020-12-15 12:15:16 +01:00 |
|
Bhargava Shastry
|
b273e52628
|
Abiv2 fuzzer: Enable differential fuzzing and remove support for string coding
co-authored-by: Leonardo <leo@ethereum.org>
|
2020-12-15 11:13:10 +01:00 |
|
Bhargava Shastry
|
39f1893956
|
Fix integer overflow due to large unsigned cpp_int
|
2020-12-15 11:12:51 +01:00 |
|
Martin Blicha
|
e2c27b8ea4
|
[SMTChecker] Fix internal error on constructor of a recursive struct
|
2020-12-15 09:53:52 +01:00 |
|
Djordje Mijovic
|
64f0120622
|
Change assertions to align to TypeChecker.
|
2020-12-15 09:21:50 +01:00 |
|
Djordje Mijovic
|
d479c98920
|
Adding tests for conversion of calldata slices to memory and storage and fixing syntax tests.
|
2020-12-15 09:21:47 +01:00 |
|
Leonardo
|
d83ce0bcdd
|
Merge pull request #10599 from blishko/smt-inc-dec-push-fix
[SMTChecker] Fix internal error when increment/decrement is applied on a result of push().
|
2020-12-14 23:52:54 +01:00 |
|
Martin Blicha
|
71f835b71b
|
[SMTChecker] Fixed internal error when increment/decrement is applied on a result of push().
|
2020-12-14 22:52:44 +01:00 |
|
Djordje Mijovic
|
8aa4568b10
|
[Sol->Yul] Implementing conversion from calldata slices to memory arrays.
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
|
2020-12-14 22:21:37 +01:00 |
|
Djordje Mijovic
|
b99a74fb34
|
Implementing conversion from calldata slices to memory arrays.
|
2020-12-14 22:21:37 +01:00 |
|
Djordje Mijovic
|
0efd52a38e
|
Allowing implicit conversion from calldata slice to memory and storage array types.
|
2020-12-14 22:21:37 +01:00 |
|
Leonardo
|
2ca70bd71a
|
Merge pull request #10597 from blishko/smt-fix-abstract-modifier
[SMTChecker] Fix internal error on abstract modifier
|
2020-12-14 19:34:44 +01:00 |
|
Martin Blicha
|
103fa3b7eb
|
[SMTChecker] Fix internal error on abstract modifier
|
2020-12-14 18:23:25 +01:00 |
|
Leonardo
|
e21be30df4
|
Merge pull request #10588 from blishko/smt-push-bytes-fix
[SMTChecker] Fix internal error on bytes.push on the LHS of an assignment
|
2020-12-14 18:19:35 +01:00 |
|
Martin Blicha
|
27402781c4
|
[SMTChecker] Fixed crash on push to bytes on lhs of an assignment
|
2020-12-14 17:40:45 +01:00 |
|
Leonardo
|
ccf1626f0d
|
Merge pull request #10581 from blishko/issue-10524
[SMTChecker] Fix handling of function calls where the function identifier is nested in a tuple.
|
2020-12-14 17:20:18 +01:00 |
|
Martin Blicha
|
0be325dc0d
|
[SMTChecker] Fix handling of function calls where the function identifier is nested in a tuple.
|
2020-12-14 16:19:24 +01:00 |
|
chriseth
|
e3b009d6a7
|
Merge pull request #10580 from ethereum/sized-types
Disallow leading zeroes in sized-types
|
2020-12-14 14:44:06 +01:00 |
|
chriseth
|
6fff408d82
|
Fix lexer rules wrt leading zeros.
|
2020-12-14 14:17:16 +01:00 |
|
Alex Beregszaszi
|
aa042ccb87
|
Disallow leading zeroes in sized-types
Also avoid using boost::lexical_cast for parseSize.
|
2020-12-14 11:40:14 +00:00 |
|
Alex Beregszaszi
|
4bffd040e2
|
Add tests for weirdly sized types
e.g. bytes00001
|
2020-12-14 11:40:11 +00:00 |
|
chriseth
|
e37e3099aa
|
Merge pull request #10583 from ethereum/fix-doc-pragma-checks
Fix checks for code snippets embedded in docs
|
2020-12-14 11:30:12 +01:00 |
|
chriseth
|
12f31c49ee
|
Merge pull request #10584 from ethereum/fix-minor-bugs-in-shell-scripts
Fix minor bugs in shell scripts
|
2020-12-14 10:01:48 +01:00 |
|
Kamil Śliwak
|
4a16b13a57
|
get_version.sh: Quote the ? wildcard that could otherwise break the regex in the presence of a single-letter file name
|
2020-12-12 07:49:54 +01:00 |
|
Kamil Śliwak
|
893a5b6e60
|
Remove unused variables
|
2020-12-12 06:30:57 +01:00 |
|
Kamil Śliwak
|
f712662a66
|
ASTImportTest.sh: Fix the script ignoring all but the first file from a multi-source test when testing input equivalence
|
2020-12-12 06:30:57 +01:00 |
|
Kamil Śliwak
|
81668eb26a
|
soltest_all: Fix an error being printed to a file called 2 rather than to stderr
|
2020-12-12 06:30:57 +01:00 |
|
Kamil Śliwak
|
ac12274acd
|
cmdlineTests.sh: Fix the script failing to detect that --ast option does not exist
|
2020-12-12 06:30:57 +01:00 |
|
Kamil Śliwak
|
1f2ffa99c2
|
cmdlineTests.sh: Fix test_solc_assembly_output including garbage in the tested output
|
2020-12-12 06:30:57 +01:00 |
|
Kamil Śliwak
|
0f6f4314b6
|
Fix code snippets in docs not passing tests on versions matching their pragmas
|
2020-12-12 04:52:16 +01:00 |
|
Kamil Śliwak
|
304b2fe232
|
docs_version_pragma_check.sh: Fail when there is no matching release
|
2020-12-12 04:52:16 +01:00 |
|
Kamil Śliwak
|
6fc45b3e02
|
docs_version_pragma_check.sh: Fix bad variable name making the script skip ^ and >= pragmas
|
2020-12-12 04:52:16 +01:00 |
|
Kamil Śliwak
|
784871c424
|
docs_version_pragma_check.sh: Get binaries from soliditylang.org, not github.io
|
2020-12-12 04:52:16 +01:00 |
|
Kamil Śliwak
|
74b5560f7e
|
docs_version_pragma_check.sh: Fix broken variable comparison hiding missing compiler version warnings
|
2020-12-12 04:51:16 +01:00 |
|
Kamil Śliwak
|
2481f2c6bb
|
common_cmdline.sh: Fix misspelled $args
|
2020-12-12 04:51:11 +01:00 |
|
Leonardo
|
db9aa36d6c
|
Merge pull request #10567 from blishko/unary-operators-fix
[SMTChecker] Fix CHC analysis of increment/decrement
|
2020-12-11 18:52:12 +01:00 |
|
Leonardo
|
da9cede0fe
|
Merge pull request #10348 from ethereum/simplify-compiler
Simplify abstraction of Compiler/CompilerContext/CompilerStack
|
2020-12-11 17:42:36 +01:00 |
|
Martin Blicha
|
8927015e5a
|
[SMTChecker] Adding unary increment and decrement as under/overflow verification targets for the CHC engine
|
2020-12-11 17:41:50 +01:00 |
|
Leonardo
|
7972d8eb98
|
Merge pull request #10578 from ethereum/ast-test
Properly print sources in ASTJSONTest
|
2020-12-11 17:41:31 +01:00 |
|
Leonardo
|
adead3072d
|
Merge pull request #10570 from ethereum/abiv2-isabelle-test-values-fix-bugs
Ensure empty arrays are not visited and fix formatting issues
|
2020-12-11 17:38:15 +01:00 |
|
Harikrishnan Mulackal
|
2139f93410
|
Merge pull request #10556 from ethereum/external-test-readme
README describing the workflow around external tests and their repositories
|
2020-12-11 17:37:38 +01:00 |
|
Alex Beregszaszi
|
4a7f2ddc6d
|
Properly print sources in ASTJSONTest
|
2020-12-11 15:28:54 +00:00 |
|
Alex Beregszaszi
|
ccd1f283aa
|
Merge pull request #9360 from ethereum/rich-function-type
Improve error message when assigning builtin functions
|
2020-12-11 15:25:59 +00:00 |
|
Alex Beregszaszi
|
bcaefb57b8
|
Add evmAssembly and evmRuntimeAssembly pointer in CompilerStack
This is a preparation for allowing those outputs to be served from the IR too
|
2020-12-11 14:53:29 +00:00 |
|
Alex Beregszaszi
|
98d8174d31
|
Simplify Compiler/CompilerContext by removing extra layers of indirection
|
2020-12-11 14:43:51 +00:00 |
|
Daniel Kirchner
|
dc5f7a7405
|
Merge pull request #10448 from ethereum/fixedhash
Add comprehensive tests for FixedHash
|
2020-12-11 15:31:20 +01:00 |
|
Alex Beregszaszi
|
b40b82535c
|
Add comprehensive tests for FixedHash
Also explicitly disallow FixedHash<0>, given most functions were not working with it, and it is not very useful.
|
2020-12-11 12:20:37 +00:00 |
|
Alex Beregszaszi
|
03e805ab5a
|
Reformat FixedHash.h for readability
|
2020-12-10 22:49:40 +00:00 |
|