/[eiffelstudio]/branches/eth/eve/Src/framework/eiffel2boogie/tests/framing/ownership/master_clock/f_mc_master_d.e
ViewVC logotype

Log of /branches/eth/eve/Src/framework/eiffel2boogie/tests/framing/ownership/master_clock/f_mc_master_d.e

Parent Directory Parent Directory | Revision Log Revision Log


Links to HEAD: (view) (annotate)
Sticky Revision:

Revision 93733 - (view) (annotate) - [select for diffs]
Modified Mon Dec 16 12:32:04 2013 UTC (5 years, 10 months ago) by polikarn
File length: 1371 byte(s)
Diff to previous 93667
Changed handling of default initialization in creators: free preconditions instead of assignment; precondition is_open now cannot be disabled since there is no choice.

Revision 93667 - (view) (annotate) - [select for diffs]
Modified Mon Dec 9 17:35:51 2013 UTC (5 years, 10 months ago) by polikarn
File length: 1396 byte(s)
Diff to previous 93579
Copied cleaned-up examples into the tests.

Revision 93579 - (view) (annotate) - [select for diffs]
Modified Thu Nov 28 19:46:33 2013 UTC (5 years, 10 months ago) by polikarn
File length: 915 byte(s)
Diff to previous 93349
Fixed contracts in other examples. Made closed a real attribute. Better translation of built-in attributes in modify field.

Revision 93349 - (view) (annotate) - [select for diffs]
Modified Wed Nov 13 17:15:59 2013 UTC (5 years, 11 months ago) by julian
File length: 903 byte(s)
Diff to previous 93272
AutoProof: added predicates for partial invariants

Revision 93272 - (view) (annotate) - [select for diffs]
Added Fri Nov 8 16:50:37 2013 UTC (5 years, 11 months ago) by julian
File length: 831 byte(s)
AutoProof: added defaults for ownership methodology

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

  ViewVC Help
Powered by ViewVC 1.1.23