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 775, Fri Jan 12 01:17:51 2001 UTC revision 836, Fri May 25 19:28:51 2001 UTC
# Line 11  Line 11 
11  Date:  Date:
12  Tag: <post-commit CVS tag>  Tag: <post-commit CVS tag>
13  Description:  Description:
14    
15    ----------------------------------------------------------------------
16    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
247    Tag: blume-20010418-ccalls
248    Description:
249    
250     - fixed two off-by-4 errors in the x86-specific c-calls implementation
251       (this bug prevented structure arguments containing pointers from being
252        passed correctly)
253     - changed the raw-C-call code in mlriscGen.sml in such a way that
254       structure arguments are represented as a pointer to the beginning
255       of the structure (instead of having a series of synthesized arguments,
256       one for each structure member)
257    
258     - made makeml script's verbosity level configurable via environment
259       variable (MAKEML_VERBOSITY)
260    
261     - eliminated placeholder implementations for f32l, w16s, i16s, and f32s
262       in rawmem-x86.sml; we are now using the real thing
263    
264    ----------------------------------------------------------------------
265    Name: Matthias Blume
266    Date: 2001/03/22 16:25:00 EST
267    Tag: blume-20010322-bootfiles
268    Description:
269    
270    Created a new set of bootfiles (for your automatic installation convenience).
271    
272    ----------------------------------------------------------------------
273    Name: Matthias Blume
274    Date: 2001/03/22 15:10:00 EST
275    Tag: blume-20010322-rawmem-parcm
276    Description:
277    
278    1. All "raw memory access" primitives for the new FFI are implemented now
279       (at least on the x86).
280    2. Some further cleanup of CM's parallel make mechanism.
281    
282    ----------------------------------------------------------------------
283    Name: Matthias Blume
284    Date: 2001/03/19 17:53:00 EST
285    Tag: blume-20010319-parallel
286    Description:
287    
288    Parallel make (using compile servers) now works again.
289    
290    To this end, CM.stabilize and CMB.make have been modified to work in
291    two passes when compile servers are attached:
292       1. Compile everything, do not perform stabilization; this pass
293          uses compile servers
294       2. Stabilize everything; this pass does not use compile servers
295    If there are no compile servers, the two passes are combined into one
296    (as before).  Splitting the passes increases the inherent parallelism
297    in the dependency graph because the entire graph including all
298    libraries is available at the same time.  This, in turn, improves
299    server utilization.  The downside is that the master process will
300    have to do some extra work after compilation is done (because for
301    technical reasons it must re-read all the binfiles during stabilization).
302    
303    ----------------------------------------------------------------------
304    Name: Matthias Blume
305    Date: 2001/03/16 12:22:00 EST
306    Tag: blume-20010316-bootfiles
307    Description:
308    
309    Created a new set of bootfiles (for your automatic installation convenience).
310    
311    ----------------------------------------------------------------------
312    Name: Matthias Blume
313    Date: 2001/03/16 11:00:00 EST
314    Tag: blume-20010316-MLTREE-fixup
315    Description:
316    
317    This is a minor fixup for an (untagged) earlier commit by Allen.
318    (A file was missing).
319    
320    ----------------------------------------------------------------------
321    Name: Allen Leung
322    Date: Mon Mar  5 18:54:57 EST 2001
323    Tag: leunga-20010305-cut-support
324    
325    1. New support for alternative control-flow in MLTREE.
326       Currently we support
327    
328          FLOW_TO(CALL ...., [k1,...,kn])
329    
330       This is needed for 'cuts to' in C-- and try/handle-like constructs
331       in Moby
332    
333       New assembler flag "asm-show-cutsto" to turn on control-flow debugging.
334    
335    2. Register Allocator
336    
337       Changes in interface [from Fermin, John]
338    
339    3. Alpha 8-bit SLL support [Fermin]
340    
341    4. All architectures
342    
343       A new module (ClusterExpandCopies) for expanding parallel copies.
344    
345    ----------------------------------------------------------------------
346    Name: Allen Leung
347    Date: 2001/02/27 23:07:00 EST
348    Tag: leunga-20010227-minor-stuff
349    
350    1. Alpha bug fix for CMOVNE
351    2. Handle mltree COND(..,FCMP ...,...)
352    3. Bug fix in simplifier
353    
354    ----------------------------------------------------------------------
355    Name: Matthias Blume
356    Date: 2001/01/30 17:50:00 EST
357    Tag: blume-20010130-sync
358    Description:
359    
360    This is just a minor update to sync my devel branch with the main brach.
361    The only visible change is the addition of some README files.
362    
363    ----------------------------------------------------------------------
364    Name: Matthias Blume
365    Date: 2001/01/12 23:30:00 JST
366    Tag: blume-20010112-bootfiles
367    Description:
368    
369    Made a new set of bootfiles that goes with the current state of the
370    repository.
371    
372    ----------------------------------------------------------------------
373    Name: Matthias Blume
374    Date: 2001/01/12 21:20:00 JST
375    Tag: blume-20010112-sync
376    Description:
377    
378    I am just flushing out some minor changes that had accumulated in
379    my private branch in order to sync with the main tree.  (This is
380    mainly because I had CVS trouble when trying to merge _into_ my
381    private branch.)
382    
383    Most people should be completely unaffected by this.
384    
385  ----------------------------------------------------------------------  ----------------------------------------------------------------------
386  Name: Allen Leung  Name: Allen Leung
387  Date: Thu Jan 11 21:03:00 EST 2001  Date: Thu Jan 11 21:03:00 EST 2001

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

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