13 |
Description: |
Description: |
14 |
|
|
15 |
---------------------------------------------------------------------- |
---------------------------------------------------------------------- |
16 |
|
Name: Allen Leung (leunga (at) reservoir (dot) com) |
17 |
|
Date: 2004/08/09 12:21:00 EST |
18 |
|
Tag: leunga-110_47-dijsktra |
19 |
|
Description: |
20 |
|
|
21 |
|
Bug fix from Carl Hauser: |
22 |
|
|
23 |
|
single_source_shortest_paths in dijkstra.sml was observed to get wrong |
24 |
|
answers (by comparing to single_source_shortest_paths in bellman-ford.sml). |
25 |
|
|
26 |
|
The problem is that following the expression A.update(dist,s,Num.zero) |
27 |
|
it is necessary to update the priority queue using Q.decreaseWeight(Q,s). |
28 |
|
|
29 |
|
---------------------------------------------------------------------- |
30 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
31 |
|
Date: 2004/08/06 18:10:00 CDT |
32 |
|
Tag: blume-20040806-cmdline |
33 |
|
Description: |
34 |
|
|
35 |
|
Fiddled with handling of command-line options: |
36 |
|
|
37 |
|
* sml now quits after processing the command line |
38 |
|
if -H, -S, -h<n>, or -s<n> appears as the last |
39 |
|
command-line argument |
40 |
|
* a new option -q terminates the session when encountered on |
41 |
|
the command line; subsequent arguments will be ignored |
42 |
|
* bug fixes: short (erroneous) arguments are no longer ignored |
43 |
|
completely |
44 |
|
|
45 |
|
---------------------------------------------------------------------- |
46 |
|
Name: Allen Leung (leunga (at) reservoir (dot) com) |
47 |
|
Date: 2004/08/04 18:17:00 EST |
48 |
|
Tag: leunga-110_47-ppc-ibm-asm |
49 |
|
Description: |
50 |
|
|
51 |
|
- Added minimal IBM assembly syntax support for PowerPC. |
52 |
|
|
53 |
|
- Cygwin: manually changed the file cygwin.def. Some exported symbols have |
54 |
|
been altered in the runtime. We need an automatic way to keep the file |
55 |
|
in sync. |
56 |
|
|
57 |
|
---------------------------------------------------------------------- |
58 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
59 |
|
Date: 2004/08/04 14:00:00 CDT |
60 |
|
Tag: Release_110_47 |
61 |
|
Description: |
62 |
|
|
63 |
|
New working version (110.47). NEW BOOTFILES! |
64 |
|
|
65 |
|
---------------------------------------------------------------------- |
66 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
67 |
|
Date: 2004/08/03 14:25:00 CDT |
68 |
|
Tag: blume-20040803-callingconv |
69 |
|
Description: |
70 |
|
|
71 |
|
Added low-level support for choosing C calling conventions by |
72 |
|
twiddling the type of rawccall. (See |
73 |
|
src/compiler/Semant/types/cproto.sml for details.) |
74 |
|
|
75 |
|
---------------------------------------------------------------------- |
76 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
77 |
|
Date: 2004/08/02 15:55:00 CDT |
78 |
|
Tag: blume-20040802-backout |
79 |
|
Description: |
80 |
|
|
81 |
|
Backed out of change to win32-filesys.c. The earlier patch to |
82 |
|
get_file_time caused CM to produce files with the wrong time stamp. |
83 |
|
|
84 |
|
---------------------------------------------------------------------- |
85 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
86 |
|
Date: 2004/08/02 14:45:00 CDT |
87 |
|
Tag: blume-20040802-nlffi-win32 |
88 |
|
Description: |
89 |
|
|
90 |
|
Added NLFFI support for Win32, adapted from a patch provided by David |
91 |
|
Hansel. This is currently completely untested. Also, the issue |
92 |
|
concerning stdcall vs. ccall is still unresolved. |
93 |
|
|
94 |
|
---------------------------------------------------------------------- |
95 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
96 |
|
Date: 2004/07/30 17:55:00 CDT |
97 |
|
Tag: blume-20040730-various |
98 |
|
Description: |
99 |
|
|
100 |
|
Gearing up towards 110.47... |
101 |
|
|
102 |
|
- various minor bugfixes to ml-nlffigen |
103 |
|
- a beginning of a manual for nlffi |
104 |
|
|
105 |
|
- eliminated 'export name=value' in config/install.sh as this does |
106 |
|
not work with certain versions of /bin/sh |
107 |
|
(Thanks to David King at Motorola for catching this.) |
108 |
|
|
109 |
|
- several bugfixes provided or suggested by David Hansel at Reactive Systems: |
110 |
|
- added a test for tm==NULL to gmtime.c and localtime.c |
111 |
|
- applied patch for incorrect GetFileTime under win32 |
112 |
|
- toSeconds -> toMilliseconds in Win32/win32-process.sml |
113 |
|
|
114 |
|
---------------------------------------------------------------------- |
115 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
116 |
|
Date: 2004/07/21 18:20:00 CDT |
117 |
|
Tag: blume-20040721-nlffigen |
118 |
|
Description: |
119 |
|
|
120 |
|
- Fixed minor issue in ml-nlffigen: Now generate structure T_foo |
121 |
|
for a typedef to an incomplete type, but leave out the "typ" member. |
122 |
|
(This is just for consistency.) |
123 |
|
- Started to produce what is supposed to become better (i.e., comprehensive) |
124 |
|
documentation of what ml-nlffigen does and produces. |
125 |
|
|
126 |
|
---------------------------------------------------------------------- |
127 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
128 |
|
Date: 2004/07/14 16:25:00 CDT |
129 |
|
Tag: blume-20040714-union |
130 |
|
Description: |
131 |
|
|
132 |
|
Added C_UNION to c-calls/c-types.sml and updated the machinery |
133 |
|
(ml-nlffigen, cproto.sml) that conveys C function interface |
134 |
|
information to the code generator. |
135 |
|
|
136 |
|
However, the actual architecture-specific implementation of function |
137 |
|
arguments and results that are C unions is still not implemented. |
138 |
|
|
139 |
|
---------------------------------------------------------------------- |
140 |
|
Name: Allen Leung (leunga (at) reservoir (dot) com) |
141 |
|
Date: 2004/07/14 14:38:00 EST |
142 |
|
Tag: leunga-110_46_1-ppc-lwzu |
143 |
|
Description: |
144 |
|
|
145 |
|
Added these instructions to the PowerPC architecture: |
146 |
|
LBZU(X), LHZU(X), LWZU(X), |
147 |
|
STWU(X), STFDU, STFSU |
148 |
|
|
149 |
|
etc... |
150 |
|
|
151 |
|
Note: I haven't added their instruction encoding into the description. |
152 |
|
|
153 |
|
---------------------------------------------------------------------- |
154 |
|
Name: Allen Leung (leunga (at) reservoir (dot) com) |
155 |
|
Date: 2004/07/13 15:04:00 EST |
156 |
|
Tag: leunga-110_46_1-ppc-lwarx |
157 |
|
Description: |
158 |
|
|
159 |
|
Added the two instructions LWARX and STWCX to the PowerPC |
160 |
|
instruction set. |
161 |
|
|
162 |
|
A (untested) rewrite of loop-structure.sml. The old version |
163 |
|
is completely broken. |
164 |
|
|
165 |
|
---------------------------------------------------------------------- |
166 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
167 |
|
Date: 2004/07/13 13:50:00 CDT |
168 |
|
Tag: blume-20040713-nlffi |
169 |
|
Description: |
170 |
|
|
171 |
|
- use paramAlloc to report c-calls with too many arguments |
172 |
|
(for PPC version where parameter area is pre-allocated) |
173 |
|
- added ccall_maxargspace to machspec (to implement the above) |
174 |
|
- made "make" commend in CM's "make" tool configurable |
175 |
|
- added option (default: on) for passing the name of the SML/NJ's "bin" |
176 |
|
directory to "make"; the call looks like this: |
177 |
|
|
178 |
|
make <options> SMLNJ_BINDIR=<dir> <target> |
179 |
|
|
180 |
|
This can be used by the Makefile to, e.g., pick the "right" version |
181 |
|
of ml-nlffigen. |
182 |
|
- minor code tweaks |
183 |
|
|
184 |
|
---------------------------------------------------------------------- |
185 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
186 |
|
Date: 2004/07/12 22:50:00 CDT |
187 |
|
Tag: blume-110_46_1-macosx-nlffi |
188 |
|
Description: |
189 |
|
|
190 |
|
NLFFI under Mac OS X now working (sort of). This is largely untested, |
191 |
|
though. |
192 |
|
|
193 |
|
Note: 1. You have to make a new, clean build of the runtime system. |
194 |
|
2. There are new BOOTFILES, you have to use them! |
195 |
|
(Doing the bootstrap process yourself would be *very* painful! |
196 |
|
If you absolutely have to do it, build the system under |
197 |
|
a different architecture and then cross-compile.) |
198 |
|
|
199 |
|
Version bumped to 110.46.1 to account for runtime data format changes. |
200 |
|
|
201 |
|
---------------------------------------------------------------------- |
202 |
Name: Matthias Blume (blume (at) tti - c (dot) org) |
Name: Matthias Blume (blume (at) tti - c (dot) org) |
203 |
Date: 2004/06/18 14:30:00 CDT |
Date: 2004/06/18 14:30:00 CDT |
204 |
Tag: blume-20040618-unix |
Tag: blume-20040618-unix |