Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 733, Fri Nov 17 05:13:45 2000 UTC	revision 756, Thu Dec 14 16:01:33 2000 UTC
#	Line 11	Line 11
11	Date:	Date:
12	Tag: <post-commit CVS tag>	Tag: <post-commit CVS tag>
13	Description:	Description:
14		----------------------------------------------------------------------
15		Name: Matthias Blume
16		Date: 2000/12/15 00:01:05 JST
17		Tag: blume-20001215-dirtool
18		Description:
19
20		- "dir" tool added.
21		- improvements and cleanup to Tools structure
22		- documentation updates
23
24		----------------------------------------------------------------------
25		Name: Allen Leung
26		Date: Thu Dec 14 03:45:24 EST 2000
27		Description:
28		Tag:  leunga-20001214-int-inf
29		Description:
30
31		In IntInf, added these standard functions, which are missing from our
32		implementation:
33
34		andb : int * int -> int
35		xorb : int * int -> int
36		orb  : int * int -> int
37		notb : int -> int
38		<<   : int * word -> int
39		~>>  : int * word -> int
40
41		Not tested, I hope they are correct.
42
43		----------------------------------------------------------------------
44		Name: Allen Leung
45		Date: Fri Dec  8 19:23:26 EST 2000
46		Description:
47		Tag:  leunga-20001208-nowhere
48		Description:
49
50		Slight improvements to the 'nowhere' tool to handle OR-patterns,
51		to generate better error messages etc.  Plus a brief manual.
52
53		----------------------------------------------------------------------
54		Name: Lal George
55		Date: 2000/12/08 09:54:02 EST 2000
56		Tag: Release_110_31
57		Description:
58
59		- Version 110.31
60		----------------------------------------------------------------------
61		Name: Allen Leung
62		Date: Thu Dec  7 22:01:04 EST 2000
63		Tag:  leunga-20001207-cell-monster-hack
64		Description:
65
66		Major MLRISC internal changes.  Affect all clients.
67		Summary:
68
69		1.  Type CELLS.cell = int is now replaced by a datatype.
70		As a result, the old regmap is now gone.  Almost all interfaces
71		in MLRISC change as a consequence.
72
73		2.  A new brand version of machine description tool (v3.0) that generates
74		modules expecting the new interface.  The old version is removed.
75
76		3.  The RA interface has been further abstracted into two new functors.
77		RISC_RA and X86RA.  These functors have much simpler interfaces.
78		[See also directory MLRISC/demo.]
79
80		4.  Some other new source->source code generation tools are available:
81
82		a. MLRISC/Tools/RewriteGen -- generate rewriters from rules.
83		b. MLRISC/Tools/WhereGen -- expands conditional pattern matching rules.
84		I use this tool to generate the peephole optimizers---with the new
85		cell type changes, peephole rules are becoming difficult to write
86		without conditional pattern matching.
87
88		5.  More Intmap -> IntHashTable change.  Previous changes by Matthias didn't
89		cover the entire MLRISC source tree so many things broke.
90
91		6.  CM files have been moved to the subdirectory MLRISC/cm.
92		They are moved because there are a lot of them and they clutter up the
93		root dir.
94
95		7.  More detailed documentation to come...
96
97		NOTE: To rebuild from 110.30 (ftp distribution), you'll have to do
98		a makeml -rebuild first.  This is because of other other
99		changes that Matthias has made (see below).
100
101
102		----------------------------------------------------------------------
103		Name: Matthias Blume
104		Date: 2000/11/30 23:12:00 JST
105		Tag: blume-20001130-filereorg
106		Description:
107
108		Some manual updates and some file reorganizations in CM.
109
110		----------------------------------------------------------------------
111		Name: Matthias Blume
112		Date: 2000/11/24 17:45:00 JST
113		Tag: blume-20001124-link
114		Description:
115
116		Drastically improved link traversal code for the case that the dynamic
117		value was already loaded at bootstrap time.  As a result, CM and CMB
118		now both load blazingly fast -- even on a very slow machine.  Also,
119		memory consumption has been further reduced by this.
120
121		Warning: The format of the PIDMAP file has changed.  THerefore, to
122		bootstrap you have to do this:
123
124		1. Run CMB.make
125		2. Make a symbolic link for the boot directory:
126		ln -s sml.boot.ARCH-OS xxx
127		3. "Rebuild" the boot directory:
128		./makeml -boot xxx -rebuild sml ; rm xxx
129		4. Boot normally:
130		./makeml
131
132		----------------------------------------------------------------------
133		Name: Matthias Blume
134		Date: 2000/11/21 21:20:00 JST
135		Tag: blume-20001121-tools
136		Description:
137
138		Continued hacking on autoloading problem -- with success this time.
139		Also changed tool-plugin mechanism.  See new CM manual.
140
141		----------------------------------------------------------------------
142		Name: Matthias Blume
143		Date: 2000/11/19 14:30:00 JST
144		Tag:  blume-20001119-autoload
145		Description:
146
147		Some hacking to make autoloading faster.  Success for CMB, no success
148		so far for CM.  There is a reduced structure CM' that autoloads faster.
149		(This is a temporary, non-documented hack to be eliminated again when
150		the general problem is solved.)
151
152	----------------------------------------------------------------------	----------------------------------------------------------------------
153	Name: Matthias Blume	Name: Matthias Blume

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.733   changed lines   Added in v.756

---

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