Commits

Commit history

1. Commits on Jun 7, 2011

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

     

     Lee Pike

     committed
     98504daView commit details

     Copy full SHA for 98504da

     Browse repository at this point

   • Updated fast majority example to be constant time.

     

     Lee Pike

     committed
     ef88edcView commit details

     Copy full SHA for ef88edc

     Browse repository at this point
2. Commits on Jun 2, 2011

   • Added an overflow example.

     

     Lee Pike

     committed
     143f282View commit details

     Copy full SHA for 143f282

     Browse repository at this point
3. Commits on May 23, 2011

   • enabled clk1 clock dividing function

     

     Sebastian Niller

     committed
     edff052View commit details

     Copy full SHA for edff052

     Browse repository at this point

   • changed clock to clk

     

     Sebastian Niller

     committed
     b047e3cView commit details

     Copy full SHA for b047e3c

     Browse repository at this point
4. Commits on May 22, 2011

   • small changes to identifier name checking

     

     Sebastian Niller

     committed
     8004faeView commit details

     Copy full SHA for 8004fae

     Browse repository at this point

   • added strings as parameters in the argument list of triggers functions (and functions to be sampled)

     

     Sebastian Niller

     committed
     e60c88bView commit details

     Copy full SHA for e60c88b

     Browse repository at this point
5. Commits on May 17, 2011

   • exported __function in header file

     

     Sebastian Niller

     committed
     bf4630eView commit details

     Copy full SHA for bf4630e

     Browse repository at this point
6. Commits on May 12, 2011

   • Merge branch 'development' of https://github.com/seni/Copilot into development

     

     Sebastian Niller

     committed
     c3ec8bfView commit details

     Copy full SHA for c3ec8bf

     Browse repository at this point

   • added lustre reglo style regular expressions on boolean streams and supressed compile warning in Random.hs

     

     Sebastian Niller

     committed
     e57c166View commit details

     Copy full SHA for e57c166

     Browse repository at this point
7. Commits on May 9, 2011

   • Turn off generating streams with doubles and floats.

     leepike

     committed
     b668517View commit details

     Copy full SHA for b668517

     Browse repository at this point

   • Renamed to remove shadowing warnings.

     leepike

     committed
     c355c8cView commit details

     Copy full SHA for c355c8c

     Browse repository at this point

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

     leepike

     committed
     65f7068View commit details

     Copy full SHA for 65f7068

     Browse repository at this point
8. Commits on Apr 30, 2011

   • Rounding error from random testing. The testing is too sensitive on Floats.

     

     Lee Pike

     committed
     2dcf72dView commit details

     Copy full SHA for 2dcf72d

     Browse repository at this point
9. Commits on Apr 28, 2011

   • Allow the use of gcov to provide coverage data of the C program during testing.

     

     Lee Pike

     committed
     85f9511View commit details

     Copy full SHA for 85f9511

     Browse repository at this point
10. Commits on Apr 27, 2011

    • In testing, print to stderr rather than stdout so that I can pipe the output to /dev/null and still get error results.

      

      Lee Pike

      committed
      4891779View commit details

      Copy full SHA for 4891779

      Browse repository at this point

    • Print failed test to stderr so you can pipe other stuff to /dev/null for speedier testing.

      

      Lee Pike

      committed
      afa65e2View commit details

      Copy full SHA for afa65e2

      Browse repository at this point
11. Commits on Apr 26, 2011

    • Merge.

      

      leepike@gmail.com

      committed
      7be2b6eView commit details

      Copy full SHA for 7be2b6e

      Browse repository at this point

    • One more simple example.

      

      leepike@gmail.com

      committed
      c555816View commit details

      Copy full SHA for c555816

      Browse repository at this point

    • Merge.

      

      leepike@gmail.com

      committed
      cb08032View commit details

      Copy full SHA for cb08032

      Browse repository at this point

    • Lines 80 chars. Slight cleanups.

      

      leepike@gmail.com

      committed
      dc304b2View commit details

      Copy full SHA for dc304b2

      Browse repository at this point

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

      Show description for 6fa41a5
      

      leepike@gmail.com

      committed
      6fa41a5View commit details

      Copy full SHA for 6fa41a5

      Browse repository at this point

    • Removing POSIX stuff...

      

      leepike@gmail.com

      committed
      55cd60dView commit details

      Copy full SHA for 55cd60d

      Browse repository at this point
12. Commits on Apr 22, 2011

    • Improvements to the randomTests interface.

      Show description for 64c0ce4
      

      Lee Pike

      committed
      64c0ce4View commit details

      Copy full SHA for 64c0ce4

      Browse repository at this point
13. Commits on Apr 20, 2011

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

      

      leepike

      committed
      c9e258fView commit details

      Copy full SHA for c9e258f

      Browse repository at this point

    • Fixed typing bugs in format specifiers for C.

      

      leepike

      committed
      600f1c0View commit details

      Copy full SHA for 600f1c0

      Browse repository at this point

    • removed some compile warnings

      

      Sebastian Niller

      committed
      d1ed4f9View commit details

      Copy full SHA for d1ed4f9

      Browse repository at this point

    • export clock library

      

      Sebastian Niller

      committed
      b85fca9View commit details

      Copy full SHA for b85fca9

      Browse repository at this point
14. Commits on Apr 18, 2011

    • setE commands to make setting the environment easier.

      

      leepike@gmail.com

      committed
      89d1446View commit details

      Copy full SHA for 89d1446

      Browse repository at this point

    • Nicer interface for specifying the environment for external variables.

      

      leepike@gmail.com

      committed
      f1b1b8dView commit details

      Copy full SHA for f1b1b8d

      Browse repository at this point
15. Commits on Apr 17, 2011

    • We don't generate negative random numbers, since we don't want negative signs in the names.

      

      leepike@gmail.com

      committed
      75167b6View commit details

      Copy full SHA for 75167b6

      Browse repository at this point

    • Added type signatures to remove warnings. Explicitly exported Atom type to do so.

      

      leepike@gmail.com

      committed
      b38e036View commit details

      Copy full SHA for b38e036

      Browse repository at this point

    • Fixed imports to remove warnings.

      

      leepike@gmail.com

      committed
      80ad5d4View commit details

      Copy full SHA for 80ad5d4

      Browse repository at this point

    • Note to fix up formatting in the future.

      

      leepike@gmail.com

      committed
      e2fce93View commit details

      Copy full SHA for e2fce93

      Browse repository at this point

    • Need unix for pipes in testing mode.

      

      leepike@gmail.com

      committed
      8ef6f28View commit details

      Copy full SHA for 8ef6f28

      Browse repository at this point