Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: copilot2.0

Nov 10, 2011

  1. Lee Pike

    Tweaks to examples.

    authored November 09, 2011

Nov 07, 2011

  1. Lee Pike

    Testing for casting, external functions.

    authored November 07, 2011

Nov 05, 2011

  1. Lee Pike

    Casting examples.

    authored November 05, 2011
  2. Lee Pike

    Testing sampling functions...

    authored November 05, 2011
  3. Lee Pike

    Arrays seem to work.

    authored November 05, 2011

Nov 04, 2011

  1. Lee Pike

    regression tests...

    authored November 03, 2011

Nov 03, 2011

  1. Lee Pike

    Use Tests/

    authored November 03, 2011
  2. Lee Pike

    Very small regression test.

    authored November 03, 2011
  3. Lee Pike

    Make an executable and give a notice after compiling.

    authored November 03, 2011
  4. Lee Pike

    Changes to examples.

    authored November 03, 2011
  5. Lee Pike

    Tweak to examples.

    authored November 03, 2011

Sep 30, 2011

  1. Lee Pike

    Documentation updates.

    authored September 30, 2011

Sep 12, 2011

  1. Lee Pike

    Starting README.

    authored September 11, 2011

Sep 11, 2011

  1. Lee Pike

    To build the package.

    authored September 11, 2011
  2. Lee Pike

    Moving examples over from sub-packages.

    authored September 11, 2011

Sep 10, 2011

  1. Lee Pike

    New Copilot stuff.

    authored September 09, 2011
  2. Lee Pike

    Remove old stuff.

    authored September 09, 2011

Jun 07, 2011

  1. Lee Pike

    Merge branch 'development' of github.com:leepike/Copilot into develop…

    …ment
    authored June 07, 2011
  2. Lee Pike

    Updated fast majority example to be constant time.

    authored June 07, 2011

Jun 02, 2011

  1. Lee Pike

    Added an overflow example.

    authored June 02, 2011

May 23, 2011

  1. enabled clk1 clock dividing function

    authored May 23, 2011
  2. changed clock to clk

    authored May 23, 2011

May 22, 2011

  1. small changes to identifier name checking

    authored May 22, 2011
  2. added strings as parameters in the argument list of triggers function…

    …s (and functions to be sampled)
    authored May 22, 2011

May 17, 2011

  1. exported __function in header file

    authored May 17, 2011

May 12, 2011

  1. Merge branch 'development' of https://github.com/seni/Copilot into de…

    …velopment
    authored May 12, 2011
  2. added lustre reglo style regular expressions on boolean streams and s…

    …upressed compile warning in Random.hs
    authored May 12, 2011

May 09, 2011

  1. Lee Pike

    Turn off generating streams with doubles and floats.

    authored May 09, 2011
  2. Lee Pike

    Renamed to remove shadowing warnings.

    authored May 09, 2011
  3. Lee Pike

    Factored out testing stuff to a new file, Tests/Test.hs.

    authored May 09, 2011

Apr 30, 2011

  1. Lee Pike

    Rounding error from random testing. The testing is too sensitive on F…

    …loats.
    authored April 29, 2011

Apr 28, 2011

  1. Lee Pike

    Allow the use of gcov to provide coverage data of the C program durin…

    …g testing.
    authored April 27, 2011

Apr 27, 2011

  1. Lee Pike

    In testing, print to stderr rather than stdout so that I can pipe the…

    … output to /dev/null and still get error results.
    authored April 27, 2011
  2. Lee Pike

    Print failed test to stderr so you can pipe other stuff to /dev/null …

    …for speedier testing.
    authored April 27, 2011

Apr 26, 2011

  1. Lee Pike

    Merge.

    authored April 25, 2011
Something went wrong with that request. Please try again.