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

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

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