GaloisInc/tower — pull request #7 by leepike (2014-12-24 02:17:04+00:00)
Title: Hardcode names

Merge request for master: most changes are aadl-specific, with one change in the tower front-end, to export standard names for the "tower_user", "tower_gen", and loop function. (I decided against trying to pull more of the packaging functionality into the front-end.)