[WIP] Go synthesis - Githubissues

balangs / eTeak

A GALS Synthesiser for the Balsa language

http://apt.cs.manchester.ac.uk/projects/tools/eTeak/

Other

4 stars 6 forks source link

[WIP] Go synthesis #9

Closed bohde closed 8 years ago

bohde commented 8 years ago

This is a WIP PR for synthesizing Go.

TODO:

[ ] Define the acceptance criteria for the PR