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 2387, Sat Apr 7 13:30:41 2007 UTC revision 3901, Thu Aug 14 21:14:55 2014 UTC
# Line 7  Line 7 
7    
8  The form of an entry should be:  The form of an entry should be:
9    
   
10  Name: Your Name (web page or e-mail)  Name: Your Name (web page or e-mail)
11  Date: yyyy/mm/dd hh:mm:ss  Date: yyyy/mm/dd hh:mm:ss
12  Tag: cvs-tag-for-this-change  Tag: cvs-tag-for-this-change
13  Description:  Description:
14    
15    Here is a test entry
16    
17    ----------------------------------------------------------------------
18    Name: John Reppy (http://cs.uchicago.edu/~jhr)
19    Date: yyyy/mm/dd
20    Description:
21    
22    ----------------------------------------------------------------------
23    Name: John Reppy (http://cs.uchicago.edu/~jhr)
24    Date: 2014/08/14
25    Description:
26    Fixed a problem in the CPS contraction phase.  An optimization that
27    eliminates construction of a record that already exists was not
28    checking that the existing record was the same record kind (bug #119).
29    
30    ----------------------------------------------------------------------
31    Name: John Reppy (http://cs.uchicago.edu/~jhr)
32    Date: 2014/07/28
33    Description:
34    Switch to using MAP_ANONYMOUS to allocate memory on Linux systems.
35    This change avoids problems when "/dev" does not support execute
36    permission (as seems to be the case with some versions of Linux
37    running on ChromeBooks; bug #120).
38    
39    ----------------------------------------------------------------------
40    Name: John Reppy (http://cs.uchicago.edu/~jhr)
41    Date: 2014/06/28
42    Description:
43    Fix for bug 127 (Crash on windows with OS.Process.system).
44    
45    ----------------------------------------------------------------------
46    Name: John Reppy (http://cs.uchicago.edu/~jhr)
47    Date: 2014/06/07
48    Description:
49    Fixed a long-standing bug in Socket.recvVec, which prevented the result
50    from being used in a string pattern match (thanks to Vesa Norrman
51    for the fix).
52    
53    ----------------------------------------------------------------------
54    Name: John Reppy (http://cs.uchicago.edu/~jhr)
55    Date: 2014/05/01
56    Description:
57    Fixed minor issue in an error message; type variable name should be
58    printed with leading '
59    
60    ----------------------------------------------------------------------
61    Name: John Reppy (http://cs.uchicago.edu/~jhr)
62    Date: 2013/11/25
63    Description:
64    Added PackWord{16,32}{Big,Little} structures to the Unsafe module.
65    This change makes the UNSAFE signature closer to the MLton version,
66    although we still need the PackReal structures.
67    
68    ----------------------------------------------------------------------
69    Name: John Reppy (http://cs.uchicago.edu/~jhr)
70    Date: 2013/07/01
71    Description:
72    
73    *************************** Version 110.76 ***************************
74    
75    ----------------------------------------------------------------------
76    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
77    Date: 2013/06/04
78    Description:
79    Fix bug #115 (BinPrimIO writer method getPos doesn't work under CML).
80    Just needed to port the position update from mkReader code to the
81    mkWriter code.
82    
83    ----------------------------------------------------------------------
84    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
85    Date: 2013/06/04
86    Description:
87    Fix bug #111 (Socket.acceptNB returns somewhat broken sockets).
88    The problem was that under Win32, sockets returned from accept inherit
89    their parents' non-blocking status, whereas on UNIX they are always
90    blocking.
91    
92    ----------------------------------------------------------------------
93    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
94    Date: 2013/05/20
95    Description:
96    Fix bug #117 (BinIO.openAppend raises IO on non-existent file).
97    We were opening the file for append if it existed but not creating it
98    if it did not exist.
99    
100    ----------------------------------------------------------------------
101    Name: John Reppy (http://cs.uchicago.edu/~jhr)
102    Date: 2013/05/02
103    Description:
104    Fix bug #116 (Socket.sameDesc raises Match exception).
105    The problem is that on Windows the iodesc datatype (defined in
106    Basis/Implementation/Win32/pre-os.sml) has both an IODesc constructor
107    and a SockDesc constructor.  Updated the code in Win32/os-io.sml to
108    handle the SockDesc constructor.
109    
110    ----------------------------------------------------------------------
111    Name: John Reppy (http://cs.uchicago.edu/~jhr)
112    Date: 2013/04/19
113    Description:
114    Fix bug #113 (Socket.select waits exactly twice the indicated timeout)
115    
116    ----------------------------------------------------------------------
117    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
118    Date: 2013/01/19
119    Description:
120    Fix AMD64 code generator to properly sign-extend arguments to IDIVQ.
121    
122    ----------------------------------------------------------------------
123    Name: John Reppy (http://cs.uchicago.edu/~jhr)
124    Date: 2012/10/20
125    Description:
126    Fix bug #108 (off-by-one error in Util/dynamic-array.sml; iterators crash)
127    
128    ----------------------------------------------------------------------
129    Name: John Reppy (http://cs.uchicago.edu/~jhr)
130    Date: 2012/10/20
131    Description:
132    Fix bug #107 (Bogus Int64 comparison operators)
133    
134    ----------------------------------------------------------------------
135    Name: John Reppy (http://cs.uchicago.edu/~jhr)
136    Date: 2012/10/01
137    Description:
138    
139    *************************** Version 110.75 ***************************
140    
141    ----------------------------------------------------------------------
142    Name: John Reppy (http://cs.uchicago.edu/~jhr)
143    Date: 2012/09/28
144    Description:
145    Fixed bug #92.  IntInf.scan now handles the "0x" prefix correctly.
146    Also made minor improvements to the NumScan module.
147    
148    ----------------------------------------------------------------------
149    Name: John Reppy (http://cs.uchicago.edu/~jhr)
150    Date: 201209/24
151    Description:
152    Added Base64 module to SML/NJ Library to support encoding and decoding
153    Word8 vectors as base64 strings.
154    
155    ----------------------------------------------------------------------
156    Name: John Reppy (http://cs.uchicago.edu/~jhr)
157    Date: 2012/09/23
158    Description:
159    Additions to the SML/NJ Library.  Added exists, existsi, all, and alli
160    functions to ORD_MAP signature and implementations, and added all
161    function to ORD_SET signature and implementations.
162    
163    ----------------------------------------------------------------------
164    Name: John Reppy (http://cs.uchicago.edu/~jhr)
165    Date: 2012/09/21
166    Description:
167    Bug fix in ml-antlr to ensure that the generated toString function
168    for tokens is strictly legal SML code (i.e., non-printing characters
169    and UTF8 multibyte sequences are properly escaped).
170    
171    ----------------------------------------------------------------------
172    Name: John Reppy (http://cs.uchicago.edu/~jhr)
173    Date: 2012/09/11
174    Description:
175    Added getu function to ULexBuffer as a way to improve ulex performance.
176    This addition allows a fastpath for processing ascii characters, which
177    improved lexer performance by 3-4%.
178    
179    ----------------------------------------------------------------------
180    Name: John Reppy (http://cs.uchicago.edu/~jhr)
181    Date: 2012/08/02
182    Description:
183    Fixed bugs #89 and #96: Build Failure with Xcode 4.3
184    Also removed build support for MacOS X pre-10.5 (Leopard) on PPC and
185    pre-10.6 (Snow Leopard) on Intel.
186    
187    ----------------------------------------------------------------------
188    Name: John Reppy (http://cs.uchicago.edu/~jhr)
189    Date: 2012/02/05
190    Description:
191    Fixed bug #88.  The check for valid arcs on Unix systems now allows
192    any character other than slash or nul.
193    
194    ----------------------------------------------------------------------
195    Name: David MacQueen (dbm@cs.uchicago.edu)
196    Date: 2012/01/20
197    Description:
198    
199    *************************** Version 110.74 ***************************
200    
201    ----------------------------------------------------------------------
202    Name: John Reppy (http://cs.uchicago.edu/~jhr)
203    Date: 2012/01/20
204    Description:
205    
206    Fixed implementation of Real.signBit on little-endian machines.
207    
208    ----------------------------------------------------------------------
209    Name: David MacQueen (dbm@cs.uchicago.edu)
210    Date: 2012/1/19
211    Revision: 3664, 3665
212    Description:
213    
214    1) Fix for (gforge) bug #60
215       recalculate strictness for DEFtycs in functor bodies when functor
216       is applied  (Elaborator/modules/evalent.sml)
217    
218    2) Fix for (gforge) bug #77
219       separate ast representations for datatypes and datatype replications
220       in decs and specs (multiple files)
221    
222    3) set version to 110.74
223    
224    Details in NOTES/changes/dbm_2012_1.
225    
226    ----------------------------------------------------------------------
227    Name: David MacQueen (dbm@cs.uchicago.edu)
228    Date: 2012/1/12
229    Revision: 3648, 3652
230    Description:
231    
232    1) Change of SourceMap interface.
233       related to fix of off-by-one error in lexer (committed earlier?), and cleanup of noweb code
234       added by Norman Ramsey many years ago (but little used today).
235    
236    3) Slight cleanup of match compiler, eliminatiing compiler/FLINT/tempexpn.sml file that
237       was part of unused implementation of pattern templates (pattern macros).
238    
239    4) Modification of type checker to add "culprit tracking" for improved type error messages
240       (printing of additional culprit information is controlled by ElabControl.showTypeErrorCulprits
241        flag, default false, added in revision 3652).  The culprit tracking needs to be debugged
242        and improved, and the presentation of the culprits needs to be done better.
243    
244    Details in NOTES/changes/dbm_2012_1.
245    
246    ----------------------------------------------------------------------
247    Name: John Reppy (http://cs.uchicago.edu/~jhr)
248    Date: 2011/11/25
249    Description:
250    
251    Bug fixes for Unsafe.blastRead (#76):
252      1) proper error handling when reading from memory and there are
253         not enough bytes.
254      2) pass correct data pointer and length to BlastIn (code was using
255         old macros).
256    
257    ----------------------------------------------------------------------
258    Name: John Reppy (http://cs.uchicago.edu/~jhr)
259    Date: 2011/11/25
260    Description:
261    
262    Added hash-table-based implementation of sets to SML/NJ Library.
263    
264    ----------------------------------------------------------------------
265    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
266    Date: 2011/10/25
267    Description:
268    
269    Better error reporting under 32-bit linux for the missing dpkg
270    support (#70).
271    Enable 3.x kernels to build (#80, 81, 83).
272    
273    ----------------------------------------------------------------------
274    Name: John Reppy (http://cs.uchicago.edu/~jhr)
275    Date: 2011/05/23
276    Description:
277    
278    Added new S-expression library to SML/NJ Library
279    (contributed by Damon Wang)
280    
281    ----------------------------------------------------------------------
282    Name: John Reppy (http://cs.uchicago.edu/~jhr)
283    Date: 2011/05/17
284    Description:
285    
286    Fixed bug in JSON scanner (SML/NJ Library).  It didn't handle escaped
287    backslash or double quote correctly.
288    
289    ----------------------------------------------------------------------
290    Name: John Reppy (http://cs.uchicago.edu/~jhr)
291    Date: 2011/05/13
292    Description:
293    
294    *************************** Version 110.73 ***************************
295    
296    ----------------------------------------------------------------------
297    Name: John Reppy (http://cs.uchicago.edu/~jhr)
298    Date: 2011/05/10
299    Description:
300    
301    Added boolean literals (true and false) to the conditional-expression
302    syntax in CM.  Thus, you can write
303    
304    #if true
305      structure Foo
306    #endif
307    
308    in a CM file.  This change is meant to make it easier to use autoconf
309    to configure the build process of an SML application.
310    
311    ----------------------------------------------------------------------
312    Name: John Reppy (http://cs.uchicago.edu/~jhr)
313    Date: 2011/05/09
314    Description:
315    
316    Added missing String.scan function (#69).  This also fixes the handling
317    of certain corner cases by String.fromString.
318    
319    ----------------------------------------------------------------------
320    Name Mike Rainey (http://www.mpi-sws.org/~mrainey)
321    Date 2011/05/03
322    Description:
323    
324    Added the RTDSC and RTDSCP instructions to the amd64 code generator.
325    
326    ----------------------------------------------------------------------
327    Name: John Reppy (http://cs.uchicago.edu/~jhr)
328    Date: 2011/04/08
329    Description:
330    
331    Added fix for comments in code bug (#63).
332    Thanks to Michael Norrish.
333    
334    ----------------------------------------------------------------------
335    Name: John Reppy (http://cs.uchicago.edu/~jhr)
336    Date: 2011/04/08
337    Description:
338    
339    Fixed bug in Socket.acceptNB (bug #59)
340    
341    ----------------------------------------------------------------------
342    Name: John Reppy (http://cs.uchicago.edu/~jhr)
343    Date: 2011/03/31
344    Description:
345    
346    Fixed syntax error in ml-lex compatibility mode (bug #49)
347    
348    ----------------------------------------------------------------------
349    Name: John Reppy (http://cs.uchicago.edu/~jhr)
350    Date: 2011/03/22
351    Description:
352    
353    Update _arch-n-opsys script for Mac OS X Lion (10.7).
354    
355    ----------------------------------------------------------------------
356    Name: John Reppy (http://cs.uchicago.edu/~jhr)
357    Date: 2011/02/18
358    Description:
359    
360    Added Barriers module to CML.
361    
362    ----------------------------------------------------------------------
363    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
364    Date: 2011/02/10
365    Description:
366    
367    Fixed ml-yacc examples to respect the changed signatures with respect
368    to TextIO.inputLine.
369    
370    ----------------------------------------------------------------------
371    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
372    Date: 2010/09/16
373    Description:
374    
375    Changed the Win32 implementation of validArc to support directories
376    with extended characters (umlauts, etc.).
377    
378    ----------------------------------------------------------------------
379    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
380    Date: 2010/09/16
381    Description:
382    
383    Fixed the Win32 socket and polling implementation to work correctly
384    with CML. Signature of poll was wrong and didn't handle sockets at all.
385    
386    ----------------------------------------------------------------------
387    Name: John Reppy (http://cs.uchicago.edu/~jhr)
388    Date: 2010/06/16
389    Description:
390    
391    Fixed Real.toString and Real.fmt to include sign for negative zero.
392    
393    ----------------------------------------------------------------------
394    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
395    Date: 2010/03/23
396    Description:
397    
398    Fixed the bug with Win32 calls to OS.Process.system not quoting the string.
399    
400    ----------------------------------------------------------------------
401    Name: Jon Riehl (http://jonriehl.com/)
402    Date: 2010/02/11
403    Description:
404    
405    Applied patch for building on more recent NetBSD's.  See bug #39 in the
406    tracker:
407    
408    http://smlnj-gforge.cs.uchicago.edu/tracker/index.php?func=detail&aid=39&group_id=33&atid=215
409    
410    ----------------------------------------------------------------------
411    Name: Jon Riehl (http://jonriehl.com/)
412    Date: 2010/02/02
413    Description:
414    
415    Cutting version 110.72.  New bootfiles.
416    
417    ----------------------------------------------------------------------
418    Name John Reppy (http://cs.uchicago.edu/~jhr)
419    Date 2009/12/20
420    Description:
421    
422    Fixed performance bugs in List module by making @ and foldr be
423    tail recursive.
424    
425    ----------------------------------------------------------------------
426    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
427    Date: 2009/12/11
428    Description:
429    
430    Fixed the Win32 unable to print long strings bug.
431    ----------------------------------------------------------------------
432    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
433    Date: 2009/12/10
434    Description:
435    
436    Fixed an overrun during major GC. If the string arena was nearly full, it was possible
437    for alignment padding added during copy to the to-space to overrun the allocated
438    size.
439    ----------------------------------------------------------------------
440    Name John Reppy (http://cs.uchicago.edu/~jhr)
441    Date 2009/11/18
442    Description:
443    
444    The ml-antlr and ml-ulex programs have been ported to build under
445    mlton.
446    
447    ----------------------------------------------------------------------
448    Name John Reppy (http://cs.uchicago.edu/~jhr)
449    Date 2009/11/17
450    Description:
451    
452    Added %header directive to the ml-ulex scanner generator.  Also
453    updated the documentation.
454    
455    ----------------------------------------------------------------------
456    Name John Reppy (http://cs.uchicago.edu/~jhr)
457    Date 2009/11/17
458    Description:
459    
460    Added "@SMLsuffix" flag to sml command.  This can be used to get
461    the suffix for heap files.
462    
463    ----------------------------------------------------------------------
464    Name John Reppy (http://cs.uchicago.edu/~jhr)
465    Date 2009/11/17
466    Description:
467    
468    Added "--strict-sml" flag to ml-ulex for MLton compatibility.
469    
470    ----------------------------------------------------------------------
471    Name John Reppy (http://cs.uchicago.edu/~jhr)
472    Date 2009/11/10
473    Description:
474    
475    Added %header directive to the ml-antlr parser generator.  Also
476    updated the documentation.
477    
478    ----------------------------------------------------------------------
479    Name: Jon Riehl (http://www.jonriehl.com/)
480    Date: 2009/09/16
481    Description:
482    
483    Cutting version 110.71.  New bootfiles.
484    
485    ----------------------------------------------------------------------
486    Name John Reppy (http://cs.uchicago.edu/~jhr)
487    Date 2009/09/13
488    Description:
489    
490    Changes to support compiling the runtime system on Mac OS X 10.6
491    (aka Snow Leopard).
492    
493    ----------------------------------------------------------------------
494    Name Mike Rainey (http://cs.uchicago.edu/~mrainey)
495    Date 2009/08/19
496    Description:
497    
498    Fixed a bug in the register-spill generator that is part of the MLRISC
499    register allocator. The problem was that the code in RASpillWithRenaming
500    functor assumed incorrectly that dedicated registers would appear in
501    def/use information generated by ClusterRA. Thanks to Allen Leung for
502    helping with this bug.
503    
504    ----------------------------------------------------------------------
505    Name John Reppy (http://cs.uchicago.edu/~jhr)
506    Date 2009/07/09
507    Description:
508    
509    Removed redundant implementations of various top-level operations by
510    consolidating them in base/system/smlnj/init/pervasive.sml.  This
511    change also fixes a bug in that the top-level version of round was
512    incorrect.
513    
514    ----------------------------------------------------------------------
515    Name: Matthias Blume (http://www.tti-c.org/blume/)
516    Date: 2009/06/15 11:17:00 CDT
517    Description:
518    
519    Bumped version number to 110.70.  New bootfiles.
520    
521    ----------------------------------------------------------------------
522    Name: Matthias Blume (http://www.tti-c.org/blume/)
523    Date: 2009/06/12 11:02:00 CDT
524    Description:
525    
526    1. Corrected problem in config/actions that led to the so-called
527       "unpickling bug" which appeared in version 110.68.
528    
529    2. Provided fix for the 64-bit pattern match bug.
530    
531    ----------------------------------------------------------------------
532    Name John Reppy (http://cs.uchicago.edu/~jhr)
533    Date 2009/03/21
534    Description:
535    
536    Fixed bug in Int32.fmt when the argument was the minimum int and the
537    radix was something other than DEC.
538    
539    ----------------------------------------------------------------------
540    Name Aaron Turon (turon@ccs.neu.edu)
541    Date 2009/02/21
542    Description:
543    
544    Fixed bugs in how ml-antlr parsed ML types in %tokens specifications.
545    
546    ----------------------------------------------------------------------
547    Name: Jon Riehl (http://www.jonriehl.com/)
548    Date: 2009/01/13
549    Description:
550    
551    Picking up some additional fixes for 110.69, including a fix for
552    spaces in CM file paths.
553    
554    ----------------------------------------------------------------------
555    Name: Jon Riehl (http://www.jonriehl.com/)
556    Date: 2008/12/22
557    Description:
558    
559    Version bumped to 110.69.  New bootfiles.
560    
561    ----------------------------------------------------------------------
562    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
563    Date: 2008/12/06
564    Description:
565    
566    Re-enabled some CPS optimizations (first_contract and eta).  The most
567    important effect of this change is to make uses of SMLofNJ.Cont.capture
568    be properly tail recursive.
569    
570    ----------------------------------------------------------------------
571    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
572    Date: 2008/12/03
573    Description:
574    
575    New concurrency-related instructions for x86 and amd64 code
576    generators.
577      - PAUSE: Notify the CPU that the program is spin waiting.
578      - MFENCE: memory fence for reads and writes.
579      - SFENCE: memory fence for writes.
580      - LFENCE: memory fence for reads.
581    
582    ----------------------------------------------------------------------
583    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
584    Date: 2008/12/02
585    Description:
586    
587    Added makefile and other support for building runtime on OpenBSD.
588    
589    ----------------------------------------------------------------------
590    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
591    Date: 2008/08/13
592    Description:
593    
594    Version bumped to 110.68.  New bootfiles.
595    
596    ----------------------------------------------------------------------
597    Name Aaron Turon (turon@ccs.neu.edu)
598    Date 2008/08/11
599    Description:
600    
601    Minor fix to ml-ulex backend for regexps that match any character
602    and perform a single action.  Previously the emitted code would
603    not allow the regexps to match any character at all.
604    
605    ----------------------------------------------------------------------
606    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
607    Date: 2008/08/05
608    Description:
609    
610    Added build support for OpenBSD (thanks to Brian O'Hanlon).
611    
612    ----------------------------------------------------------------------
613    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
614    Date: 2008/07/12
615    Description:
616    
617    Fixed Int64.fromString to use base-10.
618    
619    ----------------------------------------------------------------------
620    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
621    Date: 2008/04/12
622    Description:
623    
624    Various updates to the ml-lpt tree.  The documentation has been updated;
625    bugs in the parsing of negation and character classes in ml-ulex have
626    been fixed; and changes have been made to make the ml-lpt tools more
627    compatible with MLton (and other SML implementations).  Thanks to
628    Matthew Fluet and Aaron Turon for their patches.
629    
630    ----------------------------------------------------------------------
631    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
632    Date: 2008/20/04
633    Description:
634    
635    Implemented timer-based profiling on Windows, with behavior as close
636    to the *nix ITIMER-based profiling as possible.
637    ----------------------------------------------------------------------
638    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
639    Date: 2008/07/04
640    Description:
641    
642    Finished off the Windows subset of the basis library. Added process
643    support and various configuration and system identification utils.
644    ----------------------------------------------------------------------
645    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
646    Date: 2008/03/18
647    Description:
648    
649    Major changes to the RegExp library: see smlnj-lib/CHANGES for details.
650    ----------------------------------------------------------------------
651    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
652    Date: 2008/02/14
653    Description:
654    
655    Added the Windows Status structure
656    ----------------------------------------------------------------------
657    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
658    Date: 2008/02/14
659    Description:
660    
661    Added the Windows DDE structure
662    ----------------------------------------------------------------------
663    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
664    Date: 2008/02/05
665    Description:
666    
667    Added the Windows Config structure
668    ----------------------------------------------------------------------
669    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
670    Date: 2008/01/31
671    Description:
672    
673    Added outline of the Windows basis library and the basic registry
674    functionality.
675    ----------------------------------------------------------------------
676    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
677    Date: 2008/01/23
678    Description:
679    
680    Fixed the amd64 code generator to compile with the current MLRISC.
681    ----------------------------------------------------------------------
682    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
683    Date: 2007/11/26
684    Description:
685    
686    nlffi was updated to work on Windows. It needed to pass in the correct
687    value for the name of the kernel32 DLL to obtain 'base' bindings.
688    Additionally updated the README for the most basic nlffi sample with
689    what you need to do on MacOSX and on Windows to make it work.
690    ----------------------------------------------------------------------
691    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
692    Date: 2007/11/21
693    Description:
694    
695    Overwrite the SMLNJ_HOME environment variable on installation
696    Properly change the package code so that subsequent version
697    installations prompt for uninstall (instead of 'repair/remove')
698    ----------------------------------------------------------------------
699    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
700    Date: 2007/11/14
701    Description:
702    
703    Cleaned up WININSTALL file for new MSI-based setup.
704    ----------------------------------------------------------------------
705    Name: Matthias Blume (http://www.tti-c.org/blume/)
706    Date: 2007/11/13 14:05:00 CST
707    Description:
708    
709    Version bumped to 110.67.  New bootfiles.
710    
711    ----------------------------------------------------------------------
712    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
713    Date: 2007/11/12
714    Description:
715    
716    Ensure that the size of the allocation space is at least 128K.
717    ----------------------------------------------------------------------
718    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
719    Date: 2007/11/05
720    Description:
721    
722    Fixed type error in ml-lpt library that occurs when compiling
723    against a basis that was compiled with the USE_64_BIT_POSITIONS
724    symbol set.
725    (Thanks to Johannes Joemann)
726    ----------------------------------------------------------------------
727    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
728    Date: 2007/11/03
729    Description:
730    
731    Fixed the amd64 code generator to compile with the current MLRISC.
732    ----------------------------------------------------------------------
733    Name: Lars Bergstrom (web page or e-mail)
734    Date: 2007/11/02
735    Description:
736    
737    Made sml.bat more resilient to either not having run the installer
738    and having no SMLNJ_HOME set or having just shuffled the directory
739    around.
740    ----------------------------------------------------------------------
741    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
742    Date: 2007/11/01
743    Description:
744    
745    A collection of bug fixes for machine.sml in the Reactive library.
746    (Thanks to Timothy Bourke)
747    ----------------------------------------------------------------------
748    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
749    Date: 2007/10/28
750    Description:
751    
752    Patches for Mac OS X 10.5 (Leopard).
753    ----------------------------------------------------------------------
754    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
755    Date: 2007/10/28
756    Description:
757    
758    Fixed some bugs in the AMD64 floating-point spilling code.
759    ----------------------------------------------------------------------
760    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
761    Date: 2007/10/25
762    Description:
763    
764    Added support for the atomic XCHG instruction.
765    ----------------------------------------------------------------------
766    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
767    Date: 2007/10/22
768    Description:
769    
770    Added AMD64 support for floating-point negation.
771    ----------------------------------------------------------------------
772    Name: Lars Bergstrom (web page or e-mail)
773    Date: 2007/10/22
774    Description:
775    
776    Fixed ^C handling in Windows
777    Added a Windows installer
778    Made it possible to build for Windows on a mapped drive from Parallels
779    ----------------------------------------------------------------------
780    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
781    Date: 2007/10/22
782    Description:
783    
784    Added AMD64 support for the atomic fetch and add instruction.
785    ----------------------------------------------------------------------
786    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
787    Date: 2007/10/18
788    Description:
789    
790    The GAS output now favors p2align over align, since the
791    former is guaranteed to be consistent over multiple architectures
792    and the latter is not.
793    ----------------------------------------------------------------------
794    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
795    Date: 2007/10/18
796    Description:
797    
798    Fixed a bug in register spilling.
799    ----------------------------------------------------------------------
800    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
801    Date: 2007/10/2
802    Description:
803    
804    Added demo support for AMD64 for quick testing and fixed support for
805    64-bit label constants.
806    ----------------------------------------------------------------------
807    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
808    Date: 2007/09/20
809    Description:
810    
811    Added support for the MLRISC COND instruction and the x86-64 CMOVCC
812    instruction.
813    ----------------------------------------------------------------------
814    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
815    Date: 2007/09/17
816    Description:
817    
818    Fixed an instruction-selection bug when loading 64-bit labels.
819    
820    ----------------------------------------------------------------------
821    Name: George Kuan (http://www.cs.uchicago.edu/~gkuan)
822    Date: 2007/09/14
823    Description:
824    
825    Fixed Elaborator and Translate performance bugs
826    
827    ----------------------------------------------------------------------
828    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
829    Date: 2007/09/12
830    Description:
831    
832    Fixed xorl memory argument bug.
833    
834    ----------------------------------------------------------------------
835    Name: George Kuan (http://www.cs.uchicago.edu/~gkuan)
836    Date: 2007/07/27
837    Description:
838    
839    Added f64sgn (for Real64.signBit) as a primop defined
840    in MLRiscGen. signBit(~0.0) not handled correctly.
841    
842    ----------------------------------------------------------------------
843    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
844    Date: 2007/06/21
845    Description:
846    
847    Fixed bug in {TextIO,BinIO}.StreamIO.endOfStream that would incorrectly
848    signal end of stream.
849    
850    ----------------------------------------------------------------------
851    Name: Matthias Blume (http://www.tti-c.org/blume/)
852    Date: 2007/06/12 11:22:00 CDT
853    Description:
854    
855    Eliminated config/allsources.  The information is now drawn directly
856    from config/actions.
857    
858    ----------------------------------------------------------------------
859    Name: Matthias Blume (http://www.tti-c.org/blume/)
860    Date: 2007/06/07 23:30:00 CDT
861    Tag: release-110.65
862    Description:
863    
864    Version 110.65. NEW BOOTFILES!
865    
866    ----------------------------------------------------------------------
867    Name: Matthias Blume (http://www.tti-c.org/blume/)
868    Date: 2007/06/06 21:45:00 CDT
869    Description:
870    
871    - Aaron: fixed a number of bugs in ml-ulex.
872    - Matthias:
873       - added CM control "cm.force-tools"; this is false by default;
874         when set to true, then tools like ml-yacc, ml-lex, ml-ulex, etc.
875         will be forced to run regardless of whether or not their targets
876         are up-to-date
877       - changed installer code so that config/install.sh will re-build
878         heap images for all tools even if those heap images already existed
879    
880    ----------------------------------------------------------------------
881    Name: Matthias Blume (http://www.tti-c.org/blume/)
882    Date: 2007/06/04 21:21:00 CDT
883    Description:
884    
885    After Aaron Turon's bug fix for ml-ulex (handling the ^ character
886    in legacy mode), re-ran the lexer generator on all lex input files
887    and committed the results.
888    
889    This should fix the problem with ckit and nlffi that was reported
890    by Vesa A. Norrman.
891    
892    ----------------------------------------------------------------------
893    Name: Matthias Blume (http://www.tti-c.org/blume/)
894    Date: 2007/05/31 11:40:00 CDT
895    Tag: release-110.64
896    Description:
897    
898    Version 110.64. NEW BOOTFILES!
899    
900    ----------------------------------------------------------------------
901    Name: Dave MacQueen (dbm@cs.uchicago.edu)
902    Date: 2007/05/31 14:55:00 CDT
903    Revision: 2650
904    Description:
905    
906    3rd merge of base from primop-branch-3 into the trunk.
907    Additional bug fixes included:
908    
909     * Timer.cpu_timer, etc. type printing corrected (by making
910         Timer have opaque sig constraint in basis/Implementation/timer.sml)
911     * Infinite loop in FLINT (tests/typing/tests/25.sml) (fix by
912         Stefan Monnier)
913    
914    ----------------------------------------------------------------------
915    Name: Matthias Blume (http://www.tti-c.org/blume/)
916    Date: 2007/05/31 11:40:00 CDT
917    Description:
918    
919    Fixed some bugs in new Div code in FLINT/trans/translate.sml.
920    
921    Also, changed the handling of "no core access":  When translate.sml
922    needs access to a core exception at a time when the core has not
923    been set up yet (this only happens when compiling system/smlnj/init/*),
924    then don't bother generating the corresponding tests.
925    
926    The old scheme was to generate a bogus value to be used in place of
927    the exception.  Unfortunately, that confuses the plambda type checker.
928    Moreover, it does not do any good, because at runtime we don't expect
929    such an exception to be ever raised.  (The code in system/smlnj/init/*
930    has to be written very carefully with this in mind!)
931    
932    ----------------------------------------------------------------------
933    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
934    Date: 2007/05/29
935    Description:
936    
937    Added FSQRT instructions for the AMD64 code generator.
938    
939    ----------------------------------------------------------------------
940    Name: Matthias Blume (http://www.tti-c.org/blume/)
941    Date: 2007/05/29 19:00:00 CDT
942    Description:
943    
944    FLINT/trans/translate.sml now wraps all DIV/MOD/QUOT/REM operations
945    with an explicit test for zero division.  This should fixes several
946    regressions and makes it possible for downstream optimization phases
947    to treat these operations as "pure" when they are applied to unsigned
948    operands.
949    
950    ----------------------------------------------------------------------
951    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
952    Date: 2007/05/29
953    Description:
954    
955    Added the new MLRISC code generator for the AMD64.  This version,
956    in contrast to the previous one, uses SSE registers and instructions
957    for all floating-point computations.
958    
959    ----------------------------------------------------------------------
960    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
961    Date: 2007/05/29
962    Description:
963    
964    A number of fixes related to the formatting of dates.  These include fixes
965    for bugs #1415 and #1416.  We also now correctly handle format characters that
966    lie outside the specified set.
967    
968    ----------------------------------------------------------------------
969    Name: Matthias Blume (http://www.tti-c.org/blume/)
970    Date: 2007/05/23 22:30:00 CDT
971    Description:
972    
973    CMB (and CM) now automatically defines the CM "preprocessor" symbol
974    NO_PLUGINS during "makeml -rebuild" or when CM operates in "slave" mode.
975    
976      (In addition, CMB_REBUILD_MODE is defined for makeml -rebuild,
977       CM_SLAVE_MODE is defined in attached slaves while running CM.make
978       or CM.rebuild, and CMB_SLAVE_MODE is defined in attached slaves
979       while running CMB.make.  The point is that the single symbol
980       NO_PLUGINS is definde in all three cases.)
981    
982    I changed the three locations within the sources that get compiled
983    during CMB.make where ml-yacc or ml-lex input is processed: When
984    NO_PLUGINS defined, then the use of the mlyacc and mllex tools
985    is bypassed.
986    
987    When bootstrapping new versions of the compiler, there can be
988    situations where the plugin tools for ml-yacc and ml-lex (or ml-ulex)
989    are not available or otherwise not operational.  In this case one can
990    manually define the NO_PLUGINS symbol prior to running CMB.make().  To
991    do so, the following command should be issued at the interactive
992    prompt:
993    
994       #set (CMB.symval "NO_PLUGINS") (SOME 1);
995    
996    A CMB.make with NO_PLUGINS defined relies on the existence of the
997    files that normally would be generated by ml-yacc and ml-lex.
998    (Copies of these files are in the repository.)
999    
1000    ----------------------------------------------------------------------
1001    Name: David MacQueen (dbm@cs.uchicago.edu)
1002    Date: 2007/5/23 17:23:00 CDT
1003    Revision: 2603
1004    Description:
1005    
1006    2nd merge of base from primop-branch-3 into the trunk.
1007    Additional bug fixes included:
1008     Date.scan and Date.fromString fixed;
1009     Overloading resolution fixed and some type printing problems corrected.
1010    
1011    ----------------------------------------------------------------------
1012    Name: Matthias Blume (http://www.tti-c.org/blume/)
1013    Date: 2007/05/23 09:50:00 CDT
1014    Description:
1015    
1016    Changed the installation mechanism for CM tool plugins.  These are
1017    just libaries and now get installed like ordinary libaries.
1018    
1019    There are now a number of new installation targets that give some
1020    fine-grain control over what classes and suffixes are known, and what
1021    they will map to.
1022    See config/targets for details.
1023    
1024    The code that caused plugin installation as part of running a
1025    tool's "build" script has been removed.  (The build script is for
1026    building, not for installing.)
1027    
1028    ----------------------------------------------------------------------
1029    Name: Matthias Blume (http://www.tti-c.org/blume/)
1030    Date: 2007/05/22 11:50:00 CDT
1031    Description:
1032    
1033    Added a boolean control named cm.tolerate-tool-failures (env. variable
1034    name: CM_TOLERATE_TOOL_FAILURES).  The default is false and makes
1035    CM fail if a shell tool reports a non-success exit status.  If
1036    the control is set to true, then CM will press on after tool failures
1037    in the event that the target files exist (even though they are
1038    considered outdated).  Turning the control to true can be useful for
1039    bootstrapping.
1040    
1041    ----------------------------------------------------------------------
1042    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
1043    Date: 2007/05/19
1044    Description:
1045    
1046    Merge of ml-lpt revisions for 110.64.
1047    
1048    The name of several ml-lpt-lib modules has changed:
1049      Repair        => AntlrRepair
1050      StreamPos     => AntlrStreamPos
1051      ErrHandlerFn  => AntlrErrHandler
1052      EBNF          => AntlrEBNF
1053    
1054    The ml-antlr specification format has changed: declarations such as
1055    %tokens and nonterminal definitions can occur *multiple* times in the
1056    same specification.  The semantics are such that each new declaration
1057    extends the previous ones.  This does not apply to %start or %name,
1058    of course.
1059    
1060    Importing a grammar via %import now includes *all* declarations in from
1061    the imported grammar, except for %name, %entry, and %start.  Tokens
1062    and nonterminals can be dropped using the new %dropping clause of the
1063    %import directive; the separate %drop and %extend have been removed.
1064    
1065    We now allow optional type annotations on nonterminals, using the %nonterms
1066    directive as in ml-yacc.
1067    
1068    The refcell construct is now implemented using SML's regular reference
1069    cells, so the :== and !! notation has been deprecated.
1070    
1071    The ml-antlr tool now does much more checking of specifications, and
1072    its error messages have been greatly improved.  Error repair for
1073    generated parsers has been completely rewritten, and is now both
1074    much faster and more accurate.
1075    
1076    ml-ulex is now more lenient with escape codes (non-SML-standard
1077    escape codes are now interpreted literally, so e.g. \| denotes "|").
1078    Also, character classes may now include a "-" character at the beginning
1079    as is standard in most other regexp tools.
1080    
1081    All of these changes are documented in the user guide, which has
1082    been updated and improved with this merge.
1083    
1084    ----------------------------------------------------------------------
1085    Name: David MacQueen (http://www.cs.uchicago.edu/~jhr)
1086    Date: 2007/05/03
1087    Revision: r2492
1088    Description:
1089    
1090    Merge of the primop3 branch (base) into the trunk to create 110.63.1.
1091    Significant changes in FLINT and the front end, mostly having to do
1092    with a reorganized system for handling primops.  Various bug fixes
1093    and improvements in printing signatures.
1094    
1095    ----------------------------------------------------------------------
1096    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
1097    Date: 2007/05/02
1098    Description:
1099    
1100    Preliminary commit of large ml-lpt revisions (more to come for 110.64).
1101    The ml-antlr specification format has changed: declarations such as
1102    %tokens and nonterminal definitions can occur *multiple* times in the
1103    same specification.  The semantics are such that each new declaration
1104    extends the previous ones.  Grammar extension constructs have also
1105    changed.  We now allow type annotations on nonterminals.  Finally,
1106    the refcell construct is now implemented using SML's regular reference
1107    cells, so the :== and !! notation has been deprecated.  All of these
1108    changes will appear in the 110.64 user guide for ml-lpt.
1109    
1110    The ml-antlr tool now does much more checking of specifications, and
1111    its error messages have been greatly improved.  There has also been
1112    some work on the error repair process for generated parsers, but this
1113    will be further improved in 110.64.
1114    
1115    ----------------------------------------------------------------------
1116    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1117    Date: 2007/04/24
1118    Description:
1119    
1120    More Basis fixes: The Char.fromString (etc.) functions did not handle
1121    the "\uxxxx" escape sequence.  There is still an outstanding bug with
1122    String.fromString the tail is a format escape.  I added a comment to
1123    this effect in Basis/Implementation/string.sml.
1124    Thanks to Andreas Rossberg.
1125    
1126    ----------------------------------------------------------------------
1127    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1128    Date: 2007/04/24
1129    Description:
1130    
1131    Added next function to Fifo and Queue modules in the SML/NJ Library.
1132    
1133    ----------------------------------------------------------------------
1134    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1135    Date: 2007/04/23
1136    Description:
1137    
1138    More Basis fixes: Time.fmt dropped the leading "~" for negative time
1139    values that had no whole part.
1140    
1141    ----------------------------------------------------------------------
1142    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1143    Date: 2007/04/23
1144    Description:
1145    
1146    More Basis fixes: the OS.Path module did not include the InvalidArc
1147    exception and did not do sufficient argument checking.
1148    Thanks to Stephen Weeks and Adam Chilpala.
1149    
1150    ----------------------------------------------------------------------
1151    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
1152    Date: 2007/04/16
1153    Description:
1154    
1155    Fixed an unbound functor bug in the AMD64 CM file.
1156    
1157    ----------------------------------------------------------------------
1158    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
1159    Date: 2007/04/12
1160    Description:
1161    
1162    Substantially changed the signature and implementation of AMD64
1163    SVID.  It now looks similar to the ia32 SVID, yet uses staged
1164    allocation.
1165    
1166  ----------------------------------------------------------------------  ----------------------------------------------------------------------
1167  Name: John Reppy (http://www.cs.uchicago.edu/~jhr)  Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1168  Date: 2007/04/07  Date: 2007/04/07

Legend:
Removed from v.2387  
changed lines
  Added in v.3901

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