/[eiffelstudio]
ViewVC logotype

Revision 93597


Jump to revision: Previous Next
Author: julian
Date: Tue Dec 3 00:48:44 2013 UTC (5 years, 9 months ago)
Changed paths: 37
Log Message:
AutoProof: special translation for lemma and functional

Changed paths

Path Details
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/autoproof/es_autoproof_tool_panel.e modified , text changed
Directorybranches/eth/eve/Src/Eiffel/interface/tty/ewb_boogie_verification.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/e2b_messages.e added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/exec/e2b_verifier.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/iv/iv_boogie_printer.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/iv/iv_factory.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tests/advanced/ added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tests/advanced/functional/ added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tests/advanced/functional/a_functional.e added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tests/advanced/ghost/ added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tests/advanced/ghost/a_ghost.e added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tests/advanced/lemma/ added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tests/advanced/lemma/a_lemma.e added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tests/advanced/sequences/ added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tests/advanced/sequences/a_sequences.e added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tests/advanced/sequences/output.txt added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tests/advanced/sets/
(Copied from branches/eth/eve/Src/framework/eiffel2boogie/tests/sets, r93595)
added
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tests/advanced/sets/a_sets.e
(Copied from branches/eth/eve/Src/framework/eiffel2boogie/tests/sets/sets.e, r93595)
added , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tests/advanced/sets/sets.e deleted
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tests/sets/ deleted
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tests/tests.ecf modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/custom/e2b_custom_ownership_handler.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_attribute_translator.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_body_expression_translator.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_contract_expression_translator.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_expression_translator.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_ghost_translator.e deleted
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_helper.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_modifies_translator.e deleted
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_routine_translator.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_routine_translator_base.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_shared_context.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/pool/e2b_translation_pool.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/pool/e2b_tu_ghost_attribute.e deleted
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/pool/e2b_tu_ghost_function.e deleted
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/pool/e2b_tu_ghost_routine_implementation.e deleted
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/pool/e2b_tu_ghost_routine_signature.e deleted

  ViewVC Help
Powered by ViewVC 1.1.23