Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 814, Tue May 1 15:44:45 2001 UTC	revision 836, Fri May 25 19:28:51 2001 UTC
#	Line 14	Line 14
14
15	----------------------------------------------------------------------	----------------------------------------------------------------------
16	Name: Matthias Blume	Name: Matthias Blume
17		Date: 2001/05/25 15:30:00 EDT
18		Tag: blume-20010525-iptr
19		Description:
20
21		- put the official 110.33-README (as it appears on the ftp server) under
22		CVS
23		- fixed a small bug related to incomplete pointer types in
24		ml-nlffigen
25		- small cosmetic change to the ml-nlffi-lib's "arr" type constructor
26		(it does not need the 'f type parameter)
27
28		----------------------------------------------------------------------
29		Name: Matthias Blume
30		Date: 2001/05/23 14:30:00 EDT
31		Tag: Release_110_33
32		Description:
33
34		New version number (110.33).  New bootfiles.
35
36		----------------------------------------------------------------------
37		Name: Matthias Blume
38		Date: 2001/05/22 18:06:00 EDT
39		Tag: blume-20010522-targets
40		Description:
41
42		Made install.sh use file config/targets.customized if it exists, falling
43		back to config/targets if it doesn't.  This way one can have a customized
44		version of the targets file without touching the "real thing", thus
45		eliminating the constant fear of accidentally checking something bogus
46		back into the CVS repository...  (File config/targets.customized must
47		not be added to the repository!)
48
49		----------------------------------------------------------------------
50		Name: Matthias Blume
51		Date: 2001/05/22 16:30:00 EDT
52		Tag: blume-20010522-minitut
53		Description:
54
55		1. Bug fix in ml-nlffigen; now (hopefully) correctly handling
56		struct returns.
57		2. Added src/ml-nlffi-lib/Doc/mini-tutorial.txt.  This is some very
58		incomplete, preliminary documentation for NLFFI.
59
60		----------------------------------------------------------------------
61		Name: Matthias Blume
62		Date: 2001/05/14 11:30:00 EDT
63		Tag: blume-20010514-script
64		Description:
65
66		Some bugs in install script fixed.
67
68		In addition to that I also made a slight change to the NLFFI API:
69		Functors generated by ml-nlffigen now take the dynamic library as a
70		straight functor argument, not as a suspended one.  (The original
71		functor code used to force the suspension right away anyway, so there
72		was nothing gained by this complication of the interface.)
73
74		----------------------------------------------------------------------
75		Name: Matthias Blume
76		Date: 2001/05/11 14:35:00 EDT
77		Tag: blume-20010511-ml-nlffi
78		Description:
79
80		I finally took the plunge and added my new FFI code to the main
81		repository.  For x86-linux it is now ready for prime-time.
82
83		There are two new subdirectories of "src":
84
85		- ml-nlffi-lib:
86		The utility library for programs using the FFI interface.
87		Here is the implementation of $/c.cm and its associated low-level
88		partners $/c-int.cm and $/memory.cm.
89		- ml-nlffigen:
90		A stand-alone program for generating ML glue code from C source
91		code.
92
93		Building ml-nlffigen requires $/ckit-lib.cm.
94
95		The config/install.sh script has been updates to do the Right Thing
96		(hopefully).
97
98		Notice that the source tree for the C-Kit will not be put under "src"
99		but directly under the installation root directory.  (This is the
100		structure that currently exists on the CVS server when you check out
101		module "sml".)  Fortunately, config/install.sh knows about this oddity.
102
103		Bugs: No documentation yet.
104
105		----------------------------------------------------------------------
106		Name: Matthias Blume
107		Date: 2001/05/09 16:35:00 EDT
108		Tag: blume-20010509-cpscontract
109		Description:
110
111		Fixed a bug in the accounting code in cpsopt/contract.sml.  (The
112		wrapper/unwrapper elimination did not decrement usage counts and some
113		dead variables got overlooked by the dead-up logic.)
114
115		----------------------------------------------------------------------
116		Name: Lal George
117		Date: 2001/05/08  17:26:09 EDT
118		Tag: george-20010508-omit-frameptr
119		Description:
120
121		Changes to implement the omit-frame-pointer optimization to support
122		raw C calls. For now, there is only support on the Intel x86, but
123		other architectures will follow as more experience is gained with this.
124
125
126		----------------------------------------------------------------------
127		Name: Matthias Blume
128		Date: 2001/05/07 14:40:00 EDT
129		Tag: blume-20010507-proxies
130		Description:
131
132		I made into "proxy libraries" all libraries that qualify for such a
133		change.  (A qualifying library is a library that has another library or
134		groups as its sole member and repeats that member's export list
135		verbatim.  A proxy library avoids this repetition by omitting its export
136		list, effectively inheriting the list that its (only) member exports.
137		See the CM manual for more explanation.)
138		The main effect is that explicit export lists for these libraries
139		do not have to be kepts in sync, making maintenance a bit easier.
140
141		I also added copyright notices to many .cm-files.
142
143		Last but not least, I made a new set of bootfiles.
144
145		----------------------------------------------------------------------
146		Name: Matthias Blume
147		Date: 2001/05/04 17:00:00 EDT
148		Tag: blume-20010504-cm-lsplit
149		Description:
150
151		0. John merged pending changes to $/smlnj-lib.cm
152
153		1. Allen's previous change accidentally backed out of one of Lal's
154		earlier changes.  I undid this mistake (re-introducing Lal's change).
155
156		2. I used the new topOrder' function from graph-scc.sml (from $/smlnj-lib.cm)
157		within the compiler where applicable.  There is some code simplification
158		because of that.
159
160		3. The "split" phase (in FLINT) is now part of the default list of phases.
161		Compiler.Control.LambdaSplitting.* can be used to globally control the
162		lambda-splitting (cross-module-inlining) engine.  In addition to that,
163		it can now also be controlled on a per-source basis: CM has been taught
164		a new tool parameter applicable to ML source files.
165
166		- To turn lambda-splitting off completely:
167		local open Compiler.Control.LambdaSplitting in
168		val _ = set Off
169		end
170		- To make "no lambda-splitting" the global default (but allow per-source
171		overriding); this is the initial setting:
172		local open Compiler.Control.LambdaSplitting in
173		val _ = set (Default NONE)
174		end
175		- To make "lambda-splitting with aggressiveness a" the global default
176		(and allow per-source overriding):
177		local open Compiler.Control.LambdaSplitting in
178		val _ = set (Default (SOME a))
179		end
180
181		- To turn lambda-splitting off for a given ML souce file (say: a.sml)
182		write (in the respective .cm-file):
183		a.sml (lambdasplitting:off)
184		- To turn lambda-splitting for a.sml on with minimal aggressiveness:
185		a.sml (lambdasplitting:on)
186		- To turn lambda-splitting for a.sml on with aggressiveness <a> (where
187		<a> is a decimal non-negative integer):
188		a.sml (lambdasplitting:<a>)
189		- To turn lambda-splitting for a.sml on with maximal aggressiveness:
190		a.sml (lambdasplitting:infinity)
191		- To use the global default for a.sml:
192		a.sml (lambdasplitting:default)
193		or simply
194		a.sml
195
196		----------------------------------------------------------------------
197		Name: Allen Leung
198		Date: 2001/05/04 01:57:00 EDT
199		Tag: leunga-20010504-sync
200		Description:
201
202		MLRISC features.
203
204		1. Fix to CMPXCHG instructions.
205		2. Changed RA interface to allow annotations in callbacks.
206		3. Added a new method to the stream interface to allow annotations updates.
207
208		----------------------------------------------------------------------
209		Name: Matthias Blume
210	Date: 2001/05/01 11:45:00 EDT	Date: 2001/05/01 11:45:00 EDT
211	Tag: blume-20010501-pcedittmp	Tag: blume-20010501-pcedittmp
212	Description:	Description:

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.814   changed lines   Added in v.836

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0