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

Legend:
Removed from v.1882  
changed lines
  Added in v.2933

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