This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
start [2018/09/25 16:29] sanjay [Tutorial / Examples] |
start [2018/10/23 09:26] sanjay [Installing AlphaZ and Getting Started] |
||
---|---|---|---|
Line 21: | Line 21: | ||
====== Installing AlphaZ and Getting Started ====== | ====== Installing AlphaZ and Getting Started ====== | ||
- | Instruction to setup AlphaZ | + | To use AlphaZ |
- | Operating systems other than MacOSX and Linux are not supported at this time.\\ | + | |
- | Support for 32bit Linux is limited, since we have very little access to 32bit machines.\\ | + | |
- | [[Eclipse Setup]] | + | |
- | Source for AlphaZ are available in our repository, but our system depends on Eclipse and plug-ins developed for Eclipse Modeling Framework as well. We also use a large number of plug-ins from CAIRN team at IRISA, Rennes. The repository structure of CSU and IRISA is outlined in this page : [[Source Access]]. However, it is not a complete list, and we recommend users to download the bundle and then checkout projects corresponding to where you would like to make changes. | + | Instructions to set up an AlphaZ developer version for CS department accounts, and/or on an external machine are also available on the [[Eclipse Setup]] page. |
+ | |||
+ | Operating systems other than MacOSX and Linux are not supported at this time. Support for 32bit Linux is limited, since we have very little access to 32bit machines. | ||
+ | |||
+ | Source for AlphaZ are available in our repository, but our system depends on Eclipse and plug-ins developed for Eclipse Modeling Framework as well. We also use a large number of plug-ins from CAIRN team at IRISA, Rennes. The repository structure of CSU and IRISA is outlined in this page : [[Source Access]]. However, it is not a complete list, and we recommend users to download the bundle and then checkout projects corresponding to where you would like to make changes. | ||
====== Alphabets and Equational Programming ====== | ====== Alphabets and Equational Programming ====== | ||