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 2777, Tue Sep 18 17:37:30 2007 UTC
# Line 14  Line 14 
14  Description:  Description:
15    
16  ----------------------------------------------------------------------  ----------------------------------------------------------------------
17    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
18    Date: 2007/09/17
19    Description:
20    
21    Fixed an instruction-selection bug when loading 64-bit labels.
22    
23    ----------------------------------------------------------------------
24    Name: George Kuan (http://www.cs.uchicago.edu/~gkuan)
25    Date: 2007/09/14
26    Description:
27    
28    Fixed Elaborator and Translate performance bugs
29    
30    ----------------------------------------------------------------------
31    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
32    Date: 2007/09/12
33    Description:
34    
35    Fixed xorl memory argument bug.
36    
37    ----------------------------------------------------------------------
38    Name: George Kuan (http://www.cs.uchicago.edu/~gkuan)
39    Date: 2007/07/27
40    Description:
41    
42    Added f64sgn (for Real64.signBit) as a primop defined
43    in MLRiscGen. signBit(~0.0) not handled correctly.
44    
45    ----------------------------------------------------------------------
46    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
47    Date: 2007/06/21
48    Description:
49    
50    Fixed bug in {TextIO,BinIO}.StreamIO.endOfStream that would incorrectly
51    signal end of stream.
52    
53    ----------------------------------------------------------------------
54    Name: Matthias Blume (http://www.tti-c.org/blume/)
55    Date: 2007/06/12 11:22:00 CDT
56    Description:
57    
58    Eliminated config/allsources.  The information is now drawn directly
59    from config/actions.
60    
61    ----------------------------------------------------------------------
62    Name: Matthias Blume (http://www.tti-c.org/blume/)
63    Date: 2007/06/07 23:30:00 CDT
64    Tag: release-110.65
65    Description:
66    
67    Version 110.65. NEW BOOTFILES!
68    
69    ----------------------------------------------------------------------
70    Name: Matthias Blume (http://www.tti-c.org/blume/)
71    Date: 2007/06/06 21:45:00 CDT
72    Description:
73    
74    - Aaron: fixed a number of bugs in ml-ulex.
75    - Matthias:
76       - added CM control "cm.force-tools"; this is false by default;
77         when set to true, then tools like ml-yacc, ml-lex, ml-ulex, etc.
78         will be forced to run regardless of whether or not their targets
79         are up-to-date
80       - changed installer code so that config/install.sh will re-build
81         heap images for all tools even if those heap images already existed
82    
83    ----------------------------------------------------------------------
84    Name: Matthias Blume (http://www.tti-c.org/blume/)
85    Date: 2007/06/04 21:21:00 CDT
86    Description:
87    
88    After Aaron Turon's bug fix for ml-ulex (handling the ^ character
89    in legacy mode), re-ran the lexer generator on all lex input files
90    and committed the results.
91    
92    This should fix the problem with ckit and nlffi that was reported
93    by Vesa A. Norrman.
94    
95    ----------------------------------------------------------------------
96    Name: Matthias Blume (http://www.tti-c.org/blume/)
97    Date: 2007/05/31 11:40:00 CDT
98    Tag: release-110.64
99    Description:
100    
101    Version 110.64. NEW BOOTFILES!
102    
103    ----------------------------------------------------------------------
104    Name: Dave MacQueen (dbm@cs.uchicago.edu)
105    Date: 2007/05/31 14:55:00 CDT
106    Revision: 2650
107    Description:
108    
109    3rd merge of base from primop-branch-3 into the trunk.
110    Additional bug fixes included:
111    
112     * Timer.cpu_timer, etc. type printing corrected (by making
113         Timer have opaque sig constraint in basis/Implementation/timer.sml)
114     * Infinite loop in FLINT (tests/typing/tests/25.sml) (fix by
115         Stefan Monnier)
116    
117    ----------------------------------------------------------------------
118    Name: Matthias Blume (http://www.tti-c.org/blume/)
119    Date: 2007/05/31 11:40:00 CDT
120    Description:
121    
122    Fixed some bugs in new Div code in FLINT/trans/translate.sml.
123    
124    Also, changed the handling of "no core access":  When translate.sml
125    needs access to a core exception at a time when the core has not
126    been set up yet (this only happens when compiling system/smlnj/init/*),
127    then don't bother generating the corresponding tests.
128    
129    The old scheme was to generate a bogus value to be used in place of
130    the exception.  Unfortunately, that confuses the plambda type checker.
131    Moreover, it does not do any good, because at runtime we don't expect
132    such an exception to be ever raised.  (The code in system/smlnj/init/*
133    has to be written very carefully with this in mind!)
134    
135    ----------------------------------------------------------------------
136    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
137    Date: 2007/05/29
138    Description:
139    
140    Added FSQRT instructions for the AMD64 code generator.
141    
142    ----------------------------------------------------------------------
143    Name: Matthias Blume (http://www.tti-c.org/blume/)
144    Date: 2007/05/29 19:00:00 CDT
145    Description:
146    
147    FLINT/trans/translate.sml now wraps all DIV/MOD/QUOT/REM operations
148    with an explicit test for zero division.  This should fixes several
149    regressions and makes it possible for downstream optimization phases
150    to treat these operations as "pure" when they are applied to unsigned
151    operands.
152    
153    ----------------------------------------------------------------------
154    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
155    Date: 2007/05/29
156    Description:
157    
158    Added the new MLRISC code generator for the AMD64.  This version,
159    in contrast to the previous one, uses SSE registers and instructions
160    for all floating-point computations.
161    
162    ----------------------------------------------------------------------
163    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
164    Date: 2007/05/29
165    Description:
166    
167    A number of fixes related to the formatting of dates.  These include fixes
168    for bugs #1415 and #1416.  We also now correctly handle format characters that
169    lie outside the specified set.
170    
171    ----------------------------------------------------------------------
172    Name: Matthias Blume (http://www.tti-c.org/blume/)
173    Date: 2007/05/23 22:30:00 CDT
174    Description:
175    
176    CMB (and CM) now automatically defines the CM "preprocessor" symbol
177    NO_PLUGINS during "makeml -rebuild" or when CM operates in "slave" mode.
178    
179      (In addition, CMB_REBUILD_MODE is defined for makeml -rebuild,
180       CM_SLAVE_MODE is defined in attached slaves while running CM.make
181       or CM.rebuild, and CMB_SLAVE_MODE is defined in attached slaves
182       while running CMB.make.  The point is that the single symbol
183       NO_PLUGINS is definde in all three cases.)
184    
185    I changed the three locations within the sources that get compiled
186    during CMB.make where ml-yacc or ml-lex input is processed: When
187    NO_PLUGINS defined, then the use of the mlyacc and mllex tools
188    is bypassed.
189    
190    When bootstrapping new versions of the compiler, there can be
191    situations where the plugin tools for ml-yacc and ml-lex (or ml-ulex)
192    are not available or otherwise not operational.  In this case one can
193    manually define the NO_PLUGINS symbol prior to running CMB.make().  To
194    do so, the following command should be issued at the interactive
195    prompt:
196    
197       #set (CMB.symval "NO_PLUGINS") (SOME 1);
198    
199    A CMB.make with NO_PLUGINS defined relies on the existence of the
200    files that normally would be generated by ml-yacc and ml-lex.
201    (Copies of these files are in the repository.)
202    
203    ----------------------------------------------------------------------
204    Name: David MacQueen (dbm@cs.uchicago.edu)
205    Date: 2007/5/23 17:23:00 CDT
206    Revision: 2603
207    Description:
208    
209    2nd merge of base from primop-branch-3 into the trunk.
210    Additional bug fixes included:
211     Date.scan and Date.fromString fixed;
212     Overloading resolution fixed and some type printing problems corrected.
213    
214    ----------------------------------------------------------------------
215    Name: Matthias Blume (http://www.tti-c.org/blume/)
216    Date: 2007/05/23 09:50:00 CDT
217    Description:
218    
219    Changed the installation mechanism for CM tool plugins.  These are
220    just libaries and now get installed like ordinary libaries.
221    
222    There are now a number of new installation targets that give some
223    fine-grain control over what classes and suffixes are known, and what
224    they will map to.
225    See config/targets for details.
226    
227    The code that caused plugin installation as part of running a
228    tool's "build" script has been removed.  (The build script is for
229    building, not for installing.)
230    
231    ----------------------------------------------------------------------
232    Name: Matthias Blume (http://www.tti-c.org/blume/)
233    Date: 2007/05/22 11:50:00 CDT
234    Description:
235    
236    Added a boolean control named cm.tolerate-tool-failures (env. variable
237    name: CM_TOLERATE_TOOL_FAILURES).  The default is false and makes
238    CM fail if a shell tool reports a non-success exit status.  If
239    the control is set to true, then CM will press on after tool failures
240    in the event that the target files exist (even though they are
241    considered outdated).  Turning the control to true can be useful for
242    bootstrapping.
243    
244    ----------------------------------------------------------------------
245    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
246    Date: 2007/05/19
247    Description:
248    
249    Merge of ml-lpt revisions for 110.64.
250    
251    The name of several ml-lpt-lib modules has changed:
252      Repair        => AntlrRepair
253      StreamPos     => AntlrStreamPos
254      ErrHandlerFn  => AntlrErrHandler
255      EBNF          => AntlrEBNF
256    
257    The ml-antlr specification format has changed: declarations such as
258    %tokens and nonterminal definitions can occur *multiple* times in the
259    same specification.  The semantics are such that each new declaration
260    extends the previous ones.  This does not apply to %start or %name,
261    of course.
262    
263    Importing a grammar via %import now includes *all* declarations in from
264    the imported grammar, except for %name, %entry, and %start.  Tokens
265    and nonterminals can be dropped using the new %dropping clause of the
266    %import directive; the separate %drop and %extend have been removed.
267    
268    We now allow optional type annotations on nonterminals, using the %nonterms
269    directive as in ml-yacc.
270    
271    The refcell construct is now implemented using SML's regular reference
272    cells, so the :== and !! notation has been deprecated.
273    
274    The ml-antlr tool now does much more checking of specifications, and
275    its error messages have been greatly improved.  Error repair for
276    generated parsers has been completely rewritten, and is now both
277    much faster and more accurate.
278    
279    ml-ulex is now more lenient with escape codes (non-SML-standard
280    escape codes are now interpreted literally, so e.g. \| denotes "|").
281    Also, character classes may now include a "-" character at the beginning
282    as is standard in most other regexp tools.
283    
284    All of these changes are documented in the user guide, which has
285    been updated and improved with this merge.
286    
287    ----------------------------------------------------------------------
288    Name: David MacQueen (http://www.cs.uchicago.edu/~jhr)
289    Date: 2007/05/03
290    Revision: r2492
291    Description:
292    
293    Merge of the primop3 branch (base) into the trunk to create 110.63.1.
294    Significant changes in FLINT and the front end, mostly having to do
295    with a reorganized system for handling primops.  Various bug fixes
296    and improvements in printing signatures.
297    
298    ----------------------------------------------------------------------
299    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
300    Date: 2007/05/02
301    Description:
302    
303    Preliminary commit of large ml-lpt revisions (more to come for 110.64).
304    The ml-antlr specification format has changed: declarations such as
305    %tokens and nonterminal definitions can occur *multiple* times in the
306    same specification.  The semantics are such that each new declaration
307    extends the previous ones.  Grammar extension constructs have also
308    changed.  We now allow type annotations on nonterminals.  Finally,
309    the refcell construct is now implemented using SML's regular reference
310    cells, so the :== and !! notation has been deprecated.  All of these
311    changes will appear in the 110.64 user guide for ml-lpt.
312    
313    The ml-antlr tool now does much more checking of specifications, and
314    its error messages have been greatly improved.  There has also been
315    some work on the error repair process for generated parsers, but this
316    will be further improved in 110.64.
317    
318    ----------------------------------------------------------------------
319    Name: David MacQueen (http://www.cs.uchicago.edu/~jhr)
320    Date: 2007/05/03
321    Revision: r2492
322    Description:
323    
324    Merge of the primop3 branch (base) into the trunk to create 110.63.1.
325    Significant changes in FLINT and the front end, mostly having to do
326    with a reorganized system for handling primops.  Various bug fixes
327    and improvements in printing signatures.
328    
329    ----------------------------------------------------------------------
330    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
331    Date: 2007/05/02
332    Description:
333    
334    Preliminary commit of large ml-lpt revisions (more to come for 110.64).
335    The ml-antlr specification format has changed: declarations such as
336    %tokens and nonterminal definitions can occur *multiple* times in the
337    same specification.  The semantics are such that each new declaration
338    extends the previous ones.  Grammar extension constructs have also
339    changed.  We now allow type annotations on nonterminals.  Finally,
340    the refcell construct is now implemented using SML's regular reference
341    cells, so the :== and !! notation has been deprecated.  All of these
342    changes will appear in the 110.64 user guide for ml-lpt.
343    
344    The ml-antlr tool now does much more checking of specifications, and
345    its error messages have been greatly improved.  There has also been
346    some work on the error repair process for generated parsers, but this
347    will be further improved in 110.64.
348    
349    ----------------------------------------------------------------------
350    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
351    Date: 2007/04/24
352    Description:
353    
354    More Basis fixes: The Char.fromString (etc.) functions did not handle
355    the "\uxxxx" escape sequence.  There is still an outstanding bug with
356    String.fromString the tail is a format escape.  I added a comment to
357    this effect in Basis/Implementation/string.sml.
358    Thanks to Andreas Rossberg.
359    
360    ----------------------------------------------------------------------
361    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
362    Date: 2007/04/24
363    Description:
364    
365    Added next function to Fifo and Queue modules in the SML/NJ Library.
366    
367    ----------------------------------------------------------------------
368    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
369    Date: 2007/04/23
370    Description:
371    
372    More Basis fixes: Time.fmt dropped the leading "~" for negative time
373    values that had no whole part.
374    
375    ----------------------------------------------------------------------
376    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
377    Date: 2007/04/23
378    Description:
379    
380    More Basis fixes: the OS.Path module did not include the InvalidArc
381    exception and did not do sufficient argument checking.
382    Thanks to Stephen Weeks and Adam Chilpala.
383    
384    ----------------------------------------------------------------------
385    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
386    Date: 2007/04/16
387    Description:
388    
389    Fixed an unbound functor bug in the AMD64 CM file.
390    
391    ----------------------------------------------------------------------
392    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
393    Date: 2007/04/12
394    Description:
395    
396    Substantially changed the signature and implementation of AMD64
397    SVID.  It now looks similar to the ia32 SVID, yet uses staged
398    allocation.
399    
400    ----------------------------------------------------------------------
401  Name: John Reppy (http://www.cs.uchicago.edu/~jhr)  Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
402  Date: 2007/04/07  Date: 2007/04/07
403  Description:  Description:

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

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