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 1003, Fri Dec 7 02:45:32 2001 UTC revision 1047, Tue Jan 29 21:31:50 2002 UTC
# Line 11  Line 11 
11  Date: yyyy/mm/dd  Date: yyyy/mm/dd
12  Tag: <post-commit CVS tag>  Tag: <post-commit CVS tag>
13  Description:  Description:
14    
15    ----------------------------------------------------------------------
16    Name: Matthias Blume
17    Date: 2002/01/29
18    Tag: blume-20020129-INSTALL
19    Description:
20    
21    - Added somewhat detailed installation instructions (file INSTALL).
22    - Fixed curl-detection bug in config/install.sh.
23    - It is now possible to select the URL getter using the URLGETTER
24      environment variable:
25    
26          not set / "unknown"      --> automatic detection (script tries wget,
27                                       curl, and lynx)
28          "wget" / "curl" / "lynx" --> use the specified program (script "knows"
29                                       how to properly invoke them)
30          other                    --> use $URLGETTER directly, it must take
31                                       precisely two command-line arguments
32                                       (source URL and destination file name)
33    
34    ----------------------------------------------------------------------
35    Name: Matthias Blume
36    Date: 2002/01/28
37    Tag: blume-20020128-sparc-ccalls
38    Description:
39    
40    - Fixed problem with calculation of "used" registers in sparc-c-calls.
41    - Make use of the allocParam argument in sparc-c-calls.
42    
43    ----------------------------------------------------------------------
44    Name: Matthias Blume
45    Date: 2002/01/28
46    Tag: blume-20020128-allocParam
47    Description:
48    
49    John Reppy:  Changes c-calls API to accept client-callback for
50    allocating extra stack space.
51    me: Corresponding changes to mlriscGen (using a dummy argument that
52        does not change the current behavior).
53    
54    ----------------------------------------------------------------------
55    Name: Matthias Blume
56    Date: 2002/01/28 12:00:00
57    Tag: Release_110_38
58    Description:
59    
60    This time for real!!!
61    
62    ----------------------------------------------------------------------
63    Name: Matthias Blume
64    Date: 2002/01/28 10:56:00 EST
65    Tag: blume-20020128-retraction
66    Description:
67    
68    0. Retracted earlier 110.38.  (The Release_110_38 tag has been replaced
69       with blume-Release_110_38-retracted.)
70    
71    1. Fixed a problem with incorrect rounding modes in real64.sml.
72       (Thanks to Andrew Mccreight <andrew.mccreight@yale.edu>.)
73    
74    2. A bug in ml-nlffigen related to the handling of unnamed structs, unions,
75       and enums fixed.  The naming of corresponding ML identifiers should
76       now be consistent again.
77    
78    ----------------------------------------------------------------------
79    Name: Allen Leung
80    Date: 2002/01/27
81    Tag: leunga-20020127-nowhere
82    Description:
83    
84       Added a target called nowhere in the configuration scripts.
85       Enabling this will build the MLRISC 'nowhere' tool (for translating
86       programs with where-clauses into legal SML code) during installation.
87    
88    ----------------------------------------------------------------------
89    Name: Matthias Blume
90    Date: 2002/01/25 21:27:00 EST
91    Tag: blume-Release_110_38-retracted
92    Description:
93    
94    Call it a (working) release!  Version is 110.38. Bootfiles are ready.
95    
96    README will be added later.
97    
98    !!! NOTE:  Re-tagged as blume-Release_110_38-retracted. Original tag
99    (Release_110_38) removed.  Reason: Last-minute bug fixes.
100    
101    ----------------------------------------------------------------------
102    Name: Matthias Blume
103    Date: 2002/01/25
104    Tag: blume-20020125-ffi
105    Description:
106    
107    A large number of tweaks and improvements to ml-nlffi-lib and
108    ml-nlffigen:
109    
110       - ML represenation types have been streamlined
111       - getter and setter functions work with concrete values, not abstract
112         ones where possible
113       - ml-nlffigen command line more flexible (see README file there)
114       - some bugs have been fixed (hopefully)
115    
116    ----------------------------------------------------------------------
117    Name: Lal George
118    Date: 2002/01/24
119    Tag: george-20020124-risc-ra-interface
120    Description:
121    
122       There is a dramatic simplification in the interface to the
123       register allocator for RISC architectures as a result of making
124       parallel copy instructions explicit.
125    
126    ----------------------------------------------------------------------
127    Name: Matthias Blume
128    Date: 2002/01/22
129    Tag: blume-20020122-x86-ccalls
130    Description:
131    
132    Bug fix for c-calls on x86 (having to do with how char- and
133    short-arguments are being handled).
134    
135    ----------------------------------------------------------------------
136    Name: Matthias Blume
137    Date: 2002/01/21
138    Tag: blume-20020121-ff
139    Description:
140    
141    Another day of fiddling with the FFI...
142    
143    1. Bug fix/workaround:  CKIT does not complain about negative array
144       dimensions, so ml-nlffigen has to guard itself against this possibility.
145       (Otherwise a negative dimension would send it into an infinite loop.)
146    
147    2. Some of the abstract types (light objects, light pointers, most "base"
148       types) in structure C are now eqtypes.
149    
150    3. Added constructors and test functions for NULL function pointers.
151    
152    ----------------------------------------------------------------------
153    Name: Matthias Blume
154    Date: 2002/01/18
155    Tag: blume-20020118-ready-for-new-release
156    Description:
157    
158    Made config/srcarchiveurl point to a new place.  (Will provide boot
159    files shortly.)
160    
161    Maybe we christen this to be 110.38?
162    
163    ----------------------------------------------------------------------
164    Name: Matthias Blume
165    Date: 2002/01/18
166    Tag: blume-20020118-more-ffifiddle
167    Description:
168    
169    Today's FFI fiddling:
170    
171      - Provided a structure CGetSet with "convenient" versions of C.Get.* and
172        C.Set.* that use concrete (MLRep.*) arguments and results instead
173        of abstract ones.
174    
175      - Provided word-style bit operations etc. for "int" representation
176        types in MLRep.S<Foo>Bitops where <Foo> ranges over Char, Int, Short,
177        and Long.
178    
179    ----------------------------------------------------------------------
180    Name: Matthias Blume
181    Date: 2002/01/18
182    Tag: blume-20020118-use-x86-fp
183    Description:
184    
185    Now that x86-fast-fp seems to be working, I turned it back on again
186    by default.  (Seems to work fine now, even with the FFI.)
187    
188    Other than that, I added some documentation about the FFI to
189    src/ml-nlffigen/README and updated the FFI test examples in
190    src/ml-nlffi-lib/Tests/*.
191    
192    ----------------------------------------------------------------------
193    Name: Allen Leung
194    Date: 2002/01/17
195    Tag: leunga-20020117-x86-fast-fp-call
196    Description:
197    
198       1. Fixed a problem with handling return fp values when x86's fast fp
199          mode is turned on.
200    
201       2. Minor pretty printing fix for cellset.  Print %st(0) as %st(0) instead
202          of %f32.
203    
204       3. Added a constructor INT32lit to the ast of MLRISC tools.
205    
206    ----------------------------------------------------------------------
207    Name: Matthias Blume
208    Date: 2002/01/16
209    Tag: blume-20020116-ffifiddle
210    Description:
211    
212    More fiddling with the FFI interface:
213    
214     - Make constness 'c instead of rw wherever possible.  This eliminates
215       the need for certain explicit coercions.  (However, due to ML's
216       value polymorphism, there will still be many cases where explicit
217       coercions are necessary.  Phantom types are not the whole answer
218       to modeling a subtyping relationship in ML.)
219    
220     - ro/rw coersions for pointers added.  (Avoids the detour through */&.)
221    
222     - "printf" test example added to src/ml-nlffi-lib/Tests.  (Demonstrates
223       clumsy workaround for varargs problem.)
224    
225    ----------------------------------------------------------------------
226    Name: Lal George
227    Date: 2002/01/15
228    Tag: <none>
229    Description:
230    
231    1. Since COPY instructions are no longer native to the architecture,
232       a generic functor can be used to implement the expandCopies function.
233    
234    2. Allowed EXPORT and IMPORT pseudo-op declarations to appear inside a
235       TEXT segment.
236    
237    ----------------------------------------------------------------------
238    Name: Matthias Blume
239    Date: 2002/01/15
240    Tag: blume-20020115-ffiupdates
241    Description:
242    
243    1. Fix for bug resulting in single-precision float values being returned
244       incorrectly from FFI calls.
245    
246    2. Small modifications to C FFI API:
247    
248        - memory-allocation routines return straight objects (no options)
249          and raise an exception in out-of-memory situations
250        - unsafe extensions to cast between function pointers and pointers
251          from/to ints
252        - added structure C_Debug as an alternative to structure C where
253          pointer-dereferencing (|*| and |*!) always check for null-pointers
254        - added open_lib' to DynLinkage;  open_lib' works like open_lib
255          but also takes a (possibly empty) list of existing library handles
256          that the current library depends on
257    
258    ----------------------------------------------------------------------
259    Name: Matthias Blume
260    Date: 2002/01/10
261    Tag: blume-20020110-newffigen
262    Description:
263    
264    1. Updates to portable graph code.
265    
266    2. Major update to ml-nlffigen and ml-nlffi-lib.  Things are much
267       more scalable now so that even huge interfaces such as the one
268       for GTK compile in finite time and space. :-)
269       See src/ml-nlffigen/README for details on what's new.
270    
271    ----------------------------------------------------------------------
272    Name: Lal George
273    Date: 2001/01/09 14:31:35 EST 2002
274    Tag: george-20011206-rm-native-copy
275    Description:
276    
277            Removed the native COPY and FCOPY instructions
278            from all the architectures and replaced it with the
279            explicit COPY instruction from the previous commit.
280    
281            It is now possible to simplify many of the optimizations
282            modules that manipulate copies. This has not been
283            done in this change.
284    
285  ----------------------------------------------------------------------  ----------------------------------------------------------------------
286  Name: Lal George  Name: Lal George
287  Date: 2001/12/06 16:50:13 EST 2001  Date: 2001/12/06 16:50:13 EST 2001

Legend:
Removed from v.1003  
changed lines
  Added in v.1047

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