3 ms·
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 communit
by simon4ada 2y ago
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 2y agoWhat are wavefronts? Not getting many search results on that, besides a few github issues mentioning them. https://github.com/AdaCore/RecordFlux/issues/955 https://github.com/AdaCore/RecordFlux/issues/955 https://learn.adacore.com/search.html?q=wavefront&check_keywords=yes&area=default https://learn.adacore.com/search.html?q=wavefront&check_keyw... (nada) https://docs.adacore.com/spark2014-docs/html/ug/search.html?q=wavefront&check_keywords=yes&area=default https://docs.adacore.com/spark2014-docs/html/ug/search.html?... (nada) https://github.com/AdaCore/spark2014/issues?q=wavefront%20 https://github.com/AdaCore/spark2014/issues?q=wavefront%20 (nada)