Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/NOTES/HISTORY
ViewVC logotype

Diff of /sml/trunk/NOTES/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1505, Thu Jun 17 20:41:47 2004 UTC revision 1613, Wed Aug 11 03:35:58 2004 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Name: Allen Leung (leunga (at) reservoir (dot) com)
17    Date: 2004/08/10 23:35:00 EST
18    Tag: leunga-110_48-ppc
19    Description:
20    
21       The IBM/MacOS syntax switch on PPC was incorrectly swapped.
22    
23    ----------------------------------------------------------------------
24    Name: Matthias Blume (blume (at) tti - c (dot) org)
25    Date: 2004/10/04 12:00:00 CDT
26    Tag: Release_110_48
27    Description:
28    
29    New working version (110.48).  NEW BOOTFILES!
30    
31    ----------------------------------------------------------------------
32    Name: Allen Leung (leunga (at) reservoir (dot) com)
33    Date: 2004/08/09 12:21:00 EST
34    Tag: leunga-110_47-dijsktra
35    Description:
36    
37    Bug fix from Carl Hauser:
38    
39    single_source_shortest_paths in dijkstra.sml was observed to get wrong
40    answers (by comparing to single_source_shortest_paths in bellman-ford.sml).
41    
42    The problem is that following the expression A.update(dist,s,Num.zero)
43    it is necessary to update the priority queue using Q.decreaseWeight(Q,s).
44    
45    ----------------------------------------------------------------------
46    Name: Matthias Blume (blume (at) tti - c (dot) org)
47    Date: 2004/08/06 18:10:00 CDT
48    Tag: blume-20040806-cmdline
49    Description:
50    
51    Fiddled with handling of command-line options:
52    
53      * sml now quits after processing the command line
54        if -H, -S, -h<n>, or -s<n> appears as the last
55        command-line argument
56      * a new option -q terminates the session when encountered on
57        the command line; subsequent arguments will be ignored
58      * bug fixes: short (erroneous) arguments are no longer ignored
59        completely
60    
61    ----------------------------------------------------------------------
62    Name: Allen Leung (leunga (at) reservoir (dot) com)
63    Date: 2004/08/04 18:17:00 EST
64    Tag: leunga-110_47-ppc-ibm-asm
65    Description:
66    
67      - Added minimal IBM assembly syntax support for PowerPC.
68    
69      - Cygwin: manually changed the file cygwin.def.  Some exported symbols have
70        been altered in the runtime.  We need an automatic way to keep the file
71        in sync.
72    
73    ----------------------------------------------------------------------
74    Name: Matthias Blume (blume (at) tti - c (dot) org)
75    Date: 2004/08/04 14:00:00 CDT
76    Tag: Release_110_47
77    Description:
78    
79    New working version (110.47).  NEW BOOTFILES!
80    
81    ----------------------------------------------------------------------
82    Name: Matthias Blume (blume (at) tti - c (dot) org)
83    Date: 2004/08/03 14:25:00 CDT
84    Tag: blume-20040803-callingconv
85    Description:
86    
87    Added low-level support for choosing C calling conventions by
88    twiddling the type of rawccall.  (See
89    src/compiler/Semant/types/cproto.sml for details.)
90    
91    ----------------------------------------------------------------------
92    Name: Matthias Blume (blume (at) tti - c (dot) org)
93    Date: 2004/08/02 15:55:00 CDT
94    Tag: blume-20040802-backout
95    Description:
96    
97    Backed out of change to win32-filesys.c.  The earlier patch to
98    get_file_time caused CM to produce files with the wrong time stamp.
99    
100    ----------------------------------------------------------------------
101    Name: Matthias Blume (blume (at) tti - c (dot) org)
102    Date: 2004/08/02 14:45:00 CDT
103    Tag: blume-20040802-nlffi-win32
104    Description:
105    
106    Added NLFFI support for Win32, adapted from a patch provided by David
107    Hansel.  This is currently completely untested.  Also, the issue
108    concerning stdcall vs. ccall is still unresolved.
109    
110    ----------------------------------------------------------------------
111    Name: Matthias Blume (blume (at) tti - c (dot) org)
112    Date: 2004/07/30 17:55:00 CDT
113    Tag: blume-20040730-various
114    Description:
115    
116    Gearing up towards 110.47...
117    
118    - various minor bugfixes to ml-nlffigen
119    - a beginning of a manual for nlffi
120    
121    - eliminated 'export name=value' in config/install.sh as this does
122      not work with certain versions of /bin/sh
123      (Thanks to David King at Motorola for catching this.)
124    
125    - several bugfixes provided or suggested by David Hansel at Reactive Systems:
126      - added a test for tm==NULL to gmtime.c and localtime.c
127      - applied patch for incorrect GetFileTime under win32
128      - toSeconds -> toMilliseconds in Win32/win32-process.sml
129    
130    ----------------------------------------------------------------------
131    Name: Matthias Blume (blume (at) tti - c (dot) org)
132    Date: 2004/07/21 18:20:00 CDT
133    Tag: blume-20040721-nlffigen
134    Description:
135    
136    - Fixed minor issue in ml-nlffigen: Now generate structure T_foo
137      for a typedef to an incomplete type, but leave out the "typ" member.
138      (This is just for consistency.)
139    - Started to produce what is supposed to become better (i.e., comprehensive)
140      documentation of what ml-nlffigen does and produces.
141    
142    ----------------------------------------------------------------------
143    Name: Matthias Blume (blume (at) tti - c (dot) org)
144    Date: 2004/07/14 16:25:00 CDT
145    Tag: blume-20040714-union
146    Description:
147    
148    Added C_UNION to c-calls/c-types.sml and updated the machinery
149    (ml-nlffigen, cproto.sml) that conveys C function interface
150    information to the code generator.
151    
152    However, the actual architecture-specific implementation of function
153    arguments and results that are C unions is still not implemented.
154    
155    ----------------------------------------------------------------------
156    Name: Allen Leung (leunga (at) reservoir (dot) com)
157    Date: 2004/07/14 14:38:00 EST
158    Tag: leunga-110_46_1-ppc-lwzu
159    Description:
160    
161        Added these instructions to the PowerPC architecture:
162        LBZU(X), LHZU(X), LWZU(X),
163        STWU(X), STFDU, STFSU
164    
165        etc...
166    
167        Note: I haven't added their instruction encoding into the description.
168    
169    ----------------------------------------------------------------------
170    Name: Allen Leung (leunga (at) reservoir (dot) com)
171    Date: 2004/07/13 15:04:00 EST
172    Tag: leunga-110_46_1-ppc-lwarx
173    Description:
174    
175       Added the two instructions LWARX and STWCX to the PowerPC
176    instruction set.
177    
178       A (untested) rewrite of loop-structure.sml.  The old version
179    is completely broken.
180    
181    ----------------------------------------------------------------------
182    Name: Matthias Blume (blume (at) tti - c (dot) org)
183    Date: 2004/07/13 13:50:00 CDT
184    Tag: blume-20040713-nlffi
185    Description:
186    
187    - use paramAlloc to report c-calls with too many arguments
188      (for PPC version where parameter area is pre-allocated)
189    - added ccall_maxargspace to machspec (to implement the above)
190    - made "make" commend in CM's "make" tool configurable
191    - added option (default: on) for passing the name of the SML/NJ's "bin"
192      directory to "make"; the call looks like this:
193    
194         make <options> SMLNJ_BINDIR=<dir> <target>
195    
196      This can be used by the Makefile to, e.g., pick the "right" version
197      of ml-nlffigen.
198    - minor code tweaks
199    
200    ----------------------------------------------------------------------
201    Name: Matthias Blume (blume (at) tti - c (dot) org)
202    Date: 2004/07/12 22:50:00 CDT
203    Tag: blume-110_46_1-macosx-nlffi
204    Description:
205    
206    NLFFI under Mac OS X now working (sort of).  This is largely untested,
207    though.
208    
209    Note:  1. You have to make a new, clean build of the runtime system.
210           2. There are new BOOTFILES, you have to use them!
211              (Doing the bootstrap process yourself would be *very* painful!
212               If you absolutely have to do it, build the system under
213               a different architecture and then cross-compile.)
214    
215    Version bumped to 110.46.1 to account for runtime data format changes.
216    
217    ----------------------------------------------------------------------
218    Name: Matthias Blume (blume (at) tti - c (dot) org)
219    Date: 2004/06/18 14:30:00 CDT
220    Tag: blume-20040618-unix
221    Description:
222    
223    Changed the implementation of structure Unix so that the same stream
224    is returned every time one of the {text,bin}{In,Out}streamOf functions
225    is invoked on the same proc.  This is not what the spec currently
226    says -- although IMO it arguably should.  (See discussion below.)
227    
228    ----------------------------------------------------------------------
229    Name: Matthias Blume (blume (at) tti - c (dot) org)
230    Date: 2004/06/17 18:15:00 CDT
231    Tag: Release_110_46
232    Description:
233    
234    New working version (110.46).  NEW BOOTFILES!
235    
236    ----------------------------------------------------------------------
237    Name: Matthias Blume (blume (at) tti - c (dot) org)
238    Date: 2004/06/17 17:20:00 CDT
239    Tag: blume-20040617-timer-unix
240    Description:
241    
242    Changed the interface of structures Timer and Unix to match the most
243    recent Basis spec.
244    
245    In the case of Unix there still seems to be an open/weird issue:
246    
247       The {text,bin}{In,Out}streamOf functions are supposed to create
248       fresh streams whenever they are called -- as opposed to have them
249       return the same stream every time.  This design is supposed to
250       prevent space leaks caused by proc values hanging on to streams.
251    
252       The reap function, on the other hand, is supposed to close the
253       streams.  This cannot be done without having a handle on the
254       stream in proc after all...
255    
256    I took the liberty to implement the following stopgap solution:
257    
258      The proc value hangs on to the most recently created stream(s).
259      Reap closes those.  If either or both of the two streams hadn't
260      been created at all yet, then reap will close the corresponding
261      file descriptors directly.
262    
263    PS: I don't understand the original space leak argument anymore.  If
264    a proc hangs on to the imperative stream, then I/O operations on those
265    will advance the state of the cached stream and avoid the space leak.
266    
267    ----------------------------------------------------------------------
268  Name: Matthias Blume (blume (at) tti - c (dot) org)  Name: Matthias Blume (blume (at) tti - c (dot) org)
269  Date: 2004/05/28 16:45:00 CDT  Date: 2004/05/28 16:45:00 CDT
270  Tag: blume-20040528-basis  Tag: blume-20040528-basis

Legend:
Removed from v.1505  
changed lines
  Added in v.1613

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