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
35 Commits 1 Branch 0 Tags
main
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
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
simulator
Fix mast angle in the simulator to match real robot motion
2025-06-30 17:19:31 +02:00
simulator_interface
Implement a standalone/interfacing library version
2025-02-26 18:24:45 +01:00
src
Merge branch 'clean-proof-warnings' into 'main'
2025-07-04 09:21:34 +00:00
.gitignore
We have movement
2024-11-29 17:25:24 +01:00
alire.toml
Create a unique hardware abstraction layer package
2025-02-26 18:24:45 +01:00
mars_rover.gpr
Implement a standalone/interfacing library version
2025-02-26 18:24:45 +01:00
README.md
Add README
2025-05-16 17:54:58 +02:00

README.md

Mars Rover Demo

A Mars Rover implemented and formally verified in SPARK, along with a corresponding simulator implemented in Rust.

Reference in New Issue View Git Blame Copy Permalink
Description
No description provided
Readme 3.6 MiB
Languages
Rust 54.4%
Ada 44.9%
C 0.6%
Makefile 0.1%