Replied in thread
@adanskana Eh? that isn't really true? It is essentially the same situation with GCC, which needs GCC to bootstrap.
(then again, #AdaCore is a nasty business which makes this immensely hard on purpose ... but it is doable)
Recent searches
Search options
Administered by:
#adacore
1 post1 participant0 posts today
Continued thread
Apparently it's a myth that #ada can't be #GPL3 (a backwards way to word it, for sure). This seems to say that I can't use #Adacore / #GNAT Community Edition and I should use the alire toolchain instead https://ada-lang.io/docs/learn/overview/debunking-ada-myths#ada-code-does-not-have-to-be-gpl
Glad to see #FramaC get a shout out from #AdaCore. #C is one language with tooling for using solvers to prove correctness. Glad to see competition here. They’re moving the whole industry forward.
https://www.adacore.com/uploads/technical-papers/2016-10-SPARK-MisraC-FramaC.pdf
@jwildeboer
Red Hat is one of the few corporations that have understood the value of copyleft. The only other I can recall is #AutoMattic and #adacore … are there any other relevant one?
@be