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 1015, Tue Jan 15 21:46:00 2002 UTC revision 1040, Mon Jan 28 16:55:24 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/28 12:00:00
18    Tag: Release_110_38
19    Description:
20    
21    This time for real!!!
22    
23    ----------------------------------------------------------------------
24    Name: Matthias Blume
25    Date: 2002/01/28 10:56:00 EST
26    Tag: blume-20020128-retraction
27    Description:
28    
29    0. Retracted earlier 110.38.  (The Release_110_38 tag has been replaced
30       with blume-Release_110_38-retracted.)
31    
32    1. Fixed a problem with incorrect rounding modes in real64.sml.
33       (Thanks to Andrew Mccreight <andrew.mccreight@yale.edu>.)
34    
35    2. A bug in ml-nlffigen related to the handling of unnamed structs, unions,
36       and enums fixed.  The naming of corresponding ML identifiers should
37       now be consistent again.
38    
39    ----------------------------------------------------------------------
40    Name: Allen Leung
41    Date: 2002/01/27
42    Tag: leunga-20020127-nowhere
43    Description:
44    
45       Added a target called nowhere in the configuration scripts.
46       Enabling this will build the MLRISC 'nowhere' tool (for translating
47       programs with where-clauses into legal SML code) during installation.
48    
49    ----------------------------------------------------------------------
50    Name: Matthias Blume
51    Date: 2002/01/25 21:27:00 EST
52    Tag: blume-Release_110_38-retracted
53    Description:
54    
55    Call it a (working) release!  Version is 110.38. Bootfiles are ready.
56    
57    README will be added later.
58    
59    !!! NOTE:  Re-tagged as blume-Release_110_38-retracted. Original tag
60    (Release_110_38) removed.  Reason: Last-minute bug fixes.
61    
62    ----------------------------------------------------------------------
63    Name: Matthias Blume
64    Date: 2002/01/25
65    Tag: blume-20020125-ffi
66    Description:
67    
68    A large number of tweaks and improvements to ml-nlffi-lib and
69    ml-nlffigen:
70    
71       - ML represenation types have been streamlined
72       - getter and setter functions work with concrete values, not abstract
73         ones where possible
74       - ml-nlffigen command line more flexible (see README file there)
75       - some bugs have been fixed (hopefully)
76    
77    ----------------------------------------------------------------------
78    Name: Lal George
79    Date: 2002/01/24
80    Tag: george-20020124-risc-ra-interface
81    Description:
82    
83       There is a dramatic simplification in the interface to the
84       register allocator for RISC architectures as a result of making
85       parallel copy instructions explicit.
86    
87    ----------------------------------------------------------------------
88    Name: Matthias Blume
89    Date: 2002/01/22
90    Tag: blume-20020122-x86-ccalls
91    Description:
92    
93    Bug fix for c-calls on x86 (having to do with how char- and
94    short-arguments are being handled).
95    
96    ----------------------------------------------------------------------
97    Name: Matthias Blume
98    Date: 2002/01/21
99    Tag: blume-20020121-ff
100    Description:
101    
102    Another day of fiddling with the FFI...
103    
104    1. Bug fix/workaround:  CKIT does not complain about negative array
105       dimensions, so ml-nlffigen has to guard itself against this possibility.
106       (Otherwise a negative dimension would send it into an infinite loop.)
107    
108    2. Some of the abstract types (light objects, light pointers, most "base"
109       types) in structure C are now eqtypes.
110    
111    3. Added constructors and test functions for NULL function pointers.
112    
113    ----------------------------------------------------------------------
114    Name: Matthias Blume
115    Date: 2002/01/18
116    Tag: blume-20020118-ready-for-new-release
117    Description:
118    
119    Made config/srcarchiveurl point to a new place.  (Will provide boot
120    files shortly.)
121    
122    Maybe we christen this to be 110.38?
123    
124    ----------------------------------------------------------------------
125    Name: Matthias Blume
126    Date: 2002/01/18
127    Tag: blume-20020118-more-ffifiddle
128    Description:
129    
130    Today's FFI fiddling:
131    
132      - Provided a structure CGetSet with "convenient" versions of C.Get.* and
133        C.Set.* that use concrete (MLRep.*) arguments and results instead
134        of abstract ones.
135    
136      - Provided word-style bit operations etc. for "int" representation
137        types in MLRep.S<Foo>Bitops where <Foo> ranges over Char, Int, Short,
138        and Long.
139    
140    ----------------------------------------------------------------------
141    Name: Matthias Blume
142    Date: 2002/01/18
143    Tag: blume-20020118-use-x86-fp
144    Description:
145    
146    Now that x86-fast-fp seems to be working, I turned it back on again
147    by default.  (Seems to work fine now, even with the FFI.)
148    
149    Other than that, I added some documentation about the FFI to
150    src/ml-nlffigen/README and updated the FFI test examples in
151    src/ml-nlffi-lib/Tests/*.
152    
153    ----------------------------------------------------------------------
154    Name: Allen Leung
155    Date: 2002/01/17
156    Tag: leunga-20020117-x86-fast-fp-call
157    Description:
158    
159       1. Fixed a problem with handling return fp values when x86's fast fp
160          mode is turned on.
161    
162       2. Minor pretty printing fix for cellset.  Print %st(0) as %st(0) instead
163          of %f32.
164    
165       3. Added a constructor INT32lit to the ast of MLRISC tools.
166    
167    ----------------------------------------------------------------------
168    Name: Matthias Blume
169    Date: 2002/01/16
170    Tag: blume-20020116-ffifiddle
171    Description:
172    
173    More fiddling with the FFI interface:
174    
175     - Make constness 'c instead of rw wherever possible.  This eliminates
176       the need for certain explicit coercions.  (However, due to ML's
177       value polymorphism, there will still be many cases where explicit
178       coercions are necessary.  Phantom types are not the whole answer
179       to modeling a subtyping relationship in ML.)
180    
181     - ro/rw coersions for pointers added.  (Avoids the detour through */&.)
182    
183     - "printf" test example added to src/ml-nlffi-lib/Tests.  (Demonstrates
184       clumsy workaround for varargs problem.)
185    
186    ----------------------------------------------------------------------
187    Name: Lal George
188    Date: 2002/01/15
189    Tag: <none>
190    Description:
191    
192    1. Since COPY instructions are no longer native to the architecture,
193       a generic functor can be used to implement the expandCopies function.
194    
195    2. Allowed EXPORT and IMPORT pseudo-op declarations to appear inside a
196       TEXT segment.
197    
198  ----------------------------------------------------------------------  ----------------------------------------------------------------------
199  Name: Matthias Blume  Name: Matthias Blume
200  Date: 2002/01/15  Date: 2002/01/15

Legend:
Removed from v.1015  
changed lines
  Added in v.1040

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