Skip to content
This repository has been archived by the owner on Dec 30, 2024. It is now read-only.

Keep index as part of signal name #12

Merged
merged 1 commit into from
Sep 26, 2023

Conversation

oscargus
Copy link
Contributor

Related to #9

I realize that the current behavior is a design choice, but probably it is better to leave it to the viewer to decide if this should be included or not.

Copy link
Collaborator

@TheZoq2 TheZoq2 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I realize that the current behavior is a design choice, but probably it is better to leave it to the viewer to decide if this should be included or not.

Agreed, for Surfer I think we should add a config to select if you want [] there or not, but striping it, especially when #9 is a problem is not ideal

src/vcd/parse/scopes.rs Show resolved Hide resolved
@TheZoq2 TheZoq2 merged commit 806ad9b into ThePerfectComputer:main Sep 26, 2023
@oscargus oscargus deleted the keepindex branch September 26, 2023 11:12
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants