search

cubesatlab / cubedos

A flight software framework in SPARK/Ada
48 stars 5 forks source link

Change Ada version to 2022. #44

Closed Eric-Edlund closed 1 year ago

Eric-Edlund commented 1 year ago

Ada 2022 adds the "Non_Blocking" aspect which will remove many spark errors related to concurrency.