Quick Start will get you started using Ticc.
The Ticc Toplevel: Once Ticc is compiled, it provides an Ocaml Toplevel augmented with commands to parse, compose, and analyze interfaces. Here are the commands available in Ticc 0.20.
Input Grammar: The input language of Ticc.
Global Structure of Ticc Programs: The global structure of Ticc input programs.
Guarded Commands: The semantics of Ticc guarded commands.
Expressions: The semantics of Ticc expression evaluation.
Random Simulation: Doing random simulation in Ticc.
Ticc Examples provides a list of examples that you can use for Ticc. The house example is a commented example you can find on this wiki.
Making a Distribution: How to prepare a Ticc tarball. This is likely to be useful mostly to the Ticc developers.
Dvlab Open Wiki