Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: copilot-old

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
  2. Lee Pike

    One more simple example.

    authored April 25, 2011
  3. Lee Pike

    Merge.

    authored April 25, 2011
  4. Lee Pike

    Lines 80 chars. Slight cleanups.

    authored April 25, 2011
  5. Lee Pike

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

    …ment
    
    Conflicts:
    	Language/Copilot/Dispatch.hs
    
    Removed all the POSIX stuff and got regular Handles working.
    authored April 25, 2011
  6. Lee Pike

    Removing POSIX stuff...

    authored April 25, 2011

Apr 22, 2011

  1. Lee Pike

    Improvements to the randomTests interface.

    Still have a bug that causes the tests to fail after about 50k random programs generated.
    authored April 22, 2011

Apr 20, 2011

  1. Fixed bugs in I/O with the executable C programs.

    authored April 20, 2011
  2. Fixed typing bugs in format specifiers for C.

    authored April 20, 2011
  3. removed some compile warnings

    authored April 20, 2011
  4. export clock library

    authored April 20, 2011

Apr 18, 2011

  1. Lee Pike

    setE commands to make setting the environment easier.

    authored April 18, 2011
  2. Lee Pike

    Nicer interface for specifying the environment for external variables.

    authored April 17, 2011

Apr 17, 2011

  1. Lee Pike

    We don't generate negative random numbers, since we don't want negati…

    …ve signs in the names.
    authored April 17, 2011
  2. Lee Pike

    Added type signatures to remove warnings. Explicitly exported Atom ty…

    …pe to do so.
    authored April 17, 2011
  3. Lee Pike

    Fixed imports to remove warnings.

    authored April 17, 2011
  4. Lee Pike

    Note to fix up formatting in the future.

    authored April 17, 2011
  5. Lee Pike

    Need unix for pipes in testing mode.

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