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.

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

Integration of Alloy backend #68

Closed
yoogx opened this issue Jul 7, 2016 · 0 comments
Closed

Integration of Alloy backend #68

yoogx opened this issue Jul 7, 2016 · 0 comments
Assignees

Comments

@yoogx
Copy link
Contributor

yoogx commented Jul 7, 2016

A backend for the Alloy tool has been developed. This ticket is to track its integration as part of Ocarina.

@yoogx yoogx self-assigned this Jul 7, 2016
yoogx added a commit that referenced this issue Sep 9, 2016
yoogx added a commit that referenced this issue Sep 9, 2016
@yoogx yoogx closed this as completed Sep 9, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant