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 760, Fri Dec 22 14:15:24 2000 UTC revision 788, Wed Feb 28 04:09:48 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: Allen Leung
17    Date: 2001/02/27 23:07:00 EST
18    Tag: leunga-20010227-minor-stuff
19    
20    1. Alpha bug fix for CMOVNE
21    2. Handle mltree COND(..,FCMP ...,...)
22    3. Bug fix in simplifier
23    
24  ----------------------------------------------------------------------  ----------------------------------------------------------------------
25  Name: Matthias Blume  Name: Matthias Blume
26  Date: 2000/12/22 21:20:00 JST  Date: 2001/01/30 17:50:00 EST
27  Tag: blume-20001222-anchorenv  Tag: blume-20010130-sync
28    Description:
29    
30    This is just a minor update to sync my devel branch with the main brach.
31    The only visible change is the addition of some README files.
32    
33    ----------------------------------------------------------------------
34    Name: Matthias Blume
35    Date: 2001/01/12 23:30:00 JST
36    Tag: blume-20010112-bootfiles
37    Description:
38    
39    Made a new set of bootfiles that goes with the current state of the
40    repository.
41    
42    ----------------------------------------------------------------------
43    Name: Matthias Blume
44    Date: 2001/01/12 21:20:00 JST
45    Tag: blume-20010112-sync
46    Description:
47    
48    I am just flushing out some minor changes that had accumulated in
49    my private branch in order to sync with the main tree.  (This is
50    mainly because I had CVS trouble when trying to merge _into_ my
51    private branch.)
52    
53    Most people should be completely unaffected by this.
54    
55    ----------------------------------------------------------------------
56    Name: Allen Leung
57    Date: Thu Jan 11 21:03:00 EST 2001
58    Tag: leunga-20010111-labexp=mltree
59  Description:  Description:
60    
61    1.  Removed the type LabelExp and replace it by MLTree.
62    2.  Rewritten mltree-simplify with the pattern matcher tool.
63    3.  There were some bugs in alpha code generator which would break
64        64-bit code generation.
65    4.  Redo the tools to generate code with the
66    5.  The CM files in MLRISC (and in src/system/smlnj/MLRISC)
67        are now generated by perl scripts.
68    
69    ----------------------------------------------------------------------
70    Name: Matthias Blume
71    Date: 2001/01/10 21:55:00 JST
72    Tag: blume-20010110-rcc
73    Description:
74    
75    The RCC stuff now seems to work (but only on the x86).
76    This required hacking of the c-calls interface (and -implementation) in
77    MLRISC.
78    
79    Normal compiler users should be unaffected.
80    
81    ----------------------------------------------------------------------
82    Name: Matthias Blume
83    Date: 2001/01/09 01:20:00 JST
84    Tag: blume-20010109-rcc
85    Description:
86    
87    This is a fairly big patch, flushing out a large number of pending
88    changes that I made to my development copy over the last couple of days.
89    
90    Of practical relevance at this moment is a workaround for a pickling
91    bug that Allen ran into the other day.  The cause of the bug itself is
92    still unknown and it might be hard to fix it properly, but the
93    workaround has some merits of its own (namely somewhat reducing pickling
94    overhead for certain libraries).  Therefore, I think this solution should
95    be satisfactory at this time.
96    
97    The rest of the changes (i.e., the vast majority) has to do with my
98    ongoing efforts of providing direct support for C function calls from
99    ML.  At the moment there is a new primop "RAW_CCALL", typing magic
100    in types/cproto.sml (invoked from FLINT/trans/translate.sml), a new
101    case in the FLINT CPS datatype (RCC), changes to cps/convert.sml to
102    translate uses of RAW_CCALL into RCC, and changes to mlriscGen.sml to
103    handle RCC.
104    
105    The last part (the changes to mlriscGen.sml) are still known to be
106    wrong on the x86 and not implemented on all other architectures.  But
107    the infrastructure is in place. I had to change a few functor
108    signatures in the backend to be able to route the CCalls interface
109    from MLRISC there, and I had to specialize the mltree type (on the
110    x86) to include the necessary extensions. (The extensions themselves
111    were already there and redy to go in MLRISC/x86).
112    
113    Everything should be very happy as soon as someone helps me with
114    mlriscGen.sml...
115    
116    In any case, nothing of this should matter to anyone as long as the
117    new primop is not being used (which is going to be the case unless you
118    find it where I hid it :). The rest of the compiler is completely
119    unaffected.
120    
121    ----------------------------------------------------------------------
122    Name: Matthias Blume
123    Date: 2001/01/05 00:30:00 JST
124    Tag: blume-20010105-primops
125    Description:
126    
127    Added some experimental support for work that I am doing right now.
128    These changes mostly concern added primops, but there is also a new
129    experimental C library in the runtime system (but currently not enabled
130    anywhere except on Linux/X86).
131    
132    In the course of adding primops (and playing with them), I discovered that
133    Zhong's INL_PRIM hack (no type info for certain primops) was, in fact, badly
134    broken.  (Zhong was very right he labeled this stuff as "major gross hack".)
135    To recover, I made type information in INL_PRIM mandatory and changed
136    prim.sml as well as built-in.sml accordingly.  The InLine structure now
137    has complete, correct type information (i.e., no bottom types).
138    
139    Since all these changes mean that we need new binfiles, I also bumped the
140    version number to 110.32.1.
141    
142    ----------------------------------------------------------------------
143    Name: Matthias Blume
144    Date: 2000/12/30 22:10:00 JST
145    Tag: blume-20001230-various
146    Description:
147    
148    Added proxy libraries for MLRISC and let MLRISC libraries refer
149    to each other using path anchors.  (See CM manual for explanation.)
150    
151    Updated CM documentation.
152    
153    Fixed some bugs in CM.
154    
155    Implemented "proxy" libraries (= syntactic sugar for CM).
156    
157    Added "-quiet" option to makeml and changed runtime system accordingly.
158    
159    Added cleanup handler for exportML to reset timers and compiler stats.
160    
161    ----------------------------------------------------------------------
162    Name: Lal George
163    Date: 2000/12/22 22:22:58 EST 2000
164    Tag: Release_110_32
165    Description:
166    
167            Infinite precision used throughout MLRISC.
168            see MLRISC/mltree/machine-int.sig
169    
170  ----------------------------------------------------------------------  ----------------------------------------------------------------------
171  Name: Matthias Blume  Name: Matthias Blume
172  Date: 2000/12/22 23:16:00 JST  Date: 2000/12/22 23:16:00 JST
# Line 27  Line 178 
178    
179  ----------------------------------------------------------------------  ----------------------------------------------------------------------
180  Name: Matthias Blume  Name: Matthias Blume
181    Date: 2000/12/22 21:20:00 JST
182    Tag: blume-20001222-anchorenv
183    Description:
184    
185    Fixed CM's handling of anchor environments in connection with CMB.make.
186    
187    ----------------------------------------------------------------------
188    Name: Matthias Blume
189  Date: 2000/12/22 13:15:00 JST  Date: 2000/12/22 13:15:00 JST
190  Tag: blume-20001222-cleanup  Tag: blume-20001222-cleanup
191  Description:  Description:

Legend:
Removed from v.760  
changed lines
  Added in v.788

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