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

SCM Repository

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

Diff of /sml/trunk/NOTES/HISTORY

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

revision 2387, Sat Apr 7 13:30:41 2007 UTC revision 2936, Tue Feb 5 18:13:11 2008 UTC
# Line 14  Line 14 
14  Description:  Description:
15    
16  ----------------------------------------------------------------------  ----------------------------------------------------------------------
17    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
18    Date: 2008/02/05
19    Description:
20    
21    Added the Windows Config structure
22    ----------------------------------------------------------------------
23    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
24    Date: 2008/01/31
25    Description:
26    
27    Added outline of the Windows basis library and the basic registry
28    functionality.
29    ----------------------------------------------------------------------
30    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
31    Date: 2008/01/23
32    Description:
33    
34    Fixed the amd64 code generator to compile with the current MLRISC.
35    ----------------------------------------------------------------------
36    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
37    Date: 2007/11/26
38    Description:
39    
40    nlffi was updated to work on Windows. It needed to pass in the correct
41    value for the name of the kernel32 DLL to obtain 'base' bindings.
42    Additionally updated the README for the most basic nlffi sample with
43    what you need to do on MacOSX and on Windows to make it work.
44    ----------------------------------------------------------------------
45    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
46    Date: 2007/11/21
47    Description:
48    
49    Overwrite the SMLNJ_HOME environment variable on installation
50    Properly change the package code so that subsequent version
51    installations prompt for uninstall (instead of 'repair/remove')
52    ----------------------------------------------------------------------
53    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
54    Date: 2007/11/14
55    Description:
56    
57    Cleaned up WININSTALL file for new MSI-based setup.
58    ----------------------------------------------------------------------
59    Name: Matthias Blume (http://www.tti-c.org/blume/)
60    Date: 2007/11/13 14:05:00 CST
61    Description:
62    
63    Version bumped to 110.67.  New bootfiles.
64    
65    ----------------------------------------------------------------------
66    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
67    Date: 2007/11/12
68    Description:
69    
70    Ensure that the size of the allocation space is at least 128K.
71    ----------------------------------------------------------------------
72    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
73    Date: 2007/11/05
74    Description:
75    
76    Fixed type error in ml-lpt library that occurs when compiling
77    against a basis that was compiled with the USE_64_BIT_POSITIONS
78    symbol set.
79    (Thanks to Johannes Joemann)
80    ----------------------------------------------------------------------
81    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
82    Date: 2007/11/03
83    Description:
84    
85    Fixed the amd64 code generator to compile with the current MLRISC.
86    ----------------------------------------------------------------------
87    Name: Lars Bergstrom (web page or e-mail)
88    Date: 2007/11/02
89    Description:
90    
91    Made sml.bat more resilient to either not having run the installer
92    and having no SMLNJ_HOME set or having just shuffled the directory
93    around.
94    ----------------------------------------------------------------------
95    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
96    Date: 2007/11/01
97    Description:
98    
99    A collection of bug fixes for machine.sml in the Reactive library.
100    (Thanks to Timothy Bourke)
101    ----------------------------------------------------------------------
102    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
103    Date: 2007/10/28
104    Description:
105    
106    Patches for Mac OS X 10.5 (Leopard).
107    ----------------------------------------------------------------------
108    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
109    Date: 2007/10/28
110    Description:
111    
112    Fixed some bugs in the AMD64 floating-point spilling code.
113    ----------------------------------------------------------------------
114    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
115    Date: 2007/10/25
116    Description:
117    
118    Added support for the atomic XCHG instruction.
119    ----------------------------------------------------------------------
120    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
121    Date: 2007/10/22
122    Description:
123    
124    Added AMD64 support for floating-point negation.
125    ----------------------------------------------------------------------
126    Name: Lars Bergstrom (web page or e-mail)
127    Date: 2007/10/22
128    Description:
129    
130    Fixed ^C handling in Windows
131    Added a Windows installer
132    Made it possible to build for Windows on a mapped drive from Parallels
133    ----------------------------------------------------------------------
134    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
135    Date: 2007/10/22
136    Description:
137    
138    Added AMD64 support for the atomic fetch and add instruction.
139    ----------------------------------------------------------------------
140    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
141    Date: 2007/10/18
142    Description:
143    
144    The GAS output now favors p2align over align, since the
145    former is guaranteed to be consistent over multiple architectures
146    and the latter is not.
147    ----------------------------------------------------------------------
148    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
149    Date: 2007/10/18
150    Description:
151    
152    Fixed a bug in register spilling.
153    ----------------------------------------------------------------------
154    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
155    Date: 2007/10/2
156    Description:
157    
158    Added demo support for AMD64 for quick testing and fixed support for
159    64-bit label constants.
160    ----------------------------------------------------------------------
161    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
162    Date: 2007/09/20
163    Description:
164    
165    Added support for the MLRISC COND instruction and the x86-64 CMOVCC
166    instruction.
167    ----------------------------------------------------------------------
168    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
169    Date: 2007/09/17
170    Description:
171    
172    Fixed an instruction-selection bug when loading 64-bit labels.
173    
174    ----------------------------------------------------------------------
175    Name: George Kuan (http://www.cs.uchicago.edu/~gkuan)
176    Date: 2007/09/14
177    Description:
178    
179    Fixed Elaborator and Translate performance bugs
180    
181    ----------------------------------------------------------------------
182    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
183    Date: 2007/09/12
184    Description:
185    
186    Fixed xorl memory argument bug.
187    
188    ----------------------------------------------------------------------
189    Name: George Kuan (http://www.cs.uchicago.edu/~gkuan)
190    Date: 2007/07/27
191    Description:
192    
193    Added f64sgn (for Real64.signBit) as a primop defined
194    in MLRiscGen. signBit(~0.0) not handled correctly.
195    
196    ----------------------------------------------------------------------
197    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
198    Date: 2007/06/21
199    Description:
200    
201    Fixed bug in {TextIO,BinIO}.StreamIO.endOfStream that would incorrectly
202    signal end of stream.
203    
204    ----------------------------------------------------------------------
205    Name: Matthias Blume (http://www.tti-c.org/blume/)
206    Date: 2007/06/12 11:22:00 CDT
207    Description:
208    
209    Eliminated config/allsources.  The information is now drawn directly
210    from config/actions.
211    
212    ----------------------------------------------------------------------
213    Name: Matthias Blume (http://www.tti-c.org/blume/)
214    Date: 2007/06/07 23:30:00 CDT
215    Tag: release-110.65
216    Description:
217    
218    Version 110.65. NEW BOOTFILES!
219    
220    ----------------------------------------------------------------------
221    Name: Matthias Blume (http://www.tti-c.org/blume/)
222    Date: 2007/06/06 21:45:00 CDT
223    Description:
224    
225    - Aaron: fixed a number of bugs in ml-ulex.
226    - Matthias:
227       - added CM control "cm.force-tools"; this is false by default;
228         when set to true, then tools like ml-yacc, ml-lex, ml-ulex, etc.
229         will be forced to run regardless of whether or not their targets
230         are up-to-date
231       - changed installer code so that config/install.sh will re-build
232         heap images for all tools even if those heap images already existed
233    
234    ----------------------------------------------------------------------
235    Name: Matthias Blume (http://www.tti-c.org/blume/)
236    Date: 2007/06/04 21:21:00 CDT
237    Description:
238    
239    After Aaron Turon's bug fix for ml-ulex (handling the ^ character
240    in legacy mode), re-ran the lexer generator on all lex input files
241    and committed the results.
242    
243    This should fix the problem with ckit and nlffi that was reported
244    by Vesa A. Norrman.
245    
246    ----------------------------------------------------------------------
247    Name: Matthias Blume (http://www.tti-c.org/blume/)
248    Date: 2007/05/31 11:40:00 CDT
249    Tag: release-110.64
250    Description:
251    
252    Version 110.64. NEW BOOTFILES!
253    
254    ----------------------------------------------------------------------
255    Name: Dave MacQueen (dbm@cs.uchicago.edu)
256    Date: 2007/05/31 14:55:00 CDT
257    Revision: 2650
258    Description:
259    
260    3rd merge of base from primop-branch-3 into the trunk.
261    Additional bug fixes included:
262    
263     * Timer.cpu_timer, etc. type printing corrected (by making
264         Timer have opaque sig constraint in basis/Implementation/timer.sml)
265     * Infinite loop in FLINT (tests/typing/tests/25.sml) (fix by
266         Stefan Monnier)
267    
268    ----------------------------------------------------------------------
269    Name: Matthias Blume (http://www.tti-c.org/blume/)
270    Date: 2007/05/31 11:40:00 CDT
271    Description:
272    
273    Fixed some bugs in new Div code in FLINT/trans/translate.sml.
274    
275    Also, changed the handling of "no core access":  When translate.sml
276    needs access to a core exception at a time when the core has not
277    been set up yet (this only happens when compiling system/smlnj/init/*),
278    then don't bother generating the corresponding tests.
279    
280    The old scheme was to generate a bogus value to be used in place of
281    the exception.  Unfortunately, that confuses the plambda type checker.
282    Moreover, it does not do any good, because at runtime we don't expect
283    such an exception to be ever raised.  (The code in system/smlnj/init/*
284    has to be written very carefully with this in mind!)
285    
286    ----------------------------------------------------------------------
287    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
288    Date: 2007/05/29
289    Description:
290    
291    Added FSQRT instructions for the AMD64 code generator.
292    
293    ----------------------------------------------------------------------
294    Name: Matthias Blume (http://www.tti-c.org/blume/)
295    Date: 2007/05/29 19:00:00 CDT
296    Description:
297    
298    FLINT/trans/translate.sml now wraps all DIV/MOD/QUOT/REM operations
299    with an explicit test for zero division.  This should fixes several
300    regressions and makes it possible for downstream optimization phases
301    to treat these operations as "pure" when they are applied to unsigned
302    operands.
303    
304    ----------------------------------------------------------------------
305    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
306    Date: 2007/05/29
307    Description:
308    
309    Added the new MLRISC code generator for the AMD64.  This version,
310    in contrast to the previous one, uses SSE registers and instructions
311    for all floating-point computations.
312    
313    ----------------------------------------------------------------------
314    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
315    Date: 2007/05/29
316    Description:
317    
318    A number of fixes related to the formatting of dates.  These include fixes
319    for bugs #1415 and #1416.  We also now correctly handle format characters that
320    lie outside the specified set.
321    
322    ----------------------------------------------------------------------
323    Name: Matthias Blume (http://www.tti-c.org/blume/)
324    Date: 2007/05/23 22:30:00 CDT
325    Description:
326    
327    CMB (and CM) now automatically defines the CM "preprocessor" symbol
328    NO_PLUGINS during "makeml -rebuild" or when CM operates in "slave" mode.
329    
330      (In addition, CMB_REBUILD_MODE is defined for makeml -rebuild,
331       CM_SLAVE_MODE is defined in attached slaves while running CM.make
332       or CM.rebuild, and CMB_SLAVE_MODE is defined in attached slaves
333       while running CMB.make.  The point is that the single symbol
334       NO_PLUGINS is definde in all three cases.)
335    
336    I changed the three locations within the sources that get compiled
337    during CMB.make where ml-yacc or ml-lex input is processed: When
338    NO_PLUGINS defined, then the use of the mlyacc and mllex tools
339    is bypassed.
340    
341    When bootstrapping new versions of the compiler, there can be
342    situations where the plugin tools for ml-yacc and ml-lex (or ml-ulex)
343    are not available or otherwise not operational.  In this case one can
344    manually define the NO_PLUGINS symbol prior to running CMB.make().  To
345    do so, the following command should be issued at the interactive
346    prompt:
347    
348       #set (CMB.symval "NO_PLUGINS") (SOME 1);
349    
350    A CMB.make with NO_PLUGINS defined relies on the existence of the
351    files that normally would be generated by ml-yacc and ml-lex.
352    (Copies of these files are in the repository.)
353    
354    ----------------------------------------------------------------------
355    Name: David MacQueen (dbm@cs.uchicago.edu)
356    Date: 2007/5/23 17:23:00 CDT
357    Revision: 2603
358    Description:
359    
360    2nd merge of base from primop-branch-3 into the trunk.
361    Additional bug fixes included:
362     Date.scan and Date.fromString fixed;
363     Overloading resolution fixed and some type printing problems corrected.
364    
365    ----------------------------------------------------------------------
366    Name: Matthias Blume (http://www.tti-c.org/blume/)
367    Date: 2007/05/23 09:50:00 CDT
368    Description:
369    
370    Changed the installation mechanism for CM tool plugins.  These are
371    just libaries and now get installed like ordinary libaries.
372    
373    There are now a number of new installation targets that give some
374    fine-grain control over what classes and suffixes are known, and what
375    they will map to.
376    See config/targets for details.
377    
378    The code that caused plugin installation as part of running a
379    tool's "build" script has been removed.  (The build script is for
380    building, not for installing.)
381    
382    ----------------------------------------------------------------------
383    Name: Matthias Blume (http://www.tti-c.org/blume/)
384    Date: 2007/05/22 11:50:00 CDT
385    Description:
386    
387    Added a boolean control named cm.tolerate-tool-failures (env. variable
388    name: CM_TOLERATE_TOOL_FAILURES).  The default is false and makes
389    CM fail if a shell tool reports a non-success exit status.  If
390    the control is set to true, then CM will press on after tool failures
391    in the event that the target files exist (even though they are
392    considered outdated).  Turning the control to true can be useful for
393    bootstrapping.
394    
395    ----------------------------------------------------------------------
396    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
397    Date: 2007/05/19
398    Description:
399    
400    Merge of ml-lpt revisions for 110.64.
401    
402    The name of several ml-lpt-lib modules has changed:
403      Repair        => AntlrRepair
404      StreamPos     => AntlrStreamPos
405      ErrHandlerFn  => AntlrErrHandler
406      EBNF          => AntlrEBNF
407    
408    The ml-antlr specification format has changed: declarations such as
409    %tokens and nonterminal definitions can occur *multiple* times in the
410    same specification.  The semantics are such that each new declaration
411    extends the previous ones.  This does not apply to %start or %name,
412    of course.
413    
414    Importing a grammar via %import now includes *all* declarations in from
415    the imported grammar, except for %name, %entry, and %start.  Tokens
416    and nonterminals can be dropped using the new %dropping clause of the
417    %import directive; the separate %drop and %extend have been removed.
418    
419    We now allow optional type annotations on nonterminals, using the %nonterms
420    directive as in ml-yacc.
421    
422    The refcell construct is now implemented using SML's regular reference
423    cells, so the :== and !! notation has been deprecated.
424    
425    The ml-antlr tool now does much more checking of specifications, and
426    its error messages have been greatly improved.  Error repair for
427    generated parsers has been completely rewritten, and is now both
428    much faster and more accurate.
429    
430    ml-ulex is now more lenient with escape codes (non-SML-standard
431    escape codes are now interpreted literally, so e.g. \| denotes "|").
432    Also, character classes may now include a "-" character at the beginning
433    as is standard in most other regexp tools.
434    
435    All of these changes are documented in the user guide, which has
436    been updated and improved with this merge.
437    
438    ----------------------------------------------------------------------
439    Name: David MacQueen (http://www.cs.uchicago.edu/~jhr)
440    Date: 2007/05/03
441    Revision: r2492
442    Description:
443    
444    Merge of the primop3 branch (base) into the trunk to create 110.63.1.
445    Significant changes in FLINT and the front end, mostly having to do
446    with a reorganized system for handling primops.  Various bug fixes
447    and improvements in printing signatures.
448    
449    ----------------------------------------------------------------------
450    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
451    Date: 2007/05/02
452    Description:
453    
454    Preliminary commit of large ml-lpt revisions (more to come for 110.64).
455    The ml-antlr specification format has changed: declarations such as
456    %tokens and nonterminal definitions can occur *multiple* times in the
457    same specification.  The semantics are such that each new declaration
458    extends the previous ones.  Grammar extension constructs have also
459    changed.  We now allow type annotations on nonterminals.  Finally,
460    the refcell construct is now implemented using SML's regular reference
461    cells, so the :== and !! notation has been deprecated.  All of these
462    changes will appear in the 110.64 user guide for ml-lpt.
463    
464    The ml-antlr tool now does much more checking of specifications, and
465    its error messages have been greatly improved.  There has also been
466    some work on the error repair process for generated parsers, but this
467    will be further improved in 110.64.
468    
469    ----------------------------------------------------------------------
470    Name: David MacQueen (http://www.cs.uchicago.edu/~jhr)
471    Date: 2007/05/03
472    Revision: r2492
473    Description:
474    
475    Merge of the primop3 branch (base) into the trunk to create 110.63.1.
476    Significant changes in FLINT and the front end, mostly having to do
477    with a reorganized system for handling primops.  Various bug fixes
478    and improvements in printing signatures.
479    
480    ----------------------------------------------------------------------
481    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
482    Date: 2007/05/02
483    Description:
484    
485    Preliminary commit of large ml-lpt revisions (more to come for 110.64).
486    The ml-antlr specification format has changed: declarations such as
487    %tokens and nonterminal definitions can occur *multiple* times in the
488    same specification.  The semantics are such that each new declaration
489    extends the previous ones.  Grammar extension constructs have also
490    changed.  We now allow type annotations on nonterminals.  Finally,
491    the refcell construct is now implemented using SML's regular reference
492    cells, so the :== and !! notation has been deprecated.  All of these
493    changes will appear in the 110.64 user guide for ml-lpt.
494    
495    The ml-antlr tool now does much more checking of specifications, and
496    its error messages have been greatly improved.  There has also been
497    some work on the error repair process for generated parsers, but this
498    will be further improved in 110.64.
499    
500    ----------------------------------------------------------------------
501    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
502    Date: 2007/04/24
503    Description:
504    
505    More Basis fixes: The Char.fromString (etc.) functions did not handle
506    the "\uxxxx" escape sequence.  There is still an outstanding bug with
507    String.fromString the tail is a format escape.  I added a comment to
508    this effect in Basis/Implementation/string.sml.
509    Thanks to Andreas Rossberg.
510    
511    ----------------------------------------------------------------------
512    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
513    Date: 2007/04/24
514    Description:
515    
516    Added next function to Fifo and Queue modules in the SML/NJ Library.
517    
518    ----------------------------------------------------------------------
519    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
520    Date: 2007/04/23
521    Description:
522    
523    More Basis fixes: Time.fmt dropped the leading "~" for negative time
524    values that had no whole part.
525    
526    ----------------------------------------------------------------------
527    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
528    Date: 2007/04/23
529    Description:
530    
531    More Basis fixes: the OS.Path module did not include the InvalidArc
532    exception and did not do sufficient argument checking.
533    Thanks to Stephen Weeks and Adam Chilpala.
534    
535    ----------------------------------------------------------------------
536    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
537    Date: 2007/04/16
538    Description:
539    
540    Fixed an unbound functor bug in the AMD64 CM file.
541    
542    ----------------------------------------------------------------------
543    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
544    Date: 2007/04/12
545    Description:
546    
547    Substantially changed the signature and implementation of AMD64
548    SVID.  It now looks similar to the ia32 SVID, yet uses staged
549    allocation.
550    
551    ----------------------------------------------------------------------
552  Name: John Reppy (http://www.cs.uchicago.edu/~jhr)  Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
553  Date: 2007/04/07  Date: 2007/04/07
554  Description:  Description:

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

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