Emulator description language

Author(s): Jose F. Morales.

This package implements a reduced version of the emulator generator and emulator description language described in [Mor10,MCH09].

Usage and interface

Library usage:
:- use_package(compiler/emugen). or :- module(...,...,[compiler/emugen]).
Implicit imports:
- Packages:
  prelude, initial, condcomp, assertions, assertions/assertions_basic.