Fixed assertion violations.
Use void-safe version of FreeELKS. Adapted the compiler and runtime accordingly.
Based on FreeELKS svn#754.
Documentation explaining how to implement new built-in features in the Gobo Eiffel compiler.
* Fixed bug in features `force_last_new' and `put_last_new' of DS_HASH_TABLE.
* Fixed bug in DS_HASH_TABLE when the calls to `key_equality_tester' in
 `search_position' trigger the invariant which internally calls `search_position'.
  But this routine was not written to be re-entrant.
Improved implementation of class INTERNAL.
Fixed gec code generation for manifest CHARACTER_32 constants.
Made sure that TYPE.new_instance and TYPE.new_special_any_instance do not create objects of types which have not been marked as alive (which means that no object of that type is otherwise created in the system).
Removed feature `internal_meaning' in class EXCEPTION.
Made it interoperatable with FreeELKS void-safe mode.
Changed the generation of C code so that generic expanded types can have a boxed version.
So far only non-generic expanded types had a boxed version, but the C compiler is complaining when trying to get the address of an expression. So we need to malloc some memory (i.e. the box object) in order to get a pointer to it.
Fixed C compilation interoperability errors with ISE.
Fixed C code generation for polymorphic calls where the target is expanded.
Fixed bug in generated C code for TYPE.new_instance and TYPE.new_special_any_instance when dealing with expanded types and type instances.
Improved implementation of TYPE.new_instance and TYPE.new_special_any_instance by making it possible to restrict the size of dynamic type sets. This is done by providing the list of types which can have instances created by these two features.
Fixed bug where gelint was erroneously reporting a VUTA-2 validity error because for an entity of formal generic parameter type we don't necessarily have "is_type_attached = not is_type_detachable".
Fixed compilation errors under Linux.
Added type casts to make gcc happy.
Added -lpthread when compiling with the Boehm GC on platforms other than Windows.
Fixed bug in gec and gelint, where a VJAR validity error was reported when checking the conformance of a qualified anchored type involving a generic parameter.
Fixed flat Degree 3 error.