This is an old revision of the document!
AlphaZ has been only tested on 64 bit Linux and MacOS. There are several options that can be used to get a working eclipse instance with AlphaZ installed.
You must be a CSU student with access to the CS deparment machines to do this. An eclipse environment with all necessary plug-ins is available in the AlphaZ project directory. Run the following in a bash terminal to add the AlphaZ project directory to your path:
echo 'export PATH=/s/chopin/h/proj/AlphaZ/bin:$PATH' >> ~/.bashrc source ~/.bashrc
Then launch Eclipse with the following command:
eclipse.alphaz
Alternatively, you can install eclipse on your own machine and manually install the AlphaZ plugins directly.
See the README in the AlphaZ git repo:
https://mustang.cs.colostate.edu:3000/melange/AlphaZ
Note that this link is not public and is only accessible from the CSU network (you either need to be physically on campus or connected to the VPN).
To get started with AlphaZ, a Java plug-in project with examples can be checked out from our repository. From Eclipse, do the following:
File
> Import…
> Git
> Projects from Git
> click Next
> Clone URI
> click Next
URI:
field, specify https://mustang.cs.colostate.edu:3000/melange/AlphaZ
> click Next
and follow the prompts with defaults until you reach the “Import Projects” stepDeselect All
> select the edu.csu.melange.alphabets.examples
project from the list > click Finish
If you see certificate (SSL) warnings, ignore them.
Inside the edu.csu.melange.alphabets.examples
project, you will find two directories, AlphabetsExamples
and CommandScripts
. Alphabets is the programming language for programming in equations (with extension .ab), and CompilerScripts (.cs) are script files to use the scripting interface of AlphaZ.
Try running BasicScript.cs
in the CommandScripts
directory to make sure that the system is working on your machine (right click BasicScript.cs
> Run as
> Compiler Script
).
ReadAlphabets
loads .ab files and parses it to get a Program
object.
Objects returned by commands and strings/integers can be stored in untyped variables.
Show
, AShow
, PrintAST
are all commands to print out the program in different formats.
generateXXX
commands takes the program and generates executable C code.
Check the following if something does not work