Use native compilers for AST building

[blitz-1306]

Preface

This PR allows to use native Solidity compilers to build and process AST.

Changes

• Updated dependencies to latest.
• Use native compilers instead of WASM for AST building and processing.
• Introduced compiler kind configuring via CLI option --compiler-kind and environment variable SCRIBBLE_DEFAULT_COMPILER_KIND. Precedence is following:
  • --compiler-kind is primary;
  • SCRIBBLE_DEFAULT_COMPILER_KIND is secondary;
  • If getCompilerPrefixForOs() result is one of linux-amd64, windows-amd64 or macosx-amd64, then CompilerKind.Native. Otherwise the fallback value is CompilerKind.WASM.
• Tweaked executable and tests to be compatible with async execution.

Notes

• It seems that solc-typed-ast v8.0.0 adds ./ prefix to all relative input paths, including entry file path. Such behavior affected a lot of artifacts and snapshots, so it probably would also affect dependent components. We better to assess possible implications of this change and consider if it worth fixing in the solc-typed-ast itself.
  • This is addressed in Cleanup import resolution logic solc-typed-ast#93.

Regards.

[cd1m0]

Just 1 question and 2 nits. Will fix then its shortly

[cd1m0]

lgtm

[cd1m0]

After discussion with @blitz-1306 we decided to make the logic for selecting default compiler kind a little more robust. Specifically the selection logic should be:

1. If there is --compiler-kind specified use that
2. Otherwise if there is an env variable SCRIBBLE_DEFAULT_COMPILER_KIND, then use that
3. Finally if no options are given use CompilerKind.Native IF the return value of getCompilerPrefixForOs() is one of the 3 supported platforms - "linux-amd64", "windows-amd64" and "macosx-amd64". Otherwise we use CompilerKind.WASM.

[cd1m0]

LGTM

[codecov-commenter]

Codecov Report

Merging #143 (7229248) into develop (4897e78) will increase coverage by 0.02%.
The diff coverage is 76.30%.

❗ Current head 7229248 differs from pull request most recent head 3c236bb. Consider uploading reports for the commit 3c236bb to get more accurate results

@@             Coverage Diff             @@
##           develop     #143      +/-   ##
===========================================
+ Coverage    86.68%   86.70%   +0.02%     
===========================================
  Files           72       72              
  Lines         5203     5190      -13     
  Branches      1192     1191       -1     
===========================================
- Hits          4510     4500      -10     
+ Misses         420      417       -3     
  Partials       273      273              

Impacted Files	Coverage Δ
src/bin/scribble.ts	78.11% <75.49%> (+0.22%)	⬆️
src/rewriter/merge.ts	89.58% <100.00%> (-0.08%)	⬇️
src/spec-lang/tc/semcheck.ts	85.58% <100.00%> (+0.06%)	⬆️
src/instrumenter/utils.ts	73.80% <0.00%> (-0.61%)	⬇️
src/instrumenter/state_vars.ts	88.23% <0.00%> (-0.15%)	⬇️
src/instrumenter/instrument.ts	94.55% <0.00%> (-0.11%)	⬇️
src/spec-lang/tc/typecheck.ts	82.67% <0.00%> (-0.10%)	⬇️
src/instrumenter/custom_maps.ts	84.79% <0.00%> (-0.07%)	⬇️
src/instrumenter/annotations.ts	86.25% <0.00%> (-0.07%)	⬇️
... and 7 more

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update f956f2a...3c236bb. Read the comment docs.