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/HISTORY
ViewVC logotype

Diff of /sml/trunk/HISTORY

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

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

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

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