Oct 19, 2010 at 9:49 PM

Hi. I'm new to vcc.  The tutorial Verifying Concurrent Programs with VCC from 21 July 2010 has a few "TODOs" in it.  Is there a more up to date tutorial?

Also, am I right that the documentation at seems a bit out of date.  Am I right that it is better to stick to the tutorial?  Is it only the syntax at that is out of date, or are there other things to look out for?

Oct 20, 2010 at 9:51 PM

Hi Theodore,

  the VCC version dated 21 July 2010 is the latest published version of the tutorial. It is the best place to start learning VCC. New version of the tutorial will be linked from the VCC homepage when available. Also note that the tutorial sources and examples are available in the VCC sourcecode repository, under vcc\Docs\Tutorial.

  You are also right in noting that looks a bit out of date and mostly due to syntax. There are TODOs at places where the documentation is out of date for other reasons. I will try to make sure to add such comments where missing...

  Hope this helps, Mark

Oct 22, 2010 at 3:49 PM

Ok.  Thanks a lot.

Cheers, Theo