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

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

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