• Ticc
• Converting Ticc input from 0.10 to 0.12

There are two differences between the input grammar of Ticc 0.10 and Ticc 0.12:

• In Ticc 0.12, the ";" is used only as a separator for guarded commands for output, local, and for the global portion of input guarded commands. To convert a file, the best is to remove all ";", and then add by hand the few that are needed, according to the syntax errors detected by the parser. The following Unix command performs the task of eliminating the ";" (you can also do this with an editor, of course):

    sed -e "s/;//g" file.si > file-new.si
  

• In Ticc 0.12, a ":" is needed between the name of an action and the "{" that starts the associated guarded commands. This has been done for analogy with the declarations of variables, modules, and statesets. The following Unix command performs the task of eliminating the ";" (you can also do this with an editor, of course):

    sed -e "s/{/: {/g" file.si > file-new.si
  

Both changes can be performed at once as follows:

 sed -e "s/{/: {/g" -e "s/;//g" file.si > file-new.si