You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
CC everyone with a support contract for @synopsys VCS. Please ask them to fix their tool, don't ask me to work around VCS bugs. If you feel like asking all core devs to work around all VCS bugs is easier than getting Synopsys to fix their tool, maybe rethink using their tool.pic.twitter.com/fIEMXOGAr9
This is the github issue in question: https://github.com/cliffordwolf/picorv32/issues/84 … Thanks hutch31 for bringing this up.
Btw, VlogHammer is Open Source and finds bugs like that in an instant. It's @synopsys' decision to not care and not spend any time on finding and fixing those bugs in their tools.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
