Commit Graph
21221 Commits
Author SHA1 Message Date
Sean Hawkes 76fa00abed Added invocation of base class addOptions in derived to populate list with common and derived options, fixed errors with editor member variable type mismatch 2021-09-18 06:22:27 -05:00
Sean Hawkes ae7c617711 Added call to addOptions virtual helper in CommonOptions::parse to add options from base/derived classes, modified interface of IsolTestOptions to include editor member variable set based on provided parameter in constructor as it is now needed by addOptions helper function 2021-09-18 05:43:09 -05:00
Sean Hawkes f47e918caa Moved program_options add_options to a helper function to allow defaults to be set by derived class constructor before immutable options are created by parent 2021-09-18 04:55:50 -05:00
Andrew Lyndem 2052307d33 Update README.md
Hyperlink correction.
2021-09-18 15:19:56 +05:30
Kamil Śliwak a9b5835e5d AsmPrinter: Don't include whitespace after @src if there's no code snippet 2021-09-17 21:46:12 +02:00
Kamil Śliwak b3a513d3b6 SMTSolverChoice: Rewrite operator & not to modify its argument 2021-09-17 21:39:29 +02:00
Kamil Śliwak 588ec39eef SMTSolverChoice: Make more members const/noexcept 2021-09-17 21:39:29 +02:00
Kamil Śliwak 4a8a003b3d CommandLineParser: Initialize inputMode and perform generic validations earlier 2021-09-17 18:42:13 +02:00
Kamil Śliwak 30796b8957 Split CommandLineParser::parse() into smaller functions 2021-09-17 18:42:13 +02:00
Kamil Śliwak 13571f4a67 CommandLineInterface: Add asserts documenting which function is expected to work in which input modes 2021-09-17 18:42:13 +02:00
Bhargava Shastry d7ddfcc665 Merge pull request #11989 from ethereum/update-ossfuzz-docker
Docker config: Update ossfuzz docker image.
2021-09-17 16:28:19 +02:00
Bhargava Shastry bb1e185f88 Docker config: Update ossfuzz docker image. 2021-09-17 15:40:35 +02:00
Leonardo 20ca5c1361 Merge pull request #11986 from ethereum/fix-pylint-warnings-about-f-strings
Fix pylint warnings about the usage of f-strings
2021-09-17 14:24:05 +02:00
Alex Beregszaszi e089799e5b Merge pull request #11988 from geek96/develop
Added the BigSur 11.5 in the supported os list
2021-09-17 10:20:33 +01:00
Basit Raza 553d3ed714 Added the BigSur 11.5 in the supported os list 2021-09-17 10:51:54 +04:00
Bhargava Shastry 7877758cf3 Merge pull request #11979 from ethereum/update-ossfuzz-docker
Docker: Tag ossfuzz base clang image
2021-09-16 22:35:23 +02:00
Kamil Śliwak fc8c4b046c StandardCompiler: Do not discard non-fatal errors that happened before a fatal error 2021-09-16 20:29:03 +02:00
Kamil Śliwak 1a9ba1baca Failing test: standard_yul_single_file_via_urls 2021-09-16 20:29:03 +02:00
Kamil Śliwak 4560e5bdd9 Bump base image version for b_bytecode_ems to get a newer version of Python 2021-09-16 20:22:24 +02:00
Kamil Śliwak 66a540ea01 Fix pylint warnings about the usage of f-strings 2021-09-16 19:38:44 +02:00
chriseth 3f8023ace9 Merge pull request #11981 from ethereum/simplifyVersion
Simplify version.cpp
2021-09-16 18:28:19 +02:00
chriseth bf60302098 Merge pull request #11903 from ethereum/printASTID
Print @ast-id
2021-09-16 18:07:33 +02:00
chriseth 2d75043051 Merge pull request #11971 from ethereum/parseASTID
Parse ast-id
2021-09-16 18:07:17 +02:00
chriseth a141589adf Update tests. 2021-09-16 17:19:17 +02:00
chriseth cedf68365b Move test. 2021-09-16 17:19:17 +02:00
chriseth 3e429ab231 Update commandline tests. 2021-09-16 17:19:17 +02:00
chriseth 8b3748e5b7 Emit ast id. 2021-09-16 17:19:17 +02:00
chriseth a72f4f3993 Print AST ID. 2021-09-16 17:19:17 +02:00
chriseth dafa6f552b Rename formatting function. 2021-09-16 17:19:17 +02:00
chriseth 63993387d6 Add test for invalid ast id. 2021-09-16 17:18:48 +02:00
chriseth 05d20446bb Parse @ast-id annotation. 2021-09-16 17:18:48 +02:00
chriseth 42739b73b1 Extend debug info. 2021-09-16 17:18:48 +02:00
Harikrishnan Mulackal 0d7f6598e8 Merge pull request #11980 from ethereum/useIterateReplacingInStatementRemover
Use iterateReplacing in StatementRemover.
2021-09-16 16:15:07 +02:00
chriseth c892d1904b Simplify version.cpp 2021-09-16 16:03:27 +02:00
chriseth 280ff8cbd4 Use iterateReplacing in StatementRemover. 2021-09-16 15:34:48 +02:00
chriseth 9d29b1ed9c Merge pull request #11945 from ethereum/smt_modules
[SMTChecker] Support constants via modules
2021-09-16 15:18:15 +02:00
chriseth 227029d27a Merge pull request #11968 from ethereum/refactorSrcCommentParsing
Refactor source comment parsing.
2021-09-16 14:42:15 +02:00
Leo Alt a1bea368cb [SMTChecker] Support constants via modules 2021-09-16 14:35:05 +02:00
chriseth 4284499180 Merge pull request #11888 from ethereum/spdx-license-handling-10145
Properly detect multiple licenses and validate them.
2021-09-16 14:18:17 +02:00
chriseth 91ef1ceb51 Merge pull request #11954 from ethereum/userdefinedvaluetype-multisource-test
Added a multisource test for UserDefinedValueTypes and imports
2021-09-16 13:59:22 +02:00
chriseth ff0e433635 Merge pull request #11965 from ethereum/userdefined-changed-toString
User defined value types changed toString()
2021-09-16 13:58:55 +02:00
chriseth d708612e27 Refactor source comment parsing. 2021-09-16 12:22:27 +02:00
Marenz c81814915c Properly detect multiple licenses and validate them. 2021-09-16 11:18:26 +02:00
Bhargava Shastry 0dc1600fa5 Docker: Tag ossfuzz base clang image 2021-09-16 10:14:13 +02:00
Alex Beregszaszi c1070fabc0 Merge pull request #11906 from ethereum/smt_fix_bmc
[SMTChecker] Fix BMCs constraints on internal functions
2021-09-15 21:01:29 +01:00
Kamil Śliwak 1e7460b98e Merge pull request #11973 from ethereum/cmdline-tests-fix-test-filtering
Fix command-line test filtering via script arguments
2021-09-15 20:38:49 +02:00
Bhargava Shastry febbd8deb3 Merge pull request #11938 from ethereum/update-ossfuzz-docker
Docker: Update ossfuzz docker image
2021-09-15 18:11:37 +02:00
hrkrshnn 15fb427a99 Added a multisource test for UserDefinedValueTypes and imports
Testing if `import {MyType} from "source";` works
2021-09-15 17:48:53 +02:00
hrkrshnn 48e16ceb88 Changing the UserDefinedValueType::toString to userdefined <name> 2021-09-15 17:25:23 +02:00
Kamil Śliwak b077ef46e2 cmdlineTests.sh: More descriptive message about used binary path 2021-09-15 16:49:25 +02:00