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

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