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 594, Tue Apr 4 23:41:47 2000 UTC revision 634, Mon May 1 10:03:50 2000 UTC
# Line 12  Line 12 
12  Tag: <post-commit CVS tag>  Tag: <post-commit CVS tag>
13  Description:  Description:
14  ----------------------------------------------------------------------  ----------------------------------------------------------------------
15    Name: Matthias Blume
16    Date: 2000/05/01 19:05:00 JST
17    Tag: blume-20000501-noweb
18    Description:
19    
20    A new noweb tool has been added.  The existing system is entirely
21    unaffected by this, but some CM users have asked for renewed noweb
22    support.  Everything is documented in the CM manual.
23    
24    New (plugin) libraries:
25    
26       noweb-tool.cm
27       nw-ext.cm
28    
29    ----------------------------------------------------------------------
30    Name: Dave MacQueen
31    Date: 2000/04/30 12:40PM EDT
32    Tag: dbm-20000430-bug_fixes
33    Description:
34    
35    1. Fix for bug 1498
36       smlnj/src/system/Basis/Implementation/Unsafe/object.sig
37       smlnj/src/system/Basis/Implementation/Unsafe/object.sml
38         added toRealArray function
39       smlnj/src/compiler/MiscUtil/print/ppobj.sml
40         added check for tag Obj.RealArray to array printing case in ppObj
41    
42    2. Fix for bug 1510
43       smlnj/src/compiler/Semant/types/typesutil.sml
44         fixed definition of dummyargs (used by equalTycon) so that
45         dummy args are distinct types
46    
47    ----------------------------------------------------------------------
48    Name: Matthias Blume
49    Date: 2000/04/30 01:00:00 JST
50    Tag: blume-20000430-versions
51    Description:
52    
53    1. CM version numbering added.  This is an implementation of Lal's
54       proposal for adding version numbers and version checking to .cm
55       files.  Lal said that his proposal was just that -- a proposal.
56       For the time being I went ahead and implemented it so that people
57       can comment on it.  Everything is completely backward-compatible
58       (except for the stable library format, i.e., new bootfiles!).
59    
60       As usual, see the CM manual for details.
61    
62    2. An alternative syntax for anchored paths has been implemented.
63       Dave has recently voiced the same concerns that I had when I did
64       this, so there should be some support.  My take is that eventually
65       I will let support for the current syntax (where anchors are
66       "implicit") fade out in favor of the new, explicit syntax.
67       In order to be backward-compatible, both old and new syntax are
68       currently supported.
69    
70       Again, see the CM manual for details.
71    
72    3. Parallel make is trying to be slightly smarter:  When the master
73       process finds a "bottleneck", i.e., when there is only one
74       compilation unit that can be compiled and everybody else is
75       waiting on it, then it will simply compile it directly instead
76       of clumsily telling one of the slaves to do it.
77    
78    4. Support for "unsharing" added.  This is necessary in order to be
79       able to have two different versions of the same library running
80       at the same time (e.g., for trying out a new MLRISC while still
81       having the old MLRISC linked into the current compiler, etc.)
82       See the CM manual.
83    
84    5. Simple "makedepend" functionality added for generating Makefile
85       dependency information.  (This is rather crude at the moment.
86       Expect some changes here in the future.)
87    
88    6. ".fun" added as a recognized suffix for ML files. Also documented
89       explicitly in the manual that the fallback behavior (unknown suffix
90       -> ML file) is not an official feature!
91    
92    7. Small changes to the pickler for stable libraries.
93    
94    8. Several internal changes to CM (for cleanup/improvement).
95    
96    
97    !!!! NEW BINFILES !!!!
98    
99    ----------------------------------------------------------------------
100    Name: Matthias Blume
101    Date: 2000/04/28 17:30:00 JST
102    Tag: blume-20000428-pathconfig
103    Description:
104    
105    1. I changed config/install.sh to remove duplicate entries from the
106       lib/pathconfig file at the end.  Moreover, the final version of
107       lib/pathconfig is sorted alphabetically.  The same (sorting) is done
108       in src/system/installml.
109    
110    2. The config/install.sh script now consistently uses relative
111       pathnames in lib/pathconfig whenever the anchor is in the lib
112       directory.  (So far this was true for the libraries that come
113       pre-compiled and bundled as part of the bootfiles but not for
114       libraries that are compiled by the script itself.)
115    
116    ----------------------------------------------------------------------
117    Name: Matthias Blume
118    Date: 2000/04/26 13:10:00 JST
119    Tag: blume-20000426-fun_suffix
120    Description:
121    
122    Added ".fun" as a recognized file name suffix (for ML code).
123    
124    ----------------------------------------------------------------------
125    Name: Allen Leung
126    Date: 2000/04/25 17:00:00 EST
127    Tag: leunga-20000425-alpha-ra
128    Description:
129    
130    1. Alpha
131    
132        PSEUDOARITH was missing in AlphaRewrite.  This causes an endless loop
133    in C--.
134    
135    2. RA
136    
137       Added a flag "ra-dump-size" to print out the size of the flowgraph
138       and the interference graph.
139    
140    ----------------------------------------------------------------------
141    Name: Dave MacQueen
142    Date: 2000/04/25/
143    Tag: dbm-20000425-mlyacc_doc_examples
144    Description:
145      Updated mlyacc.tex sections 5 and 7 for SML '97 and CM.
146      Updated all three examples in src/ml-yacc/examples to run
147      under 110.* using CM.make.
148    
149    ----------------------------------------------------------------------
150    Name: Allen Leung
151    Date: 2000/04/20 23:04:00 EST
152    Tag: leunga-20000420-ssa-c---stuff
153    Description:
154    
155      This update synchronizes my repository with Yale's.  Most of these
156    changes, however, do not affect SML/NJ at all (the RA is an exception).
157    
158    1. Register Allocator
159    
160       a. An improvement in the interference graph construction:
161          Given a copy
162    
163                s <- t
164    
165          no interference edge between s and t is added for this definition of s.
166    
167       b. I've added two new spill heuristic modules that Fermin and I developed
168          (in the new library RA.cm). These are unused in SML/NJ but maybe
169          useful for others (Moby?)
170    
171    2. X86
172    
173       a. Various fixes in the backend provided by Fermin [C--] and Lal.
174    
175    3. Alpha
176    
177       a. Added the BSR instruction and code generation that goes with it [C--]
178       b. Other fixes too numerous to recount provided by Fermin [C--]
179    
180    4. Regmaps
181    
182       a. The regmaps are not initialized with the identity physical bindings
183          at creation time.  This is unneeded.
184    
185    5. MLRISC Optimizations
186    
187       a. The DJ-Graph module can now compute the iterated dominance frontiers
188          intersects with liveness incrementally in linear time! Woohoo!
189          This is now used in my new SSA construction algorithm.
190    
191       b. THe branch reorganization module is now smarter about linear chains of
192          basic blocks.
193    
194    
195    ----------------------------------------------------------------------
196    Name: Matthias Blume
197    Date: 2000/04/12 13:52:00 JST
198    Tag: blume_main_v110p27_1
199    Description:
200    
201    Changed install.sh script to handle archive files without version number
202    and to use "boot.<arch>-<os>" instead of "sml.boot.<arch>-<os>" for the
203    name of the boot file archive.
204    
205    ----------------------------------------------------------------------
206    Name: Dave MacQueen
207    Date: 2000/04/09 14:00 EDT
208    Tag: dbm-20000410-Version_110_27
209    Description:
210    
211    1. Updated src/compiler/TopLevel/main/version.sml to version 110.27
212    
213    2. Updated src/config/version to 110.27
214    
215    3. New boot files!
216    
217    ----------------------------------------------------------------------
218    Name: Allen Leung
219    Date: 2000/04/09 19:09:00 EST
220    Tag: leunga-20000409-misc
221    Description:
222    
223    1.  Yet another fix for x86 assembly for idivl, imull, mull and friends.
224    
225    2.  Miscellaneous improvements to MLRISC (unused in sml/nj)
226    
227    ----------------------------------------------------------------------
228    Name: Stefan
229    Date: 2000/04/07 10:00:00 EDT
230    Tag: monnier-20000406-branch-handling
231    Description:
232    
233    Improved handling of branches (mostly those generated from
234    polymorphic equality), removed switchoff and changed the
235    default optimization settings (more cpsopt and less flintopt).
236    
237    ----------------------------------------------------------------------
238    Name: Allen Leung
239    Date: 2000/04/06 01:30:00 EST
240    Tag: leunga-20000406-peephole-x86-SSA-2
241    Description:
242    
243       Forgot a few files.
244    
245    ----------------------------------------------------------------------
246    Name: Allen Leung
247    Date: 2000/04/06 00:36:00 EST
248    Tag: leunga-20000406-peephole-x86-SSA
249    Description:
250    
251    1.  New Peephole code
252    
253    2.  Minor improvement to X86 instruction selection
254    
255    3.  Various fixes to SSA and machine description -> code translator
256    
257    ----------------------------------------------------------------------
258    Name: Matthias Blume
259    Date: 2000/04/05 12:30:00 JST
260    Tag: blume_main_v110p26p2_3
261    Description:
262    
263    This update just merges three minor cosmetic updates to CM's sources
264    to get ready for the 110.27 code freeze on Friday.  No functionality
265    has changed.
266    
267    ----------------------------------------------------------------------
268  Name: Allen Leung  Name: Allen Leung
269  Date: 2000/04/04 19:39:00 EST  Date: 2000/04/04 19:39:00 EST
270  Tag: leunga-20000404-x86-asm  Tag: leunga-20000404-x86-asm

Legend:
Removed from v.594  
changed lines
  Added in v.634

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