search

cubesatlab / cubedos

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

Add proof check file for message system #34

Closed Eric-Edlund closed 1 year ago

Eric-Edlund commented 1 year ago

Forgot to add this in the last commit