[simon4ada]

AdaCore's pro support includes more recent releases and, in case of problems, wavefronts. That said, the free version is fairly recent, and you can get community (and sometimes vendor) support.

[SkyMarshal]

What are wavefronts? Not getting many search results on that, besides a few github issues mentioning them.

https://github.com/AdaCore/RecordFlux/issues/955

https://learn.adacore.com/search.html?q=wavefront&check_keyw... (nada)

https://docs.adacore.com/spark2014-docs/html/ug/search.html?... (nada)

https://github.com/AdaCore/spark2014/issues?q=wavefront%20 (nada)