start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
start [2018/10/23 09:23] sanjay [Installing AlphaZ and Getting Started] |
start [2024/09/11 09:30] (current) lnarmour [Tutorial / Examples] |
||
|---|---|---|---|
| Line 21: | Line 21: | ||
| ====== Installing AlphaZ and Getting Started ====== | ====== Installing AlphaZ and Getting Started ====== | ||
| - | Instruction | + | To use AlphaZ on the CS department machines, follow the [[Eclipse Setup]]. |
| + | Instructions | ||
| - | Operating systems other than MacOSX and Linux are not supported at this time.\\ | + | 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. |
| - | Support for 32bit Linux is limited, since we have very little access to 32bit machines. | + | |
| - | To use AlphaZ on the CS department machines, follow the [[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. |
| - | + | ||
| - | 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 ====== | ||
| Line 67: | Line 65: | ||
| ====== Tutorial / Examples ===== | ====== Tutorial / Examples ===== | ||
| List of Commands http:// | List of Commands http:// | ||
| + | Tutorial using Forward Substitution [[Tutorial Forward Substitution]].\\ | ||
| Tutorial using LU decomposition [[Tutorial LUD]].\\ | Tutorial using LU decomposition [[Tutorial LUD]].\\ | ||
| Tutorial on Check Program [[Check Program]].\\ | Tutorial on Check Program [[Check Program]].\\ | ||
start.1540308234.txt.gz · Last modified: 2018/10/23 09:23 by sanjay
Except where otherwise noted, content on this wiki is licensed under the following license: Public Domain
