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

Log of /branches/eth/eve/Src/framework/eiffel2boogie/tests/framing/ownership/composite/f_com_composite_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: 5982 byte(s)
Diff to previous 93731
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 93731 - (view) (annotate) - [select for diffs]
Modified Mon Dec 16 09:25:16 2013 UTC (5 years, 10 months ago) by polikarn
File length: 5987 byte(s)
Diff to previous 93706
Bugfix in precondition predicate generation. Fixed tests.

Revision 93706 - (view) (annotate) - [select for diffs]
Modified Thu Dec 12 22:19:59 2013 UTC (5 years, 10 months ago) by polikarn
File length: 5974 byte(s)
Diff to previous 93704
Refactoring of the feature translation process; functional features now have boogie procedures to perform checks (e.g. termination).

Revision 93704 - (view) (annotate) - [select for diffs]
Modified Thu Dec 12 15:02:44 2013 UTC (5 years, 10 months ago) by polikarn
File length: 5888 byte(s)
Diff to previous 93667
Decreases checks (except functional features).

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: 5873 byte(s)
Diff to previous 93417
Copied cleaned-up examples into the tests.

Revision 93417 - (view) (annotate) - [select for diffs]
Modified Mon Nov 18 17:29:07 2013 UTC (5 years, 11 months ago) by julian
File length: 4695 byte(s)
Diff to previous 93413
AutoProof: verified composite example.

Revision 93413 - (view) (annotate) - [select for diffs]
Modified Sat Nov 16 15:04:05 2013 UTC (5 years, 11 months ago) by julian
File length: 4708 byte(s)
Diff to previous 93405
AutoProof: updated composite example.

Revision 93405 - (view) (annotate) - [select for diffs]
Modified Fri Nov 15 21:07:40 2013 UTC (5 years, 11 months ago) by julian
File length: 5863 byte(s)
Diff to previous 93378
AutoProof: continued ownership implementation.


Revision 93378 - (view) (annotate) - [select for diffs]
Modified Thu Nov 14 15:57:08 2013 UTC (5 years, 11 months ago) by julian
File length: 7060 byte(s)
Diff to previous 93349
AutoProof: continued ownership implementation.


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: 4811 byte(s)
Diff to previous 93346
AutoProof: added predicates for partial invariants

Revision 93346 - (view) (annotate) - [select for diffs]
Added Wed Nov 13 08:05:21 2013 UTC (5 years, 11 months ago) by julian
File length: 4024 byte(s)
AutoProof: added composite example.

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