{"shas":[["cefbf2506206dc73f94d04eb9dceb161f4757943","b4e131942074b4e4dafdcc14a63e85b7d8e18577@gobosoft.com","Workaround ISE's bug when determining the type of manifest tuples at run-time.\nSee bug report #17781.","Eric Bezault"],["ccf372759fcb7ffd993142079455a1bdafed7ba3","b4e131942074b4e4dafdcc14a63e85b7d8e18577@gobosoft.com","First implementation of void-safety validity rules.","Eric Bezault"],["13f009b78068b78bd8b094c13978db1b9631823a","b4e131942074b4e4dafdcc14a63e85b7d8e18577@gobosoft.com","Fixed bug when running 'gec --gelint ...'. Validity errors were reported twice.","Eric Bezault"],["72e460ee1320077124bffd8bc9047ec48c873c68","b4e131942074b4e4dafdcc14a63e85b7d8e18577@gobosoft.com","Implemented validity rule VEVI where the 'Result' entity declared of attached type is not initialized at the end of a do or once function or a do or once inline agent.","Eric Bezault"],["ac9c5ff262d92aca5bdc30695b1c6f28fc94d073","b4e131942074b4e4dafdcc14a63e85b7d8e18577@gobosoft.com","Implemented validity rule VEVI where the 'Result' entity declared of attached type is not initialized at the end of the body of an attribute.","Eric Bezault"],["8ae1ad2d5eca320dc2f52067ff8d2734b9f4ebb9","b4e131942074b4e4dafdcc14a63e85b7d8e18577@gobosoft.com","Support the ECMA syntax for typed manifest strings and typed character constants.","Eric Bezault"],["69f95fef89575e2ab835190a481389b95b199622","b4e131942074b4e4dafdcc14a63e85b7d8e18577@gobosoft.com","Added missing impplicit type mark for TUPLE types.","Eric Bezault"],["0d89d33184477872d565718c462758cf04b0e662","b4e131942074b4e4dafdcc14a63e85b7d8e18577@gobosoft.com","Stable attributes are not supported yet. Make as if there are all stable for the time being.","Eric Bezault"],["90002da1c2b56903b231bc2c34ddf3afc20bec8b","b4e131942074b4e4dafdcc14a63e85b7d8e18577@gobosoft.com","To be compliant with EiffelStudio, the TUPLE part in the type of agents should be attached even when there are no open operands.","Eric Bezault"],["606e5787e78638a69db877fc0d6e5de03fcf61a3","b4e131942074b4e4dafdcc14a63e85b7d8e18577@gobosoft.com","Relaxed validity rule VDRD-2 to be compliant with EiffelStudio 6.8: it's accepted to have type 'attached like Current' in the signature of the routine in the parent class and 'detachable like Current' in the signature of the redefined routine.","Eric Bezault"],["4d1b75a1e26766dddd1291d23d70ef34273df166","b4e131942074b4e4dafdcc14a63e85b7d8e18577@gobosoft.com","Changed VWEQ so that the attachment status is not taken into account.","Eric Bezault"],["245d4a93a47bf43ab5abede6efdef0537b2b6f18","b4e131942074b4e4dafdcc14a63e85b7d8e18577@gobosoft.com","Fixed bug when setting a stable attribute with another stable attribute. The attachment status was not correctly handled.","Eric Bezault"],["696106aa7ad2d8c93525c3da8c2f7e26df4b2a9a","b4e131942074b4e4dafdcc14a63e85b7d8e18577@gobosoft.com","Made sure that the target of qualified call agents is attached.","Eric Bezault"],["3ef18be9242217fe705841e86ef3997365eebce3","b4e131942074b4e4dafdcc14a63e85b7d8e18577@gobosoft.com","Compatibility with ISE when detecting object-test local names scope overlaps.","Eric Bezault"],["b943a719dea72a832507cbc433d504d42d66544a","b4e131942074b4e4dafdcc14a63e85b7d8e18577@gobosoft.com","Look for convert feature without taking into account the attachment status of the types involved.","Eric Bezault"],["7dd796d29d48a85167c1b428da261cc21fae5e94","b4e131942074b4e4dafdcc14a63e85b7d8e18577@gobosoft.com","Take into account the fact that arguments may be have different names in redefinitions.","Eric Bezault"],["c10aaadaff818b38545e2643f4333feb5bee5b69","b4e131942074b4e4dafdcc14a63e85b7d8e18577@gobosoft.com","Fixed bug when determining the attachment status of formal generic parameters.","Eric Bezault"],["142d076c7ffba7554d38a2cae2ca8a1be3cae1c0","b4e131942074b4e4dafdcc14a63e85b7d8e18577@gobosoft.com","Fixed bug when parsing nested check-instructions. The assertions of the enclosing check-instruction were associated with the inner check-instruction.","Eric Bezault"],["374878957f417a5ddeb7d2da76b70701cfbb14c6","b4e131942074b4e4dafdcc14a63e85b7d8e18577@gobosoft.com","Test showing that EiffelStudio relies on the body of the routine to determine the attachment status of 'Result' in the postcondition. The position of the Gobo compiler is to only rely on the short form of the routine when checking its contracts.","Eric Bezault"]],"ref":"refs/heads/master","size":19,"head":"374878957f417a5ddeb7d2da76b70701cfbb14c6","push_id":41139106}