close Warning: Can't synchronize with repository "(default)" (Unsupported version control system "svn": No module named svn). Look in the Trac log for more information.

Changes between Version 17 and Version 18 of ContextPy


Ignore:
Timestamp:
01/11/2011 08:38:20 AM (9 years ago)
Author:
malte.appeltauer
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ContextPy

    v17 v18  
    1818!ContextPy provides DCL for fine-grained and flexible contract management and extends DBC by a grouping mechanism for contracts, thread-local activation and deactivation of such groups, and selective contract enforcement at run-time. 
    1919
    20 !PyDCL, our proof-of-concept implementation of DCL, is built onto of !ContextPy.
     20PyDCL, our proof-of-concept implementation of DCL, is built onto of !ContextPy.
     21
     22
     23'''Please note that ContextJ will not be maintained anymore. However, all features of ContextJ are supported by its successor [wiki:JCop].'''
    2124
    2225For more information, please see our [wiki:JCopPublications#ContextPy publications] related to the !ContextPy project or contact us: