covered-doc_0.7.10-3_all.deb


Advertisement

Description

covered-doc - Verilog code coverage analysis tool - documentation

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package name covered-doc
Package version 0.7.10
Package release 3
Package architecture all
Package type deb
Installed size 2.35 KB
Download size 1.61 MB
Official Mirror ftp.br.debian.org
Description -

Alternatives

Package Version Architecture Repository
covered-doc_0.7.10-3_all.deb 0.7.10 all Debian Main
covered-doc - - -

Download

Type URL
Binary Package covered-doc_0.7.10-3_all.deb
Source Package covered

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install covered-doc deb package:
    # sudo apt-get install covered-doc

Files

Path
/usr/share/covered/doc/html/chapter.attr.html
/usr/share/covered/doc/html/chapter.boundaries.html
/usr/share/covered/doc/html/chapter.debug.html
/usr/share/covered/doc/html/chapter.epilogue.html
/usr/share/covered/doc/html/chapter.exclude.html
/usr/share/covered/doc/html/chapter.faq.html
/usr/share/covered/doc/html/chapter.gui.assert.html
/usr/share/covered/doc/html/chapter.gui.assert.source.html
/usr/share/covered/doc/html/chapter.gui.exclude.html
/usr/share/covered/doc/html/chapter.gui.fsm.html
/usr/share/covered/doc/html/chapter.gui.genreport.html
/usr/share/covered/doc/html/chapter.gui.intro.html
/usr/share/covered/doc/html/chapter.gui.line.html
/usr/share/covered/doc/html/chapter.gui.logic.html
/usr/share/covered/doc/html/chapter.gui.main.html
/usr/share/covered/doc/html/chapter.gui.memory.html
/usr/share/covered/doc/html/chapter.gui.new.html
/usr/share/covered/doc/html/chapter.gui.preferences.html
/usr/share/covered/doc/html/chapter.gui.rank.html
/usr/share/covered/doc/html/chapter.gui.toggle.html
/usr/share/covered/doc/html/chapter.gui.wizard.html
/usr/share/covered/doc/html/chapter.installation.html
/usr/share/covered/doc/html/chapter.intro.html
/usr/share/covered/doc/html/chapter.merge.html
/usr/share/covered/doc/html/chapter.metrics.html
/usr/share/covered/doc/html/chapter.race.html
/usr/share/covered/doc/html/chapter.rank.html
/usr/share/covered/doc/html/chapter.reading.html
/usr/share/covered/doc/html/chapter.report.html
/usr/share/covered/doc/html/chapter.score.html
/usr/share/covered/doc/html/chapter.start.html
/usr/share/covered/doc/html/chapter.using.html
/usr/share/covered/doc/html/covered.css
/usr/share/covered/doc/html/example.rptI.html
/usr/share/covered/doc/html/example.rptM.html
/usr/share/covered/doc/html/example.v.html
/usr/share/covered/doc/html/index.html
/usr/share/covered/doc/html/part.command.line.usage.html
/usr/share/covered/doc/html/part.epilogue.html
/usr/share/covered/doc/html/part.faq.html
/usr/share/covered/doc/html/part.gui.html
/usr/share/covered/doc/html/part.installation.html
/usr/share/covered/doc/html/part.overview.html
/usr/share/covered/doc/html/img/app_menu.gif
/usr/share/covered/doc/html/img/assert_excl.gif
/usr/share/covered/doc/html/img/assert_src.gif
/usr/share/covered/doc/html/img/assert_window.gif
/usr/share/covered/doc/html/img/banner.jpg
/usr/share/covered/doc/html/img/close_warn.gif
/usr/share/covered/doc/html/img/col_show_hide.gif
/usr/share/covered/doc/html/img/comb_complex.gif
/usr/share/covered/doc/html/img/comb_event.gif
/usr/share/covered/doc/html/img/comb_simple.gif
/usr/share/covered/doc/html/img/comb_simple_and.gif
/usr/share/covered/doc/html/img/comb_simple_or.gif
/usr/share/covered/doc/html/img/comb_unary.gif
/usr/share/covered/doc/html/img/dn_button.gif
/usr/share/covered/doc/html/img/er_full.gif
/usr/share/covered/doc/html/img/er_part.gif
/usr/share/covered/doc/html/img/exit_warn.gif
/usr/share/covered/doc/html/img/file_menu.gif
/usr/share/covered/doc/html/img/file_viewer.gif
/usr/share/covered/doc/html/img/fsm_example.png
/usr/share/covered/doc/html/img/fsm_excl.gif
/usr/share/covered/doc/html/img/fsm_window.gif
/usr/share/covered/doc/html/img/gen_menu.gif
/usr/share/covered/doc/html/img/help_menu.gif
/usr/share/covered/doc/html/img/home.gif
/usr/share/covered/doc/html/img/line_excl.gif
/usr/share/covered/doc/html/img/line_incl.gif
/usr/share/covered/doc/html/img/main_cov.gif
/usr/share/covered/doc/html/img/main_info.gif
/usr/share/covered/doc/html/img/main_lb.gif
/usr/share/covered/doc/html/img/main_menu.gif
/usr/share/covered/doc/html/img/main_viewer.gif
/usr/share/covered/doc/html/img/main_window.gif
/usr/share/covered/doc/html/img/memory_full.gif
/usr/share/covered/doc/html/img/new_cdd_define.gif
/usr/share/covered/doc/html/img/new_cdd_fsm.gif
/usr/share/covered/doc/html/img/new_cdd_gen.gif
/usr/share/covered/doc/html/img/new_cdd_insert_menu.gif
/usr/share/covered/doc/html/img/new_cdd_lib_ext.gif
/usr/share/covered/doc/html/img/new_cdd_mod_excl.gif
/usr/share/covered/doc/html/img/new_cdd_mod_gen.gif
/usr/share/covered/doc/html/img/new_cdd_name.gif
/usr/share/covered/doc/html/img/new_cdd_options.gif
/usr/share/covered/doc/html/img/new_cdd_options2.gif
/usr/share/covered/doc/html/img/new_cdd_parm_oride.gif
/usr/share/covered/doc/html/img/new_cdd_selection.gif
/usr/share/covered/doc/html/img/new_cdd_type.gif
/usr/share/covered/doc/html/img/next.gif
/usr/share/covered/doc/html/img/note.gif
/usr/share/covered/doc/html/img/populated_lb.gif
/usr/share/covered/doc/html/img/pref_color.gif
/usr/share/covered/doc/html/img/pref_exclude.gif
/usr/share/covered/doc/html/img/pref_goals.gif
/usr/share/covered/doc/html/img/pref_main.gif
/usr/share/covered/doc/html/img/pref_merge.gif
/usr/share/covered/doc/html/img/pref_syntax.gif
/usr/share/covered/doc/html/img/prev.gif
/usr/share/covered/doc/html/img/rank_files.gif
/usr/share/covered/doc/html/img/rank_options.gif
/usr/share/covered/doc/html/img/rank_output.gif
/usr/share/covered/doc/html/img/rank_report.gif
/usr/share/covered/doc/html/img/rank_selection.gif
/usr/share/covered/doc/html/img/report_menu.gif
/usr/share/covered/doc/html/img/rpt_gen_options.gif
/usr/share/covered/doc/html/img/rpt_gen_selection.gif
/usr/share/covered/doc/html/img/rpt_gen_view.gif
/usr/share/covered/doc/html/img/toggle_full.gif
/usr/share/covered/doc/html/img/up.gif
/usr/share/covered/doc/html/img/up_button.gif
/usr/share/covered/doc/html/img/vhier.png
/usr/share/covered/doc/html/img/vhier2.png
/usr/share/covered/doc/html/img/view_menu.gif
/usr/share/covered/doc/html/img/wizard.gif
/usr/share/doc/covered-doc/changelog.Debian.gz
/usr/share/doc/covered-doc/changelog.gz
/usr/share/doc/covered-doc/copyright

Changelog

2015-06-17 - أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@users.sourceforge.net>
covered (0.7.10-3) unstable; urgency=medium
* debian/patches/clang-ftbfs.diff: mark inline function with
'__attribute__ ((gnu_inline))' to fix FTBFS with GCC-5.
Also update forwarded patch URL. (Closes: #777821)
* debian/copyright: Update copyright years.
* Update my email address.
* debian/patches/manpage.diff: Update forwarded patch URL, and add upstream
bug URL.
* Update to Tcl/Tk 8.6
+ Added debian/patches/tcl8.6.diff patch.
* debian/control: Bumped Standards-Version to 3.9.6
2014-08-12 - أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@sabily.org>
covered (0.7.10-2) unstable; urgency=medium
* debian/rules:
+ Check DEB_BUILD_OPTIONS for "nocheck" flag before actually running:
'make check'
+ Set libexecdir to /usr/lib/<DEB_HOST_MULTIARCH>/covered to get Icarus
Verilog & GPL CVER modules installed there
* debian/control:
+ Use canonical URIs in VCS-* fields.
+ Remove obsolete DMUA field.
+ Bumped compat level to 9
+ Bumped Standards-Version to 3.9.5
* Updated copyright format & years.
* Added clang-ftbfs.diff patch to fix FTBFS with clang.
Fixed undefined reference error in: src/lxt2_read.c, src/lxt2_read.h
Thanks to Arthur Marble <arthur@info9.net> (Closes: #757263)
* Cleanup watch file.
2010-12-09 - أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@sabily.org>
covered (0.7.10-1) unstable; urgency=low
* New upstream release.
* Refreshed manpage.diff patch.
2010-11-22 - أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@sabily.org>
covered (0.7.9-1) unstable; urgency=low
* New upstream release.
* debian/watch: Added a direct URL.
* Bumped Standards-Version to 3.9.1, no changes needed.
2010-04-28 - أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@sabily.org>
covered (0.7.8-2) unstable; urgency=low
* Updated my email address.
* Change verilog dependency to iverilog | verilog
2010-04-05 - أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@sabily.org>
covered (0.7.8-1) unstable; urgency=low
* New upstream release.
* Switch to 3.0 (quilt) source format
* debian/control:
+ Bumped Standards-Version to 3.8.4, no changes needed
+ Updated my email address.
* Refreshed patch outdated_config.diff
* Added manpage.diff patch to escape a hyphen.
2009-10-29 - أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@users.sourceforge.net>
covered (0.7.7-1) unstable; urgency=low
* New upstream release.
* Removed tclscript_install.diff patch, as it got applied upstream.
* Added outdated_config.diff patch for config.{sub,guess} to call
their up-to-date versions. (Closes: #551138)
2009-08-27 - أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@users.sourceforge.net>
covered (0.7.6-1) unstable; urgency=low
* Initial release (Closes: #539883)
* Added tclscript_install.diff to
+ install Tcl scripts without setting the executable bit
+ remove shebang from main_view.tcl

See Also

Package Description
covered_0.7.10-3+b1_amd64.deb Verilog code coverage analysis tool
cowbell_0.2.7.1-7+b1_amd64.deb An easy-to-use tag editor for your music files
cowbuilder_0.87+b1_amd64.deb pbuilder running on cowdancer
cowdancer_0.87+b1_amd64.deb Copy-on-write directory tree utility
cowpatty_4.8-2_amd64.deb Brute-force WPA dictionary attack
cowsay-off_3.03+dfsg2-5_all.deb configurable talking cow (offensive cows)
cowsay_3.03+dfsg2-5_all.deb configurable talking cow
coyim_0.3.8+ds-5+b1_amd64.deb safe and secure XMPP chat client
coz-profiler_0.1.0-2_amd64.deb Finding Code that Counts with Causal Profiling
cp2k-data_5.1-4_all.deb Ab Initio Molecular Dynamics (data files)
cp2k_5.1-4+b1_amd64.deb Ab Initio Molecular Dynamics
cpan-listchanges_0.08-1_all.deb package change history notification tool
cpanminus_1.7044-1_all.deb script to get, unpack, build and install modules from CPAN
cpanoutdated_0.32-1_all.deb script to detect outdated CPAN modules in your environment
cpants-lint_0.05-5_all.deb commandline frontend to Module::CPANTS::Analyse - tool
Advertisement
Advertisement