Made the Gobo Eiffel Argument Library compilable in void-safe mode with ISE 13.11.
Fixed typo.
Fixed bug: make sure that its directory name is valid (e.g. not excluded) because adding a recursive subcluster to a recursive cluster.
Improved the cluster dependencies checking mechanism.
Fixed incremental bug in gelint when processing across expressions in assertions.
Fixed the cluster dependencies checking mechanism when no dependencies are explicitly specified.
Eiffel pretty-printer: Removed extra new-line in across instructions.
Fixed typo.
Mark local variables as used when appearing as the target of an agent.
Fixed bug which was causing a GIAAA internal error in gelint when processing routine containing both an across instruction and an inline agent. The information about the across instruction was lost when processing the inline agent.
Added support for 'alias "()"'.
Added support for 'alias "()"'.
Added test to check precedence level of object-test.
Mark formal arguments as used when appearing as the target of an agent.
Added support for "$(ECF_CONFIG_PATH)" in ECF files.
Added support for "$(ECF_CONFIG_PATH)" in ECF files.
Fixed bug in gelint when processing Eiffel for .NET systems.
Merge remote-tracking branch 'upstream/master'