Permalink
Commits on Jun 7, 2011
Commits on Jun 2, 2011
  1. Added an overflow example.

    leepike committed Jun 2, 2011
Commits on May 23, 2011
  1. enabled clk1 clock dividing function

    Sebastian Niller committed May 23, 2011
  2. changed clock to clk

    Sebastian Niller committed May 23, 2011
Commits on May 22, 2011
  1. small changes to identifier name checking

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

    Sebastian Niller committed May 22, 2011
    …s (and functions to be sampled)
Commits on May 17, 2011
  1. exported __function in header file

    Sebastian Niller committed May 17, 2011
Commits on May 12, 2011
  1. Merge branch 'development' of https://github.com/seni/Copilot into de…

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

    Sebastian Niller committed May 12, 2011
    …upressed compile warning in Random.hs
Commits on May 9, 2011
Commits on Apr 30, 2011
Commits on Apr 28, 2011
Commits on Apr 27, 2011
  1. In testing, print to stderr rather than stdout so that I can pipe the…

    leepike committed Apr 27, 2011
    … output to /dev/null and still get error results.
  2. Print failed test to stderr so you can pipe other stuff to /dev/null …

    leepike committed Apr 27, 2011
    …for speedier testing.
Commits on Apr 26, 2011
  1. Merge.

    leepike committed Apr 26, 2011
  2. One more simple example.

    leepike committed Apr 26, 2011
  3. Merge.

    leepike committed Apr 26, 2011
  4. Lines 80 chars. Slight cleanups.

    leepike committed Apr 26, 2011
  5. Merge branch 'development' of github.com:leepike/Copilot into develop…

    leepike committed Apr 26, 2011
    …ment
    
    Conflicts:
    	Language/Copilot/Dispatch.hs
    
    Removed all the POSIX stuff and got regular Handles working.
  6. Removing POSIX stuff...

    leepike committed Apr 26, 2011
Commits on Apr 22, 2011
  1. Improvements to the randomTests interface.

    leepike committed Apr 22, 2011
    Still have a bug that causes the tests to fail after about 50k random programs generated.
Commits on Apr 20, 2011
  1. Fixed bugs in I/O with the executable C programs.

    leepike committed Apr 20, 2011
  2. Fixed typing bugs in format specifiers for C.

    leepike committed Apr 20, 2011
  3. removed some compile warnings

    Sebastian Niller committed Apr 20, 2011
  4. export clock library

    Sebastian Niller committed Apr 20, 2011
Commits on Apr 18, 2011
Commits on Apr 17, 2011
  1. We don't generate negative random numbers, since we don't want negati…

    leepike committed Apr 17, 2011
    …ve signs in the names.