***Description.txt***
All evaluation data from the Table 5 in our paper is inside a folder called EvaluationData.
There are four folders: Graph,Program, Hybrid and Model checking. These names match the categories in the Table 5.
Inside each folder, you can find a list of cyclone specs that match the names in the Table 5.


***Trace***
If you would like to change the cyclone spec to produce a different type of trace, please use the following options at the beginning of a spec. 
1. 'option-trace=true;'   :Generate a text-based trace file, if a spec is satisified.
2. 'option-output="dot";' :Generate a dot file that can further be used for producing an image-based trace using (dot). Graphviz must be installed.


***Interchangable Keywords***
Note the following set of keywords are interchangable in Cyclone. Interchangeably using them does not change the semantics of a speficiation. 
1. node/state
2. graph/machine
3. edge/trans/transition
4. condition/via
5. on/label
6. reach/stop


***Tutorial***
A full tutorial about how to use Cyclone is available at: https://classicwuhao.github.io/cyclone_tutorial/tutorial-content.html
This tutorial covers many features of Cyclone. 


***Language Reference***
For a complete list of features about Cyclone, please visit the following link.
https://classicwuhao.github.io/cyclone_tutorial/expr/reference.html


