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 1053, Wed Feb 6 19:11:13 2002 UTC revision 1073, Fri Feb 15 22:07:38 2002 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Name: Matthias Blume
17    Date: 2002/02/15 17:05:00
18    Tag: Release_110_39
19    Description:
20    
21    Last-minute retagging is becoming a tradition... :-(
22    
23    This is the working release 110.39.
24    
25    ----------------------------------------------------------------------
26    Name: Matthias Blume
27    Date: 2002/02/15 16:00:00 EST
28    Tag: Release_110_39-orig
29    Description:
30    
31    Working release 110.39.  New bootfiles.
32    
33    (Update: There was a small bug in the installer so it wouldn't work
34    with all shells.  So I retagged. -Matthias)
35    
36    ----------------------------------------------------------------------
37    Name: Matthias Blume
38    Date: 2002/02/15 14:17:00 EST
39    Tag: blume-20020215-showbindings
40    Description:
41    
42    Added EnvRef.listBoundSymbols and CM.State.showBindings.  Especially
43    the latter can be useful for exploring what bindings are available at
44    the interactive prompt.  (The first function returns only the list
45    of symbols that are really bound, the second prints those but also the
46    ones that CM's autoloading mechanism knows about.)
47    
48    ----------------------------------------------------------------------
49    Name: Matthias Blume
50    Date: 2002/02/15 12:08:00 EST
51    Tag: blume-20020215-iptrs
52    Description:
53    
54    Two improvements to ml-nlffigen:
55    
56      1. Write files only if they do not exist or if their current contents
57         do not coincide with what's being written.  (That is, avoid messing
58         with the time stamps unless absolutely necessary.)
59    
60      2. Implement a "repository" mechanism for generated files related
61         to "incomplete pointer types".   See the README file for details.
62    
63    ----------------------------------------------------------------------
64    Name: Matthias Blume
65    Date: 2002/02/14 11:50:00 EST
66    Tag: blume-20020214-quote
67    Description:
68    
69    Added a type 't t_' to tag.sml (in ml-nlffi-lib.cm).  This is required
70    because of the new and improved tag generation scheme.  (Thanks to Allen
71    Leung for pointing it out.)
72    
73    ----------------------------------------------------------------------
74    Name: Lal George
75    Date: 2002/02/14 09:55:27 EST 2002
76    Tag: george-20020214-isabelle-bug
77    Description:
78    
79    Fixed the MLRISC bug sent by Markus Wenzel regarding the compilation
80    of Isabelle on the x86.
81    
82    From Allen:
83    -----------
84     I've found the problem:
85    
86         in ra-core.sml, I use the counter "blocked" to keep track of the
87         true number of elements in the freeze queue.  When the counter goes
88         to zero, I skip examining the queue.  But I've messed up the
89         bookkeeping in combine():
90    
91             else ();
92             case !ucol of
93               PSEUDO => (if !cntv > 0 then
94                     (if !cntu > 0 then blocked := !blocked - 1 else ();
95                                        ^^^^^^^^^^^^^^^^^^^^^^^
96                      moveu := mergeMoveList(!movev, !moveu)
97                     )
98                  else ();
99    
100         combine() is called to coalesce two nodes u and v.
101         I think I was thinking that if the move counts of u and v are both
102         greater than zero then after they are coalesced then one node is
103         removed from the freeze queue.  Apparently I was thinking that
104         both u and v are of low degree, but that's clearly not necessarily true.
105    
106    
107    02/12/2002:
108        Here's the patch.  HOL now compiles.
109    
110        I don't know how this impact on performance (compile
111        time or runtime).  This bug caused the RA (especially on the x86)
112        to go thru the potential spill phase when there are still nodes on the
113        freeze queue.
114    
115    
116    
117    
118    ----------------------------------------------------------------------
119    Name: Matthias Blume
120    Date: 2002/02/13 22:40:00 EST
121    Tag: blume-20020213-fptr-rtti
122    Description:
123    
124    Fixed a bug in ml-nlffigen that was introduced with one of the previous
125    updates.
126    
127    ----------------------------------------------------------------------
128    Name: Matthias Blume
129    Date: 2002/02/13 16:41:00 EST
130    Tag: blume-20020213-cmlpq
131    Description:
132    
133    Added new priority queue export symbols (which have just been added to
134    smlnj-lib.cm) to CML's version of smlnj-lib.cm.  (Otherwise CML would
135    not compile and the installer would choke.)
136    
137    ----------------------------------------------------------------------
138    Name: Matthias Blume
139    Date: 2002/02/13 16:15:00 EST
140    Tag: blume-20020213-various
141    Description:
142    
143    1. More tweaks to ml-nlffigen:
144    
145       - better internal datastructures (resulting in slight speedup)
146       - "-match" option requires exact match
147       - "localized" gensym counters (untagged structs/unions nested within
148         other structs/unions or within typedefs get a fresh counter; their
149         tag will be prefixed by a concatenation of their parents' tags)
150       - bug fixes (related to calculation of transitive closure of types
151         to be included in the output)
152    
153    2. Minor Basis updates:
154    
155       - added implementations for List.collate and Option.app
156    
157    ----------------------------------------------------------------------
158    Name: Matthias Blume
159    Date: 2002/02/11 15:55:00 EST
160    Tag: blume-20020211-gensym
161    Description:
162    
163    Added a "-gensym" option to command line of ml-nlffigen.  This can be
164    used to specify a "stem" -- a string that is inserted in all "gensym'd"
165    names (ML structure names that correspond to unnamed C structs, unions,
166    and enums), so that separate runs of ml-nlffigen do not clash.
167    
168    ----------------------------------------------------------------------
169    Name: Matthias Blume
170    Date: 2002/02/11 12:05:00 EST
171    Tag: blume-20020211-gensml
172    Description:
173    
174    A quick fix for a problem with GenSML (in the pgraph-util library):
175    Make generation of toplevel "local" optional.  (Strictly speaking,
176    signature definitions within "local" are not legal SML.)
177    
178    Other than that: updates to INSTALL and cm/TODO.
179    
180    ----------------------------------------------------------------------
181    Name: Matthias Blume
182    Date: 2002/02/08 15:00:00 EST
183    Tag: blume-20020208-uniquepid
184    Description:
185    
186    0. Version number has been bumped to 110.38.1.  NEW BOOTFILES!!!
187    
188    1. The installer (config/install.sh) has gotten smarter:
189    
190         - Configuration options are a bit easier to specify now
191           (in config/targets).
192         - Bug in recognizing .tar.bz2 files fixed.
193         - Installer automatically resolves dependencies between
194           configuration options (e.g., if you ask for eXene, you will
195           also get cml -- regardless whether you asked for it or not).
196         - Installer can run in "quieter mode" by setting the environment
197           variable INSTALL_QUIETLY to "true".  "Quieter" does not mean
198           "completely silent", though.
199         - Build HashCons library as part of smlnj-lib.
200    
201    2. A new scheme for assigning persistent identifiers to compilation
202       units (and, by extension, to types etc.) has been put into place.
203       This fixes a long-standing bug where types and even dynamic values
204       can get internally confused, thereby compromising type safety
205       (abstraction) and dynamic correctness.  See
206    
207         http://cm.bell-labs.com/cm/cs/who/blume/pid-confusion.tgz
208    
209       for an example of how things could go wrong until now.
210    
211       The downside of the new scheme is that pids are not quite as
212       persistent as they used to be: CM will generate a fresh pid
213       for every compilation unit that it thinks it sees for the first
214       time.  That means that if you compile starting from a clean, fresh
215       source tree at two different times, you end up with different
216       binaries.
217    
218       Cutoff recompilation, however, has not been compromised because
219       CM keeps pid information in special caches between runs.
220    
221    ----------------------------------------------------------------------
222    Name: Lal George
223    Date: 2002/02/07 15:34:13 EST 2002
224    Tag: <none>
225    Description:
226    
227    Compilers that generate assembly code may produce  global labels
228    whose value is resolved at link time. The various peephole optimization
229    modules did not take this in account.
230    
231    TODO. The Labels.addrOf function should really return an option
232    type so that clients are forced to deal with this issue, rather
233    than an exception being raised.
234    
235    ----------------------------------------------------------------------
236  Name: Lal George  Name: Lal George
237  Date: 2002/02/06 13:55:02 EST  Date: 2002/02/06 13:55:02 EST
238  Tag: george-20020206-ra-breakup  Tag: george-20020206-ra-breakup
# Line 26  Line 246 
246      trap instruction (in this case they are harmless since none of the      trap instruction (in this case they are harmless since none of the
247      integers overflow.)      integers overflow.)
248    
249  2. Plugged out various utility modules that were embedded in the modules  2. Pulled out various utility modules that were embedded in the modules
250     of the register allocator. I need these modules for other purposes, but     of the register allocator. I need these modules for other purposes, but
251     they are not complete enough to put into a library just yet.     they are not complete enough to put into a library (just yet).
252  ----------------------------------------------------------------------  ----------------------------------------------------------------------
253  Name: Matthias Blume  Name: Matthias Blume
254  Date: 2002/01/31 16:05:00 EST  Date: 2002/01/31 16:05:00 EST

Legend:
Removed from v.1053  
changed lines
  Added in v.1073

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