Tooling

Some tools that may help us with C++ semantics.

Faster incremental builds

Fast and reliable incremental builds, such that even Jenkins may benefit from that. It would have a build of Master and reuse the artefacts. Of course we would need to do clean builds too, but not necessarily for every small PR. Right now we do not even do small PR, but only large. One reason for that is (at least for me) that we do not have computational resources to run a new build for each small change...

Code formatter

Query tool

query tool for definitions and uses

Dumps

something that processes dumps and discards useless information (locations etc)