ada/mars-rover-demo
0
0
Fork 0
mirror of https://github.com/AdaCore/mars-rover-demo.git synced 2026-02-12 13:13:37 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
main
mars-rover-demo/src
History
Tony Aiello 6bd5f6196c Merge branch 'clean-proof-warnings' into 'main' 
Address dead-code warning from --proof-warnings

See merge request eng/tech-marketing/mars-rover-demo!7
2025-07-04 09:21:34 +00:00
..
binding
Add remote controller support binding package
2025-04-22 17:55:10 +02:00
device
Robustify sonar measurement
2025-04-22 17:55:10 +02:00
rover_hal.ads
Improve sensor mast control
2025-06-30 17:19:31 +02:00
rover-autonomous.adb
Improve sensor mast control
2025-06-30 17:19:31 +02:00
rover-autonomous.ads
Prove rover controllers cannot command a crash
2025-02-26 18:24:45 +01:00
rover-mast_control.adb
Improve sensor mast control
2025-06-30 17:19:31 +02:00
rover-mast_control.ads
Improve sensor mast control
2025-06-30 17:19:31 +02:00
rover-remote_controlled.adb
Improve sensor mast control
2025-06-30 17:19:31 +02:00
rover-remote_controlled.ads
Prove rover controllers cannot command a crash
2025-02-26 18:24:45 +01:00
rover-tasks.adb
Prove rover controllers cannot command a crash
2025-02-26 18:24:45 +01:00
rover-tasks.ads
Address dead-code warning from --proof-warnings
2025-07-02 09:59:21 -04:00
rover.ads
Improve the proofs for Rover.Autonomous
2025-06-30 08:07:25 -04:00