Jbsco / adamant_example

Example repository demonstrating the Adamant software framework

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Adamant Example Project

Build the Linux Assembly Build the Pico Assembly Run All Unit Tests Check Style Build All Documentation

This repository contains an example project which utilizes the Adamant software framework. Its purpose is to demonstrate how the framework can be used to create components, unit test components, and connect those components together into an executable assembly.

The project can be compiled for two different targets, a Linux desktop environment and the Raspberry Pi Pico.

Adamant on the Raspberry Pi Pico

Getting Started

  1. First, we need to set up the development environment for the project by following this guide.
  2. Build, run, and explore the Linux assembly.
  3. Build, run, and explore the Raspberry Pi Pico assembly.
  4. Copy, modify, and adapt the example project for your own project.

Need Help?

Contributing

Contributions are welcome! This repository follows the guidelines from the main Adamant repository. For details see CONTRIBUTING.md.

Resources

Below are some helpful resources for learning up on Adamant and the various tools used in this framework.

  • The design documents for the example assemblies can be found here: Linux, Raspberry Pi Pico.
  • The Architecture Description Document provides an overview of Adamant's architecture and main concepts.
  • The User Guide is a comprehensive resource for developers looking to start using the Adamant framework.
  • New to Ada or SPARK? Learn more here. But familiar with C++ or Java? Take a look at this guide.
  • Learn more about Adamant's redo-based build system.

Directory Structure

The following is a description of what you can expect to find in the subdirectories of this directory.

  • config/ - Adamant configuration file for the project
  • env/ - files used for configuring the development environment used by the project
  • redo/ - redo build files for the project
  • src/ - the source code which makes up the project
  • docker/ - files for configuring the development environment used for this project

About

Example repository demonstrating the Adamant software framework

License:Apache License 2.0


Languages

Language:Ada 81.6%Language:Python 6.3%Language:TeX 6.2%Language:Shell 3.2%Language:Dockerfile 0.8%Language:PLSQL 0.6%Language:Stata 0.6%Language:C++ 0.3%Language:C 0.3%Language:GDB 0.0%