Module Name:	pkgsrc
Committed By:	dmcmahill
Date:		Sat Nov 27 15:04:02 UTC 2004

Modified Files:
	pkgsrc/cad/covered: Makefile distinfo

Log Message:
update to covered-0.3

Changes since the last stable release:

  - User-specified FSM code coverage.  By using command-line options or inline code specified
    by the user, FSM code coverage can be extracted from the design.  This does not include
    the ability to automatically extract FSMs from the design (an ability that will be added
    in future stable releases).
  - Enhanced performance of the score command.  A 3x - 5x speedup in the running time of the
    score command on the design should be expected with this release over past stable releases.
  - Enhanced readability of coverage reports.  The coverage report look has been overhauled to
    produce a much more readable/understandable coverage report.
  - Several bug-fixes have been made, including coverage number calculation bugs.
  - Development and user documentation updates.
  - Enhanced regression suite.


To generate a diff of this commit:
cvs rdiff -r1.5 -r1.6 pkgsrc/cad/covered/Makefile
cvs rdiff -r1.3 -r1.4 pkgsrc/cad/covered/distinfo

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.