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

sml/trunk/HISTORY revision 1921, Fri Apr 14 16:14:24 2006 UTC sml/trunk/NOTES/HISTORY revision 3805, Fri Apr 19 18:22:05 2013 UTC
# Line 1  Line 1 
1  This is the HISTORY file for the Yale SML/NJ CVS repository.  This is the HISTORY file for the SML/NJ repository.
2    
3  An entry should be made for _every_ commit to the repository.  An entry should be made for _every_ commit to the repository.
4  The entries in this file will be used when creating the README  The entries in this file will be used when creating the README
# Line 7  Line 7 
7    
8  The form of an entry should be:  The form of an entry should be:
9    
10  Name:  Name: Your Name (web page or e-mail)
11    Date: yyyy/mm/dd hh:mm:ss
12    Tag: cvs-tag-for-this-change
13    Description:
14    
15    Here is a test entry
16    
17    ----------------------------------------------------------------------
18    Name: John Reppy (http://cs.uchicago.edu/~jhr)
19  Date: yyyy/mm/dd  Date: yyyy/mm/dd
 Tag: <post-commit CVS tag>  
20  Description:  Description:
21    
22  ----------------------------------------------------------------------  ----------------------------------------------------------------------
23    Name: John Reppy (http://cs.uchicago.edu/~jhr)
24    Date: 2013/04/19
25    Description:
26    Fix bug #113 (Socket.select waits exactly twice the indicated timeout)
27    
28    ----------------------------------------------------------------------
29    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
30    Date: 2013/01/19
31    Description:
32    Fix AMD64 code generator to properly sign-extend arguments to IDIVQ.
33    
34    ----------------------------------------------------------------------
35    Name: John Reppy (http://cs.uchicago.edu/~jhr)
36    Date: 2012/10/20
37    Description:
38    Fix bug #108 (off-by-one error in Util/dynamic-array.sml; iterators crash)
39    
40    ----------------------------------------------------------------------
41    Name: John Reppy (http://cs.uchicago.edu/~jhr)
42    Date: 2012/10/20
43    Description:
44    Fix bug #107 (Bogus Int64 comparison operators)
45    
46    ----------------------------------------------------------------------
47    Name: John Reppy (http://cs.uchicago.edu/~jhr)
48    Date: 2012/10/01
49    Description:
50    
51    *************************** Version 110.75 ***************************
52    
53    ----------------------------------------------------------------------
54    Name: John Reppy (http://cs.uchicago.edu/~jhr)
55    Date: 2012/09/28
56    Description:
57    Fixed bug #92.  IntInf.scan now handles the "0x" prefix correctly.
58    Also made minor improvements to the NumScan module.
59    
60    ----------------------------------------------------------------------
61    Name: John Reppy (http://cs.uchicago.edu/~jhr)
62    Date: 201209/24
63    Description:
64    Added Base64 module to SML/NJ Library to support encoding and decoding
65    Word8 vectors as base64 strings.
66    
67    ----------------------------------------------------------------------
68    Name: John Reppy (http://cs.uchicago.edu/~jhr)
69    Date: 2012/09/23
70    Description:
71    Additions to the SML/NJ Library.  Added exists, existsi, all, and alli
72    functions to ORD_MAP signature and implementations, and added all
73    function to ORD_SET signature and implementations.
74    
75    ----------------------------------------------------------------------
76    Name: John Reppy (http://cs.uchicago.edu/~jhr)
77    Date: 2012/09/21
78    Description:
79    Bug fix in ml-antlr to ensure that the generated toString function
80    for tokens is strictly legal SML code (i.e., non-printing characters
81    and UTF8 multibyte sequences are properly escaped).
82    
83    ----------------------------------------------------------------------
84    Name: John Reppy (http://cs.uchicago.edu/~jhr)
85    Date: 2012/09/11
86    Description:
87    Added getu function to ULexBuffer as a way to improve ulex performance.
88    This addition allows a fastpath for processing ascii characters, which
89    improved lexer performance by 3-4%.
90    
91    ----------------------------------------------------------------------
92    Name: John Reppy (http://cs.uchicago.edu/~jhr)
93    Date: 2012/08/02
94    Description:
95    Fixed bugs #89 and #96: Build Failure with Xcode 4.3
96    Also removed build support for MacOS X pre-10.5 (Leopard) on PPC and
97    pre-10.6 (Snow Leopard) on Intel.
98    
99    ----------------------------------------------------------------------
100    Name: John Reppy (http://cs.uchicago.edu/~jhr)
101    Date: 2012/02/05
102    Description:
103    Fixed bug #88.  The check for valid arcs on Unix systems now allows
104    any character other than slash or nul.
105    
106    ----------------------------------------------------------------------
107    Name: David MacQueen (dbm@cs.uchicago.edu)
108    Date: 2012/01/20
109    Description:
110    
111    *************************** Version 110.74 ***************************
112    
113    ----------------------------------------------------------------------
114    Name: John Reppy (http://cs.uchicago.edu/~jhr)
115    Date: 2012/01/20
116    Description:
117    
118    Fixed implementation of Real.signBit on little-endian machines.
119    
120    ----------------------------------------------------------------------
121    Name: David MacQueen (dbm@cs.uchicago.edu)
122    Date: 2012/1/19
123    Revision: 3664, 3665
124    Description:
125    
126    1) Fix for (gforge) bug #60
127       recalculate strictness for DEFtycs in functor bodies when functor
128       is applied  (Elaborator/modules/evalent.sml)
129    
130    2) Fix for (gforge) bug #77
131       separate ast representations for datatypes and datatype replications
132       in decs and specs (multiple files)
133    
134    3) set version to 110.74
135    
136    Details in NOTES/changes/dbm_2012_1.
137    
138    ----------------------------------------------------------------------
139    Name: David MacQueen (dbm@cs.uchicago.edu)
140    Date: 2012/1/12
141    Revision: 3648, 3652
142    Description:
143    
144    1) Change of SourceMap interface.
145       related to fix of off-by-one error in lexer (committed earlier?), and cleanup of noweb code
146       added by Norman Ramsey many years ago (but little used today).
147    
148    3) Slight cleanup of match compiler, eliminatiing compiler/FLINT/tempexpn.sml file that
149       was part of unused implementation of pattern templates (pattern macros).
150    
151    4) Modification of type checker to add "culprit tracking" for improved type error messages
152       (printing of additional culprit information is controlled by ElabControl.showTypeErrorCulprits
153        flag, default false, added in revision 3652).  The culprit tracking needs to be debugged
154        and improved, and the presentation of the culprits needs to be done better.
155    
156    Details in NOTES/changes/dbm_2012_1.
157    
158    ----------------------------------------------------------------------
159    Name: John Reppy (http://cs.uchicago.edu/~jhr)
160    Date: 2011/11/25
161    Description:
162    
163    Bug fixes for Unsafe.blastRead (#76):
164      1) proper error handling when reading from memory and there are
165         not enough bytes.
166      2) pass correct data pointer and length to BlastIn (code was using
167         old macros).
168    
169    ----------------------------------------------------------------------
170    Name: John Reppy (http://cs.uchicago.edu/~jhr)
171    Date: 2011/11/25
172    Description:
173    
174    Added hash-table-based implementation of sets to SML/NJ Library.
175    
176    ----------------------------------------------------------------------
177    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
178    Date: 2011/10/25
179    Description:
180    
181    Better error reporting under 32-bit linux for the missing dpkg
182    support (#70).
183    Enable 3.x kernels to build (#80, 81, 83).
184    
185    ----------------------------------------------------------------------
186    Name: John Reppy (http://cs.uchicago.edu/~jhr)
187    Date: 2011/05/23
188    Description:
189    
190    Added new S-expression library to SML/NJ Library
191    (contributed by Damon Wang)
192    
193    ----------------------------------------------------------------------
194    Name: John Reppy (http://cs.uchicago.edu/~jhr)
195    Date: 2011/05/17
196    Description:
197    
198    Fixed bug in JSON scanner (SML/NJ Library).  It didn't handle escaped
199    backslash or double quote correctly.
200    
201    ----------------------------------------------------------------------
202    Name: John Reppy (http://cs.uchicago.edu/~jhr)
203    Date: 2011/05/13
204    Description:
205    
206    *************************** Version 110.73 ***************************
207    
208    ----------------------------------------------------------------------
209    Name: John Reppy (http://cs.uchicago.edu/~jhr)
210    Date: 2011/05/10
211    Description:
212    
213    Added boolean literals (true and false) to the conditional-expression
214    syntax in CM.  Thus, you can write
215    
216    #if true
217      structure Foo
218    #endif
219    
220    in a CM file.  This change is meant to make it easier to use autoconf
221    to configure the build process of an SML application.
222    
223    ----------------------------------------------------------------------
224    Name: John Reppy (http://cs.uchicago.edu/~jhr)
225    Date: 2011/05/09
226    Description:
227    
228    Added missing String.scan function (#69).  This also fixes the handling
229    of certain corner cases by String.fromString.
230    
231    ----------------------------------------------------------------------
232    Name Mike Rainey (http://www.mpi-sws.org/~mrainey)
233    Date 2011/05/03
234    Description:
235    
236    Added the RTDSC and RTDSCP instructions to the amd64 code generator.
237    
238    ----------------------------------------------------------------------
239    Name: John Reppy (http://cs.uchicago.edu/~jhr)
240    Date: 2011/04/08
241    Description:
242    
243    Added fix for comments in code bug (#63).
244    Thanks to Michael Norrish.
245    
246    ----------------------------------------------------------------------
247    Name: John Reppy (http://cs.uchicago.edu/~jhr)
248    Date: 2011/04/08
249    Description:
250    
251    Fixed bug in Socket.acceptNB (bug #59)
252    
253    ----------------------------------------------------------------------
254    Name: John Reppy (http://cs.uchicago.edu/~jhr)
255    Date: 2011/03/31
256    Description:
257    
258    Fixed syntax error in ml-lex compatibility mode (bug #49)
259    
260    ----------------------------------------------------------------------
261    Name: John Reppy (http://cs.uchicago.edu/~jhr)
262    Date: 2011/03/22
263    Description:
264    
265    Update _arch-n-opsys script for Mac OS X Lion (10.7).
266    
267    ----------------------------------------------------------------------
268    Name: John Reppy (http://cs.uchicago.edu/~jhr)
269    Date: 2011/02/18
270    Description:
271    
272    Added Barriers module to CML.
273    
274    ----------------------------------------------------------------------
275    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
276    Date: 2011/02/10
277    Description:
278    
279    Fixed ml-yacc examples to respect the changed signatures with respect
280    to TextIO.inputLine.
281    
282    ----------------------------------------------------------------------
283    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
284    Date: 2010/09/16
285    Description:
286    
287    Changed the Win32 implementation of validArc to support directories
288    with extended characters (umlauts, etc.).
289    
290    ----------------------------------------------------------------------
291    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
292    Date: 2010/09/16
293    Description:
294    
295    Fixed the Win32 socket and polling implementation to work correctly
296    with CML. Signature of poll was wrong and didn't handle sockets at all.
297    
298    ----------------------------------------------------------------------
299    Name: John Reppy (http://cs.uchicago.edu/~jhr)
300    Date: 2010/06/16
301    Description:
302    
303    Fixed Real.toString and Real.fmt to include sign for negative zero.
304    
305    ----------------------------------------------------------------------
306    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
307    Date: 2010/03/23
308    Description:
309    
310    Fixed the bug with Win32 calls to OS.Process.system not quoting the string.
311    
312    ----------------------------------------------------------------------
313    Name: Jon Riehl (http://jonriehl.com/)
314    Date: 2010/02/11
315    Description:
316    
317    Applied patch for building on more recent NetBSD's.  See bug #39 in the
318    tracker:
319    
320    http://smlnj-gforge.cs.uchicago.edu/tracker/index.php?func=detail&aid=39&group_id=33&atid=215
321    
322    ----------------------------------------------------------------------
323    Name: Jon Riehl (http://jonriehl.com/)
324    Date: 2010/02/02
325    Description:
326    
327    Cutting version 110.72.  New bootfiles.
328    
329    ----------------------------------------------------------------------
330    Name John Reppy (http://cs.uchicago.edu/~jhr)
331    Date 2009/12/20
332    Description:
333    
334    Fixed performance bugs in List module by making @ and foldr be
335    tail recursive.
336    
337    ----------------------------------------------------------------------
338    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
339    Date: 2009/12/11
340    Description:
341    
342    Fixed the Win32 unable to print long strings bug.
343    ----------------------------------------------------------------------
344    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
345    Date: 2009/12/10
346    Description:
347    
348    Fixed an overrun during major GC. If the string arena was nearly full, it was possible
349    for alignment padding added during copy to the to-space to overrun the allocated
350    size.
351    ----------------------------------------------------------------------
352    Name John Reppy (http://cs.uchicago.edu/~jhr)
353    Date 2009/11/18
354    Description:
355    
356    The ml-antlr and ml-ulex programs have been ported to build under
357    mlton.
358    
359    ----------------------------------------------------------------------
360    Name John Reppy (http://cs.uchicago.edu/~jhr)
361    Date 2009/11/17
362    Description:
363    
364    Added %header directive to the ml-ulex scanner generator.  Also
365    updated the documentation.
366    
367    ----------------------------------------------------------------------
368    Name John Reppy (http://cs.uchicago.edu/~jhr)
369    Date 2009/11/17
370    Description:
371    
372    Added "@SMLsuffix" flag to sml command.  This can be used to get
373    the suffix for heap files.
374    
375    ----------------------------------------------------------------------
376    Name John Reppy (http://cs.uchicago.edu/~jhr)
377    Date 2009/11/17
378    Description:
379    
380    Added "--strict-sml" flag to ml-ulex for MLton compatibility.
381    
382    ----------------------------------------------------------------------
383    Name John Reppy (http://cs.uchicago.edu/~jhr)
384    Date 2009/11/10
385    Description:
386    
387    Added %header directive to the ml-antlr parser generator.  Also
388    updated the documentation.
389    
390    ----------------------------------------------------------------------
391    Name: Jon Riehl (http://www.jonriehl.com/)
392    Date: 2009/09/16
393    Description:
394    
395    Cutting version 110.71.  New bootfiles.
396    
397    ----------------------------------------------------------------------
398    Name John Reppy (http://cs.uchicago.edu/~jhr)
399    Date 2009/09/13
400    Description:
401    
402    Changes to support compiling the runtime system on Mac OS X 10.6
403    (aka Snow Leopard).
404    
405    ----------------------------------------------------------------------
406    Name Mike Rainey (http://cs.uchicago.edu/~mrainey)
407    Date 2009/08/19
408    Description:
409    
410    Fixed a bug in the register-spill generator that is part of the MLRISC
411    register allocator. The problem was that the code in RASpillWithRenaming
412    functor assumed incorrectly that dedicated registers would appear in
413    def/use information generated by ClusterRA. Thanks to Allen Leung for
414    helping with this bug.
415    
416    ----------------------------------------------------------------------
417    Name John Reppy (http://cs.uchicago.edu/~jhr)
418    Date 2009/07/09
419    Description:
420    
421    Removed redundant implementations of various top-level operations by
422    consolidating them in base/system/smlnj/init/pervasive.sml.  This
423    change also fixes a bug in that the top-level version of round was
424    incorrect.
425    
426    ----------------------------------------------------------------------
427    Name: Matthias Blume (http://www.tti-c.org/blume/)
428    Date: 2009/06/15 11:17:00 CDT
429    Description:
430    
431    Bumped version number to 110.70.  New bootfiles.
432    
433    ----------------------------------------------------------------------
434    Name: Matthias Blume (http://www.tti-c.org/blume/)
435    Date: 2009/06/12 11:02:00 CDT
436    Description:
437    
438    1. Corrected problem in config/actions that led to the so-called
439       "unpickling bug" which appeared in version 110.68.
440    
441    2. Provided fix for the 64-bit pattern match bug.
442    
443    ----------------------------------------------------------------------
444    Name John Reppy (http://cs.uchicago.edu/~jhr)
445    Date 2009/03/21
446    Description:
447    
448    Fixed bug in Int32.fmt when the argument was the minimum int and the
449    radix was something other than DEC.
450    
451    ----------------------------------------------------------------------
452    Name Aaron Turon (turon@ccs.neu.edu)
453    Date 2009/02/21
454    Description:
455    
456    Fixed bugs in how ml-antlr parsed ML types in %tokens specifications.
457    
458    ----------------------------------------------------------------------
459    Name: Jon Riehl (http://www.jonriehl.com/)
460    Date: 2009/01/13
461    Description:
462    
463    Picking up some additional fixes for 110.69, including a fix for
464    spaces in CM file paths.
465    
466    ----------------------------------------------------------------------
467    Name: Jon Riehl (http://www.jonriehl.com/)
468    Date: 2008/12/22
469    Description:
470    
471    Version bumped to 110.69.  New bootfiles.
472    
473    ----------------------------------------------------------------------
474    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
475    Date: 2008/12/06
476    Description:
477    
478    Re-enabled some CPS optimizations (first_contract and eta).  The most
479    important effect of this change is to make uses of SMLofNJ.Cont.capture
480    be properly tail recursive.
481    
482    ----------------------------------------------------------------------
483    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
484    Date: 2008/12/03
485    Description:
486    
487    New concurrency-related instructions for x86 and amd64 code
488    generators.
489      - PAUSE: Notify the CPU that the program is spin waiting.
490      - MFENCE: memory fence for reads and writes.
491      - SFENCE: memory fence for writes.
492      - LFENCE: memory fence for reads.
493    
494    ----------------------------------------------------------------------
495    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
496    Date: 2008/12/02
497    Description:
498    
499    Added makefile and other support for building runtime on OpenBSD.
500    
501    ----------------------------------------------------------------------
502    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
503    Date: 2008/08/13
504    Description:
505    
506    Version bumped to 110.68.  New bootfiles.
507    
508    ----------------------------------------------------------------------
509    Name Aaron Turon (turon@ccs.neu.edu)
510    Date 2008/08/11
511    Description:
512    
513    Minor fix to ml-ulex backend for regexps that match any character
514    and perform a single action.  Previously the emitted code would
515    not allow the regexps to match any character at all.
516    
517    ----------------------------------------------------------------------
518    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
519    Date: 2008/08/05
520    Description:
521    
522    Added build support for OpenBSD (thanks to Brian O'Hanlon).
523    
524    ----------------------------------------------------------------------
525    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
526    Date: 2008/07/12
527    Description:
528    
529    Fixed Int64.fromString to use base-10.
530    
531    ----------------------------------------------------------------------
532    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
533    Date: 2008/04/12
534    Description:
535    
536    Various updates to the ml-lpt tree.  The documentation has been updated;
537    bugs in the parsing of negation and character classes in ml-ulex have
538    been fixed; and changes have been made to make the ml-lpt tools more
539    compatible with MLton (and other SML implementations).  Thanks to
540    Matthew Fluet and Aaron Turon for their patches.
541    
542    ----------------------------------------------------------------------
543    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
544    Date: 2008/20/04
545    Description:
546    
547    Implemented timer-based profiling on Windows, with behavior as close
548    to the *nix ITIMER-based profiling as possible.
549    ----------------------------------------------------------------------
550    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
551    Date: 2008/07/04
552    Description:
553    
554    Finished off the Windows subset of the basis library. Added process
555    support and various configuration and system identification utils.
556    ----------------------------------------------------------------------
557    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
558    Date: 2008/03/18
559    Description:
560    
561    Major changes to the RegExp library: see smlnj-lib/CHANGES for details.
562    ----------------------------------------------------------------------
563    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
564    Date: 2008/02/14
565    Description:
566    
567    Added the Windows Status structure
568    ----------------------------------------------------------------------
569    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
570    Date: 2008/02/14
571    Description:
572    
573    Added the Windows DDE structure
574    ----------------------------------------------------------------------
575    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
576    Date: 2008/02/05
577    Description:
578    
579    Added the Windows Config structure
580    ----------------------------------------------------------------------
581    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
582    Date: 2008/01/31
583    Description:
584    
585    Added outline of the Windows basis library and the basic registry
586    functionality.
587    ----------------------------------------------------------------------
588    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
589    Date: 2008/01/23
590    Description:
591    
592    Fixed the amd64 code generator to compile with the current MLRISC.
593    ----------------------------------------------------------------------
594    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
595    Date: 2007/11/26
596    Description:
597    
598    nlffi was updated to work on Windows. It needed to pass in the correct
599    value for the name of the kernel32 DLL to obtain 'base' bindings.
600    Additionally updated the README for the most basic nlffi sample with
601    what you need to do on MacOSX and on Windows to make it work.
602    ----------------------------------------------------------------------
603    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
604    Date: 2007/11/21
605    Description:
606    
607    Overwrite the SMLNJ_HOME environment variable on installation
608    Properly change the package code so that subsequent version
609    installations prompt for uninstall (instead of 'repair/remove')
610    ----------------------------------------------------------------------
611    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
612    Date: 2007/11/14
613    Description:
614    
615    Cleaned up WININSTALL file for new MSI-based setup.
616    ----------------------------------------------------------------------
617    Name: Matthias Blume (http://www.tti-c.org/blume/)
618    Date: 2007/11/13 14:05:00 CST
619    Description:
620    
621    Version bumped to 110.67.  New bootfiles.
622    
623    ----------------------------------------------------------------------
624    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
625    Date: 2007/11/12
626    Description:
627    
628    Ensure that the size of the allocation space is at least 128K.
629    ----------------------------------------------------------------------
630    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
631    Date: 2007/11/05
632    Description:
633    
634    Fixed type error in ml-lpt library that occurs when compiling
635    against a basis that was compiled with the USE_64_BIT_POSITIONS
636    symbol set.
637    (Thanks to Johannes Joemann)
638    ----------------------------------------------------------------------
639    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
640    Date: 2007/11/03
641    Description:
642    
643    Fixed the amd64 code generator to compile with the current MLRISC.
644    ----------------------------------------------------------------------
645    Name: Lars Bergstrom (web page or e-mail)
646    Date: 2007/11/02
647    Description:
648    
649    Made sml.bat more resilient to either not having run the installer
650    and having no SMLNJ_HOME set or having just shuffled the directory
651    around.
652    ----------------------------------------------------------------------
653    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
654    Date: 2007/11/01
655    Description:
656    
657    A collection of bug fixes for machine.sml in the Reactive library.
658    (Thanks to Timothy Bourke)
659    ----------------------------------------------------------------------
660    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
661    Date: 2007/10/28
662    Description:
663    
664    Patches for Mac OS X 10.5 (Leopard).
665    ----------------------------------------------------------------------
666    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
667    Date: 2007/10/28
668    Description:
669    
670    Fixed some bugs in the AMD64 floating-point spilling code.
671    ----------------------------------------------------------------------
672    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
673    Date: 2007/10/25
674    Description:
675    
676    Added support for the atomic XCHG instruction.
677    ----------------------------------------------------------------------
678    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
679    Date: 2007/10/22
680    Description:
681    
682    Added AMD64 support for floating-point negation.
683    ----------------------------------------------------------------------
684    Name: Lars Bergstrom (web page or e-mail)
685    Date: 2007/10/22
686    Description:
687    
688    Fixed ^C handling in Windows
689    Added a Windows installer
690    Made it possible to build for Windows on a mapped drive from Parallels
691    ----------------------------------------------------------------------
692    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
693    Date: 2007/10/22
694    Description:
695    
696    Added AMD64 support for the atomic fetch and add instruction.
697    ----------------------------------------------------------------------
698    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
699    Date: 2007/10/18
700    Description:
701    
702    The GAS output now favors p2align over align, since the
703    former is guaranteed to be consistent over multiple architectures
704    and the latter is not.
705    ----------------------------------------------------------------------
706    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
707    Date: 2007/10/18
708    Description:
709    
710    Fixed a bug in register spilling.
711    ----------------------------------------------------------------------
712    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
713    Date: 2007/10/2
714    Description:
715    
716    Added demo support for AMD64 for quick testing and fixed support for
717    64-bit label constants.
718    ----------------------------------------------------------------------
719    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
720    Date: 2007/09/20
721    Description:
722    
723    Added support for the MLRISC COND instruction and the x86-64 CMOVCC
724    instruction.
725    ----------------------------------------------------------------------
726    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
727    Date: 2007/09/17
728    Description:
729    
730    Fixed an instruction-selection bug when loading 64-bit labels.
731    
732    ----------------------------------------------------------------------
733    Name: George Kuan (http://www.cs.uchicago.edu/~gkuan)
734    Date: 2007/09/14
735    Description:
736    
737    Fixed Elaborator and Translate performance bugs
738    
739    ----------------------------------------------------------------------
740    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
741    Date: 2007/09/12
742    Description:
743    
744    Fixed xorl memory argument bug.
745    
746    ----------------------------------------------------------------------
747    Name: George Kuan (http://www.cs.uchicago.edu/~gkuan)
748    Date: 2007/07/27
749    Description:
750    
751    Added f64sgn (for Real64.signBit) as a primop defined
752    in MLRiscGen. signBit(~0.0) not handled correctly.
753    
754    ----------------------------------------------------------------------
755    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
756    Date: 2007/06/21
757    Description:
758    
759    Fixed bug in {TextIO,BinIO}.StreamIO.endOfStream that would incorrectly
760    signal end of stream.
761    
762    ----------------------------------------------------------------------
763    Name: Matthias Blume (http://www.tti-c.org/blume/)
764    Date: 2007/06/12 11:22:00 CDT
765    Description:
766    
767    Eliminated config/allsources.  The information is now drawn directly
768    from config/actions.
769    
770    ----------------------------------------------------------------------
771    Name: Matthias Blume (http://www.tti-c.org/blume/)
772    Date: 2007/06/07 23:30:00 CDT
773    Tag: release-110.65
774    Description:
775    
776    Version 110.65. NEW BOOTFILES!
777    
778    ----------------------------------------------------------------------
779    Name: Matthias Blume (http://www.tti-c.org/blume/)
780    Date: 2007/06/06 21:45:00 CDT
781    Description:
782    
783    - Aaron: fixed a number of bugs in ml-ulex.
784    - Matthias:
785       - added CM control "cm.force-tools"; this is false by default;
786         when set to true, then tools like ml-yacc, ml-lex, ml-ulex, etc.
787         will be forced to run regardless of whether or not their targets
788         are up-to-date
789       - changed installer code so that config/install.sh will re-build
790         heap images for all tools even if those heap images already existed
791    
792    ----------------------------------------------------------------------
793    Name: Matthias Blume (http://www.tti-c.org/blume/)
794    Date: 2007/06/04 21:21:00 CDT
795    Description:
796    
797    After Aaron Turon's bug fix for ml-ulex (handling the ^ character
798    in legacy mode), re-ran the lexer generator on all lex input files
799    and committed the results.
800    
801    This should fix the problem with ckit and nlffi that was reported
802    by Vesa A. Norrman.
803    
804    ----------------------------------------------------------------------
805    Name: Matthias Blume (http://www.tti-c.org/blume/)
806    Date: 2007/05/31 11:40:00 CDT
807    Tag: release-110.64
808    Description:
809    
810    Version 110.64. NEW BOOTFILES!
811    
812    ----------------------------------------------------------------------
813    Name: Dave MacQueen (dbm@cs.uchicago.edu)
814    Date: 2007/05/31 14:55:00 CDT
815    Revision: 2650
816    Description:
817    
818    3rd merge of base from primop-branch-3 into the trunk.
819    Additional bug fixes included:
820    
821     * Timer.cpu_timer, etc. type printing corrected (by making
822         Timer have opaque sig constraint in basis/Implementation/timer.sml)
823     * Infinite loop in FLINT (tests/typing/tests/25.sml) (fix by
824         Stefan Monnier)
825    
826    ----------------------------------------------------------------------
827    Name: Matthias Blume (http://www.tti-c.org/blume/)
828    Date: 2007/05/31 11:40:00 CDT
829    Description:
830    
831    Fixed some bugs in new Div code in FLINT/trans/translate.sml.
832    
833    Also, changed the handling of "no core access":  When translate.sml
834    needs access to a core exception at a time when the core has not
835    been set up yet (this only happens when compiling system/smlnj/init/*),
836    then don't bother generating the corresponding tests.
837    
838    The old scheme was to generate a bogus value to be used in place of
839    the exception.  Unfortunately, that confuses the plambda type checker.
840    Moreover, it does not do any good, because at runtime we don't expect
841    such an exception to be ever raised.  (The code in system/smlnj/init/*
842    has to be written very carefully with this in mind!)
843    
844    ----------------------------------------------------------------------
845    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
846    Date: 2007/05/29
847    Description:
848    
849    Added FSQRT instructions for the AMD64 code generator.
850    
851    ----------------------------------------------------------------------
852    Name: Matthias Blume (http://www.tti-c.org/blume/)
853    Date: 2007/05/29 19:00:00 CDT
854    Description:
855    
856    FLINT/trans/translate.sml now wraps all DIV/MOD/QUOT/REM operations
857    with an explicit test for zero division.  This should fixes several
858    regressions and makes it possible for downstream optimization phases
859    to treat these operations as "pure" when they are applied to unsigned
860    operands.
861    
862    ----------------------------------------------------------------------
863    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
864    Date: 2007/05/29
865    Description:
866    
867    Added the new MLRISC code generator for the AMD64.  This version,
868    in contrast to the previous one, uses SSE registers and instructions
869    for all floating-point computations.
870    
871    ----------------------------------------------------------------------
872    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
873    Date: 2007/05/29
874    Description:
875    
876    A number of fixes related to the formatting of dates.  These include fixes
877    for bugs #1415 and #1416.  We also now correctly handle format characters that
878    lie outside the specified set.
879    
880    ----------------------------------------------------------------------
881    Name: Matthias Blume (http://www.tti-c.org/blume/)
882    Date: 2007/05/23 22:30:00 CDT
883    Description:
884    
885    CMB (and CM) now automatically defines the CM "preprocessor" symbol
886    NO_PLUGINS during "makeml -rebuild" or when CM operates in "slave" mode.
887    
888      (In addition, CMB_REBUILD_MODE is defined for makeml -rebuild,
889       CM_SLAVE_MODE is defined in attached slaves while running CM.make
890       or CM.rebuild, and CMB_SLAVE_MODE is defined in attached slaves
891       while running CMB.make.  The point is that the single symbol
892       NO_PLUGINS is definde in all three cases.)
893    
894    I changed the three locations within the sources that get compiled
895    during CMB.make where ml-yacc or ml-lex input is processed: When
896    NO_PLUGINS defined, then the use of the mlyacc and mllex tools
897    is bypassed.
898    
899    When bootstrapping new versions of the compiler, there can be
900    situations where the plugin tools for ml-yacc and ml-lex (or ml-ulex)
901    are not available or otherwise not operational.  In this case one can
902    manually define the NO_PLUGINS symbol prior to running CMB.make().  To
903    do so, the following command should be issued at the interactive
904    prompt:
905    
906       #set (CMB.symval "NO_PLUGINS") (SOME 1);
907    
908    A CMB.make with NO_PLUGINS defined relies on the existence of the
909    files that normally would be generated by ml-yacc and ml-lex.
910    (Copies of these files are in the repository.)
911    
912    ----------------------------------------------------------------------
913    Name: David MacQueen (dbm@cs.uchicago.edu)
914    Date: 2007/5/23 17:23:00 CDT
915    Revision: 2603
916    Description:
917    
918    2nd merge of base from primop-branch-3 into the trunk.
919    Additional bug fixes included:
920     Date.scan and Date.fromString fixed;
921     Overloading resolution fixed and some type printing problems corrected.
922    
923    ----------------------------------------------------------------------
924    Name: Matthias Blume (http://www.tti-c.org/blume/)
925    Date: 2007/05/23 09:50:00 CDT
926    Description:
927    
928    Changed the installation mechanism for CM tool plugins.  These are
929    just libaries and now get installed like ordinary libaries.
930    
931    There are now a number of new installation targets that give some
932    fine-grain control over what classes and suffixes are known, and what
933    they will map to.
934    See config/targets for details.
935    
936    The code that caused plugin installation as part of running a
937    tool's "build" script has been removed.  (The build script is for
938    building, not for installing.)
939    
940    ----------------------------------------------------------------------
941    Name: Matthias Blume (http://www.tti-c.org/blume/)
942    Date: 2007/05/22 11:50:00 CDT
943    Description:
944    
945    Added a boolean control named cm.tolerate-tool-failures (env. variable
946    name: CM_TOLERATE_TOOL_FAILURES).  The default is false and makes
947    CM fail if a shell tool reports a non-success exit status.  If
948    the control is set to true, then CM will press on after tool failures
949    in the event that the target files exist (even though they are
950    considered outdated).  Turning the control to true can be useful for
951    bootstrapping.
952    
953    ----------------------------------------------------------------------
954    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
955    Date: 2007/05/19
956    Description:
957    
958    Merge of ml-lpt revisions for 110.64.
959    
960    The name of several ml-lpt-lib modules has changed:
961      Repair        => AntlrRepair
962      StreamPos     => AntlrStreamPos
963      ErrHandlerFn  => AntlrErrHandler
964      EBNF          => AntlrEBNF
965    
966    The ml-antlr specification format has changed: declarations such as
967    %tokens and nonterminal definitions can occur *multiple* times in the
968    same specification.  The semantics are such that each new declaration
969    extends the previous ones.  This does not apply to %start or %name,
970    of course.
971    
972    Importing a grammar via %import now includes *all* declarations in from
973    the imported grammar, except for %name, %entry, and %start.  Tokens
974    and nonterminals can be dropped using the new %dropping clause of the
975    %import directive; the separate %drop and %extend have been removed.
976    
977    We now allow optional type annotations on nonterminals, using the %nonterms
978    directive as in ml-yacc.
979    
980    The refcell construct is now implemented using SML's regular reference
981    cells, so the :== and !! notation has been deprecated.
982    
983    The ml-antlr tool now does much more checking of specifications, and
984    its error messages have been greatly improved.  Error repair for
985    generated parsers has been completely rewritten, and is now both
986    much faster and more accurate.
987    
988    ml-ulex is now more lenient with escape codes (non-SML-standard
989    escape codes are now interpreted literally, so e.g. \| denotes "|").
990    Also, character classes may now include a "-" character at the beginning
991    as is standard in most other regexp tools.
992    
993    All of these changes are documented in the user guide, which has
994    been updated and improved with this merge.
995    
996    ----------------------------------------------------------------------
997    Name: David MacQueen (http://www.cs.uchicago.edu/~jhr)
998    Date: 2007/05/03
999    Revision: r2492
1000    Description:
1001    
1002    Merge of the primop3 branch (base) into the trunk to create 110.63.1.
1003    Significant changes in FLINT and the front end, mostly having to do
1004    with a reorganized system for handling primops.  Various bug fixes
1005    and improvements in printing signatures.
1006    
1007    ----------------------------------------------------------------------
1008    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
1009    Date: 2007/05/02
1010    Description:
1011    
1012    Preliminary commit of large ml-lpt revisions (more to come for 110.64).
1013    The ml-antlr specification format has changed: declarations such as
1014    %tokens and nonterminal definitions can occur *multiple* times in the
1015    same specification.  The semantics are such that each new declaration
1016    extends the previous ones.  Grammar extension constructs have also
1017    changed.  We now allow type annotations on nonterminals.  Finally,
1018    the refcell construct is now implemented using SML's regular reference
1019    cells, so the :== and !! notation has been deprecated.  All of these
1020    changes will appear in the 110.64 user guide for ml-lpt.
1021    
1022    The ml-antlr tool now does much more checking of specifications, and
1023    its error messages have been greatly improved.  There has also been
1024    some work on the error repair process for generated parsers, but this
1025    will be further improved in 110.64.
1026    
1027    ----------------------------------------------------------------------
1028    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1029    Date: 2007/04/24
1030    Description:
1031    
1032    More Basis fixes: The Char.fromString (etc.) functions did not handle
1033    the "\uxxxx" escape sequence.  There is still an outstanding bug with
1034    String.fromString the tail is a format escape.  I added a comment to
1035    this effect in Basis/Implementation/string.sml.
1036    Thanks to Andreas Rossberg.
1037    
1038    ----------------------------------------------------------------------
1039    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1040    Date: 2007/04/24
1041    Description:
1042    
1043    Added next function to Fifo and Queue modules in the SML/NJ Library.
1044    
1045    ----------------------------------------------------------------------
1046    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1047    Date: 2007/04/23
1048    Description:
1049    
1050    More Basis fixes: Time.fmt dropped the leading "~" for negative time
1051    values that had no whole part.
1052    
1053    ----------------------------------------------------------------------
1054    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1055    Date: 2007/04/23
1056    Description:
1057    
1058    More Basis fixes: the OS.Path module did not include the InvalidArc
1059    exception and did not do sufficient argument checking.
1060    Thanks to Stephen Weeks and Adam Chilpala.
1061    
1062    ----------------------------------------------------------------------
1063    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
1064    Date: 2007/04/16
1065    Description:
1066    
1067    Fixed an unbound functor bug in the AMD64 CM file.
1068    
1069    ----------------------------------------------------------------------
1070    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
1071    Date: 2007/04/12
1072    Description:
1073    
1074    Substantially changed the signature and implementation of AMD64
1075    SVID.  It now looks similar to the ia32 SVID, yet uses staged
1076    allocation.
1077    
1078    ----------------------------------------------------------------------
1079    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1080    Date: 2007/04/07
1081    Description:
1082    
1083    More Basis fixes: the WORD signature was missing {to,from}Large.
1084    Thanks to Andreas Rossberg.
1085    
1086    ----------------------------------------------------------------------
1087    Name: Matthias Blume (http://www.tti-c.org/blume/)
1088    Date: 2007/03/22 16:07:00 CDT
1089    Tag: release-110.63
1090    Description:
1091    
1092    Bumped version number to 110.63.
1093    
1094       !!!NEW BOOTFILES!!!
1095    
1096    ----------------------------------------------------------------------
1097    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
1098    Date: 2007/03/19
1099    Description:
1100    
1101    Fixed bogus operand sizes in AMD64 instruction spilling.
1102    
1103    ----------------------------------------------------------------------
1104    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1105    Date: 2007/03/19
1106    Description:
1107    
1108    Fixed a number of inconsistencies between the Posix.TTY structure
1109    and the Basis specification.  Thanks to Adam Chilpala.
1110    
1111    ----------------------------------------------------------------------
1112    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
1113    Date: 2007/02/26
1114    Description:
1115    
1116    Added preliminary support in MLRISC for Staged Allocation, a technique
1117    for specifying calling conventions (see
1118    http://www.eecs.harvard.edu/~nr/pubs/staged-abstract.html).
1119    Initially, we plan to use this code to generate C calls for the AMD64.
1120    
1121    The staged allocation code base resides in MLRISC/staged-allocation,
1122    and specialized calling conventions go in MLRISC/ARCH/staged-allocation.
1123    
1124    ----------------------------------------------------------------------
1125    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1126    Date: 2007/02/20
1127    Description:
1128    
1129      Bug fix: when SaveCState was called with two values to save, a subsequent
1130      GC could cause the RestoreCState to fail because the saved state had been
1131      promoted to tagless pair.
1132    
1133    ----------------------------------------------------------------------
1134    Name: Allen Leung (leunga (at) reservoir (dot) com)
1135    Date: 2007/02/20 19:08:00 EST
1136    Description:
1137    
1138        Bug triggered by:
1139    
1140        val a1 = Word8Array.array(a1, 0w0);
1141        val _  = Word8Array.update(a1, 0, 0w128);
1142    
1143        x86MCEmitter crashed when the immediate operand to MOVB was outside
1144    of the range -128 ... 127.  I've changed the code so that the range
1145    check is disabled.   Only the low order 8 bits of the immediate operand
1146    are now significant.
1147    
1148    
1149    ----------------------------------------------------------------------
1150    Name: Matthias Blume (http://www.tti-c.org/blume/)
1151    Date: 2007/02/15 09:20:00 CST
1152    Description:
1153    
1154    Eliminated any mention of lexgen.  (Lexgen was an early precursor
1155    to ml-ulex.)
1156    
1157    You should update your admin directory, so the shell scripts for
1158    maintaining your local copy of the repository reflect this change.
1159    
1160    ----------------------------------------------------------------------
1161    Name: Matthias Blume (http://www.tti-c.org/blume/)
1162    Date: 2007/02/14 15:45:00 CST
1163    Description:
1164    
1165    Fixed bug in CM's parallel make facility that failed to have
1166    the master re-link modules after letting slaves compile them.
1167    
1168    ----------------------------------------------------------------------
1169    Name: Matthias Blume (http://www.tti-c.org/blume/)
1170    Date: 2007/02/12 15:10:00 CST
1171    Description:
1172    
1173    Fixed typo in ml-build script that prevented library anchors
1174    from being registered.
1175    
1176    ----------------------------------------------------------------------
1177    Name: Matthias Blume (http://www.tti-c.org/blume/)
1178    Date: 2007/02/02 15:20:00 CST
1179    Tag: release-110.62
1180    Description:
1181    
1182    New working release (110.62).  NEW BOOTFILES!
1183    
1184    ----------------------------------------------------------------------
1185    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
1186    Date: 2007/01/31
1187    Description:
1188    
1189    Brought ml-lpt manual up-to-date with the code.  Many minor
1190    improvements to the tools, and a few minor bugfixes.  Prepared
1191    ml-lpt-lib for integration with new UTF8 structure.  Changed
1192    the interface for creating streams in ml-ulex (we now support
1193    stream creation from several kinds of sources).  Overall, the
1194    tools are now quite stable, and their interfaces are unlikely to
1195    change in a way that would break compatibility.  More work,
1196    however, is needed in the documentation.
1197    
1198    ----------------------------------------------------------------------
1199    Name: Matthias Blume (http://www.tti-c.org/blume/)
1200    Date: 2007/02/01 10:05:00 CST
1201    Description:
1202    
1203    Implemented library installer.  Moved CM plugin code for
1204    ml-burg, ml-lex, and ml-yacc out of CM source tree and into
1205    their respective trees.  Implemented CM plugin for ml-ulex
1206    and ml-antlr.  Used library installer for ml-burg, ml-ulex,
1207    and ml-antlr.
1208    
1209    For ml-yacc and ml-lex we continue to have permanently "plugged-in"
1210    CM tools.  (It turns out to be too messy to do otherwise because
1211    there is too much code that during installation relies on the presence
1212    of these tools -- resulting in a tricky ordering problem.)
1213    
1214    ----------------------------------------------------------------------
1215    Name: Matthias Blume (http://www.tti-c.org/blume/)
1216    Date: 2007/01/30 11:05:00 CST
1217    Description:
1218    
1219    Added SMLofNJ.shiftArgs which is like a shell's "shift" command.
1220    Modified CM's startup code to use shiftArgs as it processes
1221    command line arguments.  This way, the init code in each .sml-file
1222    or library that is mentioned at the top level will see only
1223    those arguments that have not yet been processed at this point.
1224    In other words, the init code can "seize control" and process the
1225    remaining command line.
1226    
1227    ----------------------------------------------------------------------
1228    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1229    Date: 2007/01/30
1230    Description:
1231    
1232    Added fromList function to the ORD_SET interface and lookup to the
1233    ORD_MAP interface.  See the SML/NJ Library CHANGES file for details.
1234    
1235    ----------------------------------------------------------------------
1236    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1237    Date: 2007/01/28
1238    Description:
1239    
1240    Added the UTF8 structure and signature from the Moby compiler to
1241    the SML/NJ library (and the CML library).  These modules will replace
1242    the version in the ml-lpt-lib.
1243    
1244    ----------------------------------------------------------------------
1245    Name: Matthias Blume (http://www.tti-c.org/blume/)
1246    Date: 2007/01/26 15:10:00 CST
1247    Description:
1248    
1249    Added entries to handle ml-lpt-lib.cm in installer.
1250    
1251    ----------------------------------------------------------------------
1252    Name: Matthias Blume (http://www.tti-c.org/blume/)
1253    Date: 2006/12/15 11:10:00 CST
1254    Tag: release-110.61
1255    Description:
1256    
1257    New working release (110.61).  NEW BOOTFILES!
1258    
1259    This supersedes the pre-brown-paper-bug release (see below).
1260    
1261    ----------------------------------------------------------------------
1262    Name: Matthias Blume (http://www.tti-c.org/blume/)
1263    Date: 2006/12/15 11:00:00 CST
1264    Description:
1265    
1266    Fixed brown-paper-bag bug with CM's pathname handling, which made
1267    installation fail under Win32.
1268    
1269    ----------------------------------------------------------------------
1270    Name: Matthias Blume (http://www.tti-c.org/blume/)
1271    Date: 2006/12/14 12:00:00 CST
1272    Description:
1273    
1274    Obsolete!
1275    
1276    [New working release (110.61).  NEW BOOTFILES!]
1277    
1278    ----------------------------------------------------------------------
1279    Name: John Reppy (http://cs.uchicago.edu/~jhr)
1280    Date: 2006/14/06 09:50:00 CST
1281    Description:
1282    
1283    Fixed the code in runtime/c-libs/posix-tty/{tcgetattr,tcsetattr}.c to
1284    get the c_cc termios data copied correctly.  Also moved the allocation
1285    of the string to avoid problems if it caused a GC.
1286    
1287    Thanks to Timothy Bourke for the bug report and fix.
1288    
1289    ----------------------------------------------------------------------
1290    Name: Matthias Blume (http://www.tti-c.org/blume)
1291    Date: 2006/12/08 09:50:00 CST
1292    Description:
1293    
1294    Added code to CM's "standard shell tool" implementation which
1295    causes it to tolerate (with a warning) the situation where the shell
1296    command fails (e.g., due to the shell command's non-existence)
1297    as long as all target files exist.
1298    
1299    This makes it possible to, e.g., build ml-yacc from sources even if
1300    svn checkout messed up the time stamps on files in such a way that
1301    yacc.grm is younger than yacc.grm.sml or yacc.grm.sig.  (Ml-yacc would
1302    be needed to re-process yacc.grm, but obviously it might not yet be
1303    available at that time.)
1304    
1305    ----------------------------------------------------------------------
1306    Name: John Reppy (http://cs.uchicago.edu/~jhr)
1307    Date: 2006/12/06 12:06:00 CST
1308    Description:
1309    
1310    Fixed the types of recvVecFrom, recvVecFrom', recvVecFromNB, and
1311    recvVecFromNB' in the SOCKET signature.  This error is actually
1312    in the SML Basis specification too.
1313    
1314    ----------------------------------------------------------------------
1315    Name: Matthias Blume (http://www.tti-c.org/blume/)
1316    Date: 2006/12/05 22:40:00 CST
1317    Description:
1318    
1319    CM now reports undefined anchors as errors and aborts execution
1320    rather than silently pressing on using bogus values.
1321    
1322    ----------------------------------------------------------------------
1323    Name: Matthias Blume (http://www.tti-c.org/blume/)
1324    Date: 2006/11/29 10:00:00 CST
1325    Description:
1326    
1327    Use Say.vsay for printing the "[autoloading]" message, so
1328    #set CM.Control.verbose false (or -Ccm.verbose=false) can be used
1329    to suppress them.
1330    
1331    ----------------------------------------------------------------------
1332    Name: Matthias Blume (http://www.tti-c.org/blume/)
1333    Date: 2006/11/10 11:00:00 CST
1334    Description:
1335    
1336    Fixed bug in CM where "with:" specifications that affect compilation
1337    (as opposed to parsing) were ignored.
1338    
1339    ----------------------------------------------------------------------
1340    Name: Matthias Blume (http://www.tti-c.org/blume/)
1341    Date: 2006/11/09 14:30:00 CST
1342    Tag: release-110.60
1343    Description:
1344    
1345    New working release (110.60).  NEW BOOTFILES!
1346    
1347    This is the first subversion-hosted release.  There are also changes
1348    to the directory layout.  Here is a table:
1349    
1350    (All pathnames are relative to the SML/NJ "root" directory.)
1351    
1352      config -> config
1353    
1354      src/cm -> base/cm
1355      src/compiler -> base/compiler
1356      src/runtime -> base/runtime
1357      src/system -> base/system
1358    
1359      src/cm/pgraph -> pgraph
1360    
1361      src/READMES -> base/READMES
1362      src/$notefile -> base/NOTES/$notefile
1363         for <notefile> in BOOT CVSNOTES CYGWININSTALL HISTORY INSTALL
1364                           MACOSXINSTALL WININSTALL
1365    
1366      src/smlnj-lib -> smlnj-lib
1367      src/MLRISC -> MLRISC
1368      ckit -> ckit
1369      src/cml -> cml
1370      src/eXene -> eXene
1371      src/heap2asm -> heap2asm
1372      src/lexgen -> lexgen
1373      src/ml-burg -> ml-burg
1374      src/ml-lex -> ml-lex
1375      src/ml-yacc -> ml-yacc
1376      src/ml-nlffi-lib -> nlffi/lib
1377      src/ml-nlffigen -> nlffi/gen
1378      src/smlnj-c -> smlnj-c
1379      src/tools/TraceDebugProf -> trace-debug-profile
1380    
1381    In addition, there is also a new
1382    
1383      ml-lpt
1384    
1385    directory containing two new program generator tools: ml-ulex and
1386    ml-antlr (a lexer generator that handles unicode and an ANTRL-inspired
1387    LL(k) parser generator). These tools are currently "beta-quality"
1388    
1389    The latest versios of the sources can now be obtained anonymously
1390    via subversion.  For this, it is useful to first check out
1391    
1392       svn://smlnj-gforge.cs.uchicago.edu/smlnj/admin
1393    
1394    and put the resulting directory on your shell's PATH.  This provides
1395    access to three shell scripts: checkout-all.sh, stat-all.sh,
1396    and refresh-all.sh.
1397    
1398    To create a freshly checked-out copy of the sources, do
1399    
1400       checkout-all.sh [dir]
1401    
1402    where dir is the optional SML/NJ root directory (default is ".").
1403    
1404    This creates the above directory layout.  Each subdirectory of
1405    the root is under individual subversion control.  The stat-all.sh
1406    and refresh-al.sh scripts apply "svn stat" or "svn update" to
1407    each of these subtrees.
1408    
1409    ----------------------------------------------------------------------
1410    Name: Matthias Blume (http://www.tti-c.org/blume/)
1411    Date: 2006/11/02 12:20:00 CST
1412    Description:
1413    
1414    Reorganized directory layout.
1415    
1416    This is a temporary solution, more reorganization is to come.
1417    
1418    The basic idea is to have a number of toplevel trees, each corresponding
1419    to a well-defined part of the overall system.  Each part can be
1420    maintained individually, even in separate source repositories,
1421    although currently we still serve everything out of the main
1422    smlnj-gforge tree.
1423    
1424    Installer and and scripts have been updated to reflect the new
1425    layout.  The installer (base/src/system/smlnj/installer) is now
1426    "scriptable" to avoid burning too much knowledge about the
1427    layout into SML source code.  The main script used by the installer
1428    is in config/actions.
1429    
1430    The main change is that many of the subdirectories of what used to
1431    be known as "src" have moved to the toplevel.  The "src" directory
1432    itself has moved down into a subtree called "base".  (We may eventually
1433    get rid of the extra level of indirection represented by "src".)
1434    
1435    The layout is now as follows:
1436    
1437      toplevel tree name | default repository
1438                         | (using gf=svn://smlnj-gforge.cs.uchicago.edu/smlnj)
1439      -------------------+----------------------------------------------------
1440      config             | $gf/config/trunk
1441                         |
1442      base               | $gf/sml/trunk
1443                         |
1444      smlnj-lib          | $gf/smlnj-lib/trunk
1445      MLRISC             | $gf/MLRISC/trunk
1446                         |
1447      ml-yacc            | $gf/ml-yacc/trunk
1448      ml-lex             | $gf/ml-lex/trunk
1449      ml-burg            | $gf/ml-burg/trunk
1450      lexgen             | $gf/lexgen/trunk
1451      heap2asm           | $gf/heap2asm/trunk
1452                         |
1453      cml                | $gf/cml/trunk
1454      eXene              | $gf/eXene/trunk
1455      ckit               | $gf/ckit/trunk
1456      nlffi              | $gf/nlffi/trunk
1457                         |
1458      smlnj-c            | $gf/smlnj-c/trunk
1459    
1460    In $gf/admin there are a few useful shell scripts for checking out
1461    and maintaining the entire collection of trees:
1462    
1463       admin/checkout-all.sh [dir]
1464          -- optionally creates dir and checks out all trees from their
1465             default repositories; if dir is missing, checkout into .
1466       admin/refresh-all.sh [dir]
1467          -- looks at all trees (from the above list) in dir (default: .)
1468             and runs "svn update" if the tree exists and is under
1469             subversion control;
1470             non-existing or non-subversion trees are skipped
1471       admin/stat-all.sh [dir]
1472          -- like refresh-all.sh, but runs "svn stat" instead
1473    
1474    ----------------------------------------------------------------------
1475    Name: Matthias Blume (http://www.tti-c.org/blume/)
1476    Date: 2006/10/05 11:30:00 CDT
1477    Tag: blume-20061005-merge-amd64
1478    Description:
1479    
1480    Merged code for AMD64 backend (Mike Rainey's work).
1481    Everything is hooked up but untested.
1482    
1483    ----------------------------------------------------------------------
1484    Name: Matthias Blume (http://www.tti-c.org/blume/)
1485    Date: 2006/05/17 14:00:00 CST
1486    Tag: Release_110_59
1487    Description:
1488    
1489    New working version (110.59).  NEW BOOTFILES!
1490    
1491    I am freezing 110.59.  Changes other than the version-number increase:
1492    
1493      eXene:
1494    
1495         * committed changes to eXene from Alley Stoughton:
1496             "fixed bugs in X authorization and resource handling, as well
1497              as in the pile and viewport widgets"
1498    
1499      Runtime:
1500        * fixed linking problem with NetBSD 3.x.
1501    
1502      Lexgen:
1503        * lexgen tool handles non-ascii characters in 7-bit mode the same
1504          way that ml-lex does
1505    
1506        * lexgen propagates exceptions the same way that ml-lex does
1507    
1508      CML:
1509        * Fixed a bug in the SyncVar polling functions (iGetPoll,
1510          mTakePoll, and mGetPoll) that could lead to livelock.
1511    
1512    ----------------------------------------------------------------------
1513    Name: Matthias Blume (http://www.tti-c.org/blume/)
1514    Date: 2006/05/12 15:20:00 CST
1515    Tag: blume-20060515-makedepend
1516    Description:
1517    
1518    Implemented ml-makedepend (i.e., CM.sources) in a better (more robust)
1519    way.  This should hopefully fix the ml-makedepend problem permanently.
1520    
1521    ----------------------------------------------------------------------
1522    Name: Matthias Blume (http://www.tti-c.org/blume/)
1523    Date: 2006/05/12 15:15:00 CST
1524    Tag: blume-20060512-makedepend
1525    Description:
1526    
1527    Fixed long-standing bug with ml-makedepend where it would output a
1528    spurious dependency to a non-existing file.  (This is a simple fix.
1529    It might need further looking into.)
1530    
1531    ----------------------------------------------------------------------
1532    Name: Matthias Blume (http://www.tti-c.org/blume/)
1533    Date: 2006/04/20 10:30:00 CDT
1534    Tag: blume-20060420-heap2exec
1535    Description:
1536    
1537    Committed patches received from Johannes 5 Joemann (joemann@befree.free.de)
1538    that enable heap2exec under Linux and FreeBSD.
1539    
1540    ----------------------------------------------------------------------
1541  Name: John Reppy  Name: John Reppy
1542  Date: 2006/04/14  Date: 2006/04/14
1543  Tag:  Tag:
# Line 25  Line 1550 
1550    4) added support for 64-bit integer literals    4) added support for 64-bit integer literals
1551    
1552  ----------------------------------------------------------------------  ----------------------------------------------------------------------
1553  Name:  Name: Matthias Blume (http://www.tti-c.org/blume/)
1554  Date: yyyy/mm/dd  Date: yyyy/mm/dd
1555  Tag: Release_110_58  Tag: Release_110_58
1556  Description:  Description:

Legend:
Removed from v.1921  
changed lines
  Added in v.3805

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