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

Log of /branches/eth/eve/Src/framework/eiffel2boogie/tests/framing/ownership/observer_one_to_many/f_oom_observer_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: 1290 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: 1315 byte(s)
Diff to previous 93557
Copied cleaned-up examples into the tests.

Revision 93557 - (view) (annotate) - [select for diffs]
Modified Wed Nov 27 17:46:18 2013 UTC (5 years, 10 months ago) by polikarn
File length: 1217 byte(s)
Diff to previous 93364
Added HeapSucc. Changed translation of object test.

Revision 93364 - (view) (annotate) - [select for diffs]
Modified Thu Nov 14 08:30:25 2013 UTC (5 years, 11 months ago) by julian
File length: 1425 byte(s)
Diff to previous 93312
AutoProof: added defaults for modifies clauses.

Revision 93312 - (view) (annotate) - [select for diffs]
Modified Tue Nov 12 07:18:14 2013 UTC (5 years, 11 months ago) by julian
File length: 1175 byte(s)
Diff to previous 93306
AutoProof: added "wrap_all" and "unwrap_all" to ownership translation.

Revision 93306 - (view) (annotate) - [select for diffs]
Modified Mon Nov 11 16:45:33 2013 UTC (5 years, 11 months ago) by julian
File length: 868 byte(s)
Diff to previous 93302
AutoProof: Continued with ownership implementation.
AutoProof: Added PIP example and fixed OOM example.

Revision 93302 - (view) (annotate) - [select for diffs]
Added Mon Nov 11 07:04:29 2013 UTC (5 years, 11 months ago) by julian
File length: 837 byte(s)
AutoProof: added defaults in invariant clause for ownership.

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