sireum/air

AIR: AADL Intermediate Representation (IR) in Slang, JSON, and MessagePack

AIR: AADL IR in Slang, JSON, and MessagePack

AIR provides an IR in Slang for AADL instance models. It was inspired by Ocarina's AADL to XML translator.

AIR Development

1. Clone both the Sireum v3 repository and this repository:

   git clone --recursive -b master git@github.com:sireum/v3.git sireum-v3
   git clone git@github.com:sireum/air.git sireum-v3/aadl/ir
   

2. Follow the instructions for installing the Sireum IVE Development

3. Follow the instructions for setting up Sireum IVE for Sireum v3 Development