Commits

Commit history

1. Commits on May 9, 2010

   • Removed irrelevant Python code from this branch. Needs tidying up and documenting.

     

     mount.sarah

     committed
     4c543c4View commit details

     Copy full SHA for 4c543c4

     View code at this pointBrowse repository at this point

   • Added basic lint-checks for CSP process types.

     

     mount.sarah

     committed
     3947ce2View commit details

     Copy full SHA for 3947ce2

     View code at this pointBrowse repository at this point

   • Added readset / writeset to all processes in repository. python-csp shell needs updating too.

     

     mount.sarah

     committed
     850c6b2View commit details

     Copy full SHA for 850c6b2

     View code at this pointBrowse repository at this point
2. Commits on May 8, 2010

   • Fixed bug in tracer.

     

     mount.sarah

     committed
     9a14843View commit details

     Copy full SHA for 9a14843

     View code at this pointBrowse repository at this point

   • Added static checker to determine whether a process correctly uses its

     Show description for 166d0b5
     

     mount.sarah

     committed
     166d0b5View commit details

     Copy full SHA for 166d0b5

     View code at this pointBrowse repository at this point
3. Commits on May 5, 2010

   • Channel lint now providing useful debug output. Ready to move to ICODE and start providing useful checks.

     

     mount.sarah

     committed
     6927bbdView commit details

     Copy full SHA for 6927bbd

     View code at this pointBrowse repository at this point

   • Initial commit of new lint code and some leftover work for the tutorial. Incremental changes to tracer.

     

     mount.sarah

     committed
     a392074View commit details

     Copy full SHA for a392074

     View code at this pointBrowse repository at this point
4. Commits on May 3, 2010

   • Incremental changes in tracer. Debugging now set dynamically by csp.cspprocess.set_debug(True) or csp.cspthread.set_debug(True), rather than relying on a reinstall.

     

     mount.sarah

     committed
     41e496bView commit details

     Copy full SHA for 41e496b

     View code at this pointBrowse repository at this point

   • Added a script to run the tracer / debugger as a stand-alone program; mainly stubs for now. Added support for CSPServer processes in the tracer (tested and working correctly). Added a context manag…

     Show description for 27ed2dd
     

     mount.sarah

     committed
     27ed2ddView commit details

     Copy full SHA for 27ed2dd

     View code at this pointBrowse repository at this point

   • Moved tracer/ into csp/tracer/. Added basic support for CSPServer processes to tracer. Added debug logging to CSPServer processes.

     

     mount.sarah

     committed
     ebd1c8cView commit details

     Copy full SHA for ebd1c8c

     View code at this pointBrowse repository at this point

   • Small changes in logging code.

     

     mount.sarah

     committed
     4022847View commit details

     Copy full SHA for 4022847

     View code at this pointBrowse repository at this point

   • Fixed Issue 19: "If no guards are selectable by an Alt, the Alt enters

     Show description for 382a896
     

     mount.sarah

     committed
     382a896View commit details

     Copy full SHA for 382a896

     View code at this pointBrowse repository at this point

   • Small bugfix.

     

     mount.sarah

     committed
     9d8a37bView commit details

     Copy full SHA for 9d8a37b

     View code at this pointBrowse repository at this point

   • Minor bugfixes in server processes.

     

     mount.sarah

     committed
     d84729cView commit details

     Copy full SHA for d84729c

     View code at this pointBrowse repository at this point
5. Commits on May 2, 2010

   • Argh! Forgot to add csp.builtins to repository.

     

     mount.sarah

     committed
     a9e4d68View commit details

     Copy full SHA for a9e4d68

     View code at this pointBrowse repository at this point

   • Refactored all builtin guard types and Barriers into csp.guards. Removed bsp package.

     

     mount.sarah

     committed
     307f17aView commit details

     Copy full SHA for 307f17a

     View code at this pointBrowse repository at this point

   • Added documentation to the pyhon-csp shell. Renamed TimerGuard type to Timer.

     

     mount.sarah

     committed
     9c60a8bView commit details

     Copy full SHA for 9c60a8b

     View code at this pointBrowse repository at this point

   • Introduced CSPServer processes and a @forever decorator for creating them. Server processes run in an infinite loop and should act as generators, yielding periodically. The csp.builtins module now …

     Show description for f0b2b60
     

     mount.sarah

     committed
     f0b2b60View commit details

     Copy full SHA for f0b2b60

     View code at this pointBrowse repository at this point
6. Commits on May 1, 2010

   • Removed the _process keyword argument for process types; refactored builtins and tests. Documentation needs updating.

     

     mount.sarah

     committed
     5959f8fView commit details

     Copy full SHA for 5959f8f

     View code at this pointBrowse repository at this point
7. Commits on Apr 27, 2010

   • Finally fixed the Winder Bug (see tests/winder_bug) which turned out to be caused by the Python GC not collecting process graphs when they go out of scope.

     snim2

     committed
     95aabf1View commit details

     Copy full SHA for 95aabf1

     View code at this pointBrowse repository at this point
8. Commits on Apr 26, 2010

   • Refactored tracer code and added PhD work.

     snim2

     committed
     fab62feView commit details

     Copy full SHA for fab62fe

     View code at this pointBrowse repository at this point
9. Commits on Apr 25, 2010

   • Added naive model of CSP processes etc. Needs completing and FDR2 / graphviz output added.

     

     snim2

     committed
     7f7c7feView commit details

     Copy full SHA for 7f7c7fe

     View code at this pointBrowse repository at this point

   • Tracer can now track relevant function calls. Needs to deal with keyword arguments, and generate CSP models of various types.

     

     snim2

     committed
     4209d50View commit details

     Copy full SHA for 4209d50

     View code at this pointBrowse repository at this point
10. Commits on Dec 3, 2009

    • Hacked a fix for bug in Mux2 definition.

      

      mount.sarah

      committed
      ef0b68bView commit details

      Copy full SHA for ef0b68b

      View code at this pointBrowse repository at this point

    • Fixed bug in Mux2 definition.

      

      mount.sarah

      committed
      bd1af2bView commit details

      Copy full SHA for bd1af2b

      View code at this pointBrowse repository at this point
11. Commits on Nov 23, 2009

    • Added exception handler for KeyboardInterrupt. Needs porting to Jython.

      

      mount.sarah

      committed
      c14d846View commit details

      Copy full SHA for c14d846

      View code at this pointBrowse repository at this point
12. Commits on Nov 18, 2009

    • Removed unnecessary files.

      

      mount.sarah

      committed
      df1baf0View commit details

      Copy full SHA for df1baf0

      View code at this pointBrowse repository at this point
13. Commits on Nov 15, 2009

    • Fixed bug in test scripts for choice. Unrefactored channel code to fix circular import bug.

      

      mount.sarah

      committed
      2f18a06View commit details

      Copy full SHA for 2f18a06

      View code at this pointBrowse repository at this point

    • Fixed small bug in test scripts. Fixed Alt.select() bug which appeared when exactly one guard was in the Alt list.

      

      mount.sarah

      committed
      039f40bView commit details

      Copy full SHA for 039f40b

      View code at this pointBrowse repository at this point

    • Added GPL notice to channel modules.

      

      mount.sarah

      committed
      d17e53eView commit details

      Copy full SHA for d17e53e

      View code at this pointBrowse repository at this point

    • Poison bugs fixed. Channels refactored into separate module.

      

      mount.sarah

      committed
      5f75e88View commit details

      Copy full SHA for 5f75e88

      View code at this pointBrowse repository at this point

    • Start / spawn bug fixed. Some issues with operator overloading introduced. See unit tests for details.

      

      mount.sarah

      committed
      7b9792eView commit details

      Copy full SHA for 7b9792e

      View code at this pointBrowse repository at this point
14. Commits on Nov 14, 2009

    • Added bulk synchronous processing library.

      

      mount.sarah

      committed
      689aaeaView commit details

      Copy full SHA for 689aaea

      View code at this pointBrowse repository at this point
15. Commits on Nov 9, 2009

    • Added constructor for token ring networks.

      

      mount.sarah

      committed
      7a3f924View commit details

      Copy full SHA for 7a3f924

      View code at this pointBrowse repository at this point

    • Tidied up benchmarks. Added ring buffer benchmark, similar to Friborg et. al., CPA 2009.

      

      mount.sarah

      committed
      1270de1View commit details

      Copy full SHA for 1270de1

      View code at this pointBrowse repository at this point