/[eiffelstudio]
ViewVC logotype

Revision 64911


Jump to revision: Previous Next
Author: konradm
Date: Thu Nov 9 00:36:43 2006 UTC (13 years, 2 months ago)
Changed paths: 65
Log Message:
- Added compiler support for supplier preconditions.
- In finalized code the dynamic type is now used to detect whether assertions need to be checked.
- Implemented invariant checking in finalized code.
- Changed ecf files of libraries to not have any assertion checking.

Changed paths

Path Details
Directorytrunk/Src/C/run-time/egc_include.h modified , text changed
Directorytrunk/Src/C/run-time/eif_globals.h modified , text changed
Directorytrunk/Src/C/run-time/eif_macros.h modified , text changed
Directorytrunk/Src/C/run-time/eif_plug.h modified , text changed
Directorytrunk/Src/C/run-time/eif_project.c modified , text changed
Directorytrunk/Src/C/run-time/eif_project.h modified , text changed
Directorytrunk/Src/C/run-time/interp.c modified , text changed
Directorytrunk/Src/C/run-time/main.c modified , text changed
Directorytrunk/Src/C/run-time/plug.c modified , text changed
Directorytrunk/Src/Eiffel/eiffel/byte_code/agent_call_bl.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/byte_code/byte_code.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/byte_code/byte_context.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/byte_code/creation_expr_b.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/byte_code/feature_b.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/byte_code/feature_bl.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/byte_code/feature_bw.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/byte_code/opt_feat_bl.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/byte_code/std_byte_code.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/byte_code/visitor/il_node_generator.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/com_il_generation/Core/run-time/enums/assertion_level_enum.cs modified , text changed
Directorytrunk/Src/Eiffel/eiffel/com_il_generation/Core/run-time/runtime.cs modified , text changed
Directorytrunk/Src/Eiffel/eiffel/generation/final_maker.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/il_generation/il_code_generator.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/il_generation/windows/cil_code_generator.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/il_generation/windows/il_module.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/interface/auxiliary_files.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/interface/class_type.e modified , text changed
Directorytrunk/Src/Eiffel/eiffel/interface/system_i.e modified , text changed
Directorytrunk/Src/library/Eiffel2Java/Eiffel2Java.ecf modified , text changed
Directorytrunk/Src/library/base/base.ecf modified , text changed
Directorytrunk/Src/library/base_extension/base_extension.ecf modified , text changed
Directorytrunk/Src/library/com/com.ecf modified , text changed
Directorytrunk/Src/library/diff/diff.ecf modified , text changed
Directorytrunk/Src/library/docking/docking.ecf modified , text changed
Directorytrunk/Src/library/editor/editor.ecf modified , text changed
Directorytrunk/Src/library/event/event.ecf modified , text changed
Directorytrunk/Src/library/gobo/gobo.ecf modified , text changed
Directorytrunk/Src/library/gobo_extension/gobo_extension.ecf modified , text changed
Directorytrunk/Src/library/graph/graph.ecf modified , text changed
Directorytrunk/Src/library/lex/lex.ecf modified , text changed
Directorytrunk/Src/library/mel/mel.ecf modified , text changed
Directorytrunk/Src/library/memory_analyzer/memory_analyzer.ecf modified , text changed
Directorytrunk/Src/library/net/net.ecf modified , text changed
Directorytrunk/Src/library/parse/parse.ecf modified , text changed
Directorytrunk/Src/library/patterns/patterns.ecf modified , text changed
Directorytrunk/Src/library/preferences/preferences_reg.ecf modified , text changed
Directorytrunk/Src/library/preferences/preferences_xml.ecf modified , text changed
Directorytrunk/Src/library/process/process.ecf modified , text changed
Directorytrunk/Src/library/store/dbms/rdbms/ingres/ingres.ecf modified , text changed
Directorytrunk/Src/library/store/dbms/rdbms/odbc/odbc.ecf modified , text changed
Directorytrunk/Src/library/store/dbms/rdbms/oracle/oracle.ecf modified , text changed
Directorytrunk/Src/library/store/dbms/rdbms/sybase/sybase.ecf modified , text changed
Directorytrunk/Src/library/store/store.ecf modified , text changed
Directorytrunk/Src/library/thread/thread.ecf modified , text changed
Directorytrunk/Src/library/time/time.ecf modified , text changed
Directorytrunk/Src/library/time/time_french.ecf modified , text changed
Directorytrunk/Src/library/time/time_german.ecf modified , text changed
Directorytrunk/Src/library/uuid/uuid.ecf modified , text changed
Directorytrunk/Src/library/vision/vision.ecf modified , text changed
Directorytrunk/Src/library/vision2/vision2.ecf modified , text changed
Directorytrunk/Src/library/vision2_extension/vision2_extension.ecf modified , text changed
Directorytrunk/Src/library/web/web.ecf modified , text changed
Directorytrunk/Src/library/wel/extra/h2e.ecf modified , text changed
Directorytrunk/Src/library/wel/wel.ecf modified , text changed
Directorytrunk/Src/library/wizard/wizard.ecf modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23