Extend --protect-lib for foreign/embedded module use #1572
Labels
area: usability
Issue involves general usability
effort: weeks
Expect this issue to require weeks or more of invested effort to resolve
resolution: fixed
Closed; fixed
type: feature-IEEE
Request to add new feature, described in IEEE 1800
type: feature-non-IEEE
Request to add new feature, outside IEEE 1800
Author Name: Todd Strader (@toddstrader)
Original Redmine Issue: 1572 from https://www.veripool.org
See:
#2041
--protect-lib can be used for foreign modules/incremental compilation. But since it was originally intended to hide third party IP from the user, it needs some tweaking/extending to be truly useful here. For starters we'd need to:
The text was updated successfully, but these errors were encountered: