• Ticc
• Release Information

Ticc 0.3 (released May 15, 2008)

• Various bugfixes.
• Undocumented support for real-time. We will document this fully in the next release.
• Ability to extract the MDD corresponding to the initial condition of a module.
• Ability to modify the initial condition of a module.
• Ability to print a counterexample path for an action, which witnesses an instance in which it is no longer possible to provide the action in input to the system. Given an action name, Ticc produces a path that starts at an initial state, traverses valid states, then takes the action leading from a valid state to a state that has been pruned as a consequence of the last composition. From there, the path continues until a locally incompatible state.

Ticc 0.20.1 (released August 22, 2006)

This is a bugfix version.

Ticc 0.20 (released August 8, 2006)

This corresponds to svn revision 57.

Added:

• CTL Operators. With these, writing a bit of code in the Ocaml toplevel, you can easily get the whole mu-calculus.

• Module initial conditions. Now it is possible to declare the initial condition of modules. The initial condition of a module can involve its local variables only.

• Module statesets. Now statesets can be defined directly in modules, and not only in the Ticc toplevel. The boolean expression defining a stateset can involve both local and global variables.

• Regular expression matching for input actions. It is now possible to declare an input action such as print_*, ending in the character "*". This input action matches all output actions of other modules that begin with print_. Very convenient!

Improved:

• Composing modules, the fundamental operation in Ticc, has been made more efficient by several orders of magnitude, thanks to a new algorithm.

Fixed:

• Various minor bugfixes.

Ticc 0.12 (released January 27, 2006)

Added:

• Function in order to build the symbolic representations of the stateset declared in the input files.

• Functions to compute unions, intersections, etc of sets of states
• Function to test sets of states for emptiness

• print_bool

• Several new examples

Fixed:

• Removed some spurious printout of empty sets of shared local variables
• Changed the input grammar, to make the use of ";" and ":" more regular
• Fixed a serious bug in print_input_restriction, and generally improved this function, so that now the user feedback about inputs that have become disabled is generally useful.
• Improved the memory management

Converting Ticc input from 0.10 to 0.12:

• Converting Ticc input from 0.10 to 0.12

Ticc 0.10 (released January 20, 2006)

First release, still rather preliminary. Compatibility and composition for untimed systems.