mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-08 07:42:33 +01:00
Code Issues Packages Projects Releases Wiki Activity
1,310 Commits 1 Branch 0 Tags
9b37c4386ceb514d3d84738e6b5fdbac815993f1
Commit Graph

379 Commits

Author SHA1 Message Date
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
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