You've already forked RecordFlux
mirror of
https://github.com/AdaCore/RecordFlux.git
synced 2026-02-12 13:01:56 -08:00
* use SPARK 24 from cathod instead of wavefront based by date * changelog entry * rename test model that used reserved word * avoid generating project file with reference to main for project that has no main For eng/recordflux/recordflux#1409