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

Legend:
Removed from v.1045  
changed lines
  Added in v.1068

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