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 731, Fri Nov 10 22:57:45 2000 UTC revision 758, Fri Dec 22 04:12:36 2000 UTC
# Line 11  Line 11 
11  Date:  Date:
12  Tag: <post-commit CVS tag>  Tag: <post-commit CVS tag>
13  Description:  Description:
14    ----------------------------------------------------------------------
15    Name: Matthias Blume
16    Date: 2000/12/22 13:15:00 JST
17    Tag: blume-20001222-cleanup
18    Description:
19    
20    Removed src/cm/ffi which does not (and did not) belong here.
21    
22    ----------------------------------------------------------------------
23    Name: Matthias Blume
24    Date: 2000/12/21 23:55:00 JST
25    Tag: blume-20001221-exn
26    Description:
27    
28    Probably most important: CM no longer silently swallows all exceptions
29    in the compiler.
30    Plus: some other minor CM changes.  For example, CM now reports some
31    sizes for generated binfiles (code, data, envpickle, lambdapickle).
32    
33    ----------------------------------------------------------------------
34    Name: Matthias Blume
35    Date: 2000/12/15 00:01:05 JST
36    Tag: blume-20001215-dirtool
37    Description:
38    
39    - "dir" tool added.
40    - improvements and cleanup to Tools structure
41    - documentation updates
42    
43    ----------------------------------------------------------------------
44    Name: Allen Leung
45    Date: Thu Dec 14 03:45:24 EST 2000
46    Description:
47    Tag:  leunga-20001214-int-inf
48    Description:
49    
50       In IntInf, added these standard functions, which are missing from our
51    implementation:
52    
53        andb : int * int -> int
54        xorb : int * int -> int
55        orb  : int * int -> int
56        notb : int -> int
57         <<   : int * word -> int
58        ~>>  : int * word -> int
59    
60       Not tested, I hope they are correct.
61    
62    ----------------------------------------------------------------------
63    Name: Allen Leung
64    Date: Fri Dec  8 19:23:26 EST 2000
65    Description:
66    Tag:  leunga-20001208-nowhere
67    Description:
68    
69      Slight improvements to the 'nowhere' tool to handle OR-patterns,
70    to generate better error messages etc.  Plus a brief manual.
71    
72    ----------------------------------------------------------------------
73    Name: Lal George
74    Date: 2000/12/08 09:54:02 EST 2000
75    Tag: Release_110_31
76    Description:
77    
78    - Version 110.31
79    ----------------------------------------------------------------------
80    Name: Allen Leung
81    Date: Thu Dec  7 22:01:04 EST 2000
82    Tag:  leunga-20001207-cell-monster-hack
83    Description:
84    
85    Major MLRISC internal changes.  Affect all clients.
86    Summary:
87    
88    1.  Type CELLS.cell = int is now replaced by a datatype.
89        As a result, the old regmap is now gone.  Almost all interfaces
90        in MLRISC change as a consequence.
91    
92    2.  A new brand version of machine description tool (v3.0) that generates
93        modules expecting the new interface.  The old version is removed.
94    
95    3.  The RA interface has been further abstracted into two new functors.
96        RISC_RA and X86RA.  These functors have much simpler interfaces.
97        [See also directory MLRISC/demo.]
98    
99    4.  Some other new source->source code generation tools are available:
100    
101        a. MLRISC/Tools/RewriteGen -- generate rewriters from rules.
102        b. MLRISC/Tools/WhereGen -- expands conditional pattern matching rules.
103           I use this tool to generate the peephole optimizers---with the new
104           cell type changes, peephole rules are becoming difficult to write
105           without conditional pattern matching.
106    
107    5.  More Intmap -> IntHashTable change.  Previous changes by Matthias didn't
108        cover the entire MLRISC source tree so many things broke.
109    
110    6.  CM files have been moved to the subdirectory MLRISC/cm.
111        They are moved because there are a lot of them and they clutter up the
112        root dir.
113    
114    7.  More detailed documentation to come...
115    
116        NOTE: To rebuild from 110.30 (ftp distribution), you'll have to do
117        a makeml -rebuild first.  This is because of other other
118        changes that Matthias has made (see below).
119    
120    
121    ----------------------------------------------------------------------
122    Name: Matthias Blume
123    Date: 2000/11/30 23:12:00 JST
124    Tag: blume-20001130-filereorg
125    Description:
126    
127    Some manual updates and some file reorganizations in CM.
128    
129    ----------------------------------------------------------------------
130    Name: Matthias Blume
131    Date: 2000/11/24 17:45:00 JST
132    Tag: blume-20001124-link
133    Description:
134    
135    Drastically improved link traversal code for the case that the dynamic
136    value was already loaded at bootstrap time.  As a result, CM and CMB
137    now both load blazingly fast -- even on a very slow machine.  Also,
138    memory consumption has been further reduced by this.
139    
140    Warning: The format of the PIDMAP file has changed.  THerefore, to
141    bootstrap you have to do this:
142    
143    1. Run CMB.make
144    2. Make a symbolic link for the boot directory:
145         ln -s sml.boot.ARCH-OS xxx
146    3. "Rebuild" the boot directory:
147         ./makeml -boot xxx -rebuild sml ; rm xxx
148    4. Boot normally:
149          ./makeml
150    
151    ----------------------------------------------------------------------
152    Name: Matthias Blume
153    Date: 2000/11/21 21:20:00 JST
154    Tag: blume-20001121-tools
155    Description:
156    
157    Continued hacking on autoloading problem -- with success this time.
158    Also changed tool-plugin mechanism.  See new CM manual.
159    
160    ----------------------------------------------------------------------
161    Name: Matthias Blume
162    Date: 2000/11/19 14:30:00 JST
163    Tag:  blume-20001119-autoload
164    Description:
165    
166    Some hacking to make autoloading faster.  Success for CMB, no success
167    so far for CM.  There is a reduced structure CM' that autoloads faster.
168    (This is a temporary, non-documented hack to be eliminated again when
169    the general problem is solved.)
170    
171    ----------------------------------------------------------------------
172    Name: Matthias Blume
173    Date: 2000/11/17 14:10:00 JST
174    Tag: blume-20001117-pickle-lib
175    Description:
176    
177    1. Eliminated comp-lib.cm
178    2. Made pickle-lib.cm
179    3. Eliminated all uses of intset.sml (from comp-lib.cm)
180    4. Replaced all uses of intmap.{sig,sml} (from comp-lib.cm) with
181       equivalent constructs from smlnj-lib.cm (INtHashTable).
182    5. Point 4. also goes for those uses of intmap.* in MLRISC.
183       Duplicated intmap modules thrown out.
184    6. Hunted down all duplicated SCC code and replaced it with
185       equivalent stuff (GraphSCCFn from smlnj-lib.cm).
186    7. Rewrote Feedback module.
187    8. Moved sortedlist.sml into viscomp-lib.cm.  Eventually it
188       should be thrown out and equivalent modules from smlnj-lib.cm
189       should be used (IntRedBlackSet, IntListSet, ...).
190    
191    Confirmed that compiler compiles to fixpoint.
192    
193  ----------------------------------------------------------------------  ----------------------------------------------------------------------
194  Name: Allen Leung  Name: Allen Leung

Legend:
Removed from v.731  
changed lines
  Added in v.758

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