A good sign, see also relevant discussion at [0]. I like the idea of a FORTH target that someone suggested. Are the higher assurance-levels of SPARK going to r

A good sign, see also relevant discussion at [0]. I like the idea of a FORTH target that someone suggested. Are the higher assurance-levels of SPARK going to remain unavailable to FOSS developers, as they apparently are now? [1] [0] https://groups.google.com/forum/#!topic/comp.lang.ada/M3yS4STOEBw https://groups.google.com/forum/#!topic/comp.lang.ada/M3yS4S... [1] https://www.adacore.com/sparkpro https://www.adacore.com/sparkpro