User contributions
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 14:03, 6 November 2007 (diff | hist) . . (+1) . . m Multiple constraints (→Using whats there)
- 14:03, 6 November 2007 (diff | hist) . . (+2) . . m Multiple constraints (→Using whats there)
- 10:33, 10 July 2007 (diff | hist) . . (+734) . . Talk:Interval types
- 15:27, 24 June 2007 (diff | hist) . . (+161) . . Restrict types (enhanced Void/NONE example) (current)
- 10:38, 24 June 2007 (diff | hist) . . (0) . . Forget / keep
- 10:37, 24 June 2007 (diff | hist) . . (+29) . . Forget / keep
- 10:36, 24 June 2007 (diff | hist) . . (-1) . . Novariance
- 10:36, 24 June 2007 (diff | hist) . . (+30) . . Novariance
- 22:43, 23 June 2007 (diff | hist) . . (-6) . . m Catcall checkpoints (→Agents)
- 22:42, 23 June 2007 (diff | hist) . . (+1,937) . . Catcall checkpoints (added agent example)
- 15:01, 23 June 2007 (diff | hist) . . (-216) . . m Usage-site variance (→Vision 2 Example)
- 14:52, 23 June 2007 (diff | hist) . . (-14) . . m Usage-site variance (→Vision 2 Example)
- 14:48, 23 June 2007 (diff | hist) . . (-75) . . Usage-site variance (→Vision 2 Example)
- 14:46, 23 June 2007 (diff | hist) . . (+1) . . Usage-site variance (→Vision 2 Example)
- 14:46, 23 June 2007 (diff | hist) . . (+115) . . Usage-site variance (→Vision 2 Example)
- 14:44, 23 June 2007 (diff | hist) . . (+7) . . m Usage-site variance (→Vision 2 Example)
- 14:43, 23 June 2007 (diff | hist) . . (+42) . . Usage-site variance (→Vision 2 Example)
- 14:39, 23 June 2007 (diff | hist) . . (+171) . . Usage-site variance (→Vision 2 Example)
- 14:35, 23 June 2007 (diff | hist) . . (+2,829) . . Usage-site variance (→Vision 2 Example)
- 13:24, 23 June 2007 (diff | hist) . . (+28) . . m Usage-site variance (→Agents)
- 11:09, 23 June 2007 (diff | hist) . . (+1) . . Forget / keep (→A Simple Generic Algorithm)
- 18:28, 22 June 2007 (diff | hist) . . (+14) . . Comparison of catcall solutions (→Generic vs. non-generic covariance)
- 18:28, 22 June 2007 (diff | hist) . . (+608) . . Comparison of catcall solutions (→Generic vs. non-generic covariance)
- 17:56, 22 June 2007 (diff | hist) . . (+1,027) . . N Agent syntax (initial copy from internal wiki)
- 17:55, 22 June 2007 (diff | hist) . . (+6,847) . . N Definition-site variance
- 17:54, 22 June 2007 (diff | hist) . . (+3,459) . . N Detachable types (copy from internal wiki)
- 09:41, 24 April 2007 (diff | hist) . . (+50) . . EiffelStudio 6.0 Features (→Eiffel Language/Compiler)
- 09:39, 24 April 2007 (diff | hist) . . (-1) . . m Current implementation of multi constraint formals (→Creation without call to explicit creation feature) (current)
- 08:39, 23 April 2007 (diff | hist) . . (-6) . . Current implementation of multi constraint formals
- 11:04, 22 April 2007 (diff | hist) . . (-1) . . Covariance-aware assertions (→Unsatisfiable postcondition on catcalls)
- 20:27, 19 April 2007 (diff | hist) . . (+3) . . Preventing CAT calls in Generics (→How to generate the call signature for a given agent type) (current)
- 09:11, 19 April 2007 (diff | hist) . . (+307) . . N Class checking
- 16:24, 17 April 2007 (diff | hist) . . (-1) . . m Immutable Strings (→Issues with ANY.is_equal)
- 16:16, 17 April 2007 (diff | hist) . . (+1) . . m Immutable Strings (→Conformance or Conversion)
- 16:14, 17 April 2007 (diff | hist) . . (-3) . . m Immutable Strings (→Conformance or Conversion)
- 16:13, 17 April 2007 (diff | hist) . . (0) . . Immutable Strings (→Conformance or Conversion)
- 13:07, 16 April 2007 (diff | hist) . . (+165) . . EiffelStudio 6.0 Releases (→6.0.x)
- 09:19, 16 April 2007 (diff | hist) . . (+308) . . EiffelStudio 6.0 Releases
- 08:45, 12 April 2007 (diff | hist) . . (+539) . . Talk:Agent problems (→Is CAT Call)
- 15:55, 11 April 2007 (diff | hist) . . (+115) . . Talk:Agent problems
- 13:11, 8 April 2007 (diff | hist) . . (+30) . . Preventing CAT calls in Generics
- 16:21, 7 April 2007 (diff | hist) . . (+10) . . Preventing CAT calls in Generics
- 16:20, 7 April 2007 (diff | hist) . . (+200) . . Preventing CAT calls in Generics
- 16:17, 7 April 2007 (diff | hist) . . (+1,359) . . Preventing CAT calls in Generics
- 15:43, 7 April 2007 (diff | hist) . . (+272) . . Preventing CAT calls in Generics
- 14:44, 7 April 2007 (diff | hist) . . (-125) . . Preventing CAT calls in Generics
- 14:36, 7 April 2007 (diff | hist) . . (-43) . . Preventing CAT calls in Generics
- 14:31, 7 April 2007 (diff | hist) . . (+1,657) . . Preventing CAT calls in Generics
- 13:05, 7 April 2007 (diff | hist) . . (0) . . m Preventing CAT calls in Generics
- 12:02, 7 April 2007 (diff | hist) . . (+2) . . Preventing CAT calls in Generics
- 12:02, 7 April 2007 (diff | hist) . . (+2,291) . . Preventing CAT calls in Generics (more explanations)
- 11:25, 30 March 2007 (diff | hist) . . (+23) . . Current implementation of multi constraint formals (→Abstract creation)
- 12:58, 29 March 2007 (diff | hist) . . (+298) . . Current implementation of multi constraint formals
- 09:24, 29 March 2007 (diff | hist) . . (+405) . . Current implementation of multi constraint formals
- 10:17, 28 March 2007 (diff | hist) . . (+3) . . Talk:History behavior (typos)
- 17:15, 27 March 2007 (diff | hist) . . (+2,031) . . Multiple constraints
- 16:24, 27 March 2007 (diff | hist) . . (+522) . . Multiple constraints (→Select)
- 16:10, 27 March 2007 (diff | hist) . . (+14) . . m Multiple constraints
- 15:52, 27 March 2007 (diff | hist) . . (+1,400) . . Multiple constraints (→Abstract creation)
- 15:12, 27 March 2007 (diff | hist) . . (+23) . . m Multiple constraints
- 12:41, 26 March 2007 (diff | hist) . . (+1) . . m Reattachment (typo fixed)
- 15:00, 15 March 2007 (diff | hist) . . (+1) . . m Current implementation of multi constraint formals (→Introduction)
- 14:17, 15 March 2007 (diff | hist) . . (+498) . . Current implementation of multi constraint formals
- 13:54, 15 March 2007 (diff | hist) . . (+1,054) . . Current implementation of multi constraint formals
- 13:34, 15 March 2007 (diff | hist) . . (0) . . Current implementation of multi constraint formals (→EXTENDED_TYPE_A)
- 13:33, 15 March 2007 (diff | hist) . . (+378) . . Current implementation of multi constraint formals (→EXTENDED_TYPE_A)
- 13:20, 15 March 2007 (diff | hist) . . (+913) . . Current implementation of multi constraint formals (→RENAMING_A)
- 11:47, 15 March 2007 (diff | hist) . . (-3) . . Current implementation of multi constraint formals (→CLASS_C)
- 11:44, 15 March 2007 (diff | hist) . . (+518) . . Current implementation of multi constraint formals (→CLASS_C)
- 11:27, 15 March 2007 (diff | hist) . . (+5,540) . . N Current implementation of multi constraint formals
- 10:07, 14 March 2007 (diff | hist) . . (+1) . . Side-effect sensitive invariant checking (→Status quo of invariant detection)
- 12:18, 26 February 2007 (diff | hist) . . (0) . . Multiple constraints (→Recursion issues)
- 07:54, 21 February 2007 (diff | hist) . . (+65) . . m Talk:Forget / Keep Mechanism
- 15:30, 20 February 2007 (diff | hist) . . (+8) . . m Multiple constraints
- 20:25, 16 February 2007 (diff | hist) . . (-53) . . m Conversion rules
- 20:24, 16 February 2007 (diff | hist) . . (-53) . . Multiple constraints
- 15:00, 7 February 2007 (diff | hist) . . (+38) . . Cluster Tool
- 11:03, 31 January 2007 (diff | hist) . . (+1) . . m Reasons for using Eiffel
- 13:18, 26 January 2007 (diff | hist) . . (+20) . . Multiple constraints
- 13:06, 26 January 2007 (diff | hist) . . (+1,393) . . Multiple constraints
- 12:05, 26 January 2007 (diff | hist) . . (+2,051) . . Multiple constraints
- 11:11, 26 January 2007 (diff | hist) . . (+537) . . Multiple constraints
- 10:24, 26 January 2007 (diff | hist) . . (+2) . . DynBindModel (→The renaming function)
- 09:22, 26 January 2007 (diff | hist) . . (+1) . . DynBindModel (→Operator: override)
- 14:55, 25 January 2007 (diff | hist) . . (+418) . . Conversion rules
- 16:19, 24 January 2007 (diff | hist) . . (+13) . . Conversion rules
- 08:58, 24 January 2007 (diff | hist) . . (+1) . . m First Steps (typo fixed)
- 13:56, 23 January 2007 (diff | hist) . . (+441) . . Conversion rules
- 12:42, 23 January 2007 (diff | hist) . . (+1,117) . . Conversion rules
- 11:08, 23 January 2007 (diff | hist) . . (+203) . . Conversion rules
- 08:22, 23 January 2007 (diff | hist) . . (+13) . . ECMA unfolded (current)
- 08:07, 23 January 2007 (diff | hist) . . (+2) . . Replication
- 07:35, 23 January 2007 (diff | hist) . . (+55) . . Conversion rules
- 15:28, 22 January 2007 (diff | hist) . . (-10) . . Conversion rules
- 15:25, 22 January 2007 (diff | hist) . . (+77) . . File:Type-conversion-illustration.png (current)
- 15:23, 22 January 2007 (diff | hist) . . (+44) . . Conversion rules
- 15:15, 22 January 2007 (diff | hist) . . (+77) . . File:Type-conversion-illustration.png
- 15:14, 22 January 2007 (diff | hist) . . (+88) . . N File:Type-conversion-illustration.png (Conversion: This image can be used to visually support the design of new validity rules.)
- 15:11, 22 January 2007 (diff | hist) . . (+282) . . Conversion rules
- 11:50, 22 January 2007 (diff | hist) . . (-4) . . Conversion rules
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)