Recent AdaCore work - Githubissues

afrl-rq / OpenUxAS

Project for multi-UAV cooperative decision making

Other

50 stars 24 forks source link

Closed manthonyaiello closed 2 years ago

manthonyaiello commented 2 years ago

This PR includes the following enhancements:

update to CE21: anod will install CE21; CI uses CE21; builds and proofs are clean on CI21
completion of work on ATBB: silver-level proof + silver-level proof for algebra string