13 |
Description: |
Description: |
14 |
|
|
15 |
---------------------------------------------------------------------- |
---------------------------------------------------------------------- |
16 |
Name: |
Name: Matthias Blume |
17 |
Date: |
Date: 2000/03/07 04:01:04 |
18 |
Tag: |
Tag: blume_main_v110_26_2 |
19 |
Description: |
Description: |
20 |
|
- size info in BOOTLIST |
21 |
|
* no fixed upper limits for number of bootfiles or length of |
22 |
|
bootfile names in runtime |
23 |
|
* falling back to old behavior if no BOOTLIST size info found |
24 |
|
- allocation size heuristics in .run-sml |
25 |
|
* tries to read cache size from /proc/cpuinfo (this is important for |
26 |
|
small-cache Celeron systems!) |
27 |
|
- install.sh robustified |
28 |
|
- CM manual updates |
29 |
|
- paranoid mode |
30 |
|
* no more CMB.deliver() (i.e., all done by CMB.make()) |
31 |
|
* can re-use existing sml.boot.* files |
32 |
|
* init.cmi now treated as library |
33 |
|
* library stamps for consistency checks |
34 |
|
- sml.boot.<arch>-<os>/PIDMAP file |
35 |
|
* This file is read by the CM startup code. This is used to minimize |
36 |
|
the amount of dynamic state that needs to be stowed away for the |
37 |
|
purpose of sharing between interactive system and user code. |
38 |
|
- CM.Anchor.anchor instead of CM.Anchor.{set,cancel} |
39 |
|
* Upon request by Elsa. Anchors now controlled by get-set-pair |
40 |
|
like most other CM state variables. |
41 |
|
- Compiler.CMSA eliminated |
42 |
|
* No longer supported by CM anyway. |
43 |
|
- fixed bugs in pickler that kept biting Stefan |
44 |
|
* past refs to past refs (was caused by the possibility that |
45 |
|
ad-hoc sharing is more discriminating than hash-cons sharing) |
46 |
|
* integer overflow on LargeInt.minInt |
47 |
|
- ml-{lex,yacc} build scripts now use new mechanism |
48 |
|
for building standalone programs |
49 |
|
- fixed several gcc -Wall warnings that were caused by missing header |
50 |
|
files, missing initializations, etc., in runtime (not all warnings |
51 |
|
eliminated, though) |