Added new test for catcall checking.
Added new test for memory corruption with type instances after a GC collection.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@92599 8089f293-4706-0410-a29e-feb5c42a2edf
Updated test to use new REFLECTED_REFERENCE_OBJECT class.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@92600 8089f293-4706-0410-a29e-feb5c42a2edf
Fixed eweasel test#reflection008 where the most recent allocated TYPE object would not be marked because of the fact that the `rt_type_set' entries are always shifted by +2 over `eif_next_gen_id' since position 0 and 1 are for attached/detachable NONE.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@92601 8089f293-4706-0410-a29e-feb5c42a2edf
Fixed wrong URL for svn to retrieve iron.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@92602 8089f293-4706-0410-a29e-feb5c42a2edf
Changed ECF namespace to a known one.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@92603 8089f293-4706-0410-a29e-feb5c42a2edf
Added a new ECF schema with new levels of void-safety and new defaults for void-safety and full class checks.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@92604 8089f293-4706-0410-a29e-feb5c42a2edf
Used new ECF schema with 2 new levels of void-safety (one completely new and one replacing a hidden "strictly void-safe" option).
Used new defaults for void safety and full class checking.
Supported saving of ECF with the new XML schema.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@92605 8089f293-4706-0410-a29e-feb5c42a2edf
Replaced assignment attempt with an object test.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@92606 8089f293-4706-0410-a29e-feb5c42a2edf
Synchronized EWF's libraries with EWF master repository

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@92607 8089f293-4706-0410-a29e-feb5c42a2edf
Improved WGI_INPUT_STREAM.append_to_file (f: FILE; nb: INTEGER)

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@92608 8089f293-4706-0410-a29e-feb5c42a2edf
Synchronized EWF's libraries with EWF master repository

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@92609 8089f293-4706-0410-a29e-feb5c42a2edf
Using object test local rather than reverse assignment.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@92610 8089f293-4706-0410-a29e-feb5c42a2edf
Improved the iron upload mechanism

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@92611 8089f293-4706-0410-a29e-feb5c42a2edf
Added 2 pixmaps that will be used to report library status.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@92612 8089f293-4706-0410-a29e-feb5c42a2edf
Added functions to compare 2 void-safety settings.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@92613 8089f293-4706-0410-a29e-feb5c42a2edf
Added a function to tell if 2 void-safety settings are compatible and used the corresponding versions for this and the other function from CONF_OPTION.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@92614 8089f293-4706-0410-a29e-feb5c42a2edf
Used a new dedicated function that reports whether two classes have compatible void-safety settings to report a warning rather than an error.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@92615 8089f293-4706-0410-a29e-feb5c42a2edf
Modified "Add library" dialog by removing check box to list only void-safe libraries.
Used current target settings to list only libraries that are compatible with it.
Added a new column to the library list with details on void-safety and compatibility status.
Updated description of void-safety values.
review#10817014


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@92616 8089f293-4706-0410-a29e-feb5c42a2edf
Improved iron server db initialization.
Reviewed iron server repository persistence


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@92617 8089f293-4706-0410-a29e-feb5c42a2edf
Added runtime subpart of the libraries.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@92618 8089f293-4706-0410-a29e-feb5c42a2edf