Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
..
Failed to load latest commit information.
AddMult.hs
Array.hs
BadExtVars.hs
CRC.hs
Cast.hs
ClockExamples.hs
EngineExample.hs
Examples.hs
Examples2.hs
ExtFuns.hs
LTLExamples.hs
Languages.hs
Local.hs Clean up imports.
PTLTLExamples.hs
README
Random.hs
RegExpExamples.hs
Sat.hs
StackExamples.hs Clean up imports.
StatExamples.hs
Test.hs
VotingExamples.hs Clean up imports.

README

This directory contains a number of examples.  They show off various aspects of
the language and various backends, including compiling through the Atom (C99)
backend, SBV backend, interpreting, and generating driver to model-check the two
back-ends against each other (in Examples).  The libraries are in the
copilot-libraries package.

 * AddMult: demonstrates Haskell-level recursion

 * Array: external arrays

 * BadExtVars: demonstrates the analyzer catches badly-typed external variables

 * Cast: demonstrates type-safe casting

 * ClockExamples: demonstrates the use of clocks (to control sampling rates)

 * EngineExample: simple engine temperature monitor example

 * Examples: a large number of small examples

 * Examples2: more small examples

 * ExtFuns: sampling external functions

 * Local: using local variables (let expressions inside of Copilot)

 * LTLExamples: demonstrates the bounded LTL library

 * PTLTLExamples: demonstrates the past-time LTL library

 * Random: how to generate a random specification for QuickCheck-type testing
   (use the copilot-c99-qc executable to run QuickCheck tests against the Atom
   backend).

 * RegExpExamples: demonstrates the regular expressions library

 * StackExamples: demonstrates the stack library

 * StatExamples: demonstrates the statistics library

 * VotingExamples: demonstrates the fault-tolerant voting library
 
Something went wrong with that request. Please try again.