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

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

Parent Directory Parent Directory | Revision Log Revision Log


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

Revision 93597 - (view) (annotate) - [select for diffs]
Modified Tue Dec 3 00:48:44 2013 UTC (5 years, 10 months ago) by julian
File length: 4411 byte(s)
Diff to previous 93523
AutoProof: special translation for lemma and functional

Revision 93523 - (view) (annotate) - [select for diffs]
Modified Sat Nov 23 07:32:23 2013 UTC (5 years, 10 months ago) by julian
File length: 4645 byte(s)
Diff to previous 93346
AutoProof: added better feedback for unsupported code.

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

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: 4363 byte(s)
Diff to previous 92742
AutoProof: initial refactoring for routine translators.
AutoProof: added two examples.

Revision 92742 - (view) (annotate) - [select for diffs]
Modified Wed Jun 26 17:45:24 2013 UTC (6 years, 3 months ago) by polikarn
File length: 4292 byte(s)
Diff to previous 92541
Calling creation version of a procedure from creation expressions; generating creation procedure from default_create; translating MML_SET.is_disjoint.

Revision 92541 - (view) (annotate) - [select for diffs]
Modified Wed May 15 14:43:05 2013 UTC (6 years, 5 months ago) by julian
File length: 4268 byte(s)
Diff to previous 91226
AutoProof: small fixes

Revision 91226 - (view) (annotate) - [select for diffs]
Modified Thu Feb 14 16:36:21 2013 UTC (6 years, 8 months ago) by julian
File length: 4227 byte(s)
Diff to previous 89813
AutoProof: refactored parameter translation.

Revision 89813 - (view) (annotate) - [select for diffs]
Modified Mon Nov 5 13:32:52 2012 UTC (6 years, 11 months ago) by julian
File length: 5062 byte(s)
Diff to previous 89807
Added custom array translations.

Revision 89807 - (view) (annotate) - [select for diffs]
Modified Fri Nov 2 15:41:56 2012 UTC (6 years, 11 months ago) by julian
File length: 4173 byte(s)
Diff to previous 88710
Refactored custom handlers.

Revision 88710 - (view) (annotate) - [select for diffs]
Added Thu May 10 14:58:31 2012 UTC (7 years, 5 months ago) by julian
File length: 3936 byte(s)
Added new AutoProof version with translation to intermediate verification AST for translation to Boogie.


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