Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 1011, Thu Jan 10 20:22:04 2002 UTC	revision 1049, Thu Jan 31 21:03:49 2002 UTC
#	Line 11	Line 11
11	Date: yyyy/mm/dd	Date: yyyy/mm/dd
12	Tag: <post-commit CVS tag>	Tag: <post-commit CVS tag>
13	Description:	Description:
14
15		----------------------------------------------------------------------
16		Name: Matthias Blume
17		Date: 2002/01/31 16:05:00 EST
18		Tag: blume-20020131-sparc-ccalls
19		Description:
20
21		1. C-calls on Sparc needlessly allocated a huge chunk (96 bytes)
22		of extra stack space by mistake.  Fixed.
23
24		2. Bug in logic of handling of command-line options in ml-nlffigen fixed.
25
26		----------------------------------------------------------------------
27		Name: Allen Leung
28		Date: 2002/01/30
29		Tag: leunga-20020130-nowhere-bug-fix
30		Description:
31
32		MLRISC bug fixes:
33		1. Fixed a bindings computation bug in the 'nowhere' program generator tool.
34		2. MachineInt.fromString was negating its value.
35
36		----------------------------------------------------------------------
37		Name: Matthias Blume
38		Date: 2002/01/29
39		Tag: blume-20020129-INSTALL
40		Description:
41
42		- Added somewhat detailed installation instructions (file INSTALL).
43		- Fixed curl-detection bug in config/install.sh.
44		- It is now possible to select the URL getter using the URLGETTER
45		environment variable:
46
47		not set / "unknown"      --> automatic detection (script tries wget,
48		curl, and lynx)
49		"wget" / "curl" / "lynx" --> use the specified program (script "knows"
50		how to properly invoke them)
51		other                    --> use $URLGETTER directly, it must take
52		precisely two command-line arguments
53		(source URL and destination file name)
54
55		----------------------------------------------------------------------
56		Name: Matthias Blume
57		Date: 2002/01/28
58		Tag: blume-20020128-sparc-ccalls
59		Description:
60
61		- Fixed problem with calculation of "used" registers in sparc-c-calls.
62		- Make use of the allocParam argument in sparc-c-calls.
63
64		----------------------------------------------------------------------
65		Name: Matthias Blume
66		Date: 2002/01/28
67		Tag: blume-20020128-allocParam
68		Description:
69
70		John Reppy:  Changes c-calls API to accept client-callback for
71		allocating extra stack space.
72		me: Corresponding changes to mlriscGen (using a dummy argument that
73		does not change the current behavior).
74
75		----------------------------------------------------------------------
76		Name: Matthias Blume
77		Date: 2002/01/28 12:00:00
78		Tag: Release_110_38
79		Description:
80
81		This time for real!!!
82
83		----------------------------------------------------------------------
84		Name: Matthias Blume
85		Date: 2002/01/28 10:56:00 EST
86		Tag: blume-20020128-retraction
87		Description:
88
89		0. Retracted earlier 110.38.  (The Release_110_38 tag has been replaced
90		with blume-Release_110_38-retracted.)
91
92		1. Fixed a problem with incorrect rounding modes in real64.sml.
93		(Thanks to Andrew Mccreight <andrew.mccreight@yale.edu>.)
94
95		2. A bug in ml-nlffigen related to the handling of unnamed structs, unions,
96		and enums fixed.  The naming of corresponding ML identifiers should
97		now be consistent again.
98
99		----------------------------------------------------------------------
100		Name: Allen Leung
101		Date: 2002/01/27
102		Tag: leunga-20020127-nowhere
103		Description:
104
105		Added a target called nowhere in the configuration scripts.
106		Enabling this will build the MLRISC 'nowhere' tool (for translating
107		programs with where-clauses into legal SML code) during installation.
108
109		----------------------------------------------------------------------
110		Name: Matthias Blume
111		Date: 2002/01/25 21:27:00 EST
112		Tag: blume-Release_110_38-retracted
113		Description:
114
115		Call it a (working) release!  Version is 110.38. Bootfiles are ready.
116
117		README will be added later.
118
119		!!! NOTE:  Re-tagged as blume-Release_110_38-retracted. Original tag
120		(Release_110_38) removed.  Reason: Last-minute bug fixes.
121
122		----------------------------------------------------------------------
123		Name: Matthias Blume
124		Date: 2002/01/25
125		Tag: blume-20020125-ffi
126		Description:
127
128		A large number of tweaks and improvements to ml-nlffi-lib and
129		ml-nlffigen:
130
131		- ML represenation types have been streamlined
132		- getter and setter functions work with concrete values, not abstract
133		ones where possible
134		- ml-nlffigen command line more flexible (see README file there)
135		- some bugs have been fixed (hopefully)
136
137		----------------------------------------------------------------------
138		Name: Lal George
139		Date: 2002/01/24
140		Tag: george-20020124-risc-ra-interface
141		Description:
142
143		There is a dramatic simplification in the interface to the
144		register allocator for RISC architectures as a result of making
145		parallel copy instructions explicit.
146
147		----------------------------------------------------------------------
148		Name: Matthias Blume
149		Date: 2002/01/22
150		Tag: blume-20020122-x86-ccalls
151		Description:
152
153		Bug fix for c-calls on x86 (having to do with how char- and
154		short-arguments are being handled).
155
156		----------------------------------------------------------------------
157		Name: Matthias Blume
158		Date: 2002/01/21
159		Tag: blume-20020121-ff
160		Description:
161
162		Another day of fiddling with the FFI...
163
164		1. Bug fix/workaround:  CKIT does not complain about negative array
165		dimensions, so ml-nlffigen has to guard itself against this possibility.
166		(Otherwise a negative dimension would send it into an infinite loop.)
167
168		2. Some of the abstract types (light objects, light pointers, most "base"
169		types) in structure C are now eqtypes.
170
171		3. Added constructors and test functions for NULL function pointers.
172
173		----------------------------------------------------------------------
174		Name: Matthias Blume
175		Date: 2002/01/18
176		Tag: blume-20020118-ready-for-new-release
177		Description:
178
179		Made config/srcarchiveurl point to a new place.  (Will provide boot
180		files shortly.)
181
182		Maybe we christen this to be 110.38?
183
184		----------------------------------------------------------------------
185		Name: Matthias Blume
186		Date: 2002/01/18
187		Tag: blume-20020118-more-ffifiddle
188		Description:
189
190		Today's FFI fiddling:
191
192		- Provided a structure CGetSet with "convenient" versions of C.Get.* and
193		C.Set.* that use concrete (MLRep.*) arguments and results instead
194		of abstract ones.
195
196		- Provided word-style bit operations etc. for "int" representation
197		types in MLRep.S<Foo>Bitops where <Foo> ranges over Char, Int, Short,
198		and Long.
199
200		----------------------------------------------------------------------
201		Name: Matthias Blume
202		Date: 2002/01/18
203		Tag: blume-20020118-use-x86-fp
204		Description:
205
206		Now that x86-fast-fp seems to be working, I turned it back on again
207		by default.  (Seems to work fine now, even with the FFI.)
208
209		Other than that, I added some documentation about the FFI to
210		src/ml-nlffigen/README and updated the FFI test examples in
211		src/ml-nlffi-lib/Tests/*.
212
213		----------------------------------------------------------------------
214		Name: Allen Leung
215		Date: 2002/01/17
216		Tag: leunga-20020117-x86-fast-fp-call
217		Description:
218
219		1. Fixed a problem with handling return fp values when x86's fast fp
220		mode is turned on.
221
222		2. Minor pretty printing fix for cellset.  Print %st(0) as %st(0) instead
223		of %f32.
224
225		3. Added a constructor INT32lit to the ast of MLRISC tools.
226
227		----------------------------------------------------------------------
228		Name: Matthias Blume
229		Date: 2002/01/16
230		Tag: blume-20020116-ffifiddle
231		Description:
232
233		More fiddling with the FFI interface:
234
235		- Make constness 'c instead of rw wherever possible.  This eliminates
236		the need for certain explicit coercions.  (However, due to ML's
237		value polymorphism, there will still be many cases where explicit
238		coercions are necessary.  Phantom types are not the whole answer
239		to modeling a subtyping relationship in ML.)
240
241		- ro/rw coersions for pointers added.  (Avoids the detour through */&.)
242
243		- "printf" test example added to src/ml-nlffi-lib/Tests.  (Demonstrates
244		clumsy workaround for varargs problem.)
245
246		----------------------------------------------------------------------
247		Name: Lal George
248		Date: 2002/01/15
249		Tag: <none>
250		Description:
251
252		1. Since COPY instructions are no longer native to the architecture,
253		a generic functor can be used to implement the expandCopies function.
254
255		2. Allowed EXPORT and IMPORT pseudo-op declarations to appear inside a
256		TEXT segment.
257
258		----------------------------------------------------------------------
259		Name: Matthias Blume
260		Date: 2002/01/15
261		Tag: blume-20020115-ffiupdates
262		Description:
263
264		1. Fix for bug resulting in single-precision float values being returned
265		incorrectly from FFI calls.
266
267		2. Small modifications to C FFI API:
268
269		- memory-allocation routines return straight objects (no options)
270		and raise an exception in out-of-memory situations
271		- unsafe extensions to cast between function pointers and pointers
272		from/to ints
273		- added structure C_Debug as an alternative to structure C where
274		pointer-dereferencing (|*| and |*!) always check for null-pointers
275		- added open_lib' to DynLinkage;  open_lib' works like open_lib
276		but also takes a (possibly empty) list of existing library handles
277		that the current library depends on
278
279	----------------------------------------------------------------------	----------------------------------------------------------------------
280	Name: Matthias Blume	Name: Matthias Blume
281	Date: 2002/01/10	Date: 2002/01/10

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1011   changed lines   Added in v.1049

---

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