Commit Graph
74 Commits
Author SHA1 Message Date
Marenz 9e674ba047 Forward declare Instruction enum in EVMVersion 2022-09-29 13:41:58 +02:00
Marenz 692a99f891 yulRun: Add recursion protection 2022-09-14 11:40:23 +02:00
Marenz d10d967008 yulRun: Fix unexpected return value for call* instructions and add tests 2022-09-14 11:40:08 +02:00
Marenz b8699e7687 YulRunner: Add support for interactive inspection of the state 2022-09-14 11:40:02 +02:00
Marenz 4b69b5fdc1 YulRunner: Add support for external calls to the same contract 2022-09-14 11:40:02 +02:00
Marenz 53b67334c5 YulRunner: Add support for memoryguard() and literal parameters 2022-09-14 11:40:02 +02:00
Marenz f7cc29bec1 Add std:: qualifier to move() calls 2022-08-30 11:12:15 +02:00
Marenz f508494f52 Fix undefined order of evaluation 2022-08-29 15:33:25 +02:00
Marenz 484c9d3ff0 Update docker images for emscripten. 2022-08-25 17:09:46 +02:00
Marenz c5e9b6e666 static_z3.sh: Update releases to include only maintained ones 2022-08-25 15:18:55 +02:00
Marenz 0475ec81f0 Cleanup static z3 script to work similar to release_ppa 2022-08-25 15:18:55 +02:00
Marenz 35870549db Dockerfile.emscripten: Use `&& instead of ;` everywhere 2022-08-25 13:08:13 +02:00
Marenz 542ce5ad95 Use long option for spellchecker in CI 2022-08-18 15:28:12 +02:00
Marenz 1b5332c2b9 Fix spelling mistakes and CI spellcheck job 2022-08-18 14:38:19 +02:00
Marenz 5da46581bd Document in `solc --help usage of --metadata` better. 2022-08-15 12:57:40 +02:00
Marenz 0fab970eb9 Remove old distributions in release_ppa script 2022-08-11 18:36:07 +02:00
Marenz 351efae5f8 Little enhancements to the ppa release script 2022-08-11 18:36:07 +02:00
MarenzandKamil Śliwak 22c7cd22b9 Fix wrong cleanup when copying from calldata to memory
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2022-08-08 13:07:16 +02:00
Marenz a1f6a3da9b Disable faulty zeppelin tests that detect a wrong revert reason 2022-07-27 15:57:50 +02:00
Marenz 16b64f3aee LSP rename 2022-07-08 11:52:45 +02:00
Marenz 3a5218d3d5 Add location for parameter names in FunctionCall ASTNode 2022-06-29 18:37:36 +02:00
Marenz ee710eadd4 Add location for member in MemberAccess ASTNode 2022-06-29 18:37:09 +02:00
Marenz 4d8a14b653 Fix external test ens
By using the last known working commit.
Only a temporary measure.
2022-06-29 17:54:35 +02:00
Marenz 5d2e134378 Add all path locations to the IdentifierPath ASTNode 2022-06-21 14:19:45 +02:00
Marenz 18784cff81 Add all path declarations in IdentifierPath annotation 2022-06-20 18:08:57 +02:00
Marenz c88c74ceb8 Rename ASTJsonConverter to ASTJsonExporter
given that we have an ASTJsonImporter this name makes more sense.
2022-06-16 18:05:51 +02:00
Marenz 9c4ea1dc68 lsp.py: Add missing check for non-interactive 2022-06-07 15:30:14 +02:00
Marenz 6c9754a784 lsp.py: Fix various problems with subdirectory edge cases
* fix properly path parsing with nested subdirectories
* fix regex to be able to handle `file://..`
* fix not checking all expected diagnostics
* Some extra comments and renames
2022-05-31 16:17:35 +02:00
Marenz 0234e2aa6b lsp.py: Fix broken console reading 2022-05-18 14:54:19 +02:00
Marenz ca3af4b2a2 LSP: Implement semantic tokens 2022-05-18 14:54:16 +02:00
Marenz 893122eb89 lsp.py: Support subdirectories 2022-05-09 14:54:55 +02:00
Marenz 02dfeb5427 lsp.py: Trigger fatal error when importing outside of test dir 2022-05-09 14:22:23 +02:00
Marenz 1ccdb92cdb Update version & distributions for static z3 script 2022-05-05 15:27:18 +02:00
Marenz afd9feead4 LSP.py: Implement simple send/respond framework 2022-04-13 13:22:05 +02:00
Marenz 0bf674b442 LSP test: Minor refactoring and better exception reporting 2022-03-21 13:23:02 +01:00
Marenz 175580fe90 Make error message less confusing 2022-02-17 16:52:36 +01:00
Marenz 46075d04d9 Include used events in `--hashes` output 2022-02-09 13:50:42 +01:00
Marenz 3e7c68d9b0 Merge identifier query methods into one 2022-02-08 17:44:21 +01:00
Marenz b9fe628b70 Emit immutable references for pure yul code 2022-02-07 12:32:54 +01:00
Marenz 6f4709d383 Remove empty assert messages 2022-01-20 15:11:26 +01:00
Marenz a550048cf0 Fix too strict assert for calldata string -> bytes conversions 2022-01-20 15:11:26 +01:00
Marenz be7c7dd4a9 Make formatting more consistent in natspec tests 2022-01-19 15:35:27 +01:00
Marenz 6d05912d70 Require strict parsing for natspec JSON tests 2022-01-19 15:35:27 +01:00
Marenz 89d6bff72a Fix .push() not considering external functions 2022-01-18 16:30:31 +01:00
Marenz 7fbf134ce3 Add test for fixed natspec ICE 2022-01-18 13:36:54 +01:00
Marenz 7c0a121e45 Natspec: Fix ICE when overriding a struct getter with a Natspec-documented return value and the name in the struct is different. 2022-01-17 17:10:07 +01:00
Marenz 57d84c8bfb Fix genetic algorithms CI failure 2022-01-17 13:35:07 +01:00
Marenz 0004ad8764 Fix ICE when a constant variable declaration forward references a struct 2022-01-17 13:24:14 +01:00
Marenz 2c4c8264e4 Fix wrong error with immutables when base contract c'tor uses return 2022-01-13 13:09:36 +01:00
Marenz e969aed780 Properly resolve virtual modifiers 2022-01-06 12:52:06 +01:00
Marenz b95db2db5e Remove unnecessary checks in modifier resolve function 2021-12-29 13:27:10 +01:00
Marenz 7a96953e78 Implement typechecked abi.encodeCall() 2021-12-16 17:35:58 +01:00
Marenz 49b4e77d6b Prevent crash when translating yul->ewasm with @use-src annotations 2021-11-11 13:43:57 +01:00
Marenz ab5a06e2b9 Refactor ASTJSON tests to allow easier addition of variations. 2021-11-11 10:44:16 +01:00
Marenz fc224f74c7 Evaluate absolute paths for imports in 'parsing' stage 2021-11-08 16:34:02 +01:00
Marenz 61519da4f0 Fix wrong path to isoltest in docs 2021-10-27 14:16:50 +02:00
Marenz f588dd34a9 Sort bugfixes in changelog 2021-10-26 15:41:42 +02:00
Marenz 8dfb390c7e Enhance documentation in regards to modifiers and return 2021-10-18 14:22:09 +02:00
Marenz 4368da0201 Fix ICE when printing an error message related to mappings 2021-10-06 17:02:36 +02:00
Marenz 98dd78362e Add `.address and .selector` in inside assembly for external function pointers 2021-10-04 18:05:57 +02:00
Marenz 7a51acc5fe Correct wrong error message referencing .slot and .offset when .length was used 2021-09-21 18:28:38 +02:00
Marenz 0f326ada5c Sort changelog "bugfixes" alphabetically 2021-09-21 18:01:12 +02:00
Marenz c81814915c Properly detect multiple licenses and validate them. 2021-09-16 11:18:26 +02:00
Marenz 4700c2b973 Properly export symbols from aliased imports. 2021-09-01 19:55:30 +02:00
Marenz 2b28f87abf Add type().min/max for enums 2021-09-01 15:02:02 +02:00
Marenz 121fd40f74 Allow reading of immutables during construction time 2021-08-19 13:59:05 +02:00
Marenz dea201800f Provide a better error reporting for failed cmdline tests. 2021-08-04 15:00:34 +02:00
Marenz 57db4c82ba Fix: Use correct byte offset separation
":" instead of ","
2021-07-15 13:15:21 +02:00
Marenz 7836779975 Fix test error "No text representation found."
The result is actually okay as the code in question is never called.
2021-07-12 13:03:30 +02:00
Marenz d844d84b51 Test yul code blocks in documentation. 2021-07-08 14:59:05 +02:00
Marenz 9a0da17a6d Use more readable and maintainable multiline strings in py test script 2021-07-08 10:49:29 +02:00
Marenz 5291ca2dd4 isolate_tests: Extract code blocks from documentation using code block header 2021-07-06 16:57:05 +02:00
Marenz f62b80530b Fix isolate_tests when run with single files and add usage information 2021-07-01 15:18:32 +02:00
Marenz 7f65f1cc02 Fix code-start headers in documentation 2021-07-01 15:17:42 +02:00