feat: add engine simulator with message passing and pretty printing #355
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
Success! Preview available at https://specs.anoma.net/pr-355/. |
## PR Todo List
- **Type of Change**: Mark the relevant option(s) with 'x':
- [ ] System Architecture Change
- [ ] Node Architecture Change
- [ ] Tutorial Enhancement
- [ ] Juvix Types/Package Update
- [ ] Repository Maintenance
- **PR Management**:
- [ ] Provide a clear and concise description of the changes.
- [ ] Link to important pages of the PR preview if available.
- [ ] Add the changelog entry by running the `unclog` command, after
creating
the PR so that the PR number is taken into account.
- [ ] Add the appropriate labels to the PR.
- [ ] Assign the PR to the correct person, typically the author.
- [ ] Set the milestone for the PR, ensuring it aligns with the next
release.
- [ ] Confirm if the PR is ready for review; if not, mark it as a draft.
- [ ] Ensure the PR title and description are clear and concise.
- [ ] Verify that changes are closely related to the PR title and
description,
focusing on a single change topic per PR.
- **Grammar Checks**: Ensure that all text in the PR is grammatically
correct.
- **Whitespace**: Verify that there are no unnecessary whitespaces in
the
code. Although, this is may be done automatically by the CI/CD pipeline.
…to anthony/simulator
jonaprieto
changed the title
jonaprieto
added
enhancement
This update enhances the documentation site navigation. It introduces new subsections under "Node" for Integration, which includes simulator and visualizer topics, along with example documentation. Additionally, it adds entries related to Runnable traits in the Resource Machine section. These additions aim to improve accessibility and clarity around these components within the architecture.
Eliminated extra spaces at the end of lines within several markdown documents to improve formatting and adhere to style norms. This change does not affect content functionality but enhances document readability and cleanliness.
Updated code blocks in prelude.juvix.md to explicitly specify 'juvix' as the language for syntax highlighting. Removed redundant delimiters around `mk` definitions for clarity. This improves readability and ensures consistent formatting across documentation.
Revised the documentation for the Nockma implementation to include detailed tables and comprehensive sections on core data types, storage systems, gas management, and evaluation operations. This update improves clarity by presenting operational codes in a tabular format with descriptions and adding new sections that outline the structure and function of various components of Nockma, such as gas state monads, helper operations, and the main evaluator. The changes make it easier for developers to understand and work with the Nockma system by providing clearer insights into its architecture and operational logic.
…tion The simulator.juvix.md and visualizer.juvix.md documents have been updated to improve clarity and organization. The simulator document now includes sections for module setup, network state types, guard execution logic, and other simulation components, enhancing readability. The visualizer document refines function grouping and adds helper functions for string conversion and message representation, making the codebase easier to navigate and understand. These changes aim to streamline information retrieval and improve maintenance efficiency of the documentation.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Implements a simulator function that steps from an initial network state, delivering messages and accumulating the delivered messages in a list, which can be processed into, for example, a message passing diagram.
Also implements a nockma runnable instance and fixed bugs associated with sim implementaion.