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/HISTORY
ViewVC logotype

Diff of /sml/trunk/HISTORY

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

revision 1634, Tue Sep 28 15:53:10 2004 UTC revision 1736, Thu Dec 16 19:31:17 2004 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Date: 2004/12/16 13:35:00 CST
17    Tag: Release_110_52
18    Description:
19    
20    Last-minute changes incorporated into 110.52.  Release tag moved.
21    
22    The changes:
23       - HashString.hashString' -> HashString.hashSubstring
24       - bug fix in UnivariateStats
25    
26    ----------------------------------------------------------------------
27    Name: Matthias Blume (blume (at) tti - c (dot) org)
28    Date: 2004/12/15 23:40:00 CST
29    Tag: blume-20041215-hashSubstring
30    Description:
31    
32    - HashString.hashString' -> HashString.hashSubstring
33    - corresponding changes in atom.sml
34    - "de-compressed" (aka. un-obfuscated) code for UnivariateStats and
35      added some comments
36    
37    ----------------------------------------------------------------------
38    Name: Matthias Blume (blume (at) tti - c (dot) org)
39    Date: 2004/12/15 15:30:00 CST
40    Tag: (Release_110_52)
41    Description:
42    
43    New working version (110.52).  NEW BOOTFILES!
44    
45    ----------------------------------------------------------------------
46    Name: Matthias Blume (blume (at) tti - c (dot) org)
47    Date: 2004/12/15 12:45:00 CST
48    Tag: blume-20041215-spaces
49    Description:
50    
51    More on the space problem (this time for Win32).
52    
53    ----------------------------------------------------------------------
54    Name: Matthias Blume (blume (at) tti - c (dot) org)
55    Date: 2004/12/14 17:30:00 CST
56    Tag: blume-20041214-spaces
57    Description:
58    
59    Hacked some of the scripts (in particular: the installer) to cope with
60    spaces in filenames a bit better.  But beware: the current "solution"
61    is likely still full of bugs and inherently incomplete.  (We need to
62    do away with those shell scripts for a comprehensive solution.)
63    
64    ----------------------------------------------------------------------
65    Name: Matthias Blume (blume (at) tti - c (dot) org)
66    Date: 2004/12/13 14:45:00 CST
67    Tag: blume-20041213-ml-makedepend
68    Description:
69    
70    Fixed bug in code for ml-makedepend.
71    
72    ----------------------------------------------------------------------
73    Name: Matthias Blume (blume (at) tti - c (dot) org)
74    Date: 2004/12/09 16:30:00 CST
75    Tag: blume-20041209-statistics
76    Description:
77    
78    Added two simple but potentially useful statistics modules to SML/NJ Library.
79    (See CHANGES file there.)
80    
81    ----------------------------------------------------------------------
82    Name: Matthias Blume (blume (at) tti - c (dot) org)
83    Date: 2004/12/01 16:50:00 CST
84    Tag: blume-20041201-atom
85    Description:
86    
87    smlnj-lib:
88    
89      Added function HashString.hashString' for substrings.
90      Hand-inlined CharVector.foldl into HashString (for speed).
91      Modified implementation of structure Atom to avoid extracting
92      strings from substrings unless necessary.
93      (Also see CHANGES file for smlnj-lib.)
94    
95    ----------------------------------------------------------------------
96    Name: Matthias Blume (blume (at) tti - c (dot) org)
97    Date: 2004/11/24 22:15:00 CST
98    Tag: blume-20041124-cml
99    Description:
100    
101    Made sure CML compiles when Position = Int64.
102    
103    ----------------------------------------------------------------------
104    Name: Matthias Blume (blume (at) tti - c (dot) org)
105    Date: 2004/11/24 14:30:00 CST
106    Tag: blume-20041124-position
107    Description:
108    
109    The compiler can now be compiled in a mode that makes structure Position
110    equal to Int64.  The default, however, is unchanged (Position = Int31)
111    for the time being.
112    
113    To enable 64-bit positions, use the following procedure:
114    
115    1. Start sml
116    2. Autoload $smlnj/cmb.cm (if not already autoloaded)
117    3. Type
118          #set (CMB.symval "USE_64_BIT_POSITIONS") (SOME 1);
119    4. Run CMB.make() as usual.
120    
121    This is barely tested.  The only test so far was a little SML program
122    counting the number of characters in an 8-gigabyte file by
123    reading it character-by-character.  That test was successful.
124    
125    In support of 64-bit positions, a number of new functions have been
126    added to the runtime system.
127    
128    ----------------------------------------------------------------------
129    Name: Matthias Blume (blume (at) tti - c (dot) org)
130    Date: 2004/11/23 14:45:00 CST
131    Tag: blume-20041123-useFile
132    Description:
133    
134    Fixed a problem with unhelpful error messages related to problems with
135    .cm- or .sml files that appear as part of the sml command line.
136    
137    ----------------------------------------------------------------------
138    Name: Matthias Blume (blume (at) tti - c (dot) org)
139    Date: 2004/11/18 15:40:00 CST
140    Tag: Release_110_51
141    Description:
142    
143    New working version (110.51).  NEW BOOTFILES!
144    
145    ----------------------------------------------------------------------
146    Name: Matthias Blume (blume (at) tti - c (dot) org)
147    Date: 2004/11/18 15:35:00 CST
148    Tag: <none>
149    Description:
150    
151    Enabled dlopen and friends for FreeBSD (as recommended by Johannes 5
152    Joemann).
153    
154    ----------------------------------------------------------------------
155    Name: Allen Leung (leunga (at) reservoir (dot) com)
156    Date: 2004/11/17 16:05:21 EST 2004
157    Tag: leunga-20041117-mlrisc-live-kill
158    Description:
159    
160       Added support for MLTree constructs LIVE and KILL
161    to all the architectures.
162    
163    ----------------------------------------------------------------------
164    Name: Matthias Blume (blume (at) tti - c (dot) org)
165    Date: 2004/11/13 00:20:00 CST
166    Tag: blume-20041113-versiontool
167    Description:
168    
169    - Stripped down the versiontool: It now only handles the version number.
170      The date string is generated at bootstrap time (during makeml).
171    
172    - In a previous commit, fixed a minor issue with how polyequal is being
173      translated.  In particular, the code now "looks through" abstractions.
174      This results in slightly fewer polyEqual warnings and hopefully slightly
175      more efficient code.  Important examples for where this matters are
176      the new int64 and word64 types.
177    
178    ----------------------------------------------------------------------
179    Name: Matthias Blume (blume (at) tti - c (dot) org)
180    Date: 2004/11/12 00:30:00 CST
181    Tag: blume-20041112-int64
182    Description:
183    
184    Structure Int64 fully hooked in.  (The implementation is not very
185    efficient, though.)
186    
187    ----------------------------------------------------------------------
188    Name: Matthias Blume (blume (at) tti - c (dot) org)
189    Date: 2004/11/11 17:30:00 CST
190    Tag: blume-20041111-more64
191    Description:
192    
193    All the pieces of Word64 are now there, with the exception of the
194    conversions from and to LargeWord. (Eventually these need to be identities,
195    but for the time being they don't even make sense because LargeWord is
196    32-bit wide.)
197    
198    Also started to add similar support for Int64, but major pieces of that
199    are still missing.
200    
201    ----------------------------------------------------------------------
202    Name: Matthias Blume (blume (at) tti - c (dot) org)
203    Date: 2004/11/11 00:15:00 CST
204    Tag: blume-20041111-word64
205    Description:
206    
207    Structure Word64 is now (almost) complete, word literals and patterns
208    seem to work.  There are a few odd pieces missing.  In particular,
209    I didn't do the {from,to}LargeWord parts because LargeWord is still Word32
210    at the moment.
211    
212    Making Word64 official would mean that LargeWord becomes Word64.  But
213    this requires extreme care because most word-word conversions have to
214    go through LargeWord, so making a mistake means loss of efficiency or
215    worse.  Eventually there will be a solution similar to (but actually
216    simpler than) what I did with IntInf.
217    
218    ----------------------------------------------------------------------
219    Name: Matthias Blume (blume (at) tti - c (dot) org)
220    Date: 2004/11/10 18:12:00 CST
221    Tag: blume-20041110-64bit
222    Description:
223    
224    More 64-bit hacking (but still not even half-way there yet).
225    Also, some assorted improvements to the handling of 8-bit words.
226    
227    ----------------------------------------------------------------------
228    Name: Matthias Blume (blume (at) tti - c (dot) org)
229    Date: 2004/11/09 17:50:00 CST
230    Tag: <none>
231    Description:
232    
233    Started adding some infrastructure for supporting 64-bit int- and
234    word-types.  (Still in its very early stages.)
235    
236    ----------------------------------------------------------------------
237    Name: Matthias Blume (blume (at) tti - c (dot) org)
238    Date: 2004/10/28 10:45:00 CDT
239    Tag: Release_110_50
240    Description:
241    
242    New working version (110.50).  NEW BOOTFILES!
243    
244                 =====================
245    
246    Also:
247    
248      - Changend config/srcarchiveurl from a file just
249        containing the URL string into a file containing
250        shell script code.  The code has access to the $VERSION variable.
251      - Made corresponding changes to config/install.sh and config/unpack.
252      - Default contents of config/srcarchiveurl uses $VERSION and
253        normally does not have to be edited to reflect a version change.
254    
255      (As a result, a version change can be done by just editing
256       config/version, the rest is now automatic.)
257    
258    ----------------------------------------------------------------------
259    Name: Matthias Blume (blume (at) tti - c (dot) org)
260    Date: 2004/10/27 17:50:00 CDT
261    Tag: blume-20041027-btrace-msg
262    Description:
263    
264    BackTrace.monitor now also reports the source of the exception that
265    triggered the trace.
266    
267    ----------------------------------------------------------------------
268    Name: Matthias Blume (blume (at) tti - c (dot) org)
269    Date: 2004/10/27 17:20:00 CDT
270    Tag: blume-20041027-x86-c-calls
271    Description:
272    
273    This is the HISTORY entry for two earlier commits, both concerning
274    the x86 c-calls code in MLRISC:
275    
276      - added a missing LOAD in the code that deals with struct arguments
277      - made sure the caller does not add the wrong number of bytes to the
278        stack pointer after a call of a function returning a struct
279        (the callee already pops the implicit argument which points to
280         the space reserved for the result)
281    
282    ----------------------------------------------------------------------
283    Name: Allen Leung (leunga (at) reservoir (dot) com)
284    Date: 2004/10/24 14:00:00 EST
285    Tag: leunga-20041024-x86-gas-fucomip
286    Description:
287    
288       John discovered a bug in the syntax of fucomip.
289       The opcodes FU?COMIP? have been changed to
290    
291           fu?comip? %st(i), %st
292    
293    ----------------------------------------------------------------------
294    Name: Matthias Blume (blume (at) tti - c (dot) org)
295    Date: 2004/10/20 15:06:00 CDT
296    Tag: blume-20041020-standalone-backtrace
297    Description:
298    
299    Added a mechanism for getting back-trace information from standalone
300    programs.  Here is how it works:
301    
302       1. The part of the program from which you want to get backtrace
303          information (usually the whole program) should be wrapped with
304          BackTrace.monitor.  This is a (unit->'a)->'a function, and your
305          main program could be modified from something like
306    
307             fun main (pgm, args) = ...
308    
309         to
310    
311            fun main (pgm, args) = BackTrace.monitor (fn () => ...)
312    
313       2. To be able to access BackTrace.monitor, you have to add
314          library $smlnj-tdp/plugins.cm to the .cm file that contains your
315          main function.
316    
317       3. Remove all compiled code (i.e., all the .cm/ subdirectories that
318          CM might have created in the past for your project).
319    
320       4. Build the system using this command line:
321    
322             ml-build -Ctdp.instrument=true \$smlnj-tdp/back-trace.cm \
323                      myprog.cm MyProg.main myprog
324    
325          instead of the usual
326    
327             ml-build myprog.cm MyProg.main myprog
328    
329    I changed a library name:
330    
331       $/trace-debug-profile.cm --> $smlnj-tdp/plugins.cm
332    
333    New libraries:
334    
335       $smlnj-tdp/back-trace.cm
336          -- when loaded causes the back-trace plugin to be installed
337       $smlnj-tdp/coverage.cm
338          -- when loaded causes the coverage plugin to be installed
339    
340    ----------------------------------------------------------------------
341    Name: Matthias Blume (blume (at) tti - c (dot) org)
342    Date: 2004/10/18 16:45:00 CDT
343    Tag: blume-20041018-groupowner
344    Description:
345    
346    Added an "obsolete" warning for the "group owner" syntax to CM's parser.
347    
348    Eliminated group owner specs from .cm files throughout the source tree.
349    
350    ----------------------------------------------------------------------
351    Name: Matthias Blume (blume (at) tti - c (dot) org)
352    Date: 2004/10/15 15:45:00 CDT
353    Tag: blume-20041015-coverage
354    Description:
355    
356    * Test coverage tool added!
357    * Further reorganization of tracing-, debugging-, and profiling support:
358    
359        - moved original BTImp -- now called BackTrace -- into a separate
360          library called $/trace-debug-profile.cm
361        - eliminated all mentions of BTrace from SMLofNJ.Internals
362        - only the instrumentation mechanism is now left in the compiler proper
363        - BackTrace module is a plugin which is NOT plugged in by default
364        - Coverage module is another such plugin
365    
366    To get the benefits of any of these plugin modules, the code in
367    question must be compiled with tdp instrumentation turned on.  This
368    can be done by setting SMLofNJ.Internals.TDP.mode to true.
369    (The ref cell is also controlled via the -Ctdp.instrument=... switch.)
370    
371    Plugins are selected at link time.  (Pre-compiled instrumented code
372    can be re-loaded with different plugins in effect.)  When an
373    instrumented module is linked, whatever plugins are at that time
374    enabled will come into effect for that module.
375    
376    To enable the back-trace plugin, load library $/trace-debug-profile.cm
377    and invoke BackTrace.install() (e.g., from the interactive prompt).
378    To enable the coverage plugin, load the same library and invoke
379    Coverage.install().
380    
381    Back-traces are generated automatically on uncaught exceptions and
382    when the code in question explicitly invokes BackTrace.trigger().
383    
384    Coverage (and execution frequency-) information must be queried
385    explicitly by calling Coverage.not_covered and Coverage.hot_spots.
386    
387    ----------------------------------------------------------------------
388    Name: Matthias Blume (blume (at) tti - c (dot) org)
389    Date: 2004/10/14 17:40:00 CDT
390    Tag: blume-20041014-tdp-core
391    Description:
392    
393    Snapshot of a significant overhaul of how the trace/debug/profile support
394    is hooked into the system (specifically: Core and SMLofNJ.Internals).
395    
396    ----------------------------------------------------------------------
397    Name: Matthias Blume (blume (at) tti - c (dot) org)
398    Date: 2004/10/13 16:34:00 CDT
399    Tag: blume-20041013-tdp
400    Description:
401    
402    Some rationalization of names:
403    
404       structure BTrace -> structure TDPInstrument
405       etc.
406    
407    This is is preparation of using the original back-trace
408    instrumentation for other purposes.  "TDP" stands for
409    Trace/Debug/Profile.
410    
411    The control flag controlling whether instrumentation is on or off is now
412    registered under a different name, so instead of running sml as
413    
414     sml -Cinstrument.btrace-mode=true
415    
416    one has to say
417    
418     sml -Ctdp.instrument=true
419    
420    ----------------------------------------------------------------------
421    Name: Matthias Blume (blume (at) tti - c (dot) org)
422    Date: 2004/10/11 16:37:00 CDT
423    Tag: blume-20041011-regions
424    Description:
425    
426    Made some minor modifications to elabcore.sml to have source regions
427    be propagated more tightly -- resulting in better (i.e., smaller)
428    regions being reported in error- and debug messages.
429    
430    ----------------------------------------------------------------------
431    Name: Matthias Blume (blume (at) tti - c (dot) org)
432    Date: 2004/10/08 22:50:00 CDT
433    Tag: blume-20041008-cmkw
434    Description:
435    
436    Fixed handling of keywords in .cm files: After seeing "is" the lexer
437    treats subsequent occurrences of "group", "library", "source", "is",
438    "*", and "-" as ordinary identifiers rather than keywords.
439    
440    Most seriously, this fixes a problem with CM's "shell" tool.  The tool
441    is supposed to accept a tool argument called "source", but this did
442    not work because of the clash with the keyword.
443    
444    ----------------------------------------------------------------------
445    Name: Matthias Blume (blume (at) tti - c (dot) org)
446    Date: 2004/10/07 16:00:00 CDT
447    Tag: blume-20041007-cleanup
448    Description:
449    
450    Assorted cleanup work:
451    
452      - got rid of intstrmap in favor of using the library's
453        hash table implementation
454      - threw out most of the pathnames stuff, as it was not used anyway
455      - simplified tokentable implementation
456      - fixed some minor spelling errors
457    
458    ----------------------------------------------------------------------
459    Name: Matthias Blume (blume (at) tti - c (dot) org)
460    Date: 2004/10/06 15:15:15 CDT
461    Tag: blume-20041006-handler
462    Description:
463    
464    Cleaned up the absyn to reflect the invariant that HANDLE always
465    carries a FNexp as part of the type definition.  This eliminates some
466    superfluous sanity checks at runtime down the road.
467    
468    Some minor cleanup of the btrace code.
469    
470    ----------------------------------------------------------------------
471    Name: Matthias Blume (blume (at) tti - c (dot) org)
472    Date: 2004/10/01 10:20:30 CDT
473    Tag: blume-20041001-slave
474    Description:
475    
476    Added hack to make slave mode work in the presence of the version
477    tool.  (Still, since the master does two passes over the code for
478    CMB.make, the release number gets bumped twice when slaves are
479    attached.  I don't know if this is worth fixing...)
480    
481    ----------------------------------------------------------------------
482    Name: Matthias Blume (blume (at) tti - c (dot) org)
483    Date: 2004/09/30 10:55:00 CDT
484    Tag: blume-20040930-version
485    Description:
486    
487    * Moved the "version" magic into its own little library under
488      src/system/smlnj/internal.  This avoids expensive reconstruction of
489      a stable src/compiler/core.cm.
490    
491    * At the same time, structure CompilerVersion is now known as
492      structure SMLNJVersion.
493    
494    * Arranged for the version tool to NOT kick in when rebuilding the system
495      (makeml -rebuild, fixpt).  Otherwise one would never reach a fixpoint.
496      Also, loading the versiontool does not work when rebuilding the system
497      because CM is not properly initialized at that time.
498    
499    ----------------------------------------------------------------------
500    Name: Matthias Blume (blume (at) tti - c (dot) org)
501    Date: 2004/09/29 14:00:00 CDT
502    Tag: blume-20040929-autoversion
503    Description:
504    
505    Implemented some CM magic to have
506        file src/compiler/TopLevel/main/version.sml
507    generated automagically.
508    The version is taken from two files: config/version and config/release.
509    The first is expected to contain a two-part version number such as 110.49.
510    The second should contain a single number, but it may be missing.
511    
512    If the environment variable VERSIONTOOL_BUMP_RELEASE is defined at the
513    time the version tool is loaded (which is the first time you say CMB.make),
514    then the tool will increment the value stored in config/release every
515    time CMB.make is invoked.
516    
517    The binfile format is now insensitive to anything beyond the first
518    two components of a version number, so bumping the release does not render
519    binfiles incompatible.  Auto-bumping can be used to keep track of versions
520    during development without invalidating existing binfiles.
521    
522    In any case, every CMB.make updates the date information in version.sml.
523    (This is the date that is printed in the banner.)
524    
525    ----------------------------------------------------------------------
526  Name: Matthias Blume (blume (at) tti - c (dot) org)  Name: Matthias Blume (blume (at) tti - c (dot) org)
527  Date: 2004/09/28 10:53:00 CDT  Date: 2004/09/28 10:53:00 CDT
528  Tag: blume-20040928-controls  Tag: blume-20040928-controls

Legend:
Removed from v.1634  
changed lines
  Added in v.1736

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