Comments on: VMM 1.2 Released http://www.intelligentdv.com/blog/258/vmm-120-released/ Intellligent Design Verification -Blog Mon, 21 Jun 2010 00:26:31 +0000 hourly 1 http://wordpress.org/?v=3.0 By: eric http://www.intelligentdv.com/blog/258/vmm-120-released/comment-page-1/#comment-16183 eric Fri, 02 Apr 2010 08:23:40 +0000 http://www.intelligentdv.com/blog/?p=258#comment-16183 Hi, Can you add vmm macros' index in the HTML documentation and Doxygen filters? Thank. Hi, Can you add vmm macros’ index in the HTML documentation and Doxygen filters? Thank.

]]> By: Sean http://www.intelligentdv.com/blog/258/vmm-120-released/comment-page-1/#comment-10100 Sean Thu, 18 Feb 2010 16:23:46 +0000 http://www.intelligentdv.com/blog/?p=258#comment-10100 @Jacob Thanks for letting me know about the issue. You need to be using the current version of the doxygen binary (1.62). If moving to the current version doesn't solve your issue then please file a bug. -Sean @Jacob

Thanks for letting me know about the issue.
You need to be using the current version of the doxygen binary (1.62).
If moving to the current version doesn’t solve your issue then please file a bug.

-Sean

]]> By: Jacob Sander Andersen http://www.intelligentdv.com/blog/258/vmm-120-released/comment-page-1/#comment-9437 Jacob Sander Andersen Mon, 15 Feb 2010 13:59:30 +0000 http://www.intelligentdv.com/blog/?p=258#comment-9437 Btw. I was using: Doxygen-2.6.1.r133.tar.gz VMMdocs-1.6.2.r40.tar.gz and doxygen version 1.4.7 on Centos. Btw. I was using:

Doxygen-2.6.1.r133.tar.gz
VMMdocs-1.6.2.r40.tar.gz

and doxygen version 1.4.7 on Centos.

]]> By: Jacob Sander Andersen http://www.intelligentdv.com/blog/258/vmm-120-released/comment-page-1/#comment-9435 Jacob Sander Andersen Mon, 15 Feb 2010 13:57:37 +0000 http://www.intelligentdv.com/blog/?p=258#comment-9435 Hi, I have tried to download your Doxygen filters (I think your work is great and I appreciate it quite a bit) for SV and the VMM scripts. Then I tried to run them on my downloaded versions of VMM 1.0.1, 1.1 and 1.2 from vmm-central.org. Everything went fine on 1.0.1, but some warnings were reported on 1.1 and errors were reported on 1.2. I didn't want to file a bug, since I don't have an overview of what is already filed. I can send you the log files via mail or file a bug - let me know what you want me to do. Regards, JacobSA Hi,

I have tried to download your Doxygen filters (I think your work is great and I appreciate it quite a bit) for SV and the VMM scripts. Then I tried to run them on my downloaded versions of VMM 1.0.1, 1.1 and 1.2 from vmm-central.org.

Everything went fine on 1.0.1, but some warnings were reported on 1.1 and errors were reported on 1.2. I didn’t want to file a bug, since I don’t have an overview of what is already filed. I can send you the log files via mail or file a bug – let me know what you want me to do.

Regards, JacobSA

]]>