--- sml/trunk/HISTORY 2000/06/29 07:03:20 679 +++ sml/trunk/HISTORY 2000/11/02 07:51:04 715 @@ -11,8 +11,266 @@ Date: Tag: Description: + ---------------------------------------------------------------------- -Name: Matthias Blumen +Name: Matthias Blume +Date: 2000/11/02 17:00:00 JST +Tag: blume-20001102-condcomp +Description: + +- Small tweaks to pickler -- new BOOTFILES! +- Version bumped to 110.29.2. +- Added conditional compilation facility to init.cmi (see comment there). +---------------------------------------------------------------------- +Name: Allen Leung +Date: 2000/10/23 19:31:00 +Tag: leunga-20001023-demo-ra + +1. Minor RA changes that improves spilling on x86 (affects Moby and C-- only) +2. Test programs for the graph library updated +3. Some new MLRISC demo programs added + +---------------------------------------------------------------------- +Name: Matthias Blume +Date: 2000/08/31 22:15:00 JST +Tag: blume-20001017-errmsg +Description: + +More error message grief: Where there used to be no messages, there +now were some that had bogus error regions. Fixed. + +---------------------------------------------------------------------- +Name: Matthias Blume +Date: 2000/08/31 17:30:00 JST +Tag: blume-20001017-v110p29p1 +Description: + +I made a version 110.29.1 with new bootfiles. + +Changes: Modified pickler/unpickler for faster and leaner unpickling. + CM documentation changes and a small bugfix in CM's error reporting. + +---------------------------------------------------------------------- +Name: Lal George +Date: 2000/09/27 14:42:35 EDT +Tag: george-20000927-nodestatus +Description: + +Changed the type of the nodestatus, so that: + + SPILLED(~1) is now SPILLED + SPILLED(m) where m>=0 is now MEMREG(m) + SPILLED(s) where s<~1 is now SPILL_LOC(~s) + +---------------------------------------------------------------------- +Name: Matthias Blume +Date: 2000/09/07 14:45:00 JST +Tag: blume-20000907-cmerrmsg +Description: + +Small tweak to CM to avoid getting ML syntax error messages twice. + +---------------------------------------------------------------------- +Name: Matthias Blume +Date: 2000/08/31 18:00:00 JST +Tag: blume-20000831-cvsbootfiles +Description: + +New URL for boot files (because the 110.29 files on the BL server do +now work correctly with my updated install scripts for yacc and lex). + +---------------------------------------------------------------------- +Name: Matthias Blume +Date: 2000/08/08 12:33:00 JST +Tag: blume-20000808-manual +Description: + +Tiny update to CM manual. + +---------------------------------------------------------------------- +Name: Allen Leung +Date: 2000/08/7 19:31:00 +Tag: leunga-20000807-a-whole-bunch-of-stuff + + Moby, C--, SSA, x86, machine descriptions etc. Should only affect C-- +and Mobdy. + +1. x86 + + a. Fixes to peephole module by John and Dan. + b. Assembly fix to SETcc by Allen. + c. Fix to c-call by John. + d. Fix to spilling by John. (This one deals with the missing FSTPT case) + e. Instruction selection optimization to SETcc as suggested by John. + + For example, + + MV(32, x, COND(32, CMP(32, LT, a, b), LI 1, LI 0)) + + should generate: + + MOVL a, x + SUBL b, x + SHRL 31, x + +2. IR stuff + + A bunch of new DJ-graph related algorithms added. These + speed up SSA construction. + +3. SSA + Scheduling + + Added code for SSA and scheduling to the repository + +---------------------------------------------------------------------- +Name: Lal George +Date: 2000/07/27 11:53:14 EDT + +Tag: lal-20000727-linux-ppc +Description: + + Made changes to support Linux PPC. + p.s. I have confirmation that the 110.29 boot files work fine. + +---------------------------------------------------------------------- +Name: Matthias Blume +Date: 2000/07/27 17:40:00 JST +Tag: blume-20000727-scripts +Description: + +!!!! WARNING !!!! +You must recompile the runtime system! +!!!! WARNING !!!! + +This is basically another round of script-enhancements: + +1. sml, ml-build, and ml-makedepend accept options -D and -U to define + and undefine CM preprocessor symbols. + +2. ml-build avoids generating a new heap image if it finds that the + existing one is still ok. (The condition is that no ML file had to + be recompiled and all ML files are found to be older that the heap + file.) + + To make this work smoothly, I also hacked the runtime system as + well as SMLofNJ.SysInfo to get access to the heap image suffix + (.sparc-solaris, ...) that is currently being used. + + Moreover, the signature of CM.mk_standalone has changed. See the + CM manual. + +3. ml-makedepend accepts additional options -n, -a, and -o. (See the + CM manual for details.) + +4. More CM manual updates: + - all of the above has been documented. + - there is now a section describing the (CM-related) command line + arguments that are accepted by the "sml" command + +---------------------------------------------------------------------- +Name: Matthias Blume +Date: 2000/07/25 16:20:00 JST +Tag: blume-20000725-makedepend +Description: + +Added a script called ml-makedepend. This can be used in makefiles +for Unix' make in a way very similar to the "makedepend" command for +C. + +The script internally uses function CM.sources. + +Synopsis: + + ml-makedepend [-f makefile] cmfile targetname + +The default for the makefile is "makefile" (or "Makefile" should +"makefile" not exist). + +ml-makedepend adds a cmfile/targetname-specific section to this +makefile (after removing the previous version of this section). The +section contains a single dependency specification with targetname on +the LHS (targetname is an arbitrary name), and a list of files derived +from the cmfile on the RHS. Some of the files on the RHS are +ARCH/OPSYS-specific. Therefore, ml-makedepend inserts references to +"make" variables $(ARCH) and $(OPSYS) in place of the corresponding +path names. The makefile writer is responsible for making sure that +these variables have correct at the time "make" is invoked. + +---------------------------------------------------------------------- +Name: Matthias Blume +Date: 2000/07/22 23:30:00 JST +Tag: blume-20000722-urlupdate +Description: + +Changed BOOT and config/srcarchiveurl to point to BL server: + + ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.29/ + +---------------------------------------------------------------------- +Name: Matthias Blume +Date: 2000/07/18 18:00:00 JST +Tag: blume-20000718-Version_110_29 +Description: + +1. Updated src/compiler/TopLevel/main/version.sml to version 110.29 + +2. Updated config/version to 110.29 + +3. Updated config/srcarchiveurl + +3. New boot files! + ftp://ftp.cs.princeton.edu/pub/people/blume/sml/110.29-autofetch + +---------------------------------------------------------------------- +Name: Matthias Blume +Date: 2000/07/11 13:58:00 JST +Tag: blume-20000711-doctypo +Description: + +Fixed a few typos in CM manual. + +---------------------------------------------------------------------- +Name: Allen Leung +Date: 2000/06/15 00:38:00 +Tag: leunga-20000704-sparc-x86 + +1. x86 peephole improvement sp += k; sp -= k => nop [from John] +2. fix to x86 RET bug [found by Dan Grossman] +3. sparc assembly bug fix for ticc instructions [found by Fermin] + + Affects c-- and moby only + +---------------------------------------------------------------------- +Name: Matthias Blume +Date: 2000/07/04 15:26:00 +Tag: blume-20000704-trigger +Description: + +1. Improvements to CM manual. +2. SMLofNJ.Internals.BTrace.trigger reinstated as an alternative way + of getting a back-trace. The function, when called, raises an + internal exception which explicitly carries the full back-trace history, + so it is unaffected by any intervening handle-raise pairs ("trivial" + or not). The interactive loop will print that history once it arrives + at top level. + Short of having all exceptions implicitly carry the full history, the + recommended way of using this facility is: + - compile your program with instrumentation "on" + - run it, when it raises an exception, look at the history + - if the history is "cut off" because of some handler, go and modify + your program so that it explicitly calls BTrace.trigger + - recompile (still instrumented), and rerun; look at the full history + +---------------------------------------------------------------------- +Name: Matthias Blume +Date: 2000/07/03 15:36:00 JST +Tag: blume-20000702-manual +Description: + +Small corrections and updates to CM manual. + +---------------------------------------------------------------------- +Name: Matthias Blume Date: 2000/06/29 16:04:00 JST Tag: blume-20000629-yacctool Description:
Click to toggle
does not end with </html> tag
does not end with </body> tag
The output has ended thus: --- +Name: Matthias Blume Date: 2000/06/29 16:04:00 JST Tag: blume-20000629-yacctool Description: