/[eiffelstudio]
ViewVC logotype

Revision 94058


Jump to revision: Previous Next
Author: polikarn
Date: Sat Jan 18 16:45:31 2014 UTC (5 years, 8 months ago)
Changed paths: 17
Log Message:
Added free invariants to logical types; tests for bags; bugfixes.

Changed paths

Path Details
Directorybranches/eth/eve/Src/framework/eiffel2boogie/iv/iv_map_synonym_type.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/iv/iv_type.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/iv/iv_types.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/iv/iv_user_type.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tests/advanced/bags/a_bags.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tests/advanced/sequences/a_sequences.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tests/advanced/termination/a_termination.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/tests/advanced/termination/output.txt modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/custom/e2b_custom_logical_handler.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_helper.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_routine_translator.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_logical_signature.e added
Directorybranches/eth/eve/Src/library/base/mml/bag.bpl modified , text changed
Directorybranches/eth/eve/Src/library/base/mml/mml_bag.e modified , text changed
Directorybranches/eth/eve/Src/library/base/mml/mml_sequence.e modified , text changed
Directorybranches/eth/eve/Src/library/base/mml/sequence.bpl modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23