/[eiffelstudio]
ViewVC logotype

Revision 93942


Jump to revision: Previous Next
Author: polikarn
Date: Thu Jan 9 09:53:26 2014 UTC (6 years, 1 month ago)
Changed paths: 15
Log Message:
Moved set and sequence theories to MML. Using note 'theory' to include Boogie files.

Changed paths

Path Details
Directorybranches/eth/eve/Src/Delivery/studio/tools/autoproof/base_theory.bpl modified , text changed
Directorybranches/eth/eve/Src/Delivery/studio/tools/autoproof/map.bpl deleted
Directorybranches/eth/eve/Src/Delivery/studio/tools/autoproof/sequence.bpl deleted
Directorybranches/eth/eve/Src/Delivery/studio/tools/autoproof/set.bpl deleted
Directorybranches/eth/eve/Src/framework/eiffel2boogie/iv/iv_universe.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_boogie_generator.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_base.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_translator.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/e2b_type_translator.e modified , text changed
Directorybranches/eth/eve/Src/library/base/mml/map.bpl
(Copied from branches/eth/eve/Src/Delivery/studio/tools/autoproof/map.bpl, r93928)
added
Directorybranches/eth/eve/Src/library/base/mml/mml_sequence.e modified , text changed
Directorybranches/eth/eve/Src/library/base/mml/mml_set.e modified , text changed
Directorybranches/eth/eve/Src/library/base/mml/sequence.bpl
(Copied from branches/eth/eve/Src/Delivery/studio/tools/autoproof/sequence.bpl, r93928)
added , text changed
Directorybranches/eth/eve/Src/library/base/mml/set.bpl
(Copied from branches/eth/eve/Src/Delivery/studio/tools/autoproof/set.bpl, r93928)
added , text changed

  ViewVC Help
Powered by ViewVC 1.1.23