This week, through the efforts of our STE||AR graduate student Alireza, we have added an IRC logger to our #ste||ar and #ste||ar-dev channels. This logger will make all conversations on these channels searchable, link-able, and publicly available through
tools
HPX and PVS-Studio
We have used a trial version of PVS-Studio for HPX previously, but I vaguely remembered it as being very verbose in its diagnostics. I have read a lot about the tool lately, and since it was a long time since we used it, we contacted the developers at Viva64 asking whether they would be willing to support our open source project. We were positively surprised that they agreed to provide us with a free license for one year in exchange for a blog post about our experience with the tool.