AdaCore's pro support includes more recent releases and, in case of problems, wa... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		simon4ada 12 months ago \| parent \| context \| favorite \| on: Nvidia Security Team: “What if we just stopped usi... 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 12 months ago [–]

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)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact