smaug

Purpose

This project gathers together many different fragments of my Maude code.

Structure

The directory hierarhcy is structured as follows:

• bin - contains any scripts/binaries that we use currently just contains test runner script
• src - contains source code of my various Maude projects
• test - contains source code for any tests we write
• upstream - contains code from upstream Maude developers; this folder will be updated manually and various branches will be designed to track certain versions of Maude