• Ticc
• Release Roadmap

This is a list of things we need to do before the first release of Ticc, called Ticc 0.1:

To Do

Completed

• We need at least a version of simulation which works. So Vishwa, you need to fix the bug Ticc/BugHigh/Simulation: Incomplete State

• Simulation (Vishwa): in the HTML output, on each line, the variables that have changed since the previous state should be highlighted.

• Mod bug (Pritam): look into what might be causing Ticc/BugMedium/Modulo misbehavior.

• Testing (Bo/Andrew/Luca): check composition with more examples. Is the game played correctly? Are the invariants right?
• Simulation doc (Vishwa): add a page describing simulation to the wiki.
• Ticc API (Bo): create the ticc.html file before packing ticc sources into tarball
• Ticc API doc (Bo): upload the ticc.html file to the wiki
• Testing:
  • FROCOS printer example (Bo)
  • FOCLASA buffer-receiver, Fig 2 (Bo)
  • examples/etc/buffer-receiver2 to buffer two messages (Bo)
  • examples/etc/buffer-receiver3 to buffer two messages better (Bo)

Postponed