Module WLFM05/

back to main page

Summary Period: 2005-04-07 to 2005-05-06

Modules

[root]/WLFM05

Lines of Code


Total Lines Of Code: 3619 (2005-05-13 14:11)

Authors

Author Changes Lines of Code Lines per Change
Totals 23 (100.0%) 5098 (100.0%) 221.6
u1ah3 5 (21.7%) 3375 (66.2%) 675.0
u1sf 18 (78.3%) 1723 (33.8%) 95.7

Most Recent Commits

u1sf 2005-05-06 23:46

Simon Foster <u1sf@decss.shef.ac.uk>
* Corrected the set of CompositeProcess clocks which should be hidden (i.e. C
-> C^m)

1 lines of code changed in:

u1sf 2005-05-06 18:02

Simon Foster <u1sf@decss.shef.ac.uk>
* Added more corrections to the paper.
* Fixed stray performance clock.

1 lines of code changed in:

u1sf 2005-05-06 16:36

Simon Foster <u1sf@decss.shef.ac.uk>
* Added missing \comp.

1 lines of code changed in:

u1sf 2005-05-06 16:22

Simon Foster <u1sf@decss.shef.ac.uk>
* Fixed VC, VD and Performance Semantics + List.

13 lines of code changed in:

u1sf 2005-05-06 14:44

Simon Foster <u1sf@decss.shef.ac.uk>
* Correct Perform matches in CProcess semantics.

8 lines of code changed in:

u1sf 2005-05-05 17:23

Simon Foster <u1sf@decss.shef.ac.uk>
* Made corrections to the semantics.

15 lines of code changed in:

u1sf 2005-05-05 12:03

Simon Foster <u1sf@decss.shef.ac.uk>
* Finished off semantics

24 lines of code changed in:

u1sf 2005-04-25 14:14

Simon Foster <u1sf@dcs.shef.ac.uk>
* Added syntax for SOAP grounded atomic processes.

21 lines of code changed in:

u1sf 2005-04-20 19:19

Simon Foster <u1sf@decss.shef.ac.uk>
* Fixed split and splitJoin composition semantics.

3 lines of code changed in:

u1sf 2005-04-19 19:16

Simon Foster <u1sf@decss.shef.ac.uk>
* Fixed Sequential Composition Semantics, was missing some changes.

3 lines of code changed in:

u1sf 2005-04-19 11:00

Simon Foster <u1sf@decss.shef.ac.uk>
* Removed commas from BNF as they are no longer required.
* Fixed spacing in BNF.

4 lines of code changed in:

u1sf 2005-04-18 22:09

Simon Foster <u1sf@decss.shef.ac.uk>
* Completed process and composition semantics.
* Fixed up syntax.

67 lines of code changed in:

u1sf 2005-04-18 18:53

Simon Foster <u1sf@decss.shef.ac.uk>
* Added semantics for Any-Order, Split, SplitJoin and ChooseOne
* Fixed syntax some more.

164 lines of code changed in:

u1sf 2005-04-17 20:19

Simon Foster <u1sf@decss.shef.ac.uk>
* Fixed the syntax to make it more systematic, and made sure all processes use
the synoymns.
* Added new Sequential Composition semantics.
* Fixed some errors.

138 lines of code changed in:

u1sf 2005-04-14 21:58

Simon Foster <u1sf@decss.shef.ac.uk>
* Added Consume and Produce Constructors to the Syntax.

23 lines of code changed in:

u1sf 2005-04-14 20:49

Simon Foster <u1sf@decss.shef.ac.uk> :
* Added semantics for Repeat{While,Until} and AnyOrder.

149 lines of code changed in:

u1sf 2005-04-14 19:09

Simon Foster <u1sf@decss.shef.ac.uk> :
* Added new semantics for Sequence.

1088 lines of code changed in:

u1ah3 2005-04-07 16:48

2005-04-07 Andrew John Hughes <gnu_andrew@member.fsf.org>

* yr-soc-abstract/yr-soc-abstract.tex:
Added BNF.
* WLFM05/paper.tex:
Added Simon and Andrew as authors, and
corrected BNF.

14 lines of code changed in:

u1ah3 2005-04-07 11:49

2005-04-07 Andrew John Hughes <gnu_andrew@member.fsf.org>

* CONCUR05/{abbrev.sty,*{bib,tex,cls}}
* WLFM05/{abbrev.sty,*{bib,tex,cls}}
Added semantics papers from Barry.

3361 lines of code changed in:

Generated by StatCVS @VERSION@