Commits

History for

Commits on May 9, 2010

Removed irrelevant Python code from this branch. Needs tidying up and documenting.
mount.sarah
committed
4c543c4
Added basic lint-checks for CSP process types.
mount.sarah
committed
3947ce2
Added readset / writeset to all processes in repository. python-csp shell needs updating too.
mount.sarah
committed
850c6b2

Commits on May 8, 2010

Fixed bug in tracer.
mount.sarah
committed
9a14843
Added static checker to determine whether a process correctly uses its
mount.sarah
committed
166d0b5

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
6927bbd
Initial commit of new lint code and some leftover work for the tutorial. Incremental changes to tracer.
mount.sarah
committed
a392074

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
41e496b
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…
mount.sarah
committed
27ed2dd
Moved tracer/ into csp/tracer/. Added basic support for CSPServer processes to tracer. Added debug logging to CSPServer processes.
mount.sarah
committed
ebd1c8c
Small changes in logging code.
mount.sarah
committed
4022847
Fixed Issue 19: "If no guards are selectable by an Alt, the Alt enters
mount.sarah
committed
382a896
Small bugfix.
mount.sarah
committed
9d8a37b
Minor bugfixes in server processes.
mount.sarah
committed
d84729c

Commits on May 2, 2010

Argh! Forgot to add csp.builtins to repository.
mount.sarah
committed
a9e4d68
Refactored all builtin guard types and Barriers into csp.guards. Removed bsp package.
mount.sarah
committed
307f17a
Added documentation to the pyhon-csp shell. Renamed TimerGuard type to Timer.
mount.sarah
committed
9c60a8b
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 …
mount.sarah
committed
f0b2b60

Commits on May 1, 2010

Removed the _process keyword argument for process types; refactored builtins and tests. Documentation needs updating.
mount.sarah
committed
5959f8f

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
95aabf1

Commits on Apr 26, 2010

Refactored tracer code and added PhD work.
snim2
committed
fab62fe

Commits on Apr 25, 2010

Commits on Dec 3, 2009

Hacked a fix for bug in Mux2 definition.
mount.sarah
committed
ef0b68b
Fixed bug in Mux2 definition.
mount.sarah
committed
bd1af2b

Commits on Nov 23, 2009

Added exception handler for KeyboardInterrupt. Needs porting to Jython.
mount.sarah
committed
c14d846

Commits on Nov 18, 2009

Removed unnecessary files.
mount.sarah
committed
df1baf0

Commits on Nov 15, 2009

Fixed bug in test scripts for choice. Unrefactored channel code to fix circular import bug.
mount.sarah
committed
2f18a06
Fixed small bug in test scripts. Fixed Alt.select() bug which appeared when exactly one guard was in the Alt list.
mount.sarah
committed
039f40b
Added GPL notice to channel modules.
mount.sarah
committed
d17e53e
Poison bugs fixed. Channels refactored into separate module.
mount.sarah
committed
5f75e88
Start / spawn bug fixed. Some issues with operator overloading introduced. See unit tests for details.
mount.sarah
committed
7b9792e

Commits on Nov 14, 2009

Added bulk synchronous processing library.
mount.sarah
committed
689aaea

Commits on Nov 9, 2009

Added constructor for token ring networks.
mount.sarah
committed
7a3f924
Tidied up benchmarks. Added ring buffer benchmark, similar to Friborg et. al., CPA 2009.
mount.sarah
committed
1270de1