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

Legend:
Removed from v.733  
changed lines
  Added in v.759

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