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 1494, Thu May 20 03:09:17 2004 UTC revision 1622, Mon Sep 13 21:50:40 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/09/13 16:50:00 CDT
18    Tag: Release_110_49
19    Description:
20    
21    New working version (110.49).  NEW BOOTFILES!
22    
23    ----------------------------------------------------------------------
24    Name: Matthias Blume
25    Date: 2004/09/13 16:20:00 CDT
26    Tag: blume-20040913-config-mlrisc
27    Description:
28    
29    Put target "mlrisc" back into the default list.
30    (There is no harm in having it, and some users have expressed their
31    wish to have "mlrisc" included by default.)
32    
33    ----------------------------------------------------------------------
34    Name: John Reppy
35    Date: 2004/09/13
36    Tag: jhr-20040913-signals
37    Description:
38    
39    Fixed the signal masking code to properly nest mask/unmask operations
40    on a per-signal basis.
41    
42    ----------------------------------------------------------------------
43    Name: Matthias Blume (blume (at) tti - c (dot) org)
44    Date: 2004/09/08 13:20:00 CDT
45    Tag: blume-20040908-heap-magic
46    Description:
47    
48    Bumped the heap macig number to 0x09082004 to account for the changed
49    layout of the ML frame under MacOS X.
50    
51    ----------------------------------------------------------------------
52    Name: Allen Leung (leunga (at) reservoir (dot) com)
53    Date: 2004/09/03 11:26:00 EST
54    Tag: leunga-20040903-cygwin-install
55    Description:
56    
57       Added a patch to _arch-n-opsys to enable the Cygwin runtime.
58    The Cygwin runtime is turned on by setting the environment
59    variable SMLNJ_CYGWIN_RUNTIME to 1.
60    
61    ----------------------------------------------------------------------
62    Name: Matthias Blume (blume (at) tti - c (dot) org)
63    Date: 2004/08/31 17:15:00 CDT
64    Tag: blume-20040831-core
65    Description:
66    
67    Added some exports to src/compiler/core.cm upon request by J. Joemann.
68    
69    ----------------------------------------------------------------------
70    Name: Matthias Blume (blume (at) tti - c (dot) org)
71    Date: 2004/08/30 17:55:00 CDT
72    Tag: blume-20040830-installer
73    Description:
74    
75    Upon request by Johannes Joemann:
76    
77    - improved ML code of installer to fall back to coping when renaming
78      fails (i.e., when source and target are on different file systems);
79      the code compiles but has yet to be tested in anger
80    - removed mlrisc from list of default targets (config/targets)
81    
82    ----------------------------------------------------------------------
83    Name: Matthias Blume (blume (at) tti - c (dot) org)
84    Date: 2004/08/27 17:20:00 CDT
85    Tag: blume-20040827-ptreql
86    Description:
87    
88    Added ptreql primop to structure InlineT (upon request from Larry
89    Paulson).
90    
91    ----------------------------------------------------------------------
92    Name: Allen Leung (leunga (at) reservoir (dot) com)
93    Date: 2004/08/15 21:21:00 EST
94    Tag: leunga-110_48-udgraph
95    Description:
96    
97    Another bug fix from Carl Hauser:
98    
99    diff /net/niflab/smlnj48/src/MLRISC/graphs/udgraph.sml udgraph.sml
100    > 48c48
101    > <              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then es else
102    > e::L)
103    > ---
104    > >              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then L else e::L)
105    > Without this, any deletion of an edge in an undirected graph does severe
106    > violence to the graph.
107    
108    ----------------------------------------------------------------------
109    Name: Allen Leung (leunga (at) reservoir (dot) com)
110    Date: 2004/08/10 23:35:00 EST
111    Tag: leunga-110_48-ppc
112    Description:
113    
114       The IBM/MacOS syntax switch on PPC was incorrectly swapped.
115    
116    ----------------------------------------------------------------------
117    Name: Matthias Blume (blume (at) tti - c (dot) org)
118    Date: 2004/08/10 12:00:00 CDT
119    Tag: Release_110_48
120    Description:
121    
122    New working version (110.48).  NEW BOOTFILES!
123    
124    ----------------------------------------------------------------------
125    Name: Allen Leung (leunga (at) reservoir (dot) com)
126    Date: 2004/08/09 12:21:00 EST
127    Tag: leunga-110_47-dijsktra
128    Description:
129    
130    Bug fix from Carl Hauser:
131    
132    single_source_shortest_paths in dijkstra.sml was observed to get wrong
133    answers (by comparing to single_source_shortest_paths in bellman-ford.sml).
134    
135    The problem is that following the expression A.update(dist,s,Num.zero)
136    it is necessary to update the priority queue using Q.decreaseWeight(Q,s).
137    
138    ----------------------------------------------------------------------
139    Name: Matthias Blume (blume (at) tti - c (dot) org)
140    Date: 2004/08/06 18:10:00 CDT
141    Tag: blume-20040806-cmdline
142    Description:
143    
144    Fiddled with handling of command-line options:
145    
146      * sml now quits after processing the command line
147        if -H, -S, -h<n>, or -s<n> appears as the last
148        command-line argument
149      * a new option -q terminates the session when encountered on
150        the command line; subsequent arguments will be ignored
151      * bug fixes: short (erroneous) arguments are no longer ignored
152        completely
153    
154    ----------------------------------------------------------------------
155    Name: Allen Leung (leunga (at) reservoir (dot) com)
156    Date: 2004/08/04 18:17:00 EST
157    Tag: leunga-110_47-ppc-ibm-asm
158    Description:
159    
160      - Added minimal IBM assembly syntax support for PowerPC.
161    
162      - Cygwin: manually changed the file cygwin.def.  Some exported symbols have
163        been altered in the runtime.  We need an automatic way to keep the file
164        in sync.
165    
166    ----------------------------------------------------------------------
167    Name: Matthias Blume (blume (at) tti - c (dot) org)
168    Date: 2004/08/04 14:00:00 CDT
169    Tag: Release_110_47
170    Description:
171    
172    New working version (110.47).  NEW BOOTFILES!
173    
174    ----------------------------------------------------------------------
175    Name: Matthias Blume (blume (at) tti - c (dot) org)
176    Date: 2004/08/03 14:25:00 CDT
177    Tag: blume-20040803-callingconv
178    Description:
179    
180    Added low-level support for choosing C calling conventions by
181    twiddling the type of rawccall.  (See
182    src/compiler/Semant/types/cproto.sml for details.)
183    
184    ----------------------------------------------------------------------
185    Name: Matthias Blume (blume (at) tti - c (dot) org)
186    Date: 2004/08/02 15:55:00 CDT
187    Tag: blume-20040802-backout
188    Description:
189    
190    Backed out of change to win32-filesys.c.  The earlier patch to
191    get_file_time caused CM to produce files with the wrong time stamp.
192    
193    ----------------------------------------------------------------------
194    Name: Matthias Blume (blume (at) tti - c (dot) org)
195    Date: 2004/08/02 14:45:00 CDT
196    Tag: blume-20040802-nlffi-win32
197    Description:
198    
199    Added NLFFI support for Win32, adapted from a patch provided by David
200    Hansel.  This is currently completely untested.  Also, the issue
201    concerning stdcall vs. ccall is still unresolved.
202    
203    ----------------------------------------------------------------------
204    Name: Matthias Blume (blume (at) tti - c (dot) org)
205    Date: 2004/07/30 17:55:00 CDT
206    Tag: blume-20040730-various
207    Description:
208    
209    Gearing up towards 110.47...
210    
211    - various minor bugfixes to ml-nlffigen
212    - a beginning of a manual for nlffi
213    
214    - eliminated 'export name=value' in config/install.sh as this does
215      not work with certain versions of /bin/sh
216      (Thanks to David King at Motorola for catching this.)
217    
218    - several bugfixes provided or suggested by David Hansel at Reactive Systems:
219      - added a test for tm==NULL to gmtime.c and localtime.c
220      - applied patch for incorrect GetFileTime under win32
221      - toSeconds -> toMilliseconds in Win32/win32-process.sml
222    
223    ----------------------------------------------------------------------
224    Name: Matthias Blume (blume (at) tti - c (dot) org)
225    Date: 2004/07/21 18:20:00 CDT
226    Tag: blume-20040721-nlffigen
227    Description:
228    
229    - Fixed minor issue in ml-nlffigen: Now generate structure T_foo
230      for a typedef to an incomplete type, but leave out the "typ" member.
231      (This is just for consistency.)
232    - Started to produce what is supposed to become better (i.e., comprehensive)
233      documentation of what ml-nlffigen does and produces.
234    
235    ----------------------------------------------------------------------
236    Name: Matthias Blume (blume (at) tti - c (dot) org)
237    Date: 2004/07/14 16:25:00 CDT
238    Tag: blume-20040714-union
239    Description:
240    
241    Added C_UNION to c-calls/c-types.sml and updated the machinery
242    (ml-nlffigen, cproto.sml) that conveys C function interface
243    information to the code generator.
244    
245    However, the actual architecture-specific implementation of function
246    arguments and results that are C unions is still not implemented.
247    
248    ----------------------------------------------------------------------
249    Name: Allen Leung (leunga (at) reservoir (dot) com)
250    Date: 2004/07/14 14:38:00 EST
251    Tag: leunga-110_46_1-ppc-lwzu
252    Description:
253    
254        Added these instructions to the PowerPC architecture:
255        LBZU(X), LHZU(X), LWZU(X),
256        STWU(X), STFDU, STFSU
257    
258        etc...
259    
260        Note: I haven't added their instruction encoding into the description.
261    
262    ----------------------------------------------------------------------
263    Name: Allen Leung (leunga (at) reservoir (dot) com)
264    Date: 2004/07/13 15:04:00 EST
265    Tag: leunga-110_46_1-ppc-lwarx
266    Description:
267    
268       Added the two instructions LWARX and STWCX to the PowerPC
269    instruction set.
270    
271       A (untested) rewrite of loop-structure.sml.  The old version
272    is completely broken.
273    
274    ----------------------------------------------------------------------
275    Name: Matthias Blume (blume (at) tti - c (dot) org)
276    Date: 2004/07/13 13:50:00 CDT
277    Tag: blume-20040713-nlffi
278    Description:
279    
280    - use paramAlloc to report c-calls with too many arguments
281      (for PPC version where parameter area is pre-allocated)
282    - added ccall_maxargspace to machspec (to implement the above)
283    - made "make" commend in CM's "make" tool configurable
284    - added option (default: on) for passing the name of the SML/NJ's "bin"
285      directory to "make"; the call looks like this:
286    
287         make <options> SMLNJ_BINDIR=<dir> <target>
288    
289      This can be used by the Makefile to, e.g., pick the "right" version
290      of ml-nlffigen.
291    - minor code tweaks
292    
293    ----------------------------------------------------------------------
294    Name: Matthias Blume (blume (at) tti - c (dot) org)
295    Date: 2004/07/12 22:50:00 CDT
296    Tag: blume-110_46_1-macosx-nlffi
297    Description:
298    
299    NLFFI under Mac OS X now working (sort of).  This is largely untested,
300    though.
301    
302    Note:  1. You have to make a new, clean build of the runtime system.
303           2. There are new BOOTFILES, you have to use them!
304              (Doing the bootstrap process yourself would be *very* painful!
305               If you absolutely have to do it, build the system under
306               a different architecture and then cross-compile.)
307    
308    Version bumped to 110.46.1 to account for runtime data format changes.
309    
310    ----------------------------------------------------------------------
311    Name: Matthias Blume (blume (at) tti - c (dot) org)
312    Date: 2004/06/18 14:30:00 CDT
313    Tag: blume-20040618-unix
314    Description:
315    
316    Changed the implementation of structure Unix so that the same stream
317    is returned every time one of the {text,bin}{In,Out}streamOf functions
318    is invoked on the same proc.  This is not what the spec currently
319    says -- although IMO it arguably should.  (See discussion below.)
320    
321    ----------------------------------------------------------------------
322    Name: Matthias Blume (blume (at) tti - c (dot) org)
323    Date: 2004/06/17 18:15:00 CDT
324    Tag: Release_110_46
325    Description:
326    
327    New working version (110.46).  NEW BOOTFILES!
328    
329    ----------------------------------------------------------------------
330    Name: Matthias Blume (blume (at) tti - c (dot) org)
331    Date: 2004/06/17 17:20:00 CDT
332    Tag: blume-20040617-timer-unix
333    Description:
334    
335    Changed the interface of structures Timer and Unix to match the most
336    recent Basis spec.
337    
338    In the case of Unix there still seems to be an open/weird issue:
339    
340       The {text,bin}{In,Out}streamOf functions are supposed to create
341       fresh streams whenever they are called -- as opposed to have them
342       return the same stream every time.  This design is supposed to
343       prevent space leaks caused by proc values hanging on to streams.
344    
345       The reap function, on the other hand, is supposed to close the
346       streams.  This cannot be done without having a handle on the
347       stream in proc after all...
348    
349    I took the liberty to implement the following stopgap solution:
350    
351      The proc value hangs on to the most recently created stream(s).
352      Reap closes those.  If either or both of the two streams hadn't
353      been created at all yet, then reap will close the corresponding
354      file descriptors directly.
355    
356    PS: I don't understand the original space leak argument anymore.  If
357    a proc hangs on to the imperative stream, then I/O operations on those
358    will advance the state of the cached stream and avoid the space leak.
359    
360    ----------------------------------------------------------------------
361    Name: Matthias Blume (blume (at) tti - c (dot) org)
362    Date: 2004/05/28 16:45:00 CDT
363    Tag: blume-20040528-basis
364    Description:
365    
366    Added signature PACK_REAL and exported functor PrimIO.
367    
368    ----------------------------------------------------------------------
369    Name: Matthias Blume (blume (at) tti - c (dot) org)
370    Date: 2004/05/25 16:00:00 CDT
371    Tag: blume-20040525-group-owner
372    Description:
373    
374    CM now ignores (but still accepts) the "owner" information in group
375    descriptions.  The owner of a group is its next enclosing
376    library. Each group must have a unique owner.  (There is a virtual
377    "toplevel" library that owns groups which are not nested within a real
378    library.)  Previously, each group had to explicitly declare its owner,
379    and CM would check that such a declaration is correct.  The new scheme
380    is to have CM check that for each group there is precisely one owning
381    library.
382    
383    The advantage of the new scheme is that the programmer no longer needs
384    to maintain the somewhat annoying owner information.  The downside is
385    that CM cannot enforce the ownership rule across multiple runs of
386    CM.make.  Fortunately, enclosing the same group in two different
387    libraries A and B which are not part of the same program does not
388    cause real problems.
389    
390    ----------------------------------------------------------------------
391    Name: Matthias Blume (blume (at) tti - c (dot) org)
392    Date: 2004/05/20 16:00:00 CDT
393    Tag: blume-20040520-win32
394    Description:
395    
396    Made the win32 version work again.  (Strangely, a misplaced comma had
397    slipped into win32-process.c which prevented the runtime from being
398    compiled correctly.)
399    
400    Also, included a minor addition to ml-build.bat analogous to what was
401    done in blume-20040519-ml-build.
402    
403    ----------------------------------------------------------------------
404    Name: Matthias Blume (blume (at) tti - c (dot) org)
405  Date: 2004/05/19 22:10:00 CDT  Date: 2004/05/19 22:10:00 CDT
406  Tag: blume-20040519-ml-build  Tag: blume-20040519-ml-build
407  Description:  Description:

Legend:
Removed from v.1494  
changed lines
  Added in v.1622

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