Ahmed El-Mahmoudy created ticket #8

Add *FLAGS for some build targets

Ahmed El-Mahmoudy created ticket #7

Fix build failure with gcc-15

Ahmed El-Mahmoudy created ticket #6

Fix implicit declarations

Ahmed El-Mahmoudy created ticket #5

Fix spelling mistakes

Anonymous posted a comment on ticket #4

Hi Trevor, Thanks for your answer. I've already enable debug option but that not help me a lot. If I send you the verilog file do you think you can have look on that issue or it's a too old project ?

Anonymous posted a comment on ticket #4

Original issue seems linked to long module name. Unfortunatly I can attach the testcase as is and when I replace module name, command works.

Anonymous posted a comment on ticket #4

Hi Trevor, The root cause of the segFault is linked to a preprocessing directive for module declaration as: ifndef SIM_GATERCELLdefine SIM_GATERCELL module GaterCell ( CLKIN , CLKOUT , EN , RSTN , TE ); input CLKIN ; output CLKOUT ; input EN ; input RSTN ; input TE ; lib_ClkEn_R uClkEn( .En( EN | TE | ~ RSTN ) , .I( CLKIN ) , .O( CLKOUT ) ); endmodule `endif Regards Sylvain

Anonymous posted a comment on ticket #4

I've reduce the issue to a simple test case (attachement)

Trevor Williams posted a comment on ticket #4

I am going to pass on looking into this issue more deeply.

Trevor Williams posted a comment on ticket #4

Without doing some debug of my own with your Verilog, I'm not sure that I could tell you what the issue is. I would say that seeing the same file parsed over and over is not what I would expect; however, it has been a long time since I have worked on Covered, so I cannot say whether this behavior is correct or not. I thought that there was a global verbosity flag that you can pass to any function that might provide more insight into what is going on behind the scenes. I think that the documentation...

Anonymous created ticket #4

covered score segmentation fault

Udara Piumal De Silva posted a comment on ticket #2

Thank you for submitting this patch. With the permission of @phase1geo I have created a covered repository in github. Your patch is added to this new repository. Please find the new repository at https://github.com/chiphackers/covered

Ahmed El-Mahmoudy created ticket #3

Upgrade to Tcl/Tk 8.6

Ahmed El-Mahmoudy posted a comment on ticket #2

Updated patch to fix FTBFS with GCC 5, that is achieved by marking inline function...

Covered released /OldFiles/covered-0.7.tar.gz

Covered released /OldFiles/covered-diags-20081119.tar.gz

Covered released /OldFiles/covered-diags-0.7.1.tar.gz

Covered released /OldFiles/covered-0.7.1-1.i386.rpm

Covered released /OldFiles/covered-20081030.tar.gz

Covered released /OldFiles/covered-0.7.1-1.src.rpm

Covered released /OldFiles/covered-diags-0.7.tar.gz

Covered released /OldFiles/covered-20081007.tar.gz

Covered released /OldFiles/covered-20081119.tar.gz

Covered released /OldFiles/covered_0.7.1_i386.deb

Covered released /OldFiles/covered-0.7.1.tar.gz

Covered released /OldFiles/covered-diags-20081030.tar.gz

Covered released /OldFiles/covered-0.4.4.tar.gz

Covered released /OldFiles/covered-20060109.tar.gz

Covered released /OldFiles/covered-diags-20080103.tar.gz

Covered released /OldFiles/covered-0.2.2.tar.gz

Covered released /OldFiles/covered-0.4.6-1.src.rpm

Covered released /OldFiles/covered-20060530.tar.gz

Covered released /OldFiles/covered-20080120.tar.gz

Covered released /OldFiles/covered-0.4.6.tar.gz

Covered released /OldFiles/covered-diags-20060708.tar.gz

Covered released /OldFiles/covered-0.4.5.tar.gz

Covered released /OldFiles/covered-0.4.4-1.i386.rpm

Covered released /OldFiles/covered-diags-0.4.2.tar.gz

Covered released /OldFiles/covered-20040325.tar.gz

Covered released /OldFiles/covered-20031115.tar.gz

Covered released /OldFiles/covered-diags-0.4.3.tar.gz

Covered released /OldFiles/covered-diags-0.4.5.tar.gz

Covered released /OldFiles/covered-20040211.tar.gz

Covered released /OldFiles/covered-diags-20061020.tar.gz

Covered released /OldFiles/covered-diags-0.4.6.tar.gz

Covered released /OldFiles/covered-0.4.5-1.src.rpm

Covered released /OldFiles/covered-diags-20080120.tar.gz

Covered released /OldFiles/covered-0.4.5-1.i386.rpm

Covered released /OldFiles/covered-0.4.6-1.i386.rpm

Covered released /OldFiles/covered-diags-20060530.tar.gz

Covered released /OldFiles/0.2.1.patch2.tar.gz

Covered released /OldFiles/covered-20060708.tar.gz

Covered released /OldFiles/covered-diags-0.4.4.tar.gz

Covered released /OldFiles/covered-20041210.tar.gz

Covered released /OldFiles/covered-0.2.3.tar.gz

Covered released /OldFiles/covered-0.4.3.tar.gz

Covered released /OldFiles/covered-0.3.tar.gz

Covered released /OldFiles/covered-20050208.tar.gz

Covered released /OldFiles/0.2.1.patch1.tar.gz

Covered released /OldFiles/covered-0.2.1.tar.gz

Covered released /OldFiles/covered-0_2pre2_1_20030218.tar.gz

Covered released /OldFiles/covered-20021214.tar.gz

Covered released /OldFiles/covered-0.2.tar.gz

Covered released /OldFiles/covered-0.2pre1.tar.gz

Covered released /OldFiles/covered-20031019.tar.gz

Covered released /OldFiles/covered-20030925.tar.gz

Covered released /OldFiles/covered-0.2pre3.tar.gz

Covered released /OldFiles/covered-diags-20080826.tar.gz

Covered released /OldFiles/covered-diags-20080415.tar.gz

Covered released /OldFiles/covered-diags-20080314.tar.gz

Covered released /OldFiles/covered-diags-20080530.tar.gz

Covered released /OldFiles/covered-20080609-snapshot.tar.gz

Covered released /OldFiles/covered-20080826.tar.gz

Covered released /OldFiles/covered-20080415.tar.gz

Covered released /OldFiles/covered-diags-0.6.1.tar.gz

Covered released /OldFiles/covered-20080530.tar.gz

Covered released /OldFiles/covered-diags-20081007.tar.gz

Covered released /OldFiles/covered-20080314.tar.gz

Covered released /OldFiles/covered-20020914.tar.gz

Covered released /OldFiles/covered-0.6.tar.gz

Covered released /OldFiles/covered-diags-20070906.tar.gz

Covered released /OldFiles/covered-0.5-1.src.rpm

Covered released /OldFiles/covered-0.4.8.tar.gz

Covered released /OldFiles/covered-0.4.8-2.src.rpm

Covered released /OldFiles/covered-20060904.tar.gz

Covered released /OldFiles/covered-diags-0.4.7.tar.gz

Covered released /OldFiles/covered-diags-0.4.1.tar.gz

Covered released /OldFiles/covered-20020721.tar.gz

Covered released /OldFiles/covered-20020711.tar.gz

Covered released /OldFiles/covered-diags.tar.gz

Covered released /OldFiles/covered-20020822.tar.gz

Covered released /OldFiles/covered-20020715-1.tar.gz

Covered released /OldFiles/covered-20061205.tar.gz

Covered released /OldFiles/covered-diags-0.4.8.tar.gz

Covered released /OldFiles/covered-20021026.tar.gz

Covered released /OldFiles/covered-20020703.tar.gz

Covered released /OldFiles/covered-0.4.2.tar.gz

Covered released /OldFiles/covered-0.4.7-1.src.rpm

Covered released /OldFiles/covered-20070906.tar.gz

Covered released /OldFiles/covered-diags-0.5.tar.gz