-
Notifications
You must be signed in to change notification settings - Fork 138
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Expose checker in analysis #3042
Conversation
Cadence Benchstat comparisonThis branch with compared with the base branch onflow:master commit 79a6c8c Collapsed results for better readability
|
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## master #3042 +/- ##
=======================================
Coverage 80.58% 80.58%
=======================================
Files 379 379
Lines 91117 91117
=======================================
Hits 73428 73428
Misses 15055 15055
Partials 2634 2634
Flags with carried forward coverage won't be shown. Click here to find out more. ☔ View full report in Codecov by Sentry. |
Work towards #2989
Description
Instead of just exposing the program's elaboration, expose the whole checker.
This allows users of the analysis framework to make use of the checker functionality, like looking up types by name, and converting AST types to sema types, and through that static types.
The latter mentioned functionality is going to be used in the state migration for the core contracts, which requires rewriting (static) types.
master
branchFiles changed
in the Github PR explorer