Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Textual representation of an instance shows redundant and low-level information #207

Closed
jbrubru opened this issue Mar 3, 2023 · 1 comment
Closed

Textual representation of an instance shows redundant and low-level information #207

jbrubru opened this issue Mar 3, 2023 · 1 comment
Assignees
@nmacedo
Labels
enhancement
Milestone
A6.2

Comments

@jbrubru
Copy link

jbrubru commented Mar 3, 2023

I the textual representation of an instance, some useless information appear. For instance:

  • integers appear twice: "integers" and "Int"
  • the state where the loopback occurs in the trace and the size of the trace are shown through "loop" and "end"
@jbrubru jbrubru mentioned this issue Mar 3, 2023
Open
@nmacedo nmacedo self-assigned this Apr 11, 2023
@nmacedo nmacedo added this to the A6.2 milestone Apr 11, 2023
nmacedo added a commit to nmacedo/org.alloytools.alloy that referenced this issue Apr 11, 2023
@nmacedo
cleaned up text viz (closes AlloyTools#207)
e54bbcd
@nmacedo
Copy link
Contributor

nmacedo commented Apr 11, 2023

Cleaned up text visualisation for 6.2.

@nmacedo nmacedo closed this as completed Apr 11, 2023
nmacedo added a commit to nmacedo/org.alloytools.alloy that referenced this issue Mar 27, 2024
@nmacedo
cleaned up text viz (closes AlloyTools#207)
bc36744
@nmacedo nmacedo mentioned this issue Mar 27, 2024
Merged
nmacedo added a commit to nmacedo/org.alloytools.alloy that referenced this issue Jul 17, 2024
@nmacedo
cleaned up text viz (closes AlloyTools#207)
6de2838
pkriens pushed a commit that referenced this issue Jul 21, 2024
@nmacedo @pkriens
cleaned up text viz (closes #207)
7d77cbc
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@nmacedo nmacedo

Labels
enhancement
Projects
None yet
Milestone
A6.2
Development

No branches or pull requests
2 participants
@nmacedo @jbrubru