User contributions for Seilerm

6 November 2007

• 22:0322:03, 6 November 2007 diff hist +1 m Multiple constraints →Using whats there
• 22:0322:03, 6 November 2007 diff hist +2 m Multiple constraints →Using whats there

10 July 2007

• 18:3318:33, 10 July 2007 diff hist +734 Talk:Interval types No edit summary

24 June 2007

• 23:2723:27, 24 June 2007 diff hist +161 Restrict types enhanced Void/NONE example current
• 18:3818:38, 24 June 2007 diff hist 0 Forget / keep No edit summary
• 18:3718:37, 24 June 2007 diff hist +29 Forget / keep No edit summary
• 18:3618:36, 24 June 2007 diff hist −1 Novariance No edit summary
• 18:3618:36, 24 June 2007 diff hist +30 Novariance No edit summary
• 06:4306:43, 24 June 2007 diff hist −6 m Catcall checkpoints →Agents
• 06:4206:42, 24 June 2007 diff hist +1,937 Catcall checkpoints added agent example

23 June 2007

• 23:0123:01, 23 June 2007 diff hist −216 m Usage-site variance →Vision 2 Example
• 22:5222:52, 23 June 2007 diff hist −14 m Usage-site variance →Vision 2 Example
• 22:4822:48, 23 June 2007 diff hist −75 Usage-site variance →Vision 2 Example
• 22:4622:46, 23 June 2007 diff hist +1 Usage-site variance →Vision 2 Example
• 22:4622:46, 23 June 2007 diff hist +115 Usage-site variance →Vision 2 Example
• 22:4422:44, 23 June 2007 diff hist +7 m Usage-site variance →Vision 2 Example
• 22:4322:43, 23 June 2007 diff hist +42 Usage-site variance →Vision 2 Example
• 22:3922:39, 23 June 2007 diff hist +171 Usage-site variance →Vision 2 Example
• 22:3522:35, 23 June 2007 diff hist +2,829 Usage-site variance →Vision 2 Example
• 21:2421:24, 23 June 2007 diff hist +28 m Usage-site variance →Agents
• 19:0919:09, 23 June 2007 diff hist +1 Forget / keep →A Simple Generic Algorithm
• 02:2802:28, 23 June 2007 diff hist +14 Comparison of catcall solutions →Generic vs. non-generic covariance
• 02:2802:28, 23 June 2007 diff hist +608 Comparison of catcall solutions →Generic vs. non-generic covariance
• 01:5601:56, 23 June 2007 diff hist +1,027 N Agent syntax initial copy from internal wiki
• 01:5501:55, 23 June 2007 diff hist +6,847 N Definition-site variance No edit summary
• 01:5401:54, 23 June 2007 diff hist +3,459 N Detachable types copy from internal wiki

24 April 2007

• 17:4117:41, 24 April 2007 diff hist +50 EiffelStudio 6.0 Features →Eiffel Language/Compiler
• 17:3917:39, 24 April 2007 diff hist −1 m Current implementation of multi constraint formals →Creation without call to explicit creation feature current

23 April 2007

• 16:3916:39, 23 April 2007 diff hist −6 Current implementation of multi constraint formals No edit summary

22 April 2007

• 19:0419:04, 22 April 2007 diff hist −1 Covariance-aware assertions →Unsatisfiable postcondition on catcalls

20 April 2007

• 04:2704:27, 20 April 2007 diff hist +3 Preventing CAT calls in Generics →How to generate the call signature for a given agent type current

19 April 2007

• 17:1117:11, 19 April 2007 diff hist +307 N Class checking No edit summary

18 April 2007

• 00:2400:24, 18 April 2007 diff hist −1 m Immutable Strings →Issues with ANY.is_equal
• 00:1600:16, 18 April 2007 diff hist +1 m Immutable Strings →Conformance or Conversion
• 00:1400:14, 18 April 2007 diff hist −3 m Immutable Strings →Conformance or Conversion
• 00:1300:13, 18 April 2007 diff hist 0 Immutable Strings →Conformance or Conversion

16 April 2007

• 21:0721:07, 16 April 2007 diff hist +165 EiffelStudio 6.0 Releases →6.0.x
• 17:1917:19, 16 April 2007 diff hist +308 EiffelStudio 6.0 Releases No edit summary

12 April 2007

• 16:4516:45, 12 April 2007 diff hist +539 Talk:Agent problems →Is CAT Call

11 April 2007

• 23:5523:55, 11 April 2007 diff hist +115 Talk:Agent problems No edit summary

8 April 2007

• 21:1121:11, 8 April 2007 diff hist +30 Preventing CAT calls in Generics No edit summary
• 00:2100:21, 8 April 2007 diff hist +10 Preventing CAT calls in Generics No edit summary
• 00:2000:20, 8 April 2007 diff hist +200 Preventing CAT calls in Generics No edit summary
• 00:1700:17, 8 April 2007 diff hist +1,359 Preventing CAT calls in Generics No edit summary

7 April 2007

• 23:4323:43, 7 April 2007 diff hist +272 Preventing CAT calls in Generics No edit summary
• 22:4422:44, 7 April 2007 diff hist −125 Preventing CAT calls in Generics No edit summary
• 22:3622:36, 7 April 2007 diff hist −43 Preventing CAT calls in Generics No edit summary
• 22:3122:31, 7 April 2007 diff hist +1,657 Preventing CAT calls in Generics No edit summary
• 21:0521:05, 7 April 2007 diff hist 0 m Preventing CAT calls in Generics No edit summary
• 20:0220:02, 7 April 2007 diff hist +2 Preventing CAT calls in Generics No edit summary