pkgsrc-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[pkgsrc/trunk]: pkgsrc/cad/covered update to covered-0.4.7.
details: https://anonhg.NetBSD.org/pkgsrc/rev/82939fbc8c4a
branches: trunk
changeset: 519873:82939fbc8c4a
user: dmcmahill <dmcmahill%pkgsrc.org@localhost>
date: Thu Oct 12 03:11:18 2006 +0000
description:
update to covered-0.4.7.
* 08/30/2006
Stable release covered-0.4.7 made. This release is mostly a bug fix release with two feature
additions. The new feature is the global -B option was performs name obfuscation on all identifying,
design-sensitive names from all output (with the exception of CDD file output). This option is
mostly useful as a way to share debugging information with the maintainer(s) of Covered without giving
away sensitive information. Additionally, the -rI score option was added to allow user's to completely
skip the race condition checking phase. This allows users to force Covered to consider all code for
coverage (if race condition checking is performed, all code considered to be potential race conditions
are automatically excluded from coverage consideration). User documentation has been updated for these
changes. The following lists the changes in this release.
- Fixed bug 1535412. Implicit event expressions (i.e., "always @*") now traverse named begin/end
blocks correctly to search for RHS variables.
- Fixed bugs related to segmentation faults and memory leak issues
- Fixed hierarchical reference search to match Verilog-1995 LRM
- Fixed bug 1538922. If -vcd or -lxt option was specified twice, an incorrect error message was
displayed to the user.
- Added -rI option to allow user's to bypass the race condition checking step in the score command.
- Fixed bug 1538920. Handling of any-edge triggered events (i.e., "@(b)") was incorrectly handled
by Covered. Additionally, fixed the event trigger operator (->) to work correctly with the new
changes.
- Fixed bug 1541944. Command options that require a value are now checked to make sure that a value
exists, and an appropriate error message is output if this is not achieved.
- Fixed bug 1542454. Command options that must only be allowed once on a command-line are now
checked and handled appropriately (caused a segmentation fault previously).
- Fixed bug 1544322. When an AND- or OR-type expression has either a left or right expression evaluate
to 0 or 1, respectively, Covered now outputs correct coverage information when the opposite expression
evaluates to an X or Z value, simultaneously.
- Fixed bug 1544325. Multi-variable expressions are now always output as such in report files.
- Fixed bug 1544169. Avoiding consideration of named begin/end block keywords in line coverage.
- Fixed bug 1546059. Covered now properly handles the removal of statement blocks that cannot be
considered for coverage which also contain parameters from another functional unit block.
- Fixed bug with connection of statements in a statement block.
- Updated documentation to match new features added in this release.
* 07/22/2006
Stable release covered-0.4.6 made. This release contains several bug fixes that are listed below.
- Fixed segmentation fault bug which occurs when a multi-bit select on the LHS contains any
expression besides static values.
- Fixed several memory leaks found with valgrind
- Fixed bug 1520159 - arrays of instances incorrectly always started at index 0.
- Fixed bug 1521598 having to do with reduction unary invert and logical not operators not
calculating correctly.
- Fixed bug in db_read when a functional unit is being merged to point to the used module.
- Fixed assertion in link.c such that no segmentation fault occurs if a string is not found
in a str_link list for deletion.
- Fixed bug pertaining to embedded concatenations within function/task parameter lists.
- Fixed bug pertaining to empty named begin-end blocks.
- Fixed bug in the db_read function that would cause Covered to flag an internal assertion
error if an error occurred while reading the CDD file and the global -D option was specified.
- Fixed upwards name referencing bug (1524705).
- Enhanced regression suite to verify that all of these bugs are properly fixed.
* 07/08/2006
Stable release covered-0.4.5 made. This release contains a bug fix to properly handle cases
where two or more signals are declared with a parameter in their range field (i.e., reg [FOO:0] a, b;)
This caused Covered to segfault due to attempting to free the same address twice. Bug 1518932.
Also contains a bug fix to properly remove statement blocks that contain case, casex or casez
expressions and unbindable expressions.
* 5/28/2006
Stable release covered-0.4.4 made. This release contains a bug fix to proper handle hierarchical
referencing of parameter values. This feature was technically not supported in the past but caused
an internal assertion error when this was performed. The feature is now fully supported.
* 4/21/2006
Stable release covered-0.4.3 made. This release contains a bug fix to the statement connection function that
caused segmentation faults during the score command. Also added support for big endian wires/regs. This
information was being ignored by the parser and, consequently, was not being handled correctly by Covered's
internal simulator, leading to incorrect coverage information. The lack of this support was also causing
an internal error in the memory allocation routine when scoring the dumpfile.
* 4/17/2006
Stable release covered-0.4.2 made. This release contains a bug fix that caused an assertion error in the
binding.c source file to occur. The reason for this assertion was a syntax error in the parser that caused
problems when more than one task call was made in a statement block. Also added support for multi-line
definitions (i.e., a '\' character used at the end of a definition line). This was missing but was not meant
to be missing.
* 4/4/2006
Stable release covered-0.4.1 made. This release contains one bug fix that causes an assertion error when
compiling designs that use a concatenation operation on the left-hand-side of assignment statements. If
you are experiencing this problem with the 0.4 release, it is recommended that you use this new release
instead.
* 3/29/2006
Stable release covered-0.4 made. In addition to all of the features, optimizations and bug fixes
that have gone into the development releases from the 0.3 stable release, the following features, updates
and bug fixes have been added.
- Fixed bug with a statement connection issue that causes lines of code to be not considered for
coverage that should have been.
- Fixed bug in report command where combinational expressions were not being output to match the original
Verilog code.
- Added CDD file viewer window to GUI to allow the user to see which CDD files are currently loaded/merged.
- Fixed bug in combinational logic verbose viewer which caused the window to resize dependent upon
the location of the cursor (this was an annoyance)
- Changed the output of simple combinational logic to change to unary combinational logic output if either
the left or the right expression was a constant value (eliminates unachievable combinational logic cases
from being output leading to more accurate coverage results).
- Removed combinational expressions that contain only constant values from being considered for coverage.
- Updated simple combinational logic output in reports to be as concise as possible for AND and OR type
expressions.
- Removed duplication of information in CDD files for race conditions.
- Fixed bug in GUI dealing with showing race conditions
- Fixing bug in GUI pertaining to the next/previous buttons in the combinational logic detail viewer. Previously,
clicking on one of these buttons would only advance you to the next uncovered line. Now it will advance
you to the next uncovered statement.
- Updated development, user and GUI documentation to reflect the above changes and to bring them up-to-date
with the rest of the tool.
Please see the ChangeLog file for all changes made from the 0.3 stable release to the 0.4 stable release.
Lots of enhancements, features, optimizations, bug fixes, performance improvements and documentation improvements
are contained in this stable release, making it very worth while for any Covered users to get their hands on
it.
diffstat:
cad/covered/Makefile | 26 ++++----
cad/covered/PLIST | 92 ++++++++++++++++++++++++++++++++-
cad/covered/distinfo | 24 +-------
cad/covered/patches/patch-aa | 22 -------
cad/covered/patches/patch-ab | 55 -------------------
cad/covered/patches/patch-ac | 58 --------------------
cad/covered/patches/patch-ad | 56 -------------------
cad/covered/patches/patch-ae | 121 -------------------------------------------
cad/covered/patches/patch-af | 54 -------------------
cad/covered/patches/patch-ag | 22 -------
cad/covered/patches/patch-ah | 13 ----
cad/covered/patches/patch-ai | 22 -------
cad/covered/patches/patch-aj | 22 -------
cad/covered/patches/patch-ak | 13 ----
cad/covered/patches/patch-al | 13 ----
cad/covered/patches/patch-am | 13 ----
cad/covered/patches/patch-an | 22 -------
cad/covered/patches/patch-ao | 13 ----
cad/covered/patches/patch-ap | 13 ----
19 files changed, 107 insertions(+), 567 deletions(-)
diffs (truncated from 771 to 300 lines):
diff -r febf119d3153 -r 82939fbc8c4a cad/covered/Makefile
--- a/cad/covered/Makefile Wed Oct 11 21:14:57 2006 +0000
+++ b/cad/covered/Makefile Thu Oct 12 03:11:18 2006 +0000
@@ -1,8 +1,7 @@
-# $NetBSD: Makefile,v 1.10 2006/02/05 23:08:20 joerg Exp $
+# $NetBSD: Makefile,v 1.11 2006/10/12 03:11:18 dmcmahill Exp $
#
-DISTNAME= covered-0.3
-PKGREVISION= 1
+DISTNAME= covered-0.4.7
CATEGORIES= cad
MASTER_SITES= ${MASTER_SITE_SOURCEFORGE:=covered/}
@@ -12,23 +11,22 @@
PKG_INSTALLATION_TYPES= overwrite pkgviews
-BUILD_DEPENDS+= bison-[0-9]*:../../devel/bison
DEPENDS+= verilog{,-current}-[0-9]*:../../cad/verilog
CONFLICTS+= covered-current-[0-9]*
-REPLACE_PERL= diags/verilog/check_test
GNU_CONFIGURE= YES
-USE_TOOLS+= gmake perl:run
-TEST_DIRS= ${WRKSRC}/diags/regress
-TEST_TARGET= iverilog
+USE_TOOLS+= bison gmake
-post-patch:
- ${CHMOD} 755 ${WRKSRC}/missing
-
-pre-install:
- ${INSTALL_PROGRAM_DIR} ${PREFIX}/bin
- ${INSTALL_MAN_DIR} ${PREFIX}/man/man1
+# we use this hack of setting a cache variable because
+# the configure script uses AC_PATH_PROG to try and find
+# the *Config.sh scripts but these are not installed with
+# the execute bit set.
+CONFIGURE_ENV+= r_cv_path_TCL_CONFIG=${BUILDLINK_PREFIX.tcl}/lib/tclConfig.sh
+CONFIGURE_ENV+= r_cv_path_TK_CONFIG=${BUILDLINK_PREFIX.tk}/lib/tkConfig.sh
.include "../../devel/gperf/buildlink3.mk"
+.include "../../devel/zlib/buildlink3.mk"
+.include "../../lang/tcl/buildlink3.mk"
+.include "../../x11/tk/buildlink3.mk"
.include "../../mk/bsd.pkg.mk"
diff -r febf119d3153 -r 82939fbc8c4a cad/covered/PLIST
--- a/cad/covered/PLIST Wed Oct 11 21:14:57 2006 +0000
+++ b/cad/covered/PLIST Thu Oct 12 03:11:18 2006 +0000
@@ -1,3 +1,93 @@
-@comment $NetBSD: PLIST,v 1.1.1.1 2003/08/24 18:38:06 dmcmahill Exp $
+@comment $NetBSD: PLIST,v 1.2 2006/10/12 03:11:18 dmcmahill Exp $
bin/covered
man/man1/covered.1
+share/covered/.coveredrc
+share/covered/doc/gui/comb.html
+share/covered/doc/gui/cov_bar.html
+share/covered/doc/gui/cov_view.html
+share/covered/doc/gui/file_menu.html
+share/covered/doc/gui/help_menu.html
+share/covered/doc/gui/images/banner.gif
+share/covered/doc/gui/images/color.png
+share/covered/doc/gui/images/comb_complex.png
+share/covered/doc/gui/images/comb_event.png
+share/covered/doc/gui/images/comb_simple.png
+share/covered/doc/gui/images/comb_simple_and.png
+share/covered/doc/gui/images/comb_simple_or.png
+share/covered/doc/gui/images/comb_unary.png
+share/covered/doc/gui/images/dn_button.png
+share/covered/doc/gui/images/file_menu.png
+share/covered/doc/gui/images/help_menu.png
+share/covered/doc/gui/images/main_cov.png
+share/covered/doc/gui/images/main_info.png
+share/covered/doc/gui/images/main_lb.png
+share/covered/doc/gui/images/main_menu.png
+share/covered/doc/gui/images/main_summary.png
+share/covered/doc/gui/images/main_viewer.png
+share/covered/doc/gui/images/main_window.png
+share/covered/doc/gui/images/open_cdd.png
+share/covered/doc/gui/images/populated_lb.png
+share/covered/doc/gui/images/pref_window.png
+share/covered/doc/gui/images/report_menu.png
+share/covered/doc/gui/images/summary_window.png
+share/covered/doc/gui/images/toggle_full.png
+share/covered/doc/gui/images/up_button.png
+share/covered/doc/gui/images/view_menu.png
+share/covered/doc/gui/info_bar.html
+share/covered/doc/gui/intro.html
+share/covered/doc/gui/line.html
+share/covered/doc/gui/main.html
+share/covered/doc/gui/main_menu.html
+share/covered/doc/gui/mod_inst_lb.html
+share/covered/doc/gui/preferences.html
+share/covered/doc/gui/report_menu.html
+share/covered/doc/gui/summary.html
+share/covered/doc/gui/summary_bar.html
+share/covered/doc/gui/toggle.html
+share/covered/doc/gui/view_menu.html
+share/covered/doc/gui/welcome.html
+share/covered/doc/user/001.html
+share/covered/doc/user/002.html
+share/covered/doc/user/003.html
+share/covered/doc/user/004.html
+share/covered/doc/user/005.html
+share/covered/doc/user/006.html
+share/covered/doc/user/007.html
+share/covered/doc/user/008.html
+share/covered/doc/user/009.html
+share/covered/doc/user/010.html
+share/covered/doc/user/011.html
+share/covered/doc/user/012.html
+share/covered/doc/user/013.html
+share/covered/doc/user/014.html
+share/covered/doc/user/015.html
+share/covered/doc/user/016.html
+share/covered/doc/user/017.html
+share/covered/doc/user/018.html
+share/covered/doc/user/019.html
+share/covered/doc/user/020.html
+share/covered/doc/user/021.html
+share/covered/doc/user/022.html
+share/covered/doc/user/banner.gif
+share/covered/doc/user/example.rptI.html
+share/covered/doc/user/example.rptM.html
+share/covered/doc/user/example.v.html
+share/covered/doc/user/index.html
+share/covered/doc/user/styles.css
+share/covered/scripts/banner.gif
+share/covered/scripts/cdd_view.tcl
+share/covered/scripts/comb.tcl
+share/covered/scripts/cov_create.tcl
+share/covered/scripts/help.tcl
+share/covered/scripts/main_view.tcl
+share/covered/scripts/menu_create.tcl
+share/covered/scripts/preferences.tcl
+share/covered/scripts/process_file.tcl
+share/covered/scripts/summary.tcl
+share/covered/scripts/toggle.tcl
+@dirrm share/covered/scripts
+@dirrm share/covered/doc/user
+@dirrm share/covered/doc/gui/images
+@dirrm share/covered/doc/gui
+@dirrm share/covered/doc
+@dirrm share/covered
diff -r febf119d3153 -r 82939fbc8c4a cad/covered/distinfo
--- a/cad/covered/distinfo Wed Oct 11 21:14:57 2006 +0000
+++ b/cad/covered/distinfo Thu Oct 12 03:11:18 2006 +0000
@@ -1,21 +1,5 @@
-$NetBSD: distinfo,v 1.9 2006/08/31 17:26:42 rillig Exp $
+$NetBSD: distinfo,v 1.10 2006/10/12 03:11:18 dmcmahill Exp $
-SHA1 (covered-0.3.tar.gz) = 10c9231dd4cb2bf8cc28403d28b654c958b3b24e
-RMD160 (covered-0.3.tar.gz) = a9a0e82ca790a82934d3e07cf16fb401c09f8f7f
-Size (covered-0.3.tar.gz) = 758152 bytes
-SHA1 (patch-aa) = 77c21638506a2a20bf1003994a71fb4d27eee118
-SHA1 (patch-ab) = 5cb1af8100cb78bfef1cda3bde9ea6f1b0756878
-SHA1 (patch-ac) = b934c13b174cb7adb80b5f90a440e0644f6d11c6
-SHA1 (patch-ad) = de075fa6bc90ae4a06ee1353b7d0b2cd5a3e5dae
-SHA1 (patch-ae) = 432911dccba1ae8158900f7456ad16851a369a37
-SHA1 (patch-af) = 63b86f7d21e121df6d318fc9e2e629f2a4eee940
-SHA1 (patch-ag) = 1d6cc251fa25d725791a60cbcfdf0f7ecaaf81d0
-SHA1 (patch-ah) = c3a8c2f6de25619f93e66f2fc5d26a92c17e58d4
-SHA1 (patch-ai) = 7bec529bd6a4fbc2ce09c9b1961b24ff79d3a661
-SHA1 (patch-aj) = 3e390b1c4ab2411500fd1769e48da3a97cdc7077
-SHA1 (patch-ak) = b2e2e56cd67cb4fb92bba697ec1584628bf62862
-SHA1 (patch-al) = 3d1a8610d4ff21c7a33094f99752c86658656a4d
-SHA1 (patch-am) = 84d78caa1aa5500f2281f0958f6af17ef03bc112
-SHA1 (patch-an) = 53ebebce8e20f66a1f31d70187cfa210dd91d223
-SHA1 (patch-ao) = e29d5413cabb01c52af75b52fda204a45e5459fd
-SHA1 (patch-ap) = 5dda0a364742514784d14893c4ce0d82388d3524
+SHA1 (covered-0.4.7.tar.gz) = 9dd9da4d739db15e5e2ea36f2767136a825a4728
+RMD160 (covered-0.4.7.tar.gz) = 63720610a24e6e71b9622586d561e3eb92a606f5
+Size (covered-0.4.7.tar.gz) = 1077912 bytes
diff -r febf119d3153 -r 82939fbc8c4a cad/covered/patches/patch-aa
--- a/cad/covered/patches/patch-aa Wed Oct 11 21:14:57 2006 +0000
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,22 +0,0 @@
-$NetBSD: patch-aa,v 1.2 2006/08/22 17:00:24 joerg Exp $
-
---- doc/Makefile.orig 2003-08-17 03:13:41.000000000 +0000
-+++ doc/Makefile
-@@ -1,13 +1,12 @@
- all:
-- - doxygen covered.dox
-- - cd ./user; make all
-+ - cd ./user; ${MAKE} all
-
- install:
-- - cd ./user; make install
-+ - cd ./user; ${MAKE} install
-
- uninstall:
-- - cd ./user; make uninstall
-+ - cd ./user; ${MAKE} uninstall
-
- clean:
- rm -rf ./devel/html ./devel/latex
-- - cd ./user; make clean
-+ - cd ./user; ${MAKE} clean
diff -r febf119d3153 -r 82939fbc8c4a cad/covered/patches/patch-ab
--- a/cad/covered/patches/patch-ab Wed Oct 11 21:14:57 2006 +0000
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,55 +0,0 @@
-$NetBSD: patch-ab,v 1.2 2006/08/22 17:00:24 joerg Exp $
-
---- src/parser.y.orig 2004-03-16 05:45:43.000000000 +0000
-+++ src/parser.y
-@@ -61,12 +61,26 @@ int yydebug = 1;
- YYLLOC_DEFAULT macro that makes up a yylloc value from existing
- values. I need to supply an explicit version to account for the
- text field, that otherwise won't be copied. */
--# define YYLLOC_DEFAULT(Current, Rhs, N) \
-- Current.first_line = Rhs[1].first_line; \
-- Current.first_column = Rhs[1].first_column; \
-- Current.last_line = Rhs[N].last_line; \
-- Current.last_column = Rhs[N].last_column; \
-- Current.text = Rhs[1].text;
-+
-+# define YYLLOC_DEFAULT(Current, Rhs, N) \
-+ do \
-+ if (N) \
-+ { \
-+ (Current).first_line = YYRHSLOC(Rhs, 1).first_line; \
-+ (Current).first_column = YYRHSLOC(Rhs, 1).first_column; \
-+ (Current).last_line = YYRHSLOC(Rhs, N).last_line; \
-+ (Current).last_column = YYRHSLOC(Rhs, N).last_column; \
-+ (Current).text = YYRHSLOC(Rhs, 1).text; \
-+ } \
-+ else \
-+ { \
-+ (Current).first_line = (Current).last_line = \
-+ YYRHSLOC(Rhs, 0).last_line; \
-+ (Current).first_column = (Current).last_column = \
-+ YYRHSLOC(Rhs, 0).last_column; \
-+ (Current).text = YYRHSLOC(Rhs, 0).text; \
-+ } \
-+ while (0)
-
- %}
-
-@@ -75,7 +89,7 @@ int yydebug = 1;
- int integer;
- vector* number;
- double realtime;
-- signal* sig;
-+ signal_s* sig;
- expression* expr;
- statement* state;
- static_expr* statexp;
-@@ -3025,7 +3039,7 @@ dr_strength1
- event_control
- : '@' IDENTIFIER
- {
-- signal* sig;
-+ signal_s* sig;
- expression* tmp;
- if( ignore_mode == 0 ) {
- sig = db_find_signal( $2 );
diff -r febf119d3153 -r 82939fbc8c4a cad/covered/patches/patch-ac
--- a/cad/covered/patches/patch-ac Wed Oct 11 21:14:57 2006 +0000
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,58 +0,0 @@
-$NetBSD: patch-ac,v 1.1 2006/08/22 17:00:24 joerg Exp $
-
---- src/defines.h.orig 2006-08-22 18:38:23.000000000 +0000
-+++ src/defines.h
-@@ -1061,7 +1061,7 @@ typedef struct expression_s expression;
- /*!
- Renaming signal structure for convenience.
- */
--typedef struct signal_s signal;
-+typedef struct signal_s signal_s;
-
- /*!
- Renaming FSM structure for convenience.
-@@ -1074,7 +1074,7 @@ struct expression_s {
- int id; /*!< Specifies unique ID for this expression in the parent */
- int ulid; /*!< Specifies underline ID for reporting purposes */
- int line; /*!< Specified line in file that this expression is found on */
-- signal* sig; /*!< Pointer to signal. If NULL then no signal is attached */
-+ signal_s* sig; /*!< Pointer to signal. If NULL then no signal is attached */
- expr_stmt* parent; /*!< Parent expression/statement */
- expression* right; /*!< Pointer to expression on right */
- expression* left; /*!< Pointer to expression on left */
-@@ -1205,7 +1205,7 @@ struct signal_s {
-
- /*------------------------------------------------------------------------------*/
- struct sig_link_s {
-- signal* sig; /*!< Pointer to signal in list */
-+ signal_s* sig; /*!< Pointer to signal in list */
- sig_link* next; /*!< Pointer to next signal link element in list */
- };
-
-@@ -1252,7 +1252,7 @@ struct mod_parm_s {
- unsigned int suppl; /*!< Supplemental field containing type and order number */
- exp_link* exp_head; /*!< Pointer to head of expression list for dependents */
- exp_link* exp_tail; /*!< Pointer to tail of expression list for dependents */
-- signal* sig; /*!< Pointer to associated signal (if one is available) */
Home |
Main Index |
Thread Index |
Old Index