Update Refinement Handling in Verilog Verification Target Generation

[zhanghongce]

Work in progress, do not merge at this point!
This pull request is to see if the test coverage is sufficient.

[zhanghongce]

Honestly speaking, I'm having issues with compiling it on Windows. The core issue is in the dependent repo: https://github.com/zhanghongce/vexpparser, where I have no way to have the compiler on windows find the header FlexLexer.h in winflexbison3 package.

 Directory of C:\ProgramData\chocolatey\lib\winflexbison3\tools

10/24/2021  12:12 AM    <DIR>          .
10/24/2021  12:12 AM    <DIR>          ..
01/05/2021  09:58 PM             5,816 changelog.md
10/24/2021  12:11 AM               392 chocolateyInstall.ps1
10/24/2021  12:12 AM    <DIR>          custom_build_rules
10/24/2021  12:12 AM    <DIR>          data
05/22/2020  12:55 AM             7,113 FlexLexer.h
05/22/2020  12:55 AM               400 UNISTD_ERROR.readme
01/05/2021  09:59 PM           665,600 win_bison.exe
01/05/2021  09:59 PM           569,344 win_flex.exe
               6 File(s)      1,248,665 bytes
               4 Dir(s)  94,412,075,008 bytes free

I tried adding an option like cmake .. -DCMAKE_CXX_FLAGS=/I\ %ProgramData%\\chocolatey\\lib\\winflexbison3\\tools to the instruct the compiler but it does not work. If anyone knows the solution, please help here.

[Bo-Yuan-Huang]

Honestly speaking, I'm having issues with compiling it on Windows. The core issue is in the dependent repo: https://github.com/zhanghongce/vexpparser, where I have no way to have the compiler on windows find the header FlexLexer.h in winflexbison3 package.

Or perhaps terminate the Windows support.

• The new maintaining team doesn't seem to have enough bandwidth to keep the original CI working.
• Windows-based ILAng users are rare.

[ILAng-service]

Honestly speaking, I'm having issues with compiling it on Windows. The core issue is in the dependent repo: https://github.com/zhanghongce/vexpparser, where I have no way to have the compiler on windows find the header FlexLexer.h in winflexbison3 package.

Or perhaps terminate the Windows support.

• The new maintaining team doesn't seem to have enough bandwidth to keep the original CI working.
• Windows-based ILAng users are rare.

Hi Hongce,

I will take a look at this. As we have already terminated several other CIs (e.g. travis-related ones due to the university account's credit issue), I would try my best to keep the rest CIs on.
But if this PR is in a hurry (for DAC tutorial), I can temporarily stop the windows build to get it merged. Feel free to give me a deadline for this.

[yuex1994]

Honestly speaking, I'm having issues with compiling it on Windows. The core issue is in the dependent repo: https://github.com/zhanghongce/vexpparser, where I have no way to have the compiler on windows find the header FlexLexer.h in winflexbison3 package.

 Directory of C:\ProgramData\chocolatey\lib\winflexbison3\tools

10/24/2021  12:12 AM    <DIR>          .
10/24/2021  12:12 AM    <DIR>          ..
01/05/2021  09:58 PM             5,816 changelog.md
10/24/2021  12:11 AM               392 chocolateyInstall.ps1
10/24/2021  12:12 AM    <DIR>          custom_build_rules
10/24/2021  12:12 AM    <DIR>          data
05/22/2020  12:55 AM             7,113 FlexLexer.h
05/22/2020  12:55 AM               400 UNISTD_ERROR.readme
01/05/2021  09:59 PM           665,600 win_bison.exe
01/05/2021  09:59 PM           569,344 win_flex.exe
               6 File(s)      1,248,665 bytes
               4 Dir(s)  94,412,075,008 bytes free

I tried adding an option like cmake .. -DCMAKE_CXX_FLAGS=/I\ %ProgramData%\\chocolatey\\lib\\winflexbison3\\tools to the instruct the compiler but it does not work. If anyone knows the solution, please help here.

Hi Hongce,

Can you grant me access to the repo for pr, I'd like to make a few changes to the script to see if that works.

[lgtm-com]

This pull request introduces 1 alert when merging fb1c9d9 into 14b66e6 - view on LGTM.com

new alerts:

• 1 for Comparison result is always the same

[zhanghongce]

Hi Hongce,

Can you grant me access to the repo for pr, I'd like to make a few changes to the script to see if that works.

Hi Yue,

I thought the access to this pr was always there.

Nevertheless, I also add you to the repo and this is under branch refinement-upgrade.

[lgtm-com]

This pull request introduces 1 alert when merging 4924f92 into 14b66e6 - view on LGTM.com

new alerts:

• 1 for Comparison result is always the same