Previous news of the TVT project
12 November, 2002:
- The version 2.3.3 is out. This patch fixes a bug that caused
crashes on some platforms.
25 September, 2002:
- A bug in the implementation of the stubborn set algorithm fixed.
The version number of this patch is 2.3.2.
28 August, 2002:
- An unfortunate bug fixed in the stubborn set algorithm that
resulted in an erroneus output in some cases. We also fixed the
isolated makefile of the illustrator program that compiled with g++
only. The version number of this patch is 2.3.1.
22 August, 2002:
- The new TVT version 2.3 is
now available. With this version, a new program
tvt.SBcompare is introduced, as well as CFFD-preserving
stubborn sets support for the parallel composition program.
25 June, 2002:
1 June, 2002:
- A couple of more errors fixed. The number of the latest version of
TVT is now 2.2.2.
30 May, 2002:
- Few obvious errors fixed in the documentation and in the source code.
29 May, 2002:
- The new version 2.2 of TVT is published.
- There are four new english documents available online in Section
TVT online documentation.