kndtime / ada-spaceship

Space invader like in ADA DO178 for STM32F4

Space Invasion for MakeWithAda 2018

This project is a game realized for a school project at EPITA. This repository is part of a competition for Ada programming. This project was done using Ada 2012 standards for the STM32F429-Discovery.

Getting Started

These instructions will get you a copy of the project up and running on your local machine for development and testing purposes. See deployment for notes on how to deploy the project on a live system.

Prerequisites

What things you need to install the software and how to install them

Gnat Toolchain
GPS : Gnat Programming Software

Installing

A step by step series of examples that tell you how to get a development env running

Say what the step will be

git clone https://github.com/kndtime/ada-spaceship
cd ada-spaceship
gps spaceship/spaceship.gpr

Here is a screen of a board running the game.

Running the tests

Some we did not implement tests but we sure used Ada contract to assure that the code will not be buggy.

procedure set_dmg(s : in out Spaceship; dmg: Integer)
with
     Pre => s.State /= DEAD and dmg /= 0,
    Post => (if s.Life <= 0 then
                s.State = DEAD);

Built With

• GNAT - The Ada Compiler used
• Ada_Drivers_Library - Drivers for the STM32F429
• Stlink - Used to flash the code on the card

Authors

• Axel Banal - Initial work - Kndtime
• Antoine Lebeury - Initial work - Kndtime

See also the list of contributors who participated in this project.

License

This project is licensed under the MIT License - see the LICENSE.md file for details