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 [email protected]:sireum/v3.git sireum-v3
   git clone [email protected]: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