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 2450, Tue Apr 24 20:27:00 2007 UTC revision 2933, Thu Jan 31 19:20:20 2008 UTC
# Line 14  Line 14 
14  Description:  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)  Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
496  Date: 2007/04/24  Date: 2007/04/24
497  Description:  Description:

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

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