There are no reviews yet. Be the first to send feedback to the community and the maintainers!
AUnit README This is the Ada unit test framework AUnit, derived from the JUnit/CPPUnit frameworks for Java/C++. Read the AUnit Cookbook, available in doc/ in a number of formats, for installation and usage. AUnit is maintained by AdaCore. Please report problems at [email protected] NOTE FOR CONTRIBUTORS --------------------- AUnit is intended to be used on bareboard targets that have a very limited runtime library, so many things like containers, finalization, exception propagation and so on cannot be used in the main framework unconditionally. For full list of restrictions see following parts of GNAT Userβs Guide Supplement for Cross Platforms: * [4.2.2. Ada Restrictions in the Zero Footprint Profile](http://docs.adacore.com/live/wave/gnat_ugx/html/gnat_ugx/gnat_ugx/the_predefined_profiles.html#ada-restrictions-in-the-zero-footprint-profile) * [4.2.3. Predefined Packages in the Zero Footprint Profile](http://docs.adacore.com/live/wave/gnat_ugx/html/gnat_ugx/gnat_ugx/the_predefined_profiles.html#predefined-packages-in-the-zero-footprint-profile) Other language features and predefined packages may be used in conditional way, by either providing the same API across different scenarios or adding new units for full runtime scenario only. An example of such conditional usage is FileIO variable from lib/gnat/aunit_shared.gpr that selects between include/aunit/framework/fileio and include/aunit/framework/nofileio.
gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARKgnat-llvm
LLVM based GNAT compilerlibadalang
Ada semantic analysis library.aws
AWS is a complete framework to develop Web based applications in Ada.RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machinesgsh
A POSIX shell for Windows.learn
Sources for learn.adacore.comgtkada
Ada bindings for the GTK+ graphical library.langkit
Language creation framework.gprbuild
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.svd2ada
An Ada binding generator from SVD descriptions for bare board ARM devices.bb-runtimes
Source repository for the GNAT Bare Metal BSPsada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languagesVSS
High level string and text processing librarygnatcoll-core
GNAT Components Collection β Core packagesgnatcoverage
GNATcoverage: Coverage Analysis ToolCertyflie
ada-traits-containers
Generic Ada Library for Algorithms and Containerswhy3
SPARK 2014 repository for the Why3 verification platform.e3-core
Core framework for developing portable automated build systemsstartup-gen
A startup code generator for embedded projectsgit-hooks
Git hooks Python-based scriptsAda-IntelliJ
Support for Ada and SPARK languages in IntelliJ IDEAxmlada
The XML/Ada toolkit.PolyORB
PolyORB provides a uniform solution to build distributed applications relying either on middleware standardsOPAVES
Open Platform for Autonomous VEhicle Systemstraining_material
Ada-SPARK-Crate-Of-The-Year
gnat_community_install_script
Script to automate the installation of the GNAT Community Installerscuda
spawn
libadalang-tools
Libadalang-based toolsgnat-gdb-scripts
GDB scripts for Ada programs built with GNATwin32ada
Ada API to the Windows libraryRobotics_with_Ada
Robotics with Ada, ARM, and Legoembedded-runtimes
runtimes that add support for various boards to the GNAT GPL compiler for ARMgnatcoll-bindings
GNAT Components Collection β Bindings to C librariesgpr
The framework for analyzing the GNAT Project (GPR) filesadareducer
qemu
gnatcoll-db
GNAT Components Collection β Database packagessparkformal
The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.UnityAdaTetris
markdown
Markdown parserlabs-material
Support Libraries for AdaCore University Labsada-py-bind
e3-testsuite
e3 testsuite driverRC_Car_Demo
An embedded Ada/SPARK demoSPARK_Railway_Simulation_Demo
templates-parser
AWS templates engine.Compile_And_Prove_Demo
Demo project for new web site: Compile It! / Prove It!program_proofs_in_spark
This repository contains some programs from Rustan Leino's book "Program Proofs" verified with SPARK.spdm-recordflux
RESSAC_Use_Case
A Collaborative Development Assurance Labgnatdashboard
Analyse a project.florist
Http_Cyclone
gnat-docker
e3-aws
High level interface for CloudFormationPlatinum_Reusable_Stack
wposix
Ada Windows POSIX bindingcode_examples_server
prototype server for creating interactive "try SPARK / try Ada" webpageslmod_manager
lmod based management tool for GNAT and SPARK installationsSPARK_PDI_Demo
Use of SPARK to implement Parameter Data Itemslangkit-query-language
query language for Libadalang and Langkitgprconfig_kb
GPR configuration knowledge baselanguage-examples
Examples of common software engineering constructs written in Ada and SPARKtictactoe
A tictactoe game written and proven in SPARKRecordFlux-parser
RecordFlux-devutils
ada_coding_standards
style_checker
The AdaCore style checkergpr-unit-provider
GPR2 based unit provider for Libadalanggnatdoc
GNAT Documentation GeneratorLunar_Lander_Rotation_Demo
Demonstration program that interacts with the AdaFruit BNO055 breakout board in order to send orientation data to a host computerAdaSAT
training_labs_radar
uwrap
cheri-examples
z3
SPARK 2014 repository for the Z3 SMT solver.lal-checkers
Libadalang-based code checking infrastructurespark_translator
SPARK 2005 to 2014 translatorLumos_Maxima
Lumos_Maxima repository for VerifyThis challengetraining_labs_standalone
training_labs_solar_system
alt-ergo
SPARK 2014 repository for the Alt-Ergo SMT solver.lsif-ada
prettier-ada
SPARK-to-C_Tetris_Demo
Love Open Source and this site? Check out how you can help us