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

Implement export to LTL at the Alloy level #51

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

Implement export to LTL at the Alloy level #51

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

Comments

@nmacedo
Copy link
Member

nmacedo commented Sep 29, 2020

Currently export to LTL is done at Pardinus level, which still causes some issues (new relations, changing arity), better to re-implement at higher level.
@nmacedo nmacedo added bug Something isn't working visualizer labels Sep 29, 2020
@nmacedo nmacedo added this to the Electrum 2.1 milestone Sep 29, 2020
@nmacedo nmacedo self-assigned this Sep 29, 2020
@nmacedo nmacedo closed this as completed Oct 1, 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