mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-07 23:32:42 +01:00
Code Issues Packages Projects Releases Wiki Activity
952 Commits 1 Branch 0 Tags
e54fed594668c908157fc0d09bab3ff4149a8768
Commit Graph

951 Commits

Author SHA1 Message Date
halw
e54fed5946 Author:halw 
Date:2011-08-11T22:00:11.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@952 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-08-11 22:00:30 +00:00
halw
0daa950721 m 
Author:halw
Date:2011-08-11T20:07:57.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@951 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-08-11 20:07:57 +00:00
halw
38e86371fe Author:halw 
Date:2011-08-11T20:01:36.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@950 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-08-11 20:07:14 +00:00
halw
42c44fb408 Author:halw 
Date:2011-08-09T19:02:25.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@949 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-08-09 21:33:22 +00:00
halw
f9a1d2a6b6 Correction to definition of controlled/uncontrolled assertion clauses. 
Author:halw
Date:2011-07-30T23:19:50.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@948 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-30 23:19:50 +00:00
halw
edfc6148f1 Added Info template in Class Invariants section allowing the possibility of using inline agents to effect separate calls in invariants. 
Author:halw
Date:2011-07-26T20:19:19.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@947 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-26 20:19:19 +00:00
halw
1f050a1fc0 Removed Beta and ReviewRequested templates. 
Author:halw
Date:2011-07-23T15:02:44.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@946 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-23 15:02:44 +00:00
halw
c3420c0f79 Author:halw 
Date:2011-07-18T18:32:24.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@945 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-21 16:35:54 +00:00
halw
38835bf7b3 m 
Author:halw
Date:2011-07-18T17:52:31.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@944 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-18 17:52:31 +00:00
halw
354e365bc9 Added note about iteration form of loop. 
Author:halw
Date:2011-07-18T13:50:41.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@943 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-18 13:50:41 +00:00
halw
3bd04c51b4 Added "Workarounds" section and "Print a separate STRING". 
Author:halw
Date:2011-07-18T13:30:39.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@942 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-18 13:30:39 +00:00
halw
c5c596bf43 Added more detail on controlled/uncontrolled assertions. 
Author:halw
Date:2011-07-15T22:02:00.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@941 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-15 22:02:00 +00:00
halw
f2c443d15e m formatting. 
Author:halw
Date:2011-07-14T22:56:22.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@940 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-14 22:56:22 +00:00
halw
181463e881 Added "uncontrolled" to controlled expression definition. 
Author:halw
Date:2011-07-14T22:44:39.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@939 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-14 22:44:39 +00:00
halw
e88ffebbeb Added "uncontrolled" to explanation of preconditions. 
Author:halw
Date:2011-07-14T22:41:59.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@938 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-14 22:41:59 +00:00
halw
e5cad2d741 Added uncontrolled precondition clauses as wait conditions, plus ref to producer-consumer example. 
Author:halw
Date:2011-07-14T18:11:44.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@937 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-14 18:11:44 +00:00
halw
1392976631 Added section for "wait condition". 
Author:halw
Date:2011-07-14T18:01:53.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@936 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-14 18:01:53 +00:00
halw
3baa8de554 Added subheader for separate argument rule. 
Author:halw
Date:2011-07-14T17:27:05.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@935 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-14 17:27:05 +00:00
halw
05828911b1 Tweak definition of Controlled assertion. 
Author:halw
Date:2011-07-13T21:46:56.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@934 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-13 21:46:56 +00:00
halw
1f020c4cab m 
Author:halw
Date:2011-07-10T22:59:50.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@933 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-10 22:59:50 +00:00
halw
af2a90cd85 Author:halw 
Date:2011-07-06T15:36:43.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@932 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-10 14:45:10 +00:00
halw
bde6580ce8 Added limitation on agents targeted to objects of separate types. 
Author:halw
Date:2011-07-06T15:34:11.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@931 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-06 15:34:11 +00:00
halw
888bd550f3 Added limitation on maximum allowable SCOOP processors. 
Author:halw
Date:2011-06-21T21:37:36.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@930 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-06-21 21:37:36 +00:00
halw
e0fae14980 Added clean compile link. 
Author:halw
Date:2011-06-18T14:12:59.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@929 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-06-18 14:12:59 +00:00
halw
8f8fad0af7 Author:halw 
Date:2011-06-16T22:17:24.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@928 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-06-17 16:27:58 +00:00
halw
a0f301c115 Added link to Clean compile page. Removed embedded instructions. 
Author:halw
Date:2011-06-16T22:15:09.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@927 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-06-16 22:15:09 +00:00
halw
c0241fef3a Author:halw 
Date:2011-06-16T21:58:43.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@926 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-06-16 22:12:17 +00:00
halw
83f03c9e63 Author:halw 
Date:2011-06-15T15:06:30.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@925 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-06-15 20:37:57 +00:00
halw
4d0cc742b8 Name change in preparation for EiffelWebReloaded. 
Author:halw
Date:2011-06-15T15:05:55.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@924 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-06-15 15:05:55 +00:00
halw
21450acda4 Author:halw 
Date:2011-06-10T18:54:43.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@923 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-06-15 14:59:00 +00:00
halw
4d23dce4bf Author:halw 
Date:2011-06-10T01:28:43.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@922 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-06-10 18:52:27 +00:00
halw
d7777c11a4 Added "threads as processors" limitation. 
Author:halw
Date:2011-06-09T20:34:51.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@921 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-06-09 20:34:51 +00:00
halw
236b47e273 Added note: V6.8 implements SCOOP processors as process threads. 
Author:halw
Date:2011-06-09T20:32:55.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@920 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-06-09 20:32:55 +00:00
halw
323800ea12 Added caveat about separate anchors. 
Author:halw
Date:2011-06-08T13:13:27.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@919 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-06-08 13:13:27 +00:00
halw
e4a32c72f2 Author:halw 
Date:2011-06-07T19:43:47.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@918 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-06-07 19:51:22 +00:00
halw
5c4735b0f3 Author:halw 
Date:2011-06-02T21:30:36.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@917 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-06-07 19:35:32 +00:00
halw
a8b840a6c3 Added EiffelRibbon Library and EiffelRibbon Applications sections. 
Author:halw
Date:2011-06-02T21:21:05.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@916 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-06-02 21:21:05 +00:00
halw
c1c70b031b Restructured headings. 
Author:halw
Date:2011-06-02T12:42:18.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@915 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-06-02 12:42:18 +00:00
halw
aa80d58a29 Author:halw 
Date:2011-05-26T20:26:39.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@914 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-27 12:40:01 +00:00
halw
c946682265 m 
Author:halw
Date:2011-05-25T13:29:55.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@913 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-25 13:29:55 +00:00
halw
921a8c2b46 Added link to Wait rule implementation notes. 
Author:halw
Date:2011-05-24T23:10:06.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@912 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-24 23:10:06 +00:00
halw
6d56a366f3 Author:halw 
Date:2011-05-23T12:32:22.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@911 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-24 20:15:48 +00:00
halw
e07189d1b6 Minor wording changes from feedback. 
Author:halw
Date:2011-05-23T12:28:34.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@910 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-23 12:28:34 +00:00
halw
0dee10b57a Correction: separate keyword ignored unless SCOOP enabled. 
Author:halw
Date:2011-05-23T12:09:03.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@909 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-23 12:09:03 +00:00
pgummer
3a3a07b8c9 Fix typo. 
Author:Peter Gummer
Date:2011-05-21T01:16:38.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@908 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-21 01:16:38 +00:00
halw
f0521442ba m 
Author:halw
Date:2011-05-20T19:05:46.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@907 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-20 19:05:46 +00:00
halw
053e91e2bd m 
Author:halw
Date:2011-05-20T16:21:01.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@906 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-20 16:21:01 +00:00
halw
55e8ca0dd2 Author:jfiat 
Date:2011-05-20T11:31:40.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@905 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-20 16:08:09 +00:00
halw
2b6ab7d6e5 Moved inappropriate items from here to general release notes page. 
Author:halw
Date:2011-05-19T20:51:12.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@904 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-19 20:51:12 +00:00
halw
fdde8899fd Moved items here which were inadvertently put on compiler changes page. 
Author:halw
Date:2011-05-19T20:50:29.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@903 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-19 20:50:29 +00:00