Those two bugs that @XilinxInc claims to have fixed in Vivado 2017.1, but didn't: Still broken in 2017.2! (CR 966939 and CR 967845)pic.twitter.com/l6zL0QmkmD
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
Should fix most of the other "multithreading segfaults" as well. No idea why it takes Xilinx over 6 months to add this missing export..
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.