Data Modelling Technologies
Meta-project including all git submodules necessary to make a taste installation
The TASTE Model Checker.
kazoo is the replacement tool for buildsupport for future versions of TASTE. It generates code skeletons and concurrency view
The GMV-created Hypervisor.
TASTE speedometer widget - used in the TASTE guis and in the PeekPoke component
Iterator functions in Ada for generating all combinations of values for ASN.1 datatypes.
The TASTE Orchestrator is the main script used to build TASTE applications
The PolyORB-HI middleware - Ada version
This repository contains the tests executed to make sure existing functionality hasn't been broken by any changes.
This is a mirror of the Leon port that Damien George works on - will be used for automated nightly static analysis runs.
Release directory for the GUI front-ends from Ellidiss (V2)
Original TASTE MSC Editor
ANTLR3 Python Runtime