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 808, Wed Apr 18 15:43:09 2001 UTC revision 836, Fri May 25 19:28:51 2001 UTC
# Line 14  Line 14 
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16  Name: Matthias Blume  Name: Matthias Blume
17    Date: 2001/05/25 15:30:00 EDT
18    Tag: blume-20010525-iptr
19    Description:
20    
21      - put the official 110.33-README (as it appears on the ftp server) under
22        CVS
23      - fixed a small bug related to incomplete pointer types in
24        ml-nlffigen
25      - small cosmetic change to the ml-nlffi-lib's "arr" type constructor
26        (it does not need the 'f type parameter)
27    
28    ----------------------------------------------------------------------
29    Name: Matthias Blume
30    Date: 2001/05/23 14:30:00 EDT
31    Tag: Release_110_33
32    Description:
33    
34    New version number (110.33).  New bootfiles.
35    
36    ----------------------------------------------------------------------
37    Name: Matthias Blume
38    Date: 2001/05/22 18:06:00 EDT
39    Tag: blume-20010522-targets
40    Description:
41    
42    Made install.sh use file config/targets.customized if it exists, falling
43    back to config/targets if it doesn't.  This way one can have a customized
44    version of the targets file without touching the "real thing", thus
45    eliminating the constant fear of accidentally checking something bogus
46    back into the CVS repository...  (File config/targets.customized must
47    not be added to the repository!)
48    
49    ----------------------------------------------------------------------
50    Name: Matthias Blume
51    Date: 2001/05/22 16:30:00 EDT
52    Tag: blume-20010522-minitut
53    Description:
54    
55    1. Bug fix in ml-nlffigen; now (hopefully) correctly handling
56       struct returns.
57    2. Added src/ml-nlffi-lib/Doc/mini-tutorial.txt.  This is some very
58       incomplete, preliminary documentation for NLFFI.
59    
60    ----------------------------------------------------------------------
61    Name: Matthias Blume
62    Date: 2001/05/14 11:30:00 EDT
63    Tag: blume-20010514-script
64    Description:
65    
66    Some bugs in install script fixed.
67    
68    In addition to that I also made a slight change to the NLFFI API:
69    Functors generated by ml-nlffigen now take the dynamic library as a
70    straight functor argument, not as a suspended one.  (The original
71    functor code used to force the suspension right away anyway, so there
72    was nothing gained by this complication of the interface.)
73    
74    ----------------------------------------------------------------------
75    Name: Matthias Blume
76    Date: 2001/05/11 14:35:00 EDT
77    Tag: blume-20010511-ml-nlffi
78    Description:
79    
80    I finally took the plunge and added my new FFI code to the main
81    repository.  For x86-linux it is now ready for prime-time.
82    
83    There are two new subdirectories of "src":
84    
85      - ml-nlffi-lib:
86           The utility library for programs using the FFI interface.
87           Here is the implementation of $/c.cm and its associated low-level
88           partners $/c-int.cm and $/memory.cm.
89      - ml-nlffigen:
90           A stand-alone program for generating ML glue code from C source
91           code.
92    
93    Building ml-nlffigen requires $/ckit-lib.cm.
94    
95    The config/install.sh script has been updates to do the Right Thing
96    (hopefully).
97    
98    Notice that the source tree for the C-Kit will not be put under "src"
99    but directly under the installation root directory.  (This is the
100    structure that currently exists on the CVS server when you check out
101    module "sml".)  Fortunately, config/install.sh knows about this oddity.
102    
103    Bugs: No documentation yet.
104    
105    ----------------------------------------------------------------------
106    Name: Matthias Blume
107    Date: 2001/05/09 16:35:00 EDT
108    Tag: blume-20010509-cpscontract
109    Description:
110    
111    Fixed a bug in the accounting code in cpsopt/contract.sml.  (The
112    wrapper/unwrapper elimination did not decrement usage counts and some
113    dead variables got overlooked by the dead-up logic.)
114    
115    ----------------------------------------------------------------------
116    Name: Lal George
117    Date: 2001/05/08  17:26:09 EDT
118    Tag: george-20010508-omit-frameptr
119    Description:
120    
121    Changes to implement the omit-frame-pointer optimization to support
122    raw C calls. For now, there is only support on the Intel x86, but
123    other architectures will follow as more experience is gained with this.
124    
125    
126    ----------------------------------------------------------------------
127    Name: Matthias Blume
128    Date: 2001/05/07 14:40:00 EDT
129    Tag: blume-20010507-proxies
130    Description:
131    
132    I made into "proxy libraries" all libraries that qualify for such a
133    change.  (A qualifying library is a library that has another library or
134    groups as its sole member and repeats that member's export list
135    verbatim.  A proxy library avoids this repetition by omitting its export
136    list, effectively inheriting the list that its (only) member exports.
137    See the CM manual for more explanation.)
138    The main effect is that explicit export lists for these libraries
139    do not have to be kepts in sync, making maintenance a bit easier.
140    
141    I also added copyright notices to many .cm-files.
142    
143    Last but not least, I made a new set of bootfiles.
144    
145    ----------------------------------------------------------------------
146    Name: Matthias Blume
147    Date: 2001/05/04 17:00:00 EDT
148    Tag: blume-20010504-cm-lsplit
149    Description:
150    
151    0. John merged pending changes to $/smlnj-lib.cm
152    
153    1. Allen's previous change accidentally backed out of one of Lal's
154       earlier changes.  I undid this mistake (re-introducing Lal's change).
155    
156    2. I used the new topOrder' function from graph-scc.sml (from $/smlnj-lib.cm)
157       within the compiler where applicable.  There is some code simplification
158       because of that.
159    
160    3. The "split" phase (in FLINT) is now part of the default list of phases.
161       Compiler.Control.LambdaSplitting.* can be used to globally control the
162       lambda-splitting (cross-module-inlining) engine.  In addition to that,
163       it can now also be controlled on a per-source basis: CM has been taught
164       a new tool parameter applicable to ML source files.
165    
166       - To turn lambda-splitting off completely:
167            local open Compiler.Control.LambdaSplitting in
168                val _ = set Off
169            end
170       - To make "no lambda-splitting" the global default (but allow per-source
171         overriding); this is the initial setting:
172            local open Compiler.Control.LambdaSplitting in
173                val _ = set (Default NONE)
174            end
175       - To make "lambda-splitting with aggressiveness a" the global default
176         (and allow per-source overriding):
177            local open Compiler.Control.LambdaSplitting in
178                val _ = set (Default (SOME a))
179            end
180    
181       - To turn lambda-splitting off for a given ML souce file (say: a.sml)
182         write (in the respective .cm-file):
183            a.sml (lambdasplitting:off)
184       - To turn lambda-splitting for a.sml on with minimal aggressiveness:
185            a.sml (lambdasplitting:on)
186       - To turn lambda-splitting for a.sml on with aggressiveness <a> (where
187         <a> is a decimal non-negative integer):
188            a.sml (lambdasplitting:<a>)
189       - To turn lambda-splitting for a.sml on with maximal aggressiveness:
190            a.sml (lambdasplitting:infinity)
191       - To use the global default for a.sml:
192            a.sml (lambdasplitting:default)
193         or simply
194            a.sml
195    
196    ----------------------------------------------------------------------
197    Name: Allen Leung
198    Date: 2001/05/04 01:57:00 EDT
199    Tag: leunga-20010504-sync
200    Description:
201    
202      MLRISC features.
203    
204      1. Fix to CMPXCHG instructions.
205      2. Changed RA interface to allow annotations in callbacks.
206      3. Added a new method to the stream interface to allow annotations updates.
207    
208    ----------------------------------------------------------------------
209    Name: Matthias Blume
210    Date: 2001/05/01 11:45:00 EDT
211    Tag: blume-20010501-pcedittmp
212    Description:
213    
214    Changed install.sh to use the current working directory instead of
215    /usr/tmp for a temporary file (pcedittmp).  The previous choice
216    of /usr/tmp caused trouble with MacOS X because of file premission
217    problems.
218    
219    ----------------------------------------------------------------------
220    Name: Matthias Blume
221    Date: 2001/04/20 11:10:00 EDT
222    Tag: blume-20010420-inMLflag
223    Description:
224    
225     - added vp_limitPtrMask to vproc-state.h
226       (for use by the raw-C-calls mechanism to implement proper interrupt
227        handling)
228     - made the ML compiler aware of various data-structure offsets so it
229       can generate code for accessing the vp_inML flag and vp_limitPtrMask
230     - tweaked mlriscGen.sml to have it emit interrupt-handling code for
231       raw C-calls
232    
233    ----------------------------------------------------------------------
234    Name: Lal George
235    Date: 2001/04/20 09:15:28 EDT
236    Tag: george-20010420-macosX
237    Description:
238    
239     - Changes to port to Mac OS X; Darwin.
240    
241     - In the process I found that sqrt was broken on the PPC, because the
242       fsqrt instruction is not implemented.
243    
244    ----------------------------------------------------------------------
245    Name: Matthias Blume
246  Date: 2001/04/18 12:45:00 EDT  Date: 2001/04/18 12:45:00 EDT
247  Tag: blume-20010418-ccalls  Tag: blume-20010418-ccalls
248  Description:  Description:
# Line 29  Line 258 
258   - made makeml script's verbosity level configurable via environment   - made makeml script's verbosity level configurable via environment
259     variable (MAKEML_VERBOSITY)     variable (MAKEML_VERBOSITY)
260    
261   - eliminteded placeholder implementations for f32l, w16s, i16s, and f32s   - eliminated placeholder implementations for f32l, w16s, i16s, and f32s
262     in rawmem-x86.sml; we are now using the real thing     in rawmem-x86.sml; we are now using the real thing
263    
264  ----------------------------------------------------------------------  ----------------------------------------------------------------------

Legend:
Removed from v.808  
changed lines
  Added in v.836

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