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

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

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