This repository contains (partial) copy of source code for AlphaZ system developed at Colorado State University: http://www.cs.colostate.edu/AlphaZ/wiki/
The original repositories are scattered across two sites (CSU, Inria Forge), and the connection was not well maintained when projects hosted on Inria (shared with GeCoS project) were migrated to gitlab. This port of AlphaZ includes all plugins that are no longer used by GeCoS and AlphaZ specific. All other plugins are fetched from new GeCoS update sites.
Follow the instructions below to install AlphaZ. It should work for Linux and Macosx (64 bits only).
For examples of how to use AlphaZ, see the original wiki at CSU (linked above).
Also the test project contains many examples:
https://github.com/CSU-CS-Melange/AlphaZ/tree/main/tests/edu.csu.melange.alphaz.mde.tests
Help -> Install new software
Xtext Complete SDK
and install
(you may find two or more, but pick one - it shows up under multiple categories, but they are the same thing)Help -> Install new software -> Manage...
Add...
to add a new repository. Create entries for the following 7 locations:
gecos framework
https://gecos.gitlabpages.inria.fr/gecos-framework/artifacts/
gecos emf tools
https://gecos.gitlabpages.inria.fr/gecos-tools/gecos-tools-emf/artifacts/
gecos graph tools
https://gecos.gitlabpages.inria.fr/gecos-tools/gecos-tools-graph/artifacts/
gecos isl
https://gecos.gitlabpages.inria.fr/gecos-tools/gecos-tools-isl/artifacts/
gecos jni mapper
https://gecos.gitlabpages.inria.fr/gecos-tools/gecos-tools-jnimapper/artifacts/
gecos tom mapping
https://gecos.gitlabpages.inria.fr/gecos-tools/gecos-tools-tommapping/artifacts/
gecos tom sdk
https://gecos.gitlabpages.inria.fr/gecos-tools/gecos-tools-tomsdk/artifacts/
Apply and Close
--All Available Sites--
and filter on the string gecos
to populate the list with artifacts from the locations that were just addedHelp -> Install new software
Add...
to add a new repository: https://csu-cs-melange.github.io/AlphaZ/
AlphaZ
and installDo the steps above and then additionally do the following:
Preferences -> Java -> Compiler
and set Compiler compliance level
to 1.8Import projects -> General -> Existing Projects into Workspace
Alternatively, you can download a pre-bundled version of Eclipse with AlphaZ from the following link:
https://csu-cs-melange.github.io/AlphaZ/