Make kernel procedure table inclusions part of virtual table builder

0xPolygonMiden / miden-vm

STARK-based virtual machine

MIT License

615 stars 152 forks source link

Make kernel procedure table inclusions part of virtual table builder #1258

Closed Al-Kindi-0 closed 3 months ago

Al-Kindi-0 commented 5 months ago

Describe your changes

Minor refactoring to stay consistent with the docs. Fixes some minor typos as well.

Checklist before requesting a review

Repo forked and branch created from next according to naming convention.
Commit messages and codestyle follow conventions.
Relevant issues are linked in the PR description.
Tests added for new functionality.
Documentation/comments updated according to changes.

plafer commented 3 months ago

@Al-Kindi-0 what is the status of this? Should we merge?

Al-Kindi-0 commented 3 months ago

If you could review it that would be great. Nothing big in this PR except for some re-shuffling and fixing some consistency issues, should be mergeable as is.