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

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

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