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/02/08 14:08] prerana [Introduction] |
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]]. |
| - | Operating systems other than MacOSX and Linux are not supported at this time.\\ | + | Instructions |
| - | 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. | + | 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 ====== | ||
| Line 65: | 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]].\\ | ||
| + | Example of how to use [[Schedule Code Generator]].\\ | ||
| Tutorial on how to use external functions [[Tutorial External Function]].\\ | Tutorial on how to use external functions [[Tutorial External Function]].\\ | ||
| Tutorial on how to write program with subsystem [[Tutorial SubSystem]]. \\ | Tutorial on how to write program with subsystem [[Tutorial SubSystem]]. \\ | ||
| - | Tutorial on Check Program [[Check Program]].\\ | ||
| {{^ [[Calculator]].}}\\ | {{^ [[Calculator]].}}\\ | ||
| Examples of how to use [[Normalize]].\\ | Examples of how to use [[Normalize]].\\ | ||
| Line 75: | Line 77: | ||
| Example of how to use [[Schedulers]].\\ | Example of how to use [[Schedulers]].\\ | ||
| {{^ [[Verifier]].}}\\ | {{^ [[Verifier]].}}\\ | ||
| - | Example of how to use [[Schedule Code Generator]].\\ | ||
| List of [[Code Gen Options]].\\ | List of [[Code Gen Options]].\\ | ||
| Examples of how to use [[Schedule Code Generator for code with SubSystem]].\\ | Examples of how to use [[Schedule Code Generator for code with SubSystem]].\\ | ||
start.1518124080.txt.gz · Last modified: 2018/02/08 14:08 by prerana
Except where otherwise noted, content on this wiki is licensed under the following license: Public Domain
