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

Invalid int identifiers in export instance as LTL #43

Closed
nmacedo opened this issue Sep 15, 2020 · 0 comments
Closed

Invalid int identifiers in export instance as LTL #43

nmacedo opened this issue Sep 15, 2020 · 0 comments
Assignees
@nmacedo
Labels
bug Something isn't working visualizer
Milestone
Electrum 2.1

Comments

@nmacedo
Copy link
Member

nmacedo commented Sep 15, 2020

No description provided.

@nmacedo nmacedo added bug Something isn't working visualizer labels Sep 15, 2020
@nmacedo nmacedo added this to the Electrum 2.1 milestone Sep 15, 2020
@nmacedo nmacedo self-assigned this Sep 15, 2020
@nmacedo nmacedo closed this as completed Sep 24, 2020
@nmacedo nmacedo mentioned this issue Nov 13, 2020
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@nmacedo nmacedo

Labels
bug Something isn't working visualizer
Projects
None yet
Milestone
Electrum 2.1
Development

No branches or pull requests
1 participant
@nmacedo