User Tools

Site Tools


start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
start [2018/02/08 14:08]
prerana [Introduction]
start [2018/09/25 16:29] (current)
sanjay [Tutorial / Examples]
Line 66: Line 66:
 List of Commands http://​www.cs.colostate.edu/​AlphaZ/​AlphaZCommandRef.pdf\\ List of Commands http://​www.cs.colostate.edu/​AlphaZ/​AlphaZCommandRef.pdf\\
 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 76:
 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.txt ยท Last modified: 2018/09/25 16:29 by sanjay