mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-07 07:12:25 +01:00
Code Issues Packages Projects Releases Wiki Activity
1,408 Commits 1 Branch 0 Tags
430ec5d3ed572e4437c96e61fc825033c3df2909
Commit Graph

425 Commits

Author SHA1 Message Date
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
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
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
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
halw
044617ca3a Added Beta tag until docs agree with distributed example. 
Author:halw
Date:2011-05-17T21:15:07.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@901 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-17 21:15:07 +00:00
halw
2113288fc0 Included verbiage about elements not yet or only partially implemented. 
Author:halw
Date:2011-05-17T20:04:33.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@900 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-17 20:04:33 +00:00
halw
3a495bc1af Created. 
Author:halw
Date:2011-05-17T18:29:59.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@899 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-17 18:29:59 +00:00
halw
efd4c6a681 m 
Author:halw
Date:2011-05-17T14:36:55.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@897 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-17 14:36:55 +00:00
halw
d044508d65 Author:halw 
Date:2011-05-15T02:11:48.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@896 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-17 14:25:22 +00:00
halw
de27c5b184 Author:halw 
Date:2011-05-14T20:46:11.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@895 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-14 20:46:11 +00:00
alexk
172c952dcd Author:alexk 
Date:2011-05-13T13:38:53.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@893 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-13 13:38:53 +00:00
tedf
eee175bce7 Author:tedf 
Date:2011-05-12T01:58:13.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@891 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-12 01:58:13 +00:00
jfiat
5f8d313246 Author:admin 
Date:2011-05-11T22:59:11.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@890 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-11 22:59:11 +00:00
halw
14dfed35f8 Author:halw 
Date:2011-05-11T20:47:35.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@889 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-11 20:47:35 +00:00
manus
f5fedd1ddd Author:manus 
Date:2011-05-06T23:28:40.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@888 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-06 23:28:40 +00:00
halw
f8035c5507 Author:halw 
Date:2011-04-19T20:14:14.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@887 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-05-05 17:44:15 +00:00
halw
351231dc18 Author:halw 
Date:2011-04-18T20:13:30.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@886 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-04-19 20:11:49 +00:00
halw
95d2473315 Shortened page name. 
Author:halw
Date:2011-04-18T20:11:56.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@885 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-04-18 20:11:56 +00:00
halw
02e1b1ce43 Shortened page name. 
Author:halw
Date:2011-04-18T20:10:46.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@884 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-04-18 20:10:46 +00:00
halw
c9ce3cbf9f Shortened page name. 
Author:halw
Date:2011-04-18T20:09:44.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@883 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-04-18 20:09:44 +00:00
halw
e61a20fa3b Shortened page name. 
Author:halw
Date:2011-04-18T20:07:59.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@882 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-04-18 20:07:59 +00:00
halw
8e9399a3fa m 
Author:halw
Date:2011-04-18T20:07:07.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@881 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-04-18 20:07:07 +00:00
halw
f24179effb Shortened page name. 
Author:halw
Date:2011-04-18T20:01:55.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@879 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-04-18 20:01:55 +00:00
halw
eae4ea41a7 Shortened page name. 
Author:halw
Date:2011-04-18T19:58:39.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@878 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-04-18 19:58:39 +00:00