/[eiffelstudio]/branches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_ghost_translator.e
ViewVC logotype

Log of /branches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_ghost_translator.e

Parent Directory Parent Directory | Revision Log Revision Log


Sticky Revision:
(Current path doesn't exist after revision 93596)

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: 4451 byte(s)
Diff to previous 93193
AutoProof: continued ownership implementation.


Revision 93193 - (view) (annotate) - [select for diffs]
Modified Mon Nov 4 16:38:13 2013 UTC (5 years, 11 months ago) by julian
File length: 4390 byte(s)
Diff to previous 93175
AutoProof: continue on ownership implementation.

Revision 93175 - (view) (annotate) - [select for diffs]
Modified Mon Oct 28 16:27:38 2013 UTC (5 years, 11 months ago) by julian
File length: 4326 byte(s)
Diff to previous 93163
AutoProof: initial refactoring for routine translators.
AutoProof: added two examples.

Revision 93163 - (view) (annotate) - [select for diffs]
Modified Wed Oct 23 00:33:57 2013 UTC (6 years ago) by julian
File length: 2486 byte(s)
Diff to previous 93152
AutoProof: added translation for ghost attributes.
AutoProof: cleanup.

Revision 93152 - (view) (annotate) - [select for diffs]
Added Mon Oct 21 15:20:06 2013 UTC (6 years ago) by julian
File length: 1427 byte(s)
AutoProof: Added infrastructure to translate ghost state.

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