[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Demexp-cvs] arch commit: demexp--development--0.1--patch-128
From: |
David |
Subject: |
[Demexp-cvs] arch commit: demexp--development--0.1--patch-128 |
Date: |
Sun, 14 Mar 2004 15:33:47 +0100 |
Revision: demexp--development--0.1--patch-128
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Mar 14 15:33:21 CET 2004
Standard-date: 2004-03-14 14:33:21 GMT
Modified-files: srv/classification.ml.nw
srv/delegation.ml.nw srv/participants.ml.nw
New-patches: address@hidden/demexp--development--0.1--patch-128
Summary: Server: added checking of delegation base invariants
Keywords:
* Added checking of delegation base invariants.
* A failing invariant stops execution in autotest mode.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Demexp-cvs] arch commit: demexp--development--0.1--patch-128,
David <=