copilot-0.21: A lazy-list language for generating constant-time and constant-space C programs. Uses Atom as a backend.

Language.Copilot.Interpreter

Description

This interpreter is mostly used for checking the Copilot implementation. But it can also be used for quick testing of a Copilot design

Synopsis

Documentation

interpretStreams :: StreamableMaps Spec -> Vars -> VarsSource

The main function of this module. It takes a Copilot specification, the values of the monitored values, and returns the values of the streams.