Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/NOTES/HISTORY
ViewVC logotype

Diff of /sml/trunk/NOTES/HISTORY

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

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

Legend:
Removed from v.1926  
changed lines
  Added in v.3493

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