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

Contents of /branches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_modifies_translator.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 93186 - (show annotations)
Wed Oct 30 16:08:59 2013 UTC (5 years, 11 months ago) by julian
File size: 112 byte(s)
AutoProof: continue on ownership implementation.
1 note
2 description: "[
3 TODO
4 ]"
5 date: "$Date$"
6 revision: "$Revision$"
7
8 class
9 E2B_MODIFIES_TRANSLATOR
10
11
12
13 end

Properties

Name Value
svn:eol-style native
svn:keywords Author Date ID Revision

  ViewVC Help
Powered by ViewVC 1.1.23