/[eiffelstudio]
ViewVC logotype

Revision 95994


Jump to revision: Previous Next
Author: polikarn
Date: Sun Oct 26 16:58:21 2014 UTC (4 years, 10 months ago)
Changed paths: 7
Log Message:
Added RANDOM and some required integer functions.

Changed paths

Path Details
Directorybranches/eth/eve/Src/Delivery/studio/tools/autoproof/base_theory.bpl modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/iv/iv_types.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel2boogie/translation/custom/e2b_custom_integer_call_handler.e modified , text changed
Directorybranches/eth/eve/Src/library/base/base2/stream/v_input_stream.e modified , text changed
Directorybranches/eth/eve/Src/library/base/base2/stream/v_output_stream.e modified , text changed
Directorybranches/eth/eve/Src/library/base/base2/stream/v_random.e added
Directorybranches/eth/eve/Src/library/base/testbase2.py modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23