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 615, Wed Apr 12 04:52:09 2000 UTC revision 633, Sun Apr 30 16:44:09 2000 UTC
# Line 12  Line 12 
12  Tag: <post-commit CVS tag>  Tag: <post-commit CVS tag>
13  Description:  Description:
14  ----------------------------------------------------------------------  ----------------------------------------------------------------------
15    Name: Dave MacQueen
16    Date: 2000/04/30 12:40PM EDT
17    Tag: dbm-20000430-bug_fixes
18    Description:
19    
20    1. Fix for bug 1498
21       smlnj/src/system/Basis/Implementation/Unsafe/object.sig
22       smlnj/src/system/Basis/Implementation/Unsafe/object.sml
23         added toRealArray function
24       smlnj/src/compiler/MiscUtil/print/ppobj.sml
25         added check for tag Obj.RealArray to array printing case in ppObj
26    
27    2. Fix for bug 1510
28       smlnj/src/compiler/Semant/types/typesutil.sml
29         fixed definition of dummyargs (used by equalTycon) so that
30         dummy args are distinct types
31    
32    ----------------------------------------------------------------------
33    Name: Matthias Blume
34    Date: 2000/04/30 01:00:00 JST
35    Tag: blume-20000430-versions
36    Description:
37    
38    1. CM version numbering added.  This is an implementation of Lal's
39       proposal for adding version numbers and version checking to .cm
40       files.  Lal said that his proposal was just that -- a proposal.
41       For the time being I went ahead and implemented it so that people
42       can comment on it.  Everything is completely backward-compatible
43       (except for the stable library format, i.e., new bootfiles!).
44    
45       As usual, see the CM manual for details.
46    
47    2. An alternative syntax for anchored paths has been implemented.
48       Dave has recently voiced the same concerns that I had when I did
49       this, so there should be some support.  My take is that eventually
50       I will let support for the current syntax (where anchors are
51       "implicit") fade out in favor of the new, explicit syntax.
52       In order to be backward-compatible, both old and new syntax are
53       currently supported.
54    
55       Again, see the CM manual for details.
56    
57    3. Parallel make is trying to be slightly smarter:  When the master
58       process finds a "bottleneck", i.e., when there is only one
59       compilation unit that can be compiled and everybody else is
60       waiting on it, then it will simply compile it directly instead
61       of clumsily telling one of the slaves to do it.
62    
63    4. Support for "unsharing" added.  This is necessary in order to be
64       able to have two different versions of the same library running
65       at the same time (e.g., for trying out a new MLRISC while still
66       having the old MLRISC linked into the current compiler, etc.)
67       See the CM manual.
68    
69    5. Simple "makedepend" functionality added for generating Makefile
70       dependency information.  (This is rather crude at the moment.
71       Expect some changes here in the future.)
72    
73    6. ".fun" added as a recognized suffix for ML files. Also documented
74       explicitly in the manual that the fallback behavior (unknown suffix
75       -> ML file) is not an official feature!
76    
77    7. Small changes to the pickler for stable libraries.
78    
79    8. Several internal changes to CM (for cleanup/improvement).
80    
81    
82    !!!! NEW BINFILES !!!!
83    
84    ----------------------------------------------------------------------
85    Name: Matthias Blume
86    Date: 2000/04/28 17:30:00 JST
87    Tag: blume-20000428-pathconfig
88    Description:
89    
90    1. I changed config/install.sh to remove duplicate entries from the
91       lib/pathconfig file at the end.  Moreover, the final version of
92       lib/pathconfig is sorted alphabetically.  The same (sorting) is done
93       in src/system/installml.
94    
95    2. The config/install.sh script now consistently uses relative
96       pathnames in lib/pathconfig whenever the anchor is in the lib
97       directory.  (So far this was true for the libraries that come
98       pre-compiled and bundled as part of the bootfiles but not for
99       libraries that are compiled by the script itself.)
100    
101    ----------------------------------------------------------------------
102    Name: Matthias Blume
103    Date: 2000/04/26 13:10:00 JST
104    Tag: blume-20000426-fun_suffix
105    Description:
106    
107    Added ".fun" as a recognized file name suffix (for ML code).
108    
109    ----------------------------------------------------------------------
110    Name: Allen Leung
111    Date: 2000/04/25 17:00:00 EST
112    Tag: leunga-20000425-alpha-ra
113    Description:
114    
115    1. Alpha
116    
117        PSEUDOARITH was missing in AlphaRewrite.  This causes an endless loop
118    in C--.
119    
120    2. RA
121    
122       Added a flag "ra-dump-size" to print out the size of the flowgraph
123       and the interference graph.
124    
125    ----------------------------------------------------------------------
126    Name: Dave MacQueen
127    Date: 2000/04/25/
128    Tag: dbm-20000425-mlyacc_doc_examples
129    Description:
130      Updated mlyacc.tex sections 5 and 7 for SML '97 and CM.
131      Updated all three examples in src/ml-yacc/examples to run
132      under 110.* using CM.make.
133    
134    ----------------------------------------------------------------------
135    Name: Allen Leung
136    Date: 2000/04/20 23:04:00 EST
137    Tag: leunga-20000420-ssa-c---stuff
138    Description:
139    
140      This update synchronizes my repository with Yale's.  Most of these
141    changes, however, do not affect SML/NJ at all (the RA is an exception).
142    
143    1. Register Allocator
144    
145       a. An improvement in the interference graph construction:
146          Given a copy
147    
148                s <- t
149    
150          no interference edge between s and t is added for this definition of s.
151    
152       b. I've added two new spill heuristic modules that Fermin and I developed
153          (in the new library RA.cm). These are unused in SML/NJ but maybe
154          useful for others (Moby?)
155    
156    2. X86
157    
158       a. Various fixes in the backend provided by Fermin [C--] and Lal.
159    
160    3. Alpha
161    
162       a. Added the BSR instruction and code generation that goes with it [C--]
163       b. Other fixes too numerous to recount provided by Fermin [C--]
164    
165    4. Regmaps
166    
167       a. The regmaps are not initialized with the identity physical bindings
168          at creation time.  This is unneeded.
169    
170    5. MLRISC Optimizations
171    
172       a. The DJ-Graph module can now compute the iterated dominance frontiers
173          intersects with liveness incrementally in linear time! Woohoo!
174          This is now used in my new SSA construction algorithm.
175    
176       b. THe branch reorganization module is now smarter about linear chains of
177          basic blocks.
178    
179    
180    ----------------------------------------------------------------------
181  Name: Matthias Blume  Name: Matthias Blume
182  Date: 2000/04/12 13:52:00 JST  Date: 2000/04/12 13:52:00 JST
183  Tag: blume_main_v110p27_1  Tag: blume_main_v110p27_1

Legend:
Removed from v.615  
changed lines
  Added in v.633

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