Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 1500, Fri May 28 21:44:42 2004 UTC	revision 1581, Wed Aug 4 19:00:53 2004 UTC
#	Line 14	Line 14
14
15	----------------------------------------------------------------------	----------------------------------------------------------------------
16	Name: Matthias Blume (blume (at) tti - c (dot) org)	Name: Matthias Blume (blume (at) tti - c (dot) org)
17		Date: 2004/08/04 14:00:00 CDT
18		Tag: Release_110_47
19		Description:
20
21		New working version (110.47).  NEW BOOTFILES!
22
23		----------------------------------------------------------------------
24		Name: Matthias Blume (blume (at) tti - c (dot) org)
25		Date: 2004/08/03 14:25:00 CDT
26		Tag: blume-20040803-callingconv
27		Description:
28
29		Added low-level support for choosing C calling conventions by
30		twiddling the type of rawccall.  (See
31		src/compiler/Semant/types/cproto.sml for details.)
32
33		----------------------------------------------------------------------
34		Name: Matthias Blume (blume (at) tti - c (dot) org)
35		Date: 2004/08/02 15:55:00 CDT
36		Tag: blume-20040802-backout
37		Description:
38
39		Backed out of change to win32-filesys.c.  The earlier patch to
40		get_file_time caused CM to produce files with the wrong time stamp.
41
42		----------------------------------------------------------------------
43		Name: Matthias Blume (blume (at) tti - c (dot) org)
44		Date: 2004/08/02 14:45:00 CDT
45		Tag: blume-20040802-nlffi-win32
46		Description:
47
48		Added NLFFI support for Win32, adapted from a patch provided by David
49		Hansel.  This is currently completely untested.  Also, the issue
50		concerning stdcall vs. ccall is still unresolved.
51
52		----------------------------------------------------------------------
53		Name: Matthias Blume (blume (at) tti - c (dot) org)
54		Date: 2004/07/30 17:55:00 CDT
55		Tag: blume-20040730-various
56		Description:
57
58		Gearing up towards 110.47...
59
60		- various minor bugfixes to ml-nlffigen
61		- a beginning of a manual for nlffi
62
63		- eliminated 'export name=value' in config/install.sh as this does
64		not work with certain versions of /bin/sh
65		(Thanks to David King at Motorola for catching this.)
66
67		- several bugfixes provided or suggested by David Hansel at Reactive Systems:
68		- added a test for tm==NULL to gmtime.c and localtime.c
69		- applied patch for incorrect GetFileTime under win32
70		- toSeconds -> toMilliseconds in Win32/win32-process.sml
71
72		----------------------------------------------------------------------
73		Name: Matthias Blume (blume (at) tti - c (dot) org)
74		Date: 2004/07/21 18:20:00 CDT
75		Tag: blume-20040721-nlffigen
76		Description:
77
78		- Fixed minor issue in ml-nlffigen: Now generate structure T_foo
79		for a typedef to an incomplete type, but leave out the "typ" member.
80		(This is just for consistency.)
81		- Started to produce what is supposed to become better (i.e., comprehensive)
82		documentation of what ml-nlffigen does and produces.
83
84		----------------------------------------------------------------------
85		Name: Matthias Blume (blume (at) tti - c (dot) org)
86		Date: 2004/07/14 16:25:00 CDT
87		Tag: blume-20040714-union
88		Description:
89
90		Added C_UNION to c-calls/c-types.sml and updated the machinery
91		(ml-nlffigen, cproto.sml) that conveys C function interface
92		information to the code generator.
93
94		However, the actual architecture-specific implementation of function
95		arguments and results that are C unions is still not implemented.
96
97		----------------------------------------------------------------------
98		Name: Allen Leung (leunga (at) reservoir (dot) com)
99		Date: 2004/07/14 14:38:00 EST
100		Tag: leunga-110_46_1-ppc-lwzu
101		Description:
102
103		Added these instructions to the PowerPC architecture:
104		LBZU(X), LHZU(X), LWZU(X),
105		STWU(X), STFDU, STFSU
106
107		etc...
108
109		Note: I haven't added their instruction encoding into the description.
110
111		----------------------------------------------------------------------
112		Name: Allen Leung (leunga (at) reservoir (dot) com)
113		Date: 2004/07/13 15:04:00 EST
114		Tag: leunga-110_46_1-ppc-lwarx
115		Description:
116
117		Added the two instructions LWARX and STWCX to the PowerPC
118		instruction set.
119
120		A (untested) rewrite of loop-structure.sml.  The old version
121		is completely broken.
122
123		----------------------------------------------------------------------
124		Name: Matthias Blume (blume (at) tti - c (dot) org)
125		Date: 2004/07/13 13:50:00 CDT
126		Tag: blume-20040713-nlffi
127		Description:
128
129		- use paramAlloc to report c-calls with too many arguments
130		(for PPC version where parameter area is pre-allocated)
131		- added ccall_maxargspace to machspec (to implement the above)
132		- made "make" commend in CM's "make" tool configurable
133		- added option (default: on) for passing the name of the SML/NJ's "bin"
134		directory to "make"; the call looks like this:
135
136		make <options> SMLNJ_BINDIR=<dir> <target>
137
138		This can be used by the Makefile to, e.g., pick the "right" version
139		of ml-nlffigen.
140		- minor code tweaks
141
142		----------------------------------------------------------------------
143		Name: Matthias Blume (blume (at) tti - c (dot) org)
144		Date: 2004/07/12 22:50:00 CDT
145		Tag: blume-110_46_1-macosx-nlffi
146		Description:
147
148		NLFFI under Mac OS X now working (sort of).  This is largely untested,
149		though.
150
151		Note:  1. You have to make a new, clean build of the runtime system.
152		2. There are new BOOTFILES, you have to use them!
153		(Doing the bootstrap process yourself would be *very* painful!
154		If you absolutely have to do it, build the system under
155		a different architecture and then cross-compile.)
156
157		Version bumped to 110.46.1 to account for runtime data format changes.
158
159		----------------------------------------------------------------------
160		Name: Matthias Blume (blume (at) tti - c (dot) org)
161		Date: 2004/06/18 14:30:00 CDT
162		Tag: blume-20040618-unix
163		Description:
164
165		Changed the implementation of structure Unix so that the same stream
166		is returned every time one of the {text,bin}{In,Out}streamOf functions
167		is invoked on the same proc.  This is not what the spec currently
168		says -- although IMO it arguably should.  (See discussion below.)
169
170		----------------------------------------------------------------------
171		Name: Matthias Blume (blume (at) tti - c (dot) org)
172		Date: 2004/06/17 18:15:00 CDT
173		Tag: Release_110_46
174		Description:
175
176		New working version (110.46).  NEW BOOTFILES!
177
178		----------------------------------------------------------------------
179		Name: Matthias Blume (blume (at) tti - c (dot) org)
180		Date: 2004/06/17 17:20:00 CDT
181		Tag: blume-20040617-timer-unix
182		Description:
183
184		Changed the interface of structures Timer and Unix to match the most
185		recent Basis spec.
186
187		In the case of Unix there still seems to be an open/weird issue:
188
189		The {text,bin}{In,Out}streamOf functions are supposed to create
190		fresh streams whenever they are called -- as opposed to have them
191		return the same stream every time.  This design is supposed to
192		prevent space leaks caused by proc values hanging on to streams.
193
194		The reap function, on the other hand, is supposed to close the
195		streams.  This cannot be done without having a handle on the
196		stream in proc after all...
197
198		I took the liberty to implement the following stopgap solution:
199
200		The proc value hangs on to the most recently created stream(s).
201		Reap closes those.  If either or both of the two streams hadn't
202		been created at all yet, then reap will close the corresponding
203		file descriptors directly.
204
205		PS: I don't understand the original space leak argument anymore.  If
206		a proc hangs on to the imperative stream, then I/O operations on those
207		will advance the state of the cached stream and avoid the space leak.
208
209		----------------------------------------------------------------------
210		Name: Matthias Blume (blume (at) tti - c (dot) org)
211	Date: 2004/05/28 16:45:00 CDT	Date: 2004/05/28 16:45:00 CDT
212	Tag: blume-20040528-basis	Tag: blume-20040528-basis
213	Description:	Description:
#	Line 29	Line 223
223	CM now ignores (but still accepts) the "owner" information in group	CM now ignores (but still accepts) the "owner" information in group
224	descriptions.  The owner of a group is its next enclosing	descriptions.  The owner of a group is its next enclosing
225	library. Each group must have a unique owner.  (There is a virtual	library. Each group must have a unique owner.  (There is a virtual
226	"toplevel" library that own groups which are not nested within a real	"toplevel" library that owns groups which are not nested within a real
227	library.)  Previously, each group had to explicitly declare its owner,	library.)  Previously, each group had to explicitly declare its owner,
228	and CM would check that such a declaration is correct.  The new scheme	and CM would check that such a declaration is correct.  The new scheme
229	is to have CM check that for each group there is precisely one owning	is to have CM check that for each group there is precisely one owning

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1500   changed lines   Added in v.1581

---

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