Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
Meta-project including all git submodules necessary to make a taste installation
-
kazoo is the replacement tool for buildsupport for future versions of TASTE. It generates code skeletons and concurrency view
buildsupport aadl sdl+ 2 more -
The GMV-created Hypervisor.
-
This is the place to track issues and feature requests related to TASTE
-
-
The PolyORB-HI Middleware - C Version
-
ASN1 Value Editor - Code of the auto-generated GUIs and ASN.1 Standalone value editor
-
-
Data Modelling Technologies
-
The PolyORB-HI middleware - Ada version
-
Release directory for the GUI front-ends from Ellidiss (V2)
-
The TASTE Model Checker.
-
Testing Java Static Analysers (for Ground Segment work...)
-
-
The TASTE Orchestrator is the main script used to build TASTE applications
-
Convert s2k files to binaries (this allows comparisons with binaries generated from objcopy)
-
Intelligent diff-ing of SPARC binaries for mission patching.
-
A small test repo to see if Docker containers spawned by gitlab-runner see the properly checked out submodules or not
-
A small test repo to see if Docker containers spawned by gitlab-runner see the properly checked out submodules or not
