Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Log of /sml/trunk
ViewVC logotype

Log of /sml/trunk

View Directory Listing Directory Listing


Sticky Revision:

Revision 1181 - Directory Listing
Modified Wed Mar 27 21:27:27 2002 UTC (17 years, 6 months ago) by blume
provided MLRISC support for all four division ops (div/mod/quot/rem)

Revision 1180 - Directory Listing
Modified Tue Mar 26 22:24:24 2002 UTC (17 years, 6 months ago) by blume
improved implementation of div, mod, and rem

Revision 1179 - Directory Listing
Modified Tue Mar 26 03:04:46 2002 UTC (17 years, 7 months ago) by blume
fixed bug in cproto

Revision 1178 - Directory Listing
Modified Mon Mar 25 20:51:48 2002 UTC (17 years, 7 months ago) by blume
raw-primop cleanup

Revision 1177 - Directory Listing
Modified Mon Mar 25 16:49:18 2002 UTC (17 years, 7 months ago) by jhr
  Minor fixes to get the block list in a consistent form.

Revision 1176 - Directory Listing
Modified Mon Mar 25 16:07:39 2002 UTC (17 years, 7 months ago) by george
  inserted block with a single jump instruction to break multiple fallthroughs

Revision 1175 - Directory Listing
Modified Mon Mar 25 03:38:44 2002 UTC (17 years, 7 months ago) by blume
made a new set of bootfiles

Revision 1174 - Directory Listing
Modified Sat Mar 23 21:14:40 2002 UTC (17 years, 7 months ago) by leunga

    Added some new primops for creating/manipulating temporary "C" objects
    allocated on the ml heap.

Revision 1173 - Directory Listing
Modified Sat Mar 23 04:18:51 2002 UTC (17 years, 7 months ago) by george
Edge colors  during graphical viewing is based on
execution frequency of the edge. I used the same
color scale employed in yahoo weather maps.

Revision 1172 - Directory Listing
Modified Fri Mar 22 20:42:01 2002 UTC (17 years, 7 months ago) by jhr
  Added newNode function.

Revision 1171 - Directory Listing
Modified Fri Mar 22 20:41:43 2002 UTC (17 years, 7 months ago) by george
 fixed some of my typos

Revision 1170 - Directory Listing
Modified Fri Mar 22 19:58:50 2002 UTC (17 years, 7 months ago) by blume
added missing file

Revision 1169 - Directory Listing
Modified Fri Mar 22 19:22:15 2002 UTC (17 years, 7 months ago) by jhr
  Fix to handle fallsthru edges to block 0.

Revision 1168 - Directory Listing
Modified Fri Mar 22 19:19:32 2002 UTC (17 years, 7 months ago) by george
Implemented the Ball-Larus branch prediction-heuristic, and
incorporated graphical viewers for control flow graphs.

Ball-Larus Heuristic:
---------------------
See the file compiler/CodeGen/cpscompile/cpsBranchProb.sml.

By design it uses the Dempster-Shafer theory for combining
probabilities.  For example, in the function:

    fun f(n,acc) = if n = 0 then acc else f(n-1, n*acc)

the ball-larus heuristics predicts that the n=0 is unlikely
(OH-heuristic), and the 'then' branch is unlikely because of the
RH-heuristic -- giving the 'then' branch an even lower combined
probability using the Dempster-Shater theory.

Finally, John Reppy's loop analysis in MLRISC, further lowers the
probability of the 'then' branch because of the loop in the else
branch.


Graphical Viewing:
------------------
I merely plugged in Allen's graphical viewers into the compiler. The
additional code is not much. At the top level, saying:

	Control.MLRISC.getFlag "cfg-graphical-view" := true;

will display the graphical view of the control flow graph just before
back-patching.  daVinci must be in your path for this to work. If
daVinci is not available, then the default viewer can be changed
using:

	Control.MLRISC.getString "viewer"

which can be set to "dot" or "vcg" for the corresponding viewers. Of
course, these viewers must be in your path.

The above will display the compilation unit at the level of clusters,
many of which are small, boring, and un-interesting. Also setting:

	Control.MLRISC.getInt "cfg-graphical-view_size"

will display clusters that are larger than the value set by the above.

Revision 1167 - Directory Listing
Modified Fri Mar 22 17:14:46 2002 UTC (17 years, 7 months ago) by george
  rewrote the cfg dump to use CFG.dump

Revision 1166 - Directory Listing
Modified Fri Mar 22 16:59:28 2002 UTC (17 years, 7 months ago) by jhr
  Check EXIT edges too.

Revision 1165 - Directory Listing
Modified Fri Mar 22 16:31:37 2002 UTC (17 years, 7 months ago) by george
 treat entry and exit nodes specially

Revision 1164 - Directory Listing
Modified Fri Mar 22 15:32:57 2002 UTC (17 years, 7 months ago) by jhr
  Use CFG.entry and CFG.exit functions.

Revision 1163 - Directory Listing
Modified Fri Mar 22 15:32:30 2002 UTC (17 years, 7 months ago) by jhr
  Added code to check JUMP and BRANCH true edges.

Revision 1162 - Directory Listing
Modified Fri Mar 22 15:16:46 2002 UTC (17 years, 7 months ago) by jhr
  Added methods to get unique entry and exit blocks.

Revision 1161 - Directory Listing
Modified Fri Mar 22 14:24:48 2002 UTC (17 years, 7 months ago) by jhr
  New file.

Revision 1160 - Directory Listing
Modified Fri Mar 22 14:24:36 2002 UTC (17 years, 7 months ago) by jhr
  New file -- debugging code to check correctness of block placements.

Revision 1159 - Directory Listing
Modified Fri Mar 22 03:18:24 2002 UTC (17 years, 7 months ago) by blume
kmp bugfix

Revision 1158 - Directory Listing
Modified Fri Mar 22 01:21:25 2002 UTC (17 years, 7 months ago) by leunga
     Improvements to cfg

Revision 1157 - Directory Listing
Modified Thu Mar 21 22:33:35 2002 UTC (17 years, 7 months ago) by jhr
  New default block placement that respects edge kinds.

Revision 1156 - Directory Listing
Modified Thu Mar 21 22:01:11 2002 UTC (17 years, 7 months ago) by leunga

     Bug fixes and improvements to x86 and cfg

Revision 1155 - Directory Listing
Modified Wed Mar 20 20:52:51 2002 UTC (17 years, 7 months ago) by blume
KMP for string/substring matching

Revision 1154 - Directory Listing
Modified Wed Mar 20 20:44:43 2002 UTC (17 years, 7 months ago) by jhr
Switch probability module to use IntInf.

Revision 1153 - Directory Listing
Modified Wed Mar 20 19:04:04 2002 UTC (17 years, 7 months ago) by jhr
  Added not function and modified combineProb2 to avoid potential
  overflow.

Revision 1152 - Directory Listing
Modified Tue Mar 19 21:36:30 2002 UTC (17 years, 7 months ago) by blume
implemented generic conversions in ml-nlffi-lib based on witness values

Revision 1151 - Directory Listing
Modified Mon Mar 18 18:41:31 2002 UTC (17 years, 7 months ago) by jhr
  Fixed flag names for dumping CFG.

Revision 1150 - Directory Listing
Modified Sat Mar 16 20:00:46 2002 UTC (17 years, 7 months ago) by jhr
  Fixed LEH (got the sense backwards).

Revision 1149 - Directory Listing
Modified Sat Mar 16 19:55:14 2002 UTC (17 years, 7 months ago) by jhr
  New version implements both Loop Branch and Look Exit heuristics.

Revision 1148 - Directory Listing
Modified Fri Mar 15 21:38:57 2002 UTC (17 years, 7 months ago) by blume
provided missing String and Substring functions

Revision 1147 - Directory Listing
Modified Fri Mar 15 03:40:35 2002 UTC (17 years, 7 months ago) by jhr
  Added functor for computing loop-related branch probabilities.

Revision 1146 - Directory Listing
Modified Fri Mar 15 03:39:44 2002 UTC (17 years, 7 months ago) by jhr
  Added copyright.

Revision 1145 - Directory Listing
Modified Fri Mar 15 02:30:53 2002 UTC (17 years, 7 months ago) by blume
moved Controls module into its own library;
changed Controls interface to make it saner;
made MLRISC independent of Controls;
minor changes to CM

Revision 1144 - Directory Listing
Modified Thu Mar 14 19:53:15 2002 UTC (17 years, 7 months ago) by jhr
  Added a function (combineProb2) for computing the combination of
  probability estimates using Dempster-Shafer theory.

Revision 1143 - Directory Listing
Modified Thu Mar 14 15:35:19 2002 UTC (17 years, 7 months ago) by jhr
  Allen's fixes to maintain frequency information.

Revision 1142 - Directory Listing
Modified Wed Mar 13 22:25:37 2002 UTC (17 years, 7 months ago) by leunga

    X86 code generator did not correctly signal the ra to run.

Revision 1141 - Directory Listing
Modified Wed Mar 13 19:37:54 2002 UTC (17 years, 7 months ago) by george
  adapted to new jump chaining interface

Revision 1140 - Directory Listing
Modified Wed Mar 13 18:59:03 2002 UTC (17 years, 7 months ago) by blume
bug in installer fixed; overload tweaks

Revision 1139 - Directory Listing
Modified Wed Mar 13 18:40:51 2002 UTC (17 years, 7 months ago) by jhr
  Added flags to functor parameters to control hte behavior of the
  algorithm.  The reverseDirection flag is currently a nop.

Revision 1138 - Directory Listing
Modified Wed Mar 13 03:03:50 2002 UTC (17 years, 7 months ago) by blume
BOOT and srcarchiveurl

Revision 1137 - Directory Listing
Modified Tue Mar 12 22:28:55 2002 UTC (17 years, 7 months ago) by blume
implemented better, simpler PID allocation scheme;
binfile format has changed, version number is 110.39.2; NEW BOOTFILES

Revision 1136 - Directory Listing
Modified Tue Mar 12 19:44:02 2002 UTC (17 years, 7 months ago) by george
Integrated jump chaining and static block frequency into the
compiler. More details and numbers later.

Revision 1135 - Directory Listing
Modified Tue Mar 12 16:09:26 2002 UTC (17 years, 7 months ago) by jhr
  Added functor to compute block and edge frequencies from edge
  probabilities.

Revision 1134 - Directory Listing
Modified Tue Mar 12 03:59:21 2002 UTC (17 years, 7 months ago) by george
  pick between default and weighted block placement

Revision 1133 - Directory Listing
Modified Tue Mar 12 03:56:23 2002 UTC (17 years, 7 months ago) by george
Tested the jump chain elimination on all architectures (except the
hppa).  This is on by default right now and is profitable for the
alpha and x86, however, it may not be profitable for the sparc and ppc
when compiling the compiler.

The gc test will typically jump to a label at the end of the cluster,
where there is another jump to an external cluster containing the actual
code to invoke gc. This is to allow factoring of common gc invocation
sequences. That is to say, we generate:

	f:
	   testgc
	   ja	L1	% jump if above to L1

	L1:
	   jmp L2


After jump chain elimination the 'ja L1' instructions is converted to
'ja L2'. On the sparc and ppc, many of the 'ja L2' instructions may end
up being implemented in their long form (if L2 is far away) using:

	jbe	L3	% jump if below or equal to L3
        jmp 	L2
     L3:
	...


For large compilation units L2  may be far away.

Revision 1132 - Directory Listing
Modified Mon Mar 11 18:32:50 2002 UTC (17 years, 7 months ago) by blume
fixed problem with missing functor parameter

Revision 1131 - Directory Listing
Modified Mon Mar 11 15:20:52 2002 UTC (17 years, 7 months ago) by leunga

     ML's empty string "" now points to a legal null terminated C string.

Revision 1130 - Directory Listing
Modified Mon Mar 11 04:49:41 2002 UTC (17 years, 7 months ago) by leunga
      Machine code generation for CALL (relative displacement mode)

Revision 1129 - Directory Listing
Modified Sat Mar 9 03:21:44 2002 UTC (17 years, 7 months ago) by jhr
  Fixed jump chaining bug.  Indentation fixes.

Revision 1128 - Directory Listing
Modified Fri Mar 8 21:05:27 2002 UTC (17 years, 7 months ago) by blume
implemented entry points; NEW BOOTFILES

Revision 1127 - Directory Listing
Modified Fri Mar 8 01:35:33 2002 UTC (17 years, 7 months ago) by leunga
      Bug fixes for CMOVcc on x86

Revision 1126 - Directory Listing
Modified Thu Mar 7 21:16:28 2002 UTC (17 years, 7 months ago) by blume
implemented generic Controls module and used it for
all compiler flags/tuneable knobs/...;
more command-line options accepted (for setting the above controls);
some minor bug fixes

Revision 1125 - Directory Listing
Modified Thu Mar 7 21:04:13 2002 UTC (17 years, 7 months ago) by jhr
  Changed representation of probabilities and frequencies.

Revision 1124 - Directory Listing
Modified Thu Mar 7 19:49:22 2002 UTC (17 years, 7 months ago) by george
Tested the weighted block placement optimization on all architectures
(except the hppa) using AMPL to generate the block and edge frequencies.
Changes were required in the machine properties to correctly
categorize trap instructions. There is an MLRISC flag
"weighted-block-placement" that can be used to enable weighted block
placement, but this will be ineffective without block/edge
frequencies (coming soon).

Revision 1123 - Directory Listing
Modified Thu Mar 7 19:13:25 2002 UTC (17 years, 7 months ago) by monnier
*** empty log message ***

Revision 1122 - Directory Listing
Modified Thu Mar 7 19:13:17 2002 UTC (17 years, 7 months ago) by monnier
(FSplit.split.stfn): Check "split all" before checking
"split nothing" in case the TFN has nothing but RET[v].

Revision 1121 - Directory Listing
Modified Wed Mar 6 19:58:56 2002 UTC (17 years, 7 months ago) by blume
fixed downstream problems caused by those Freq type change in MLRISC

Revision 1120 - Directory Listing
Modified Wed Mar 6 17:16:36 2002 UTC (17 years, 7 months ago) by jhr
  Simplified the fcond type in ml-tree-basis.  Put in a temporary
  fix for a type error in weighted-block-placement-fn.sml.

Revision 1119 - Directory Listing
Modified Wed Mar 6 15:52:44 2002 UTC (17 years, 7 months ago) by jhr
  Better error messages.

Revision 1118 - Directory Listing
Modified Wed Mar 6 15:30:25 2002 UTC (17 years, 7 months ago) by jhr
  Added dumpBlock printing routine.

Revision 1117 - Directory Listing
Modified Wed Mar 6 15:29:24 2002 UTC (17 years, 7 months ago) by jhr
  Uncommented support for FCMP in mltree-gen.sml (this required making
  the Cells structure a functor parameter).

Revision 1116 - Directory Listing
Modified Tue Mar 5 23:17:18 2002 UTC (17 years, 7 months ago) by george
In order to support the block placement optimization, the first
cluster that is generated (called the linkage cluster) contains a jump
to the entry point for the compilation unit. The linkage cluster
contains only one 'function', so block placement will have no effect on
the linkage cluster itself, but all the other clusters have full
freedom in the manner in which they reorder blocks or functions.

On the x86 the typical linkage code that is generated is:
   ----------------------
	.align 2
   L0:
        addl    $L1-L0, 72(%esp)
        jmp     L0


        .align  2
   L1:
   ----------------------

72(%esp) is the memory location for the stdlink register. This
must contain the address of the CPS function being called. In the
above example, it contains the address of  L0; before
calling L1 (the real entry point for the compilation unit), it
must contain the address for L1, and hence

	addl $L1-L0, 72(%esp)

I have tested this on all architectures except the hppa.The increase
in code size is of course negligible.

Revision 1115 - Directory Listing
Modified Sun Mar 3 18:16:31 2002 UTC (17 years, 7 months ago) by leunga

   Added #[ ... ] expressions to the mlrisc-tools library

Revision 1114 - Directory Listing
Modified Fri Mar 1 21:05:07 2002 UTC (17 years, 7 months ago) by jhr
  Added comment.

Revision 1113 - Directory Listing
Modified Fri Mar 1 16:57:47 2002 UTC (17 years, 7 months ago) by jhr
  Dump CFG in block placement order.

Revision 1112 - Directory Listing
Modified Fri Mar 1 15:53:14 2002 UTC (17 years, 7 months ago) by george
bug fixes

Revision 1111 - Directory Listing
Modified Fri Mar 1 14:57:13 2002 UTC (17 years, 7 months ago) by jhr
  Removed use of polymorphic equality.

Revision 1110 - Directory Listing
Modified Fri Mar 1 14:07:58 2002 UTC (17 years, 7 months ago) by jhr
  Switch to using probabilities (instead of ints) for BRANCH_PROB annotation.

Revision 1109 - Directory Listing
Modified Fri Mar 1 13:56:06 2002 UTC (17 years, 7 months ago) by jhr
  New implementation of probabilities.

Revision 1108 - Directory Listing
Modified Fri Mar 1 04:46:54 2002 UTC (17 years, 7 months ago) by george
  removed extra blank line when printing annotations in assembly code

Revision 1107 - Directory Listing
Modified Thu Feb 28 20:03:26 2002 UTC (17 years, 7 months ago) by jhr
  Documentation update.

Revision 1106 - Directory Listing
Modified Thu Feb 28 19:58:04 2002 UTC (17 years, 7 months ago) by jhr
  Fixed bugs and added control flags.

Revision 1105 - Directory Listing
Modified Thu Feb 28 19:57:47 2002 UTC (17 years, 7 months ago) by jhr
  Added control flags.

Revision 1104 - Directory Listing
Modified Thu Feb 28 19:56:53 2002 UTC (17 years, 7 months ago) by jhr
  Added dump function to CFG module (this can replace the PrintFlowgraph
  functor).

Revision 1103 - Directory Listing
Modified Thu Feb 28 19:29:30 2002 UTC (17 years, 7 months ago) by jhr
  Removing unused (and incomplete) file.

Revision 1102 - Directory Listing
Modified Thu Feb 28 18:47:42 2002 UTC (17 years, 7 months ago) by george
fix exit edge labels

Revision 1101 - Directory Listing
Modified Thu Feb 28 17:35:18 2002 UTC (17 years, 7 months ago) by jhr
  Fixed type error.

Revision 1100 - Directory Listing
Modified Thu Feb 28 17:33:42 2002 UTC (17 years, 7 months ago) by jhr
  Implemented negateConditional.

Revision 1099 - Directory Listing
Modified Thu Feb 28 16:50:25 2002 UTC (17 years, 7 months ago) by jhr
  The INTO instruction should be marked as an escaping jump.

Revision 1098 - Directory Listing
Modified Wed Feb 27 17:29:47 2002 UTC (17 years, 7 months ago) by blume
made types in C and C_Debug coincide; simplifications

Revision 1096 - Directory Listing
Modified Tue Feb 26 16:59:02 2002 UTC (17 years, 7 months ago) by blume
fix problem with CM noweb tool;
reworked FFI: enum types;
              the (non-)distinction between incomplete and complete types

Revision 1095 - Directory Listing
Modified Tue Feb 26 13:20:40 2002 UTC (17 years, 7 months ago) by leunga
    Backedge method.

Revision 1094 - Directory Listing
Modified Mon Feb 25 09:58:56 2002 UTC (17 years, 7 months ago) by leunga

    A new CPS spill phase.  Compilation of large structures with over
1000 items can now finish before the heat death of the universe.

Revision 1093 - Directory Listing
Modified Sat Feb 23 02:42:15 2002 UTC (17 years, 8 months ago) by george
*** empty log message ***

Revision 1092 - Directory Listing
Modified Sat Feb 23 02:34:14 2002 UTC (17 years, 8 months ago) by george
My earlier commits to install the cfgView were not tested,
however they broke the various CM files used to build the compiler.
This commit is just to fix the problem and I will do a major cleanup
later. Sorry if you stumbled on this.

Revision 1091 - Directory Listing
Modified Fri Feb 22 23:09:26 2002 UTC (17 years, 8 months ago) by jhr
  Added jump-chain elimination and weighted block placement.

Revision 1090 - Directory Listing
Modified Fri Feb 22 23:08:46 2002 UTC (17 years, 8 months ago) by jhr
  Added jump-chain elimination and fixed type errors in block placement.

Revision 1089 - Directory Listing
Modified Fri Feb 22 23:07:19 2002 UTC (17 years, 8 months ago) by jhr
  Expanded comment.

Revision 1088 - Directory Listing
Modified Fri Feb 22 23:04:11 2002 UTC (17 years, 8 months ago) by jhr
  Added comments.

Revision 1087 - Directory Listing
Modified Fri Feb 22 11:51:01 2002 UTC (17 years, 8 months ago) by george
added a graphical visualization module for cfg

Revision 1086 - Directory Listing
Modified Fri Feb 22 05:56:29 2002 UTC (17 years, 8 months ago) by leunga
      Minor fix to mlrisc-tools's parser

Revision 1085 - Directory Listing
Modified Fri Feb 22 00:15:55 2002 UTC (17 years, 8 months ago) by leunga
    Regenerated these files.  They didn't compile.

Revision 1084 - Directory Listing
Modified Thu Feb 21 18:52:44 2002 UTC (17 years, 8 months ago) by jhr
  Removed SIDEEXIT edge kind and HYPER block kind.  Added FLOWSTO edge kind.

Revision 1083 - Directory Listing
Modified Thu Feb 21 18:52:10 2002 UTC (17 years, 8 months ago) by jhr
  New file: implementation of Pettis-Hansen block placement.

Revision 1082 - Directory Listing
Modified Thu Feb 21 18:50:56 2002 UTC (17 years, 8 months ago) by jhr
  Changed specification of negateConditional.

Revision 1081 - Directory Listing
Modified Thu Feb 21 15:28:03 2002 UTC (17 years, 8 months ago) by jhr
  Sync with master copy.

Revision 1080 - Directory Listing
Modified Wed Feb 20 01:28:00 2002 UTC (17 years, 8 months ago) by leunga
   Typo

Revision 1079 - Directory Listing
Modified Wed Feb 20 01:16:15 2002 UTC (17 years, 8 months ago) by leunga
    Minor bug fixes to the mlrisc-tools library

Revision 1078 - Directory Listing
Modified Tue Feb 19 21:26:48 2002 UTC (17 years, 8 months ago) by blume
a mix of changes to CM and FFI

Revision 1077 - Directory Listing
Modified Tue Feb 19 15:48:50 2002 UTC (17 years, 8 months ago) by blume
forgot to edit CHANGES file

Revision 1076 - Directory Listing
Modified Tue Feb 19 15:47:18 2002 UTC (17 years, 8 months ago) by blume
applied bug fix for PQ implementation

Revision 1074 - Directory Listing
Modified Fri Feb 15 22:17:39 2002 UTC (17 years, 8 months ago) by blume
typo fixed

Revision 1073 - Directory Listing
Modified Fri Feb 15 22:07:38 2002 UTC (17 years, 8 months ago) by blume
last-minute bug fix for installer script

Revision 1069 - Directory Listing
Modified Fri Feb 15 21:00:05 2002 UTC (17 years, 8 months ago) by blume
Working release, version 110.39

Revision 1068 - Directory Listing
Modified Fri Feb 15 19:18:00 2002 UTC (17 years, 8 months ago) by blume
added CM.State.showBindings (and EnvRef.listBoundSymbols)

Revision 1067 - Directory Listing
Modified Fri Feb 15 17:08:17 2002 UTC (17 years, 8 months ago) by blume
ml-nlffigen: cpif mechanism and iptr repository implemented

Revision 1066 - Directory Listing
Modified Thu Feb 14 16:50:02 2002 UTC (17 years, 8 months ago) by blume
added additional phantom type constructor to ml-nlffi-lib.cm(tag.sml)

Revision 1065 - Directory Listing
Modified Thu Feb 14 15:05:16 2002 UTC (17 years, 8 months ago) by george
Fixed the MLRISC bug sent by Markus Wenzel regarding the compilation
of Isabelle on the x86.

From Allen:
-----------
 I've found the problem:

     in ra-core.sml, I use the counter "blocked" to keep track of the
     true number of elements in the freeze queue.  When the counter goes
     to zero, I skip examining the queue.  But I've messed up the
     bookkeeping in combine():

         else ();
         case !ucol of
           PSEUDO => (if !cntv > 0 then
                 (if !cntu > 0 then blocked := !blocked - 1 else ();
                                    ^^^^^^^^^^^^^^^^^^^^^^^
                  moveu := mergeMoveList(!movev, !moveu)
                 )
              else ();

     combine() is called to coalesce two nodes u and v.
     I think I was thinking that if the move counts of u and v are both
     greater than zero then after they are coalesced then one node is
     removed from the freeze queue.  Apparently I was thinking that
     both u and v are of low degree, but that's clearly not necessarily true.


02/12/2002:
    Here's the patch.  HOL now compiles.

    I don't know how this impact on performance (compile
    time or runtime).  This bug caused the RA (especially on the x86)
    to go thru the potential spill phase when there are still nodes on the
    freeze queue.

Revision 1064 - Directory Listing
Modified Thu Feb 14 03:40:24 2002 UTC (17 years, 8 months ago) by blume
bug fix for ml-nlffigen (fptr-rtti-)

Revision 1063 - Directory Listing
Modified Wed Feb 13 21:41:53 2002 UTC (17 years, 8 months ago) by blume
added prio-q exports to CML version of smlnj-lib.cm

Revision 1062 - Directory Listing
Modified Wed Feb 13 21:15:14 2002 UTC (17 years, 8 months ago) by blume
ml-nlffigen updates; minor Basis updates

Revision 1061 - Directory Listing
Modified Tue Feb 12 22:21:13 2002 UTC (17 years, 8 months ago) by jhr
  Added priority queue implementation.

Revision 1060 - Directory Listing
Modified Mon Feb 11 20:55:09 2002 UTC (17 years, 8 months ago) by blume
added -gensym option to ml-nlffigen

Revision 1059 - Directory Listing
Modified Mon Feb 11 17:05:33 2002 UTC (17 years, 8 months ago) by blume
minor fix for a problem with GenSML

Revision 1058 - Directory Listing
Modified Fri Feb 8 20:02:56 2002 UTC (17 years, 8 months ago) by blume
110.38.1; new bootfiles; new PID generation scheme; installer improvements

Revision 1057 - Directory Listing
Modified Fri Feb 8 17:31:02 2002 UTC (17 years, 8 months ago) by george
  regenerated x86Peephole.sml

Revision 1056 - Directory Listing
Modified Thu Feb 7 21:05:19 2002 UTC (17 years, 8 months ago) by jhr
  Use isZeroLE in the definition of isZero.

Revision 1055 - Directory Listing
Modified Thu Feb 7 20:38:59 2002 UTC (17 years, 8 months ago) by george
Compilers that generate assembly code may produce  global labels
whose value is resolved at link time. The various peephole optimization
modules did not take this in account.

TODO. The Labels.addrOf function should really return an option
type so that clients are forced to deal with this issue, rather
than an exception being raised.

Revision 1054 - Directory Listing
Modified Wed Feb 6 19:27:27 2002 UTC (17 years, 8 months ago) by george
  small ommission in the last commit

Revision 1053 - Directory Listing
Modified Wed Feb 6 19:11:13 2002 UTC (17 years, 8 months ago) by george
   Pulled out various utility modules that were embedded in the modules
   of the register allocator. I need these modules for other purposes, but
   they are not complete enough to put into a library (just yet).

Revision 1052 - Directory Listing
Modified Wed Feb 6 04:04:48 2002 UTC (17 years, 8 months ago) by george
  A bug fix from Allen.

  A typo causes extra fstp %st(0)'s to be generated at compensation
edges, which might cause stack underflow traps at runtime.  This
occurs in fft where there are extraneous fstps right before the 'into'
trap instruction (in this case they are harmless since none of the
integers overflow.)

Revision 1051 - Directory Listing
Modified Fri Feb 1 15:04:17 2002 UTC (17 years, 8 months ago) by george
Alignment directives were only recognized as being
text segment directives.

Revision 1050 - Directory Listing
Modified Fri Feb 1 12:23:19 2002 UTC (17 years, 8 months ago) by george
  added support for the comment pseudo op

Revision 1049 - Directory Listing
Modified Thu Jan 31 21:03:49 2002 UTC (17 years, 8 months ago) by blume
two small bug fixes: sparc c-calls and ml-nlffigen

Revision 1048 - Directory Listing
Modified Thu Jan 31 06:36:17 2002 UTC (17 years, 8 months ago) by leunga

     MLRISC bug fixes.  MachineInt.fromString was negating its value.

Revision 1047 - Directory Listing
Modified Tue Jan 29 21:31:50 2002 UTC (17 years, 8 months ago) by blume
INSTALL instructions added; install script improved

Revision 1045 - Directory Listing
Modified Mon Jan 28 22:13:13 2002 UTC (17 years, 8 months ago) by blume
bug fix and minor improvement to sparc-c-calls

Revision 1044 - Directory Listing
Modified Mon Jan 28 21:36:08 2002 UTC (17 years, 8 months ago) by blume
c-calls API modification: paramAlloc callback

Revision 1043 - Directory Listing
Modified Mon Jan 28 21:26:03 2002 UTC (17 years, 8 months ago) by jhr
  Added hooks for parameter-area management by client to CCalls API.
  Currently, these hooks are not being used.

Revision 1040 - Directory Listing
Modified Mon Jan 28 16:55:24 2002 UTC (17 years, 8 months ago) by blume
Now For Real(tm):  Release_110_38

Revision 1039 - Directory Listing
Modified Mon Jan 28 15:57:11 2002 UTC (17 years, 8 months ago) by blume
110.38 RETRACTED; bug fixes (real64 and FFI)

Revision 1038 - Directory Listing
Modified Mon Jan 28 00:18:03 2002 UTC (17 years, 8 months ago) by leunga
     The 'nowhere' program generator (which translates programs
     with where clauses into legal SML) is now an installation target.

Revision 1037 - Directory Listing
Modified Sat Jan 26 02:27:14 2002 UTC (17 years, 8 months ago) by blume
Release_110_38

Revision 1036 - Directory Listing
Modified Fri Jan 25 22:05:44 2002 UTC (17 years, 8 months ago) by blume
more FFI tweaks and improvements

Revision 1035 - Directory Listing
Modified Thu Jan 24 19:07:18 2002 UTC (17 years, 9 months ago) by leunga
    Minor lexer bug fixed

Revision 1034 - Directory Listing
Modified Thu Jan 24 05:53:53 2002 UTC (17 years, 9 months ago) by george
*** empty log message ***

Revision 1033 - Directory Listing
Modified Thu Jan 24 05:45:18 2002 UTC (17 years, 9 months ago) by george
   There is a dramatic simplification in the interface to the
   register allocator for RISC architectures as a result of making
   parallel copy instructions explicit.

Revision 1032 - Directory Listing
Modified Tue Jan 22 16:59:16 2002 UTC (17 years, 9 months ago) by blume
fix for x86 c-call bug

Revision 1031 - Directory Listing
Modified Mon Jan 21 22:15:18 2002 UTC (17 years, 9 months ago) by blume
FFI bug fixes and small interface enhancements

Revision 1030 - Directory Listing
Modified Fri Jan 18 21:45:37 2002 UTC (17 years, 9 months ago) by blume
re-pointed config/srcarchiveurl

Revision 1029 - Directory Listing
Modified Fri Jan 18 21:42:35 2002 UTC (17 years, 9 months ago) by blume
more FFI fiddling

Revision 1028 - Directory Listing
Modified Fri Jan 18 18:57:53 2002 UTC (17 years, 9 months ago) by blume
turned x86-fp on

Revision 1027 - Directory Listing
Modified Fri Jan 18 15:50:59 2002 UTC (17 years, 9 months ago) by jhr
  Fixed label formatting bug.

Revision 1026 - Directory Listing
Modified Fri Jan 18 14:54:17 2002 UTC (17 years, 9 months ago) by jhr
  More pseudo-op fixes; added first-cut at MacOS X assembler support.

Revision 1025 - Directory Listing
Modified Thu Jan 17 20:31:51 2002 UTC (17 years, 9 months ago) by leunga
     Fixed a problem with the handling of CALLs in x86's "fast fp" mode.

Revision 1024 - Directory Listing
Modified Thu Jan 17 19:30:59 2002 UTC (17 years, 9 months ago) by jhr
  Added Allen's fix for the FP register allocator.

Revision 1023 - Directory Listing
Modified Thu Jan 17 14:02:05 2002 UTC (17 years, 9 months ago) by jhr
  Fixing formatting of pseudo-ops.

Revision 1022 - Directory Listing
Modified Thu Jan 17 13:39:45 2002 UTC (17 years, 9 months ago) by jhr
  Fixed generated comment syntax to use C syntax (not SML!).

Revision 1021 - Directory Listing
Modified Wed Jan 16 20:33:57 2002 UTC (17 years, 9 months ago) by blume
more fiddling with the FFI interface

Revision 1020 - Directory Listing
Modified Wed Jan 16 19:25:17 2002 UTC (17 years, 9 months ago) by george
  When building the control flowgraph, both comments and labels
  are sensitive to the current  segment (TEXT/non-TEXT) being
  built.

Revision 1019 - Directory Listing
Modified Wed Jan 16 18:34:31 2002 UTC (17 years, 9 months ago) by george
bug fix for external/import declarations

Revision 1018 - Directory Listing
Modified Wed Jan 16 17:21:14 2002 UTC (17 years, 9 months ago) by george
Bug fixes:

  1. Emit a .text at the beginning of an assembly listing.

  2. Implement the ASCIIZ pseudo-op using .ascii and String.toCString.

Revision 1017 - Directory Listing
Modified Wed Jan 16 14:48:16 2002 UTC (17 years, 9 months ago) by george
  fixed various bugs with emitting pseudo-ops

Revision 1016 - Directory Listing
Modified Tue Jan 15 23:10:06 2002 UTC (17 years, 9 months ago) by george
1. Since COPY instructions are no longer native to the architecture,
   a generic functor can be used to implement the expandCopies function.

2. Allowed EXPORT and IMPORT pseudo-op declarations to appear inside a
   TEXT segment.

Revision 1015 - Directory Listing
Modified Tue Jan 15 21:46:00 2002 UTC (17 years, 9 months ago) by blume
updates/bug fixes to FFI

Revision 1014 - Directory Listing
Modified Tue Jan 15 16:32:43 2002 UTC (17 years, 9 months ago) by jhr
  Added code for BSS and SPACE pseudo-ops.

Revision 1013 - Directory Listing
Modified Tue Jan 15 16:23:15 2002 UTC (17 years, 9 months ago) by jhr
  Added copyrights.

Revision 1012 - Directory Listing
Modified Tue Jan 15 16:16:39 2002 UTC (17 years, 9 months ago) by george
  added BSS and SPACE as basic pseudo-ops

Revision 1011 - Directory Listing
Modified Thu Jan 10 20:22:04 2002 UTC (17 years, 9 months ago) by blume
updates to pgraph and, more importantly, to NLFFI

Revision 1010 - Directory Listing
Modified Wed Jan 9 21:27:48 2002 UTC (17 years, 9 months ago) by blume
version file updated (config dir)

Revision 1009 - Directory Listing
Modified Wed Jan 9 19:44:22 2002 UTC (17 years, 9 months ago) by george
	Removed the native COPY and FCOPY instructions
	from all the architectures and replaced it with the
	explicit COPY instruction from the previous commit.

	It is now possible to simplify many of the optimizations
	modules that manipulate copies. This has not been
	done in this change.

Revision 1008 - Directory Listing
Modified Fri Dec 14 21:01:29 2001 UTC (17 years, 10 months ago) by shao
*** empty log message ***

Revision 1007 - Directory Listing
Modified Fri Dec 14 16:00:02 2001 UTC (17 years, 10 months ago) by shao
*** empty log message ***

Revision 1006 - Directory Listing
Modified Fri Dec 14 15:27:50 2001 UTC (17 years, 10 months ago) by shao
*** empty log message ***

Revision 1005 - Directory Listing
Modified Sat Dec 8 07:24:04 2001 UTC (17 years, 10 months ago) by leunga

    Updated peephole modules to match latest MLTREE and instruction
    representation.

Revision 1004 - Directory Listing
Modified Sat Dec 8 00:12:29 2001 UTC (17 years, 10 months ago) by george
 committed missing file

Revision 1003 - Directory Listing
Modified Fri Dec 7 02:45:32 2001 UTC (17 years, 10 months ago) by george
Changed the representation of instructions from being fully abstract
to being partially concrete. That is to say:

  from
	type instruction

  to
	type instr				(* machine instruction *)

	datatype instruction =
	    LIVE of {regs: C.cellset, spilled: C.cellset}
          | KILL of {regs: C.cellset, spilled: C.cellset}
          | COPYXXX of {k: CB.cellkind, dst: CB.cell list, src: CB.cell list}
          | ANNOTATION of {i: instruction, a: Annotations.annotation}
          | INSTR of instr

This makes the handling of certain special instructions that appear on
all architectures easier and uniform.

LIVE and KILL say that a list of registers are live or killed at the
program point where they appear. No spill code is generated when an
element of the 'regs' field is spilled, but the register is moved to
the 'spilled' (which is present, more for debugging than anything else).

LIVE replaces the (now deprecated) DEFFREG instruction on the alpha.
We used to generate:

	DEFFREG f1
	f1 := f2 + f3
        trapb

but now generate:

	f1 := f2 + f3
	trapb
	LIVE {regs=[f1,f2,f3], spilled=[]}

Furthermore, the DEFFREG (hack) required that all floating point instruction
use all registers mentioned in the instruction. Therefore f1 := f2 + f3,
defines f1 and uses [f1,f2,f3]! This hack is no longer required resulting
in a cleaner alpha implementation. (Hopefully, intel will not get rid of
this architecture).

COPYXXX is intended to replace the parallel COPY and FCOPY  available on
all the architectures. This will result in further simplification of the
register allocator that must be aware of them for coalescing purposes, and
will also simplify certain aspects of the machine description that provides
callbacks related to parallel copies.

ANNOTATION should be obvious, and now INSTR represents the honest to God
machine instruction set!

The <arch>/instructions/<arch>Instr.sml files define certain utility
functions for making porting easier -- essentially converting upper case
to lower case. All machine instructions (of type instr) are in upper case,
and the lower case form generates an MLRISC instruction. For example on
the alpha we have:

  datatype instr =
     LDA of {r:cell, b:cell, d:operand}
   | ...

  val lda : {r:cell, b:cell, d:operand} -> instruction
    ...

where lda is just (INSTR o LDA), etc.

Revision 1000 - Directory Listing
Modified Wed Nov 28 14:50:42 2001 UTC (17 years, 10 months ago) by george
Simplified the algorithm used to reach a fixpoint.
This should have been part of 110.37 but I couldn't
get it to work until Allen pointed out the fix.

Revision 999 - Directory Listing
Modified Tue Nov 27 06:28:37 2001 UTC (17 years, 10 months ago) by leunga

1. Made the stuff in MLRISC/Tools compile with the new pseudo ops changes.
2. Packaged the stuff in MLRISC/Tools as a library during installation.

Revision 995 - Directory Listing
Modified Fri Nov 23 21:02:11 2001 UTC (17 years, 11 months ago) by blume
added HTML version of README

Revision 993 - Directory Listing
Modified Fri Nov 23 02:37:10 2001 UTC (17 years, 11 months ago) by blume
Release 110.37 -- this time for real.

Revision 992 - Directory Listing
Modified Thu Nov 22 16:29:06 2001 UTC (17 years, 11 months ago) by george
 endian related functions

Revision 991 - Directory Listing
Modified Thu Nov 22 14:25:12 2001 UTC (17 years, 11 months ago) by george
  Fixed a bug on non-x86 architectures related to backpatching
  and the new pseudo-ops.

Revision 990 - Directory Listing
Modified Wed Nov 21 22:26:14 2001 UTC (17 years, 11 months ago) by blume
removed obsolete item from README

Revision 989 - Directory Listing
Modified Wed Nov 21 22:18:32 2001 UTC (17 years, 11 months ago) by blume
added README for 110.37

Revision 988 - Directory Listing
Modified Wed Nov 21 21:37:47 2001 UTC (17 years, 11 months ago) by blume
postponed 110.37 because of serious bug

Revision 987 - Directory Listing
Modified Wed Nov 21 21:14:44 2001 UTC (17 years, 11 months ago) by blume
added forgotten .tex-file

Revision 986 - Directory Listing
Modified Wed Nov 21 21:03:17 2001 UTC (17 years, 11 months ago) by blume
Release 110.37 -- see HISTORY

Revision 985 - Directory Listing
Modified Wed Nov 21 19:09:12 2001 UTC (17 years, 11 months ago) by george
  Implemented a complete redesign of MLRISC pseudo-ops. Now there
  ought to never be any question of incompatabilities with
  pseudo-op syntax expected by host assemblers.

  For now, only modules supporting GAS syntax are implemented
  but more should follow, such as MASM, and vendor assembler
  syntax, e.g. IBM as, Sun as, etc.

Revision 984 - Directory Listing
Modified Wed Nov 21 19:00:08 2001 UTC (17 years, 11 months ago) by george
  Implemented a complete redesign of MLRISC pseudo-ops. Now there
  ought to never be any question of incompatabilities with
  pseudo-op syntax expected by host assemblers.

  For now, only modules supporting GAS syntax are implemented
  but more should follow, such as MASM, and vendor assembler
  syntax, e.g. IBM as, Sun as, etc.

Revision 981 - Directory Listing
Modified Wed Nov 21 18:41:49 2001 UTC (17 years, 11 months ago) by george
Initial revision

Revision 977 - Directory Listing
Modified Wed Nov 14 16:53:16 2001 UTC (17 years, 11 months ago) by blume
srcname routed to mlriscgen;
more fiddling with pgraph (portable library graph) code

Revision 976 - Directory Listing
Modified Wed Nov 14 14:54:03 2001 UTC (17 years, 11 months ago) by george
  Fix for a backpatching bug reported by Allen.

  Because the boundary between short and long span-dependent
  instructions is +/- 128, there are an astounding number of
  span-dependent instructions whose size is over estimated.

  Allen came up with the idea of letting the size of span
  dependent instructions be non-monotonic, for a maxIter
  number of times, after which the size must be monotonically
  increasing.

  This table shows the number of span-dependent instructions
  whose size was over-estimated as a function of maxIter, for the
  file Parse/parse/ml.grm.sml:

     maxIter		# of instructions:
 	10			687
 	20			438
 	30			198
        40			  0

  In compiling the compiler, there is no significant difference in
  compilation speed between maxIter=10 and maxIter=40. Actually,
  my measurements showed that maxIter=40 was a tad faster than
  maxIter=10! Also 96% of the  files in the compiler reach a fix
  point within 13 iterations, so fixing maxIter at 40, while high,
  is okay.

Revision 975 - Directory Listing
Modified Wed Oct 31 20:22:44 2001 UTC (17 years, 11 months ago) by blume
updates to CKIT, CM, NLFFI, and scripts (see HISTORY)

Revision 974 - Directory Listing
Modified Sun Oct 28 03:29:04 2001 UTC (17 years, 11 months ago) by leunga

     Fixed parsing of <pat> : <ty> and <exp> : <ty>

Revision 973 - Directory Listing
Modified Sun Oct 28 00:44:05 2001 UTC (17 years, 11 months ago) by leunga

   Improved pretty printing of sml ast

Revision 972 - Directory Listing
Modified Sun Oct 28 00:37:02 2001 UTC (17 years, 11 months ago) by leunga

  Fixed the x86 c call fp bug described in blume-20010920-slowfp

Revision 967 - Directory Listing
Modified Fri Oct 19 20:19:39 2001 UTC (18 years ago) by jhr
  Synchronizing with master copy of library.

Revision 961 - Directory Listing
Modified Tue Oct 16 15:32:39 2001 UTC (18 years ago) by blume
HISTORY entry for netbsd patch

Revision 960 - Directory Listing
Modified Tue Oct 16 15:30:50 2001 UTC (18 years ago) by blume
commited netbsd underscore patch from Chris Richards

Revision 959 - Directory Listing
Modified Fri Oct 12 21:21:41 2001 UTC (18 years ago) by george
X86RA now uses a valid (instead of dummy) PrintFlowgraph module.
Changes from Allen.

Revision 958 - Directory Listing
Modified Fri Oct 12 03:54:43 2001 UTC (18 years ago) by george
The representation of a program point never expected to see more
than 65536 instructions in a basic block!

Revision 952 - Directory Listing
Modified Tue Oct 9 14:00:40 2001 UTC (18 years ago) by george
*** empty log message ***

Revision 951 - Directory Listing
Modified Tue Oct 9 13:54:40 2001 UTC (18 years ago) by george
Updated input to PERL scripts used to generate
MLRISC cm files.

Revision 950 - Directory Listing
Modified Fri Oct 5 20:10:46 2001 UTC (18 years ago) by jhr
  Changed defineLabel to report an error is one tries to define the same
  label twice in the same cluster.

Revision 949 - Directory Listing
Modified Fri Oct 5 01:30:26 2001 UTC (18 years ago) by george
 fix in assembly output converting mov to set

Revision 943 - Directory Listing
Modified Fri Sep 28 19:42:01 2001 UTC (18 years ago) by jhr
  Fixed CM files so that CKit builds under 110.0.7.

Revision 942 - Directory Listing
Modified Thu Sep 27 23:40:38 2001 UTC (18 years ago) by george
 removed ir.cm from RA.cm

Revision 941 - Directory Listing
Modified Thu Sep 27 21:24:02 2001 UTC (18 years ago) by jhr
  Commented out mention of ir.cm, which is probably obsolete.

Revision 940 - Directory Listing
Modified Thu Sep 27 20:31:52 2001 UTC (18 years ago) by monnier
(fcexp.fcFix.fcEta): Fix typo.

Revision 939 - Directory Listing
Modified Tue Sep 25 19:25:48 2001 UTC (18 years ago) by blume
made exnName and exnMessage a bit more robust wrt. ml-build

Revision 938 - Directory Listing
Modified Thu Sep 20 21:27:33 2001 UTC (18 years, 1 month ago) by blume
x86-fast-fp turned off again

Revision 937 - Directory Listing
Modified Thu Sep 20 21:20:28 2001 UTC (18 years, 1 month ago) by blume
minor cleanup of pathname handling in CM
as well as argument handling by the driver shell script

Revision 936 - Directory Listing
Modified Thu Sep 20 19:47:11 2001 UTC (18 years, 1 month ago) by george
Updated input to PERL scripts used to generate
MLRISC cm files.

Revision 935 - Directory Listing
Modified Wed Sep 19 20:14:52 2001 UTC (18 years, 1 month ago) by george
Installed patch from Allen to track compiler
environment changes that affect MLRISC/Tools.

Revision 934 - Directory Listing
Modified Wed Sep 19 19:49:39 2001 UTC (18 years, 1 month ago) by george
  cleanup

Revision 933 - Directory Listing
Modified Wed Sep 19 19:31:19 2001 UTC (18 years, 1 month ago) by george
  cleanup

Revision 932 - Directory Listing
Modified Tue Sep 18 19:35:32 2001 UTC (18 years, 1 month ago) by blume
added README files

Revision 931 - Directory Listing
Modified Tue Sep 18 19:09:27 2001 UTC (18 years, 1 month ago) by monnier
(sml-tyvarseq-re): Fix typo.

Revision 929 - Directory Listing
Modified Tue Sep 18 15:48:42 2001 UTC (18 years, 1 month ago) by blume
fixed mistake in config/preloads; retagged

Revision 928 - Directory Listing
Modified Tue Sep 18 13:38:46 2001 UTC (18 years, 1 month ago) by blume
version 110.36

Revision 927 - Directory Listing
Modified Fri Sep 14 20:19:53 2001 UTC (18 years, 1 month ago) by blume
set x86-fast-fp to true by default

Revision 926 - Directory Listing
Modified Fri Sep 14 15:49:15 2001 UTC (18 years, 1 month ago) by jhr
  Added show_edge to exported values.

Revision 925 - Directory Listing
Modified Fri Sep 14 15:26:29 2001 UTC (18 years, 1 month ago) by jhr
Added Allen's x86-fp.sml fix

Revision 924 - Directory Listing
Modified Fri Sep 14 15:13:26 2001 UTC (18 years, 1 month ago) by jhr
Added Allen's CFG fixes

Revision 923 - Directory Listing
Modified Thu Sep 13 15:19:18 2001 UTC (18 years, 1 month ago) by blume
minimal version of structure Compiler

Revision 922 - Directory Listing
Modified Wed Sep 12 20:45:53 2001 UTC (18 years, 1 month ago) by monnier
(loopify.lexp.cfun): Don't forget to empty TFS when TCP is not true.

Revision 921 - Directory Listing
Modified Tue Sep 11 23:20:45 2001 UTC (18 years, 1 month ago) by monnier
Typo

Revision 920 - Directory Listing
Modified Tue Aug 28 18:03:37 2001 UTC (18 years, 1 month ago) by blume
HISTORY (fix for bug 1581)

Revision 919 - Directory Listing
Modified Tue Aug 28 18:00:10 2001 UTC (18 years, 1 month ago) by blume
fix for bug 1581

Revision 918 - Directory Listing
Modified Mon Aug 27 15:18:01 2001 UTC (18 years, 1 month ago) by blume
fleshed out README file

Revision 916 - Directory Listing
Modified Fri Aug 24 21:13:58 2001 UTC (18 years, 2 months ago) by blume
Release_110_35

Revision 915 - Directory Listing
Modified Fri Aug 24 18:21:00 2001 UTC (18 years, 2 months ago) by george
 fixed author of changes

Revision 912 - Directory Listing
Modified Fri Aug 24 18:12:36 2001 UTC (18 years, 2 months ago) by george
Initial revision

Revision 911 - Directory Listing
Modified Fri Aug 24 18:11:00 2001 UTC (18 years, 2 months ago) by george
renaming ir to ir-archive

Revision 910 - Directory Listing
Modified Fri Aug 24 18:00:59 2001 UTC (18 years, 2 months ago) by george
missing files

Revision 909 - Directory Listing
Modified Fri Aug 24 17:48:53 2001 UTC (18 years, 2 months ago) by george
removed clusters from MLRISC

Revision 906 - Directory Listing
Modified Fri Aug 24 17:36:40 2001 UTC (18 years, 2 months ago) by george
Initial revision

Revision 905 - Directory Listing
Modified Thu Aug 23 21:53:02 2001 UTC (18 years, 2 months ago) by blume
updates to environments, envrefs, interactive loop

Revision 904 - Directory Listing
Modified Mon Aug 20 19:50:05 2001 UTC (18 years, 2 months ago) by blume
fixed a minor slipup

Revision 903 - Directory Listing
Modified Mon Aug 20 19:34:06 2001 UTC (18 years, 2 months ago) by blume
library debugprof.cm extracted

Revision 902 - Directory Listing
Modified Wed Aug 15 21:17:05 2001 UTC (18 years, 2 months ago) by blume
new organization of compiler libraries

Revision 901 - Directory Listing
Modified Tue Aug 14 19:21:17 2001 UTC (18 years, 2 months ago) by george
  Converted sml/nj files to use the new CellSet

Revision 900 - Directory Listing
Modified Tue Aug 14 15:10:12 2001 UTC (18 years, 2 months ago) by jhr
  Moved CellSets from Cells to CellsBasis.

Revision 899 - Directory Listing
Modified Mon Aug 13 21:14:31 2001 UTC (18 years, 2 months ago) by jhr
  More CellsBasis changes for files not used by SML/NJ compiler.

Revision 898 - Directory Listing
Modified Mon Aug 13 17:44:08 2001 UTC (18 years, 2 months ago) by blume
committed Zhongs fix

Revision 897 - Directory Listing
Modified Fri Aug 10 17:55:15 2001 UTC (18 years, 2 months ago) by george
bug fix in spilling imull instructions

Revision 896 - Directory Listing
Modified Tue Jul 31 14:09:49 2001 UTC (18 years, 2 months ago) by george
*** empty log message ***

Revision 895 - Directory Listing
Modified Tue Jul 31 14:09:21 2001 UTC (18 years, 2 months ago) by george
    There was a bug where call instructions would mysteriously
    vanish. The call instruction had to be one that returned
    a floating point value.

Revision 894 - Directory Listing
Modified Fri Jul 20 13:52:33 2001 UTC (18 years, 3 months ago) by monnier
*** empty log message ***

Revision 893 - Directory Listing
Modified Fri Jul 20 13:51:05 2001 UTC (18 years, 3 months ago) by monnier
*** empty log message ***

Revision 892 - Directory Listing
Modified Fri Jul 20 13:47:33 2001 UTC (18 years, 3 months ago) by monnier
(sml-rightalign-and): New defcustom.
(sml-tyvarseq-re): New var.
(sml-font-lock-keywords): Use it.
(sml-imenu-create-index): Don't get confused by tyvarseq's.
(sml-mode-variables): Don't set `comment-column'.
(sml-funname-of-and): New function.
(sml-electric-pipe): Use it.
(sml-find-comment-indent): Try to ignore comment-markers in strings.
(sml-calculate-indentation): Handle closing parens specially.
(sml-indent-pipe): Recognize the case where `and' defines a datatype.
(sml-dangling-sym): Make it work if the symbol is an open-paren.
(sml-indent-default): Change the behavior when preceded by `end',
although I'm not quite sure why.
Understand dangling open-parens.
Properly skip *all* subexpressions of lower precedence.
Allow use of sml-symbol-indent to outdent lines starting with , or ;.
(sml-insert-form): Use preceding-char to avoid bug at bobp.

Revision 891 - Directory Listing
Modified Thu Jul 19 22:19:15 2001 UTC (18 years, 3 months ago) by monnier
(sml-mode-menu): Add an explicit t for always-active.
(sml-symbol-indent): Add entries for , and ; and turn into defcustom.

Revision 890 - Directory Listing
Modified Thu Jul 19 20:38:56 2001 UTC (18 years, 3 months ago) by george
I have dramatically simplified the interface for CELLS in MLRISC.

In summary, the cells interface is broken up into three parts:

  1. CellsBasis : CELLS_BASIS

	CellsBasis is a top level structure and common for all
        architectures.  it contains the definitions of basic datatypes
        and utility  functions over these types.

  2. functor Cells() : CELLS

	Cells generates an interface for CELLS that incorporates the
	specific resources on the target architecture, such as the
	presence of special register classes, their number and size,
	and various useful substructures.

  3. <ARCH>CELLS

	e.g. SparcCells: SPARCCELLS

        <ARCH>CELLS usually contains additional bindings for special
	registers  on the architecture, such as:

		val r0 : cell		(* register zero *)
		val y : cell		(* Y register *)
		val psr : cell		(* processor status register *)
		...

        The structure returned by applying the Cells functor is opened
        in this interface.

The main implication of all this is that the datatypes for cells is
split between CellsBasis and CELLS -- a fairly simple change for user
code.

In the old scheme the CELLS interface had a definitional binding of
the form:

	signature CELLS = sig

 	   structure CellsBasis = CellsBasis

	   ...

        end

With all the sharing constraints that goes on in MLRISC, this old
design  quickly leads to errors such as:

	"structure definition spec inside of sharing ... "


and appears to require an unacceptable amount of sharing and where
constraint hackery.

I think this error message (the interaction of definitional specs and
sharing) requires more explanation on our web page.

Revision 889 - Directory Listing
Modified Thu Jul 19 20:35:20 2001 UTC (18 years, 3 months ago) by george
Substantial simplification in the CELLS interface

Revision 888 - Directory Listing
Modified Thu Jul 19 20:24:21 2001 UTC (18 years, 3 months ago) by monnier
(sml-proc-buffer): Save excursion when calling run-sml.

Revision 887 - Directory Listing
Modified Thu Jul 19 20:18:58 2001 UTC (18 years, 3 months ago) by monnier
*** empty log message ***

Revision 886 - Directory Listing
Modified Thu Jul 19 20:16:51 2001 UTC (18 years, 3 months ago) by monnier
(sml-mode-menu): Fix activation of `start compiler'.

Revision 885 - Directory Listing
Modified Thu Jul 19 20:13:07 2001 UTC (18 years, 3 months ago) by monnier
(sml-syntax-prec): Split ; and , from `in' and `with'.

Revision 884 - Directory Listing
Modified Thu Jul 19 20:12:28 2001 UTC (18 years, 3 months ago) by monnier
Put the entry in `Emacs' rather than `Editors'.

Revision 883 - Directory Listing
Modified Thu Jul 19 20:12:02 2001 UTC (18 years, 3 months ago) by monnier
(BuildArch): Simplify call to `install-info'.

Revision 882 - Directory Listing
Modified Thu Jul 19 20:11:12 2001 UTC (18 years, 3 months ago) by monnier
(sml-mode-menu): Add an explicit t for always-active.

Revision 881 - Directory Listing
Modified Thu Jul 19 20:07:53 2001 UTC (18 years, 3 months ago) by monnier
Add more stuff.  It might help for Emacs-19.34.

Revision 880 - Directory Listing
Modified Thu Jul 19 20:07:09 2001 UTC (18 years, 3 months ago) by monnier
(test): Use elisp files in current dir.

Revision 879 - Directory Listing
Modified Thu Jul 19 18:59:38 2001 UTC (18 years, 3 months ago) by blume
extensive organizational changes

Revision 878 - Directory Listing
Modified Wed Jul 18 17:43:27 2001 UTC (18 years, 3 months ago) by monnier
Some new cases from Makholm Henning.

Revision 876 - Directory Listing
Modified Wed Jul 11 15:42:20 2001 UTC (18 years, 3 months ago) by blume
minor tweaks to 110.34 (and re-tagged)

Revision 875 - Directory Listing
Modified Tue Jul 10 21:19:41 2001 UTC (18 years, 3 months ago) by blume
working version 110.34

Revision 874 - Directory Listing
Modified Mon Jul 9 20:01:40 2001 UTC (18 years, 3 months ago) by blume
handling of varargs made more robust (and different)

Revision 873 - Directory Listing
Modified Mon Jul 9 15:26:20 2001 UTC (18 years, 3 months ago) by blume
made ml-nlffigen handle varargs functions with a bit more grace;
some minor internal improvements to CM

Revision 854 - Directory Listing
Modified Wed Jun 27 19:11:38 2001 UTC (18 years, 3 months ago) by blume
bug in CM fixed (related to compile servers)

Revision 853 - Directory Listing
Modified Tue Jun 26 20:13:50 2001 UTC (18 years, 3 months ago) by blume
typo fixed in CM manual

Revision 852 - Directory Listing
Modified Tue Jun 26 02:56:11 2001 UTC (18 years, 3 months ago) by blume
fixed nasty X86 assembly bug

Revision 847 - Directory Listing
Modified Mon Jun 25 16:11:22 2001 UTC (18 years, 4 months ago) by blume
HISTORY

Revision 846 - Directory Listing
Modified Mon Jun 25 16:06:46 2001 UTC (18 years, 4 months ago) by blume
bug fixes for ml-nlffigen

Revision 845 - Directory Listing
Modified Thu Jun 21 16:25:49 2001 UTC (18 years, 4 months ago) by blume
eXene compiles and works again

Revision 844 - Directory Listing
Modified Wed Jun 20 20:39:15 2001 UTC (18 years, 4 months ago) by blume
CML compiles and works again

Revision 843 - Directory Listing
Modified Tue Jun 19 21:53:04 2001 UTC (18 years, 4 months ago) by blume
un-break fix for bug 1432

Revision 842 - Directory Listing
Modified Tue Jun 19 21:24:35 2001 UTC (18 years, 4 months ago) by blume
fix for long-standing signal handling bug

Revision 841 - Directory Listing
Modified Fri Jun 15 21:38:20 2001 UTC (18 years, 4 months ago) by blume
small update on the sparc c-calls code

Revision 840 - Directory Listing
Modified Fri Jun 15 19:05:19 2001 UTC (18 years, 4 months ago) by blume
c-calls (and NLFFI) implementation for Sparc

Revision 839 - Directory Listing
Modified Thu Jun 7 20:28:44 2001 UTC (18 years, 4 months ago) by blume
several internal changes related to C calls

Revision 838 - Directory Listing
Modified Tue Jun 5 19:10:21 2001 UTC (18 years, 4 months ago) by blume
index-file generation in CM; small changes to c-calls API

Revision 837 - Directory Listing
Modified Fri Jun 1 17:27:54 2001 UTC (18 years, 4 months ago) by blume
some cleanup of NLFFI

Revision 836 - Directory Listing
Modified Fri May 25 19:28:51 2001 UTC (18 years, 5 months ago) by blume
README files; small bugfix for ml-nlffigen

Revision 834 - Directory Listing
Modified Wed May 23 18:30:31 2001 UTC (18 years, 5 months ago) by blume
Release_110_33

Revision 833 - Directory Listing
Modified Tue May 22 22:06:12 2001 UTC (18 years, 5 months ago) by blume
slight tweak to config/install.sh

Revision 832 - Directory Listing
Modified Tue May 22 20:30:36 2001 UTC (18 years, 5 months ago) by blume
HISTORY entry for previous commit

Revision 831 - Directory Listing
Modified Tue May 22 20:29:39 2001 UTC (18 years, 5 months ago) by blume
ml-nlffigen bug fix; mini-tutorial

Revision 830 - Directory Listing
Modified Tue May 15 19:48:17 2001 UTC (18 years, 5 months ago) by george
Fixed core dump when profiling using the PPC.
The problem was that the PPC cannot distinguish between
div-by-zero and overflow.

Revision 829 - Directory Listing
Modified Mon May 14 15:30:56 2001 UTC (18 years, 5 months ago) by blume
bugs in install scripts fixed;
a minor NLFFI API change

Revision 828 - Directory Listing
Modified Fri May 11 18:32:07 2001 UTC (18 years, 5 months ago) by blume
added new FFI code to repository

Revision 827 - Directory Listing
Modified Thu May 10 14:59:26 2001 UTC (18 years, 5 months ago) by george
Fixed bugs related to patterns used to generate the
floating point multiple-add and related instructions.

Revision 826 - Directory Listing
Modified Wed May 9 20:32:17 2001 UTC (18 years, 5 months ago) by blume
bug fix for cpsopt/contract.sml

Revision 825 - Directory Listing
Modified Wed May 9 15:59:40 2001 UTC (18 years, 5 months ago) by george
  The List.Empty exception was not bound to the pervasive Empty exception

Revision 824 - Directory Listing
Modified Tue May 8 21:31:05 2001 UTC (18 years, 5 months ago) by george
omit frame pointer optimization

Revision 823 - Directory Listing
Modified Tue May 8 21:25:15 2001 UTC (18 years, 5 months ago) by george
omit frame pointer optimization

Revision 820 - Directory Listing
Modified Tue May 8 21:08:10 2001 UTC (18 years, 5 months ago) by george
Initial revision

Revision 819 - Directory Listing
Modified Mon May 7 18:39:08 2001 UTC (18 years, 5 months ago) by blume
made certain administrative libraries into CM proxy libraries
(see HISTORY for details);
made a new set of bootfiles

Revision 818 - Directory Listing
Modified Fri May 4 20:58:47 2001 UTC (18 years, 5 months ago) by blume
merging changes from devel branch and fixing up some earlier mistakes
(see HISTORY)

Revision 817 - Directory Listing
Modified Fri May 4 20:49:25 2001 UTC (18 years, 5 months ago) by leunga

    FLDS encoding was missing...

Revision 816 - Directory Listing
Modified Fri May 4 16:37:36 2001 UTC (18 years, 5 months ago) by jhr
  Synchronizing with master repository.

Revision 815 - Directory Listing
Modified Fri May 4 05:09:10 2001 UTC (18 years, 5 months ago) by leunga

    Moby related MLRISC changes

Revision 814 - Directory Listing
Modified Tue May 1 15:44:45 2001 UTC (18 years, 5 months ago) by blume
install.sh now uses local (working) directory for pcedittmp file

Revision 813 - Directory Listing
Modified Fri Apr 20 15:13:12 2001 UTC (18 years, 6 months ago) by blume
fixed spelling mistake in HISTORY file

Revision 812 - Directory Listing
Modified Fri Apr 20 15:07:30 2001 UTC (18 years, 6 months ago) by blume
merged changes from my devel branch (inML flag twiddling)

Revision 811 - Directory Listing
Modified Fri Apr 20 13:38:05 2001 UTC (18 years, 6 months ago) by george
110.3.2

Revision 810 - Directory Listing
Modified Fri Apr 20 13:26:46 2001 UTC (18 years, 6 months ago) by george
Port to Mac OS X

Revision 809 - Directory Listing
Modified Wed Apr 18 17:53:01 2001 UTC (18 years, 6 months ago) by blume
now using tristate logic for ParseControl.underscoreKeywords
   three-way choice: 1. accept as keywords
                     2. accept as (ordinary) keywords
                     3. reject (error)

Revision 808 - Directory Listing
Modified Wed Apr 18 15:43:09 2001 UTC (18 years, 6 months ago) by blume
merged changes from devel branch

Revision 807 - Directory Listing
Modified Sat Apr 14 02:39:01 2001 UTC (18 years, 6 months ago) by blume
added a few more exports to ckit-lib.cm

Revision 806 - Directory Listing
Modified Thu Mar 22 21:22:21 2001 UTC (18 years, 7 months ago) by blume
new set of bootfiles

Revision 805 - Directory Listing
Modified Thu Mar 22 20:08:01 2001 UTC (18 years, 7 months ago) by blume
raw memory access primitives fully implemented;
some CM tweaks

Revision 804 - Directory Listing
Modified Thu Mar 22 19:37:34 2001 UTC (18 years, 7 months ago) by george
  support for new x86 FFI

Revision 803 - Directory Listing
Modified Thu Mar 22 19:30:19 2001 UTC (18 years, 7 months ago) by blume
corrected earlier goof-up (now compiles under 110.0.x again)

Revision 802 - Directory Listing
Modified Thu Mar 22 19:08:43 2001 UTC (18 years, 7 months ago) by blume
2 changes:
  1.  added .cm files compatible with new (> 110.20) CM
  2.  added recognition of certain gcc-style alternative keywords
      (this is configurabe via a newly added flag)

Revision 801 - Directory Listing
Modified Mon Mar 19 22:53:00 2001 UTC (18 years, 7 months ago) by blume
parallel make works again

Revision 800 - Directory Listing
Modified Fri Mar 16 17:22:47 2001 UTC (18 years, 7 months ago) by blume
new set of bootfiles created

Revision 799 - Directory Listing
Modified Fri Mar 16 15:55:43 2001 UTC (18 years, 7 months ago) by blume
made HISTORY entry

Revision 798 - Directory Listing
Modified Fri Mar 16 15:49:21 2001 UTC (18 years, 7 months ago) by blume
added missing MLTREE.cm file to repository

Revision 797 - Directory Listing
Modified Fri Mar 16 00:00:17 2001 UTC (18 years, 7 months ago) by leunga

   x86 optimizations for x := x op y where x is a memory location.

Revision 796 - Directory Listing
Modified Tue Mar 6 00:04:33 2001 UTC (18 years, 7 months ago) by leunga

   Support for alternative control-flow, exception handlers added.

Revision 795 - Directory Listing
Modified Fri Mar 2 19:10:50 2001 UTC (18 years, 7 months ago) by dbm
adding new files, mostly modules test outputs

Revision 794 - Directory Listing
Modified Thu Mar 1 22:16:59 2001 UTC (18 years, 7 months ago) by blume
removed now-redundant feedback-new.sml

Revision 793 - Directory Listing
Modified Thu Mar 1 20:41:30 2001 UTC (18 years, 7 months ago) by dbm
rename feedback.sml to feedback-old.sml, feedback-new.sml to feedback.sml

Revision 792 - Directory Listing
Modified Thu Mar 1 19:04:34 2001 UTC (18 years, 7 months ago) by dbm
updated outputs for modules tests 83, 94, 96

Revision 791 - Directory Listing
Modified Thu Mar 1 18:59:35 2001 UTC (18 years, 7 months ago) by dbm
new output files (outputs.pre-110.5) for new tests

Revision 790 - Directory Listing
Modified Wed Feb 28 22:46:05 2001 UTC (18 years, 7 months ago) by dbm
corrections: bug1582.1.sml -> bug1506.1.sml, bug1602.1.sml

Revision 789 - Directory Listing
Modified Wed Feb 28 21:57:58 2001 UTC (18 years, 7 months ago) by dbm
new test cases

Revision 788 - Directory Listing
Modified Wed Feb 28 04:09:48 2001 UTC (18 years, 7 months ago) by leunga
   Minor fixes to alpha code generator

Revision 787 - Directory Listing
Modified Fri Feb 23 21:38:43 2001 UTC (18 years, 8 months ago) by dbm
bug fixes

Revision 786 - Directory Listing
Modified Fri Feb 23 21:36:06 2001 UTC (18 years, 8 months ago) by dbm
update

Revision 785 - Directory Listing
Modified Thu Feb 22 14:27:01 2001 UTC (18 years, 8 months ago) by jhr
  Synchronizing Yale repository with master copy.

Revision 784 - Directory Listing
Modified Tue Feb 20 14:11:29 2001 UTC (18 years, 8 months ago) by jhr
 Synchronizing Yale repository with master version of SML/NJ Library.

Revision 783 - Directory Listing
Modified Fri Feb 16 19:43:40 2001 UTC (18 years, 8 months ago) by george
new version in mltree

Revision 782 - Directory Listing
Modified Fri Feb 16 19:42:00 2001 UTC (18 years, 8 months ago) by george
allow escapes for arrow characters

Revision 781 - Directory Listing
Modified Tue Jan 30 22:48:06 2001 UTC (18 years, 8 months ago) by blume
forgot the HISTORY file

Revision 780 - Directory Listing
Modified Tue Jan 30 22:45:26 2001 UTC (18 years, 8 months ago) by blume
merging changes from private devel branch

Revision 779 - Directory Listing
Modified Sun Jan 14 06:40:32 2001 UTC (18 years, 9 months ago) by leunga
*** empty log message ***

Revision 778 - Directory Listing
Modified Fri Jan 12 14:06:33 2001 UTC (18 years, 9 months ago) by blume
made new bootfiles

Revision 777 - Directory Listing
Modified Fri Jan 12 12:17:38 2001 UTC (18 years, 9 months ago) by blume
syncing with my private branch

Revision 776 - Directory Listing
Modified Fri Jan 12 04:14:06 2001 UTC (18 years, 9 months ago) by leunga

   Support for MOV[SZ][BW]L on the x86...

Revision 775 - Directory Listing
Modified Fri Jan 12 01:17:51 2001 UTC (18 years, 9 months ago) by leunga

    Merging the types labexp and mltree.
    tag leunga-20010111-labexp=mltree

Revision 774 - Directory Listing
Modified Wed Jan 10 12:50:56 2001 UTC (18 years, 9 months ago) by blume
merging changes from private branch

Revision 773 - Directory Listing
Modified Mon Jan 8 16:18:37 2001 UTC (18 years, 9 months ago) by blume
merging changes from private branch

Revision 772 - Directory Listing
Modified Thu Jan 4 15:36:41 2001 UTC (18 years, 9 months ago) by blume
merging changes from private branch

Revision 771 - Directory Listing
Modified Sat Dec 30 13:06:09 2000 UTC (18 years, 9 months ago) by blume
merging changes from private branch

Revision 770 - Directory Listing
Modified Sun Dec 24 20:06:28 2000 UTC (18 years, 10 months ago) by monnier
*** empty log message ***

Revision 769 - Directory Listing
Modified Sun Dec 24 20:01:56 2000 UTC (18 years, 10 months ago) by monnier
(install): Also install .el files.
(dist): Don't rely on $CVSROOT.

Revision 768 - Directory Listing
Modified Sun Dec 24 19:59:53 2000 UTC (18 years, 10 months ago) by monnier
Require `skeleton'.
(sml-mode): Add the menu for XEmacs.  Make sure @ is a valid skeleton.
(sml-comment-indent): Remove.
(sml-mode-variables): Don't set comment-indent-function.
(sml-def-skeleton): Nop if skeletons aren't available.
(skeletons): Use `> _' and `@'.
(sml-forms-menu): Don't bother with easy-menu-filter-return crap.
(sml-cm-mode-syntax-table, sml-cm-font-lock-keywords): New vars.
(sml-cm-mode): Use define-derived-mode rather than define-generic-mode.
(sml-lex-font-lock-keywords, sml-lex-font-lock-defaults): New vars.
(sml-yacc-font-lock-keywords): Use sml-lex-font-lock-keywords.
Refine pattern to recognize the %prec keyword.
(sml-yacc-font-lock-defaults): Fix typo.

Revision 767 - Directory Listing
Modified Sun Dec 24 19:59:41 2000 UTC (18 years, 10 months ago) by monnier
(sml-mode-menu): Remove bogus entry for sml-mode-version.

Revision 766 - Directory Listing
Modified Sun Dec 24 19:59:32 2000 UTC (18 years, 10 months ago) by monnier
Simplify/massacre.

Revision 765 - Directory Listing
Modified Sun Dec 24 19:59:17 2000 UTC (18 years, 10 months ago) by monnier
(inferior-sml-mode): Disable next-error for XEmacs.

Revision 764 - Directory Listing
Modified Sun Dec 24 19:59:10 2000 UTC (18 years, 10 months ago) by monnier
(defsyntax): Don't forget to eval `doc'.

Revision 763 - Directory Listing
Modified Sat Dec 23 09:20:02 2000 UTC (18 years, 10 months ago) by blume
updated config/{version,srcarchiveurl}; corrected earlier HISTORY entry

Revision 761 - Directory Listing
Modified Sat Dec 23 05:37:37 2000 UTC (18 years, 10 months ago) by george
infinite precision in MLRISC

Revision 760 - Directory Listing
Modified Fri Dec 22 14:15:24 2000 UTC (18 years, 10 months ago) by blume
merging changes from private branch

Revision 759 - Directory Listing
Modified Fri Dec 22 12:29:26 2000 UTC (18 years, 10 months ago) by blume
merging changes from private branch

Revision 758 - Directory Listing
Modified Fri Dec 22 04:12:36 2000 UTC (18 years, 10 months ago) by blume
merging changes from private branch

Revision 757 - Directory Listing
Modified Thu Dec 21 14:54:56 2000 UTC (18 years, 10 months ago) by blume
merging changes from private branch

Revision 756 - Directory Listing
Modified Thu Dec 14 16:01:33 2000 UTC (18 years, 10 months ago) by blume
dir tool added

Revision 755 - Directory Listing
Modified Thu Dec 14 07:57:55 2000 UTC (18 years, 10 months ago) by leunga

   Added andb, xorb, orb, notb, << and ~>> in IntInf.   Untested.
   Tag: leunga-20001214-int-inf

Revision 754 - Directory Listing
Modified Mon Dec 11 17:38:33 2000 UTC (18 years, 10 months ago) by george
fix for bug 1576

Revision 753 - Directory Listing
Modified Sat Dec 9 09:57:37 2000 UTC (18 years, 10 months ago) by blume
updated version numbers in config directory

Revision 752 - Directory Listing
Modified Fri Dec 8 23:32:37 2000 UTC (18 years, 10 months ago) by leunga

    Slight improvements to a code generator tool.

Revision 751 - Directory Listing
Modified Fri Dec 8 21:04:14 2000 UTC (18 years, 10 months ago) by jhr
  Changes to bring Yale repository in sync with the master repository.

Revision 749 - Directory Listing
Modified Fri Dec 8 15:16:36 2000 UTC (18 years, 10 months ago) by george
release 110.31

Revision 748 - Directory Listing
Modified Fri Dec 8 04:24:28 2000 UTC (18 years, 10 months ago) by leunga
    A slight problem fixed.

Revision 747 - Directory Listing
Modified Fri Dec 8 04:20:24 2000 UTC (18 years, 10 months ago) by leunga

   Clean up

Revision 746 - Directory Listing
Modified Fri Dec 8 04:16:09 2000 UTC (18 years, 10 months ago) by leunga

   New machine descriptions...

Revision 745 - Directory Listing
Modified Fri Dec 8 04:14:08 2000 UTC (18 years, 10 months ago) by leunga

    Forgot these...

Revision 744 - Directory Listing
Modified Fri Dec 8 04:11:42 2000 UTC (18 years, 10 months ago) by leunga

   A CVS update record!

   Changed type cell from int to datatype, and numerous other changes.
   Affect every client of MLRISC.  Lal says this can be bootstrapped on all
   machines.  See smlnj/HISTORY for details.

   Tag:  leunga-20001207-cell-monster-hack

Revision 743 - Directory Listing
Modified Thu Dec 7 15:31:24 2000 UTC (18 years, 10 months ago) by blume
merging changes from private branch

Revision 742 - Directory Listing
Modified Thu Nov 30 14:09:32 2000 UTC (18 years, 10 months ago) by blume
merging changes from private branch

Revision 741 - Directory Listing
Modified Mon Nov 27 14:35:47 2000 UTC (18 years, 10 months ago) by jhr
  Fixed bug 1585 --- getpeername was returning wrong type.

Revision 740 - Directory Listing
Modified Mon Nov 27 14:32:11 2000 UTC (18 years, 10 months ago) by jhr
  Removed old script file.

Revision 739 - Directory Listing
Modified Mon Nov 27 14:24:39 2000 UTC (18 years, 10 months ago) by jhr
  Added locale variable fix so that sorting works correctly
  under RedHat 7.0.

Revision 738 - Directory Listing
Modified Sat Nov 25 07:58:35 2000 UTC (18 years, 10 months ago) by blume
fixed installation problem (adjusted .cm file to work with latests CM)

Revision 737 - Directory Listing
Modified Fri Nov 24 08:43:56 2000 UTC (18 years, 11 months ago) by blume
further improvements to link traversals and (as a result) autoloading;
See HISTORY for how to bootstrap!

Revision 736 - Directory Listing
Modified Thu Nov 23 01:39:05 2000 UTC (18 years, 11 months ago) by blume
more CM tool tweaks; no HISTORY entry for this one

Revision 735 - Directory Listing
Modified Tue Nov 21 12:15:55 2000 UTC (18 years, 11 months ago) by blume
merging recent changes related to autoloading and tool plugins

Revision 734 - Directory Listing
Modified Sun Nov 19 05:27:41 2000 UTC (18 years, 11 months ago) by blume
merge latest changes related to autoloading

Revision 733 - Directory Listing
Modified Fri Nov 17 05:13:45 2000 UTC (18 years, 11 months ago) by blume
merged the big housecleaning patch (see HISTORY!)

Revision 732 - Directory Listing
Modified Mon Nov 13 21:59:12 2000 UTC (18 years, 11 months ago) by leunga
Address change.

Revision 731 - Directory Listing
Modified Fri Nov 10 22:57:45 2000 UTC (18 years, 11 months ago) by leunga

A new x86 floating point code generator.  By default it is off.
See HISTORY for details.   CVS tag=leunga-20001110-new-x86-fp

Revision 730 - Directory Listing
Modified Fri Nov 10 14:04:49 2000 UTC (18 years, 11 months ago) by george
  make file for ppc linux

Revision 729 - Directory Listing
Modified Thu Nov 9 02:16:17 2000 UTC (18 years, 11 months ago) by blume
code duplication cleanup (merge from private branch)

Revision 728 - Directory Listing
Modified Mon Nov 6 21:54:13 2000 UTC (18 years, 11 months ago) by jhr
  Complete fix for bug 1514.

Revision 727 - Directory Listing
Modified Mon Nov 6 21:43:36 2000 UTC (18 years, 11 months ago) by jhr
  Fix for bug 1582.

Revision 726 - Directory Listing
Modified Mon Nov 6 21:41:29 2000 UTC (18 years, 11 months ago) by jhr
  Removed unused VREGS macro.

Revision 725 - Directory Listing
Modified Mon Nov 6 21:41:04 2000 UTC (18 years, 11 months ago) by jhr
  Removed obsolete -DVREGS flag.

Revision 724 - Directory Listing
Modified Mon Nov 6 20:53:10 2000 UTC (18 years, 11 months ago) by jhr
  Runtime cleanup was commented out for some reason.

Revision 723 - Directory Listing
Modified Mon Nov 6 19:54:48 2000 UTC (18 years, 11 months ago) by george
*** empty log message ***

Revision 722 - Directory Listing
Modified Mon Nov 6 19:54:32 2000 UTC (18 years, 11 months ago) by george
 fix for sh error on linux machines

Revision 721 - Directory Listing
Modified Mon Nov 6 14:03:39 2000 UTC (18 years, 11 months ago) by george
*** empty log message ***

Revision 720 - Directory Listing
Modified Mon Nov 6 03:10:45 2000 UTC (18 years, 11 months ago) by blume
updated config/version and config/srcarchiveurl

Revision 718 - Directory Listing
Modified Sun Nov 5 15:16:04 2000 UTC (18 years, 11 months ago) by george
 notes on adding primops to the compiler

Revision 717 - Directory Listing
Modified Sun Nov 5 15:07:51 2000 UTC (18 years, 11 months ago) by george
support for sqrt and trig functions on the x86

Revision 716 - Directory Listing
Modified Sat Nov 4 05:42:35 2000 UTC (18 years, 11 months ago) by blume
merging recent changes

Revision 715 - Directory Listing
Modified Thu Nov 2 07:51:04 2000 UTC (18 years, 11 months ago) by blume
added conditional compilation in init library; BOOTFILES

Revision 714 - Directory Listing
Modified Mon Oct 23 23:39:43 2000 UTC (19 years ago) by leunga

Missed these...
Tag: leunga-20001023-demo-ra

Revision 713 - Directory Listing
Modified Mon Oct 23 23:38:38 2000 UTC (19 years ago) by leunga

Minor changes to RA.  Added MLRISC demo files.
Tag: leunga-20001023-demo-ra

Revision 712 - Directory Listing
Modified Wed Oct 18 14:11:13 2000 UTC (19 years ago) by blume
updates to ml-yacc examples; no HISTORY entry (not worth it)

Revision 711 - Directory Listing
Modified Tue Oct 17 13:12:29 2000 UTC (19 years ago) by blume
merge another error message bug fix

Revision 710 - Directory Listing
Modified Tue Oct 17 08:21:09 2000 UTC (19 years ago) by blume
merge my changes for 110.30; NOW BOOTFILES!

Revision 709 - Directory Listing
Modified Sat Oct 7 03:35:08 2000 UTC (19 years ago) by monnier
Typo

Revision 708 - Directory Listing
Modified Sat Oct 7 03:27:54 2000 UTC (19 years ago) by monnier
*** empty log message ***

Revision 707 - Directory Listing
Modified Sat Oct 7 03:21:59 2000 UTC (19 years ago) by monnier
Make the toplevel closer to usual practice.
(sml-imenu-regexp, sml-imenu-create-index): New var and fun.
(sml-mode): Use them.
(sml-beginning-of-defun): Add `and' as function-leader.
(sml-lex-mode): New trivial mode.
(sml-yacc-bnf-face, sml-yacc-indent-action, sml-yacc-indent-pipe)
(sml-yacc-indent-term, sml-yacc-font-lock-keywords)
(sml-yacc-font-lock-defaults): New vars.
(sml-yacc-indent-line, sml-yacc-indentation, sml-yacc-mode): New funs.

Revision 706 - Directory Listing
Modified Sat Oct 7 03:21:46 2000 UTC (19 years ago) by monnier
* sml-mode.texi: Added yours truly to the list of authors.
* sml-mode.spec: New file.
* sml-defs.el (sml-outline-regexp): Slightly improved regexp.

Revision 705 - Directory Listing
Modified Wed Sep 27 18:44:44 2000 UTC (19 years ago) by george
  changed the node status datatype

Revision 704 - Directory Listing
Modified Fri Sep 8 02:09:17 2000 UTC (19 years, 1 month ago) by jhr
  Synchronizing Yale repository with master copy of eXene.

Revision 703 - Directory Listing
Modified Thu Sep 7 05:43:23 2000 UTC (19 years, 1 month ago) by blume
merge with small tweak to CM (avoid repeated errmsg)

Revision 702 - Directory Listing
Modified Sun Sep 3 01:30:53 2000 UTC (19 years, 1 month ago) by jhr
  Syncing Yale repository with master copy of SML/NJ library (see CHANGES
  file for details).

Revision 701 - Directory Listing
Modified Thu Aug 31 08:46:43 2000 UTC (19 years, 1 month ago) by blume
new boot files (and new URL) because yacc/lex did not install properly

Revision 700 - Directory Listing
Modified Thu Aug 24 20:35:39 2000 UTC (19 years, 2 months ago) by monnier
* sml-proc.el (inferior-sml-mode-map): Don't inherit from sml-bindings.
Add the binding for C-c C-l explicitly instead.
(sml-run): Look in cwd (but only if the command has slashes).

* sml-mode.el (sml-mode-abbrev-table): Remove (created by
define-derived-mode).
(sml-mode): Setup add-log's current-defun-function.
(sml-indent-line): Never indent to a negative level.
(sml-skip-siblings, sml-beginning-of-defun, sml-max-name-components)
(sml-current-fun-name): New funs and vars for add-log support.
(sml-comment-indent): Simplify.
(sml-def-skeleton): Also create the skeleton as an abbrev.
(skeletons): New for "struct", "sig", "val", "fn" and "fun".
(sml-electric-space): Rewrite to use abbrev's machinery.

* sml-defs.el (sml-mode-map): merge with sml-bindings.
(sml-bindings): Remove.

Revision 699 - Directory Listing
Modified Mon Aug 21 22:13:39 2000 UTC (19 years, 2 months ago) by monnier
(FLINTComp.flintcomp): Convert named type vars
in `fi' back into deBruijn indices since this is still the
representation used outside of flintcomp (i.e. in LSplitInline).

Revision 698 - Directory Listing
Modified Mon Aug 21 22:05:47 2000 UTC (19 years, 2 months ago) by monnier
(CompileF.codegen): Remove dead code.
Enforce the `nosplit' directive by dropping inlineExp if requested.

Revision 697 - Directory Listing
Modified Tue Aug 8 03:33:13 2000 UTC (19 years, 2 months ago) by blume
HISTORY entry

Revision 696 - Directory Listing
Modified Tue Aug 8 02:18:49 2000 UTC (19 years, 2 months ago) by blume
merge minor update to CM manual from devel branch into main trunk;
(this is just to be fully in sync before I leave for Germany)

Revision 695 - Directory Listing
Modified Mon Aug 7 23:57:38 2000 UTC (19 years, 2 months ago) by leunga

   Stuff related to scheduling, SSA, x86, C-- and Moby.
   Tag: leunga-20000807-a-whole-bunch-of-stuff

Revision 694 - Directory Listing
Modified Thu Jul 27 16:00:25 2000 UTC (19 years, 2 months ago) by george
  support for PPC Linux

Revision 693 - Directory Listing
Modified Thu Jul 27 15:49:07 2000 UTC (19 years, 2 months ago) by george
  support for PPC Linux

Revision 692 - Directory Listing
Modified Thu Jul 27 08:34:53 2000 UTC (19 years, 2 months ago) by blume
more assorted script enhancements

Revision 691 - Directory Listing
Modified Tue Jul 25 07:20:24 2000 UTC (19 years, 3 months ago) by blume
ml-makedepend added

Revision 690 - Directory Listing
Modified Sat Jul 22 14:29:23 2000 UTC (19 years, 3 months ago) by blume
URL updated in BOOT and config/srcarchiveurl

Revision 689 - Directory Listing
Modified Wed Jul 19 01:59:54 2000 UTC (19 years, 3 months ago) by blume
fixed bug in config/preloads

Revision 688 - Directory Listing
Modified Tue Jul 18 17:44:36 2000 UTC (19 years, 3 months ago) by jhr
  Bringing Yale copy of library in sync with my master copy.

Revision 687 - Directory Listing
Modified Tue Jul 18 09:00:00 2000 UTC (19 years, 3 months ago) by blume
added README file for 110.29

Revision 686 - Directory Listing
Modified Tue Jul 18 08:58:50 2000 UTC (19 years, 3 months ago) by blume
built 110.29

Revision 685 - Directory Listing
Modified Tue Jul 11 08:54:09 2000 UTC (19 years, 3 months ago) by blume
another small update to CM manual stuff;
(I did not make a new HISTORY entry for this, but I re-tagged)

Revision 684 - Directory Listing
Modified Tue Jul 11 04:57:48 2000 UTC (19 years, 3 months ago) by blume
typos in CM manual

Revision 683 - Directory Listing
Modified Wed Jul 5 00:42:19 2000 UTC (19 years, 3 months ago) by leunga

   Bug fixes for sparc and x86.  Affects c-- and moby.

Revision 682 - Directory Listing
Modified Tue Jul 4 06:25:51 2000 UTC (19 years, 3 months ago) by blume
CM manual updates; BTrace.trigger added again

Revision 681 - Directory Listing
Modified Mon Jul 3 07:13:03 2000 UTC (19 years, 3 months ago) by blume
fixed tiny typo in manual; retagged but, sorry, no HISTORY entry

Revision 680 - Directory Listing
Modified Mon Jul 3 06:35:55 2000 UTC (19 years, 3 months ago) by blume
merging CM manual updates

Revision 679 - Directory Listing
Modified Thu Jun 29 07:03:20 2000 UTC (19 years, 3 months ago) by blume
even better BTrace;
modifications to how the yacc tool handles options

Revision 678 - Directory Listing
Modified Tue Jun 27 07:51:09 2000 UTC (19 years, 3 months ago) by blume
merging latest improvements (CM, BTrace)

Revision 677 - Directory Listing
Modified Mon Jun 26 00:56:56 2000 UTC (19 years, 4 months ago) by blume
merge CM and BTrace changes

Revision 676 - Directory Listing
Modified Sat Jun 24 03:37:03 2000 UTC (19 years, 4 months ago) by blume
fix to startup slowdown

Revision 675 - Directory Listing
Modified Fri Jun 23 09:18:18 2000 UTC (19 years, 4 months ago) by blume
new back-trace facility added; see HISTORY

Revision 674 - Directory Listing
Modified Thu Jun 22 06:45:00 2000 UTC (19 years, 4 months ago) by blume
nearly trivial typographic fix to CM manual
(shoot me, but I did not make a HISTORY entry for this one)

Revision 673 - Directory Listing
Modified Wed Jun 21 08:57:07 2000 UTC (19 years, 4 months ago) by blume
CM manual update: path environments

Revision 672 - Directory Listing
Modified Mon Jun 19 04:40:29 2000 UTC (19 years, 4 months ago) by blume
preliminary CM manual update

Revision 671 - Directory Listing
Modified Mon Jun 19 02:02:32 2000 UTC (19 years, 4 months ago) by blume
bugfix in SrcPath module

Revision 670 - Directory Listing
Modified Sun Jun 18 13:10:57 2000 UTC (19 years, 4 months ago) by blume
implicit anchors gone; update to previous HISTORY entry

Revision 669 - Directory Listing
Modified Fri Jun 16 22:22:10 2000 UTC (19 years, 4 months ago) by monnier
Avoid the [^..] construct that some shells don't seem to understand.

Revision 668 - Directory Listing
Modified Fri Jun 16 17:40:42 2000 UTC (19 years, 4 months ago) by yx29
*** empty log message ***

Revision 667 - Directory Listing
Modified Fri Jun 16 17:25:51 2000 UTC (19 years, 4 months ago) by yx29
2000-06-16  Fixed the abcOpt phase. See FLINT/ChangeLog for details.

Revision 666 - Directory Listing
Modified Fri Jun 16 08:27:00 2000 UTC (19 years, 4 months ago) by blume
merging back my devel changes (anchor environments)

Revision 665 - Directory Listing
Modified Fri Jun 16 04:43:57 2000 UTC (19 years, 4 months ago) by nch
Fixed bug 14 -- see HISTORY.
Flag in config was temporarily changed and not set back.

Revision 664 - Directory Listing
Modified Fri Jun 16 03:09:26 2000 UTC (19 years, 4 months ago) by nch
Added 239.c

Revision 663 - Directory Listing
Modified Fri Jun 16 02:58:05 2000 UTC (19 years, 4 months ago) by nch
Fixed comma-question bug (from Olivier Tardieu).

question colon case was:
   expr QUESTION expr COLON expr

and should be:
   expr QUESTION exprWComma COLON expr

Full code of fix:

 expr QUESTION exprWComma COLON expr %prec QUESTION (markExpression srcMap
(QuestionColon(expr1,exprWComma1,expr2),expr1left,expr2right))

Revision 662 - Directory Listing
Modified Thu Jun 15 22:44:37 2000 UTC (19 years, 4 months ago) by monnier
Allow @SMLfoo arguments without an explicit heap image.

Revision 661 - Directory Listing
Modified Thu Jun 15 22:42:22 2000 UTC (19 years, 4 months ago) by monnier
Use 256K of allocation area for 512K of cache.  Seems faster here.

Revision 660 - Directory Listing
Modified Thu Jun 15 04:40:56 2000 UTC (19 years, 4 months ago) by leunga

   x86 peephole fix by Fermin.  Affects c-- and moby only.
   cvs tag: leunga-20000615-x86-peephole

Revision 659 - Directory Listing
Modified Mon Jun 12 07:37:22 2000 UTC (19 years, 4 months ago) by monnier
Typos.

Revision 658 - Directory Listing
Modified Mon Jun 12 02:39:37 2000 UTC (19 years, 4 months ago) by blume
fixed file names for parallel make

Revision 657 - Directory Listing
Modified Fri Jun 9 05:20:54 2000 UTC (19 years, 4 months ago) by leunga

     None of these changes should affect SML/NJ.  See HISTORY file for details.
     CVS Tag=leunga-20000609-various

Revision 656 - Directory Listing
Modified Fri Jun 9 03:39:04 2000 UTC (19 years, 4 months ago) by blume
removed RCS log entries; smal bug fix to ml-yacc and ml-lex

Revision 655 - Directory Listing
Modified Fri Jun 9 02:47:10 2000 UTC (19 years, 4 months ago) by dbm
added missing ml-yacc examples files

Revision 654 - Directory Listing
Modified Thu Jun 8 21:38:04 2000 UTC (19 years, 4 months ago) by dbm
fix for bug 19

Revision 653 - Directory Listing
Modified Wed Jun 7 07:59:06 2000 UTC (19 years, 4 months ago) by blume
merge-back from my devel branch; see HISTORY

Revision 652 - Directory Listing
Modified Tue Jun 6 02:14:56 2000 UTC (19 years, 4 months ago) by blume
merging changes from devel branch; new boot files

Revision 651 - Directory Listing
Modified Thu Jun 1 18:34:03 2000 UTC (19 years, 4 months ago) by monnier
bring revisions from the vendor branch to the trunk

Revision 650 - Directory Listing
Modified Wed May 31 18:07:40 2000 UTC (19 years, 4 months ago) by dbm
fixed numbering in bug list

Revision 649 - Directory Listing
Modified Wed May 31 18:04:54 2000 UTC (19 years, 4 months ago) by dbm
updated bug list

Revision 648 - Directory Listing
Modified Thu May 25 21:28:21 2000 UTC (19 years, 5 months ago) by leunga

   Fixed a non-critical bug in the register allocator

Revision 647 - Directory Listing
Modified Tue May 16 02:53:02 2000 UTC (19 years, 5 months ago) by leunga
*** empty log message ***

Revision 646 - Directory Listing
Modified Tue May 16 02:52:54 2000 UTC (19 years, 5 months ago) by leunga

  Slight cleanup on the Alpha.
  Added a bunch of instructions to the x86 instruction set.
  The module ra-rewrite-with-renaming has been improved.
  These should have no effect on SML/NJ.
  CVS tag=leunga-20000515-alpha-x86-ra

Revision 645 - Directory Listing
Modified Mon May 15 07:17:30 2000 UTC (19 years, 5 months ago) by blume
merging changes from devel branch; see HISTORY

Revision 644 - Directory Listing
Modified Fri May 12 09:18:31 2000 UTC (19 years, 5 months ago) by blume
fixed important anchor-related bug in ml-build

Revision 643 - Directory Listing
Modified Fri May 12 08:29:15 2000 UTC (19 years, 5 months ago) by blume
merged my path anchor changes into main trunk
more config/srcarchiveurl! YOU NEED NEW BINFILES more config/srcarchiveurl!
Read HISTORY and src/system/README!

Revision 642 - Directory Listing
Modified Thu May 11 07:30:29 2000 UTC (19 years, 5 months ago) by blume
CM.sources implemented; CM.makedepend dropped

Revision 641 - Directory Listing
Modified Thu May 11 01:16:45 2000 UTC (19 years, 5 months ago) by leunga

    Various bug fixes and new features for C--, Moby and MLRISC optimizations.
    See smlnj/HISTORY for details.  CVS tag: leunga-20000510-moby-c--ssa

Revision 640 - Directory Listing
Modified Tue May 9 02:33:09 2000 UTC (19 years, 5 months ago) by leunga

  Fermin has found a few assembly problems with constant expressions
  generated in LabelExp.  Mostly, the problems involve extra parentheses,
  which choke on dumb assemblers.  This is his fix.

Revision 639 - Directory Listing
Modified Tue May 2 21:44:37 2000 UTC (19 years, 5 months ago) by dbm
merged Olivier's changes for locations and the lex position fix

Revision 638 - Directory Listing
Modified Tue May 2 19:35:33 2000 UTC (19 years, 5 months ago) by dbm
html cleanup

Revision 637 - Directory Listing
Modified Tue May 2 16:24:56 2000 UTC (19 years, 5 months ago) by dbm
created 110.28 README files

Revision 636 - Directory Listing
Modified Tue May 2 15:10:17 2000 UTC (19 years, 5 months ago) by dbm
corrected tag

Revision 635 - Directory Listing
Modified Tue May 2 15:09:12 2000 UTC (19 years, 5 months ago) by dbm
Version 110.28

Revision 634 - Directory Listing
Modified Mon May 1 10:03:50 2000 UTC (19 years, 5 months ago) by blume
merged changes from devel branch (added noweb tool)

Revision 633 - Directory Listing
Modified Sun Apr 30 16:44:09 2000 UTC (19 years, 5 months ago) by dbm
fixes for bugs 1498 and 1510

Revision 632 - Directory Listing
Modified Sat Apr 29 15:50:42 2000 UTC (19 years, 5 months ago) by blume
merged pending changes into main trunk; see HISTORY; new binfiles!!

Revision 631 - Directory Listing
Modified Fri Apr 28 08:30:52 2000 UTC (19 years, 5 months ago) by blume
fixed install.sh (bug 1563)

Revision 629 - Directory Listing
Modified Wed Apr 26 04:06:41 2000 UTC (19 years, 6 months ago) by blume
added .fun as a file name suffix known to CM

Revision 628 - Directory Listing
Modified Tue Apr 25 21:03:34 2000 UTC (19 years, 6 months ago) by leunga

1. Alpha

   PSEUDOARITH was missing in AlphaRewrite.  This causes an endless loop
   in C--.

2. RA

   Added a flag "ra-dump-size" to print out the size of the flowgraph
   and the interference graph.

Revision 627 - Directory Listing
Modified Tue Apr 25 20:40:35 2000 UTC (19 years, 6 months ago) by dbm
update ml-yacc documentation and examples for 110.*

Revision 626 - Directory Listing
Modified Sat Apr 22 23:24:24 2000 UTC (19 years, 6 months ago) by monnier
* opt/flintopt.txt: New file.
* main/control.sml (phases): Move loopify+fixfix to before wrap.
* cpsopt/cpsopt.sml (zeroexpand): New function.
* TopLevel/viscomp/control.sml (cpsopt): Add `zeroexpand' to reduce
RA-blowup when compiling ml.grm.sml.

Revision 625 - Directory Listing
Modified Sat Apr 22 23:21:36 2000 UTC (19 years, 6 months ago) by monnier
* opt/abcopt.sml: New file.
* main/flintcomp.sml: Change `Compiler' to `FLINT' or `CPS' in the
name of phases printed by Compiler.Stats.
(abcopt): New phase.
* viscomp-core.cm: Add FLINT.opt/abcopt.sml.

Revision 624 - Directory Listing
Modified Fri Apr 21 03:06:21 2000 UTC (19 years, 6 months ago) by leunga

   This update synchronizes my repository with Yale's.  Most of these
changes are related to C--, Moby, and my optimizations.  It should have
little impact on SML/NJ.

   CVS tag leunga-20000420-ssa-c---stuff

Revision 623 - Directory Listing
Modified Thu Apr 20 17:24:37 2000 UTC (19 years, 6 months ago) by monnier
* TopLevel/viscomp/control.sml (cpsopt): Use last_contract rather than
first_contract because dropargs is needed to avoid blowing up
the register allocator.

Revision 622 - Directory Listing
Modified Wed Apr 19 22:47:11 2000 UTC (19 years, 6 months ago) by monnier
* main/control.sml (phases): Move loopify (and its fixfix) to before
`reify' (while still keeping a fixfix after reify).
* TopLevel/viscomp/control.sml (cpsopt): Remove all but first_contract.
* TopLevel/interact/evalloop.sml (loop): Don't hide compiler errors.

Revision 621 - Directory Listing
Modified Wed Apr 19 22:44:30 2000 UTC (19 years, 6 months ago) by monnier
(curry): Make sure that uncurrying will not make a
function recursive, but allow uncurrying a mix of functor and function
in some restricted cases.
(uncurry): Properly handle the new functor/function case.
(SWITCH): Don't change the ordering while folding over the arms.
Plus some cosmetic code movements to avoid long lines.

Revision 620 - Directory Listing
Modified Wed Apr 19 20:27:38 2000 UTC (19 years, 6 months ago) by dbm
html version of 110.27-README

Revision 619 - Directory Listing
Modified Wed Apr 19 14:55:09 2000 UTC (19 years, 6 months ago) by dbm
summary edited; distribution files listed

Revision 618 - Directory Listing
Modified Wed Apr 19 02:36:14 2000 UTC (19 years, 6 months ago) by blume
110.27-README edited some more

Revision 617 - Directory Listing
Modified Tue Apr 18 21:53:41 2000 UTC (19 years, 6 months ago) by leunga

Edited the MLRISC/mlriscGen summary for release 110.27

Revision 616 - Directory Listing
Modified Wed Apr 12 15:17:05 2000 UTC (19 years, 6 months ago) by dbm
added info on new distribution file names

Revision 615 - Directory Listing
Modified Wed Apr 12 04:52:09 2000 UTC (19 years, 6 months ago) by blume
changed install.sh script to use/handle shorter archive names

Revision 614 - Directory Listing
Modified Tue Apr 11 03:08:39 2000 UTC (19 years, 6 months ago) by blume
srcarchiveurl patched (again -- was wrong)

Revision 613 - Directory Listing
Modified Tue Apr 11 03:08:04 2000 UTC (19 years, 6 months ago) by blume
srcarchiveurl patched

Revision 610 - Directory Listing
Modified Mon Apr 10 19:03:03 2000 UTC (19 years, 6 months ago) by dbm
Initial revision

Revision 609 - Directory Listing
Modified Mon Apr 10 18:57:31 2000 UTC (19 years, 6 months ago) by george
*** empty log message ***

Revision 608 - Directory Listing
Modified Mon Apr 10 18:57:09 2000 UTC (19 years, 6 months ago) by george
MLRISC.cm

Revision 607 - Directory Listing
Modified Mon Apr 10 16:31:03 2000 UTC (19 years, 6 months ago) by dbm
Version 110.27

Revision 606 - Directory Listing
Modified Sun Apr 9 23:10:59 2000 UTC (19 years, 6 months ago) by leunga

   Assembly fix for x86 and other miscellaneous changes to MLRISC

Revision 605 - Directory Listing
Modified Fri Apr 7 14:06:42 2000 UTC (19 years, 6 months ago) by monnier
Oops, forgot about this one.
What kind of file format is that ?

Revision 604 - Directory Listing
Modified Fri Apr 7 13:53:08 2000 UTC (19 years, 6 months ago) by monnier
* opt/switchoff.sml: Remove.
* reps/equal.sml: Rewritten to generate more CPS-like code.
* opt/fcontract.sml (fcLet): re-introduced the branch/switch code,
but without the deadly multiple traversals.
* */control.sml: Less flintopt and more cpsopt.

Revision 603 - Directory Listing
Modified Thu Apr 6 19:59:57 2000 UTC (19 years, 6 months ago) by leunga
*** empty log message ***

Revision 602 - Directory Listing
Modified Thu Apr 6 05:31:24 2000 UTC (19 years, 6 months ago) by leunga

    Forgot these files in the last update

Revision 601 - Directory Listing
Modified Thu Apr 6 04:38:14 2000 UTC (19 years, 6 months ago) by leunga

    New peephole code, improvements to x86 instruction selection, and
    fixes for SSA and the machine description tool.

    CVS tag=leunga-20000406-peephole-x86-SSA

Revision 600 - Directory Listing
Modified Wed Apr 5 20:13:47 2000 UTC (19 years, 6 months ago) by george
  x86 instructions to support c-calls

Revision 597 - Directory Listing
Modified Wed Apr 5 18:34:51 2000 UTC (19 years, 6 months ago) by dbm
Initial revision

Revision 596 - Directory Listing
Modified Wed Apr 5 14:36:19 2000 UTC (19 years, 6 months ago) by jhr
  SML/NJ library synch.

Revision 595 - Directory Listing
Modified Wed Apr 5 03:30:17 2000 UTC (19 years, 6 months ago) by blume
merging last bits before 110.27 code freeze

Revision 594 - Directory Listing
Modified Tue Apr 4 23:41:47 2000 UTC (19 years, 6 months ago) by leunga

      Changes to assembly output and fixes a bug in the x86 assembler
      CVS tag=leunga-20000404-x86-asm

Revision 593 - Directory Listing
Modified Tue Apr 4 07:26:33 2000 UTC (19 years, 6 months ago) by leunga

    Fixes related to C--, Moby and my optimizations.
    CVS tag=leunga-20000404-C--Moby

Revision 592 - Directory Listing
Modified Mon Apr 3 07:04:12 2000 UTC (19 years, 6 months ago) by blume
merging branch blume_devel_v110p26p2_1 (elimination of corenv)

Revision 591 - Directory Listing
Modified Mon Apr 3 01:19:20 2000 UTC (19 years, 6 months ago) by leunga

   1. Renamed the constructor CALL in MLTREE by popular demand.
   2. Added a bunch of files from my repository.  These are currently
      used by other non-SMLNJ backends.

Revision 590 - Directory Listing
Modified Sat Apr 1 02:24:08 2000 UTC (19 years, 6 months ago) by leunga

   This update contains a new module for extracting aliasing information.
   CVS tag: leunga-20000331-aliasing

Revision 589 - Directory Listing
Modified Fri Mar 31 16:14:36 2000 UTC (19 years, 6 months ago) by dbm
fixes for c-libraries.c and bug 1556

Revision 588 - Directory Listing
Modified Fri Mar 31 09:00:02 2000 UTC (19 years, 6 months ago) by blume
changes to modmap generator and CM tool parameter mechanism (see HISTORY)

Revision 587 - Directory Listing
Modified Thu Mar 30 09:01:52 2000 UTC (19 years, 6 months ago) by blume
merging back development branch blume_devel_v110p26p1_3...
This involves changes to CM and the removal of CMStaticEnv from
the compiler.  See the HISTORY file for more information.

Revision 586 - Directory Listing
Modified Thu Mar 30 05:08:07 2000 UTC (19 years, 6 months ago) by leunga

   Fixed a slight problem with gc types annotations.

   To turn on gc types, do this:

       CM.autoload "sml/compiler.cm";
       Compiler.Control.MLRISC.getFlag "mlrisc-gc-types" := true;

Revision 585 - Directory Listing
Modified Wed Mar 29 23:55:35 2000 UTC (19 years, 6 months ago) by leunga

   This update contains major changes to the code generator and various
back ends.  Please see the entry leunga-20000327-mlriscGen_hppa_alpha_x86
in the file sml/HISTORY for details.

Revision 584 - Directory Listing
Modified Mon Mar 27 09:55:55 2000 UTC (19 years, 6 months ago) by monnier
(saveLvarNames): Set it back to false (for faster smaller compiler).

Revision 583 - Directory Listing
Modified Thu Mar 23 21:52:30 2000 UTC (19 years, 7 months ago) by leunga

1. X86 fixes/changes

   a.  The old code generated for SETcc was completely wrong.
       The Intel optimization guide is VERY misleading.

2. ALPHA fixes/changes

   a.  Added the instructions LDBU, LDWU, STB, STW as per Fermin's suggestion.
   b.  Added a new mode byteWordLoadStores to the functor parameter to Alpha()
   c.  Added reassociation code for address computation.

Revision 582 - Directory Listing
Modified Thu Mar 23 01:04:32 2000 UTC (19 years, 7 months ago) by monnier
(ANDALSO, ORELSE): Change associativity to `right'.

Revision 581 - Directory Listing
Modified Thu Mar 23 00:58:05 2000 UTC (19 years, 7 months ago) by monnier
(member.checkowner): Add missing parenthesis.

Revision 580 - Directory Listing
Modified Wed Mar 22 06:33:52 2000 UTC (19 years, 7 months ago) by leunga
*** empty log message ***

Revision 579 - Directory Listing
Modified Wed Mar 22 06:33:08 2000 UTC (19 years, 7 months ago) by leunga


1. X86 fixes/changes

   a.  x86Rewrite bug with MUL3 (found by Lal)
   b.  Added the instructions FSTS, FSTL

2. PA-RISC fixes/changes

   a.  B label should not be a delay slot candidate!  Why did this work?
   b.  ADDT(32, REG(32, r), LI n) now generates one instruction instead of two,
       as it should be.
   c.  The assembly syntax for fstds and fstdd was wrong.
   d.  Added the composite instruction COMICLR/LDO, which is the immediate
       operand variant of COMCLR/LDO.

3. Generic MLRISC

   a.  shuffle.sml rewritten to be slightly more efficient
   b.  DIV bug in mltree-simplify fixed (found by Fermin)

4. Register Allocator

   a.  I now release the interference graph earlier during spilling.
       May improve memory usage.

Revision 578 - Directory Listing
Modified Tue Mar 14 05:16:29 2000 UTC (19 years, 7 months ago) by blume
merging back blume_devel_v110p26p1_1

Revision 577 - Directory Listing
Modified Fri Mar 10 08:07:18 2000 UTC (19 years, 7 months ago) by blume
improved version of Dave's fixpt script added

Revision 576 - Directory Listing
Modified Fri Mar 10 07:27:16 2000 UTC (19 years, 7 months ago) by leunga

More assembly output problems involving the indexed addressing mode
on the x86 have been found and corrected. Thanks to Fermin Reig for the
fix.

The interface and implementation of the register allocator have been changed
slightly to accommodate the possibility to skip the register allocation
phases completely and go directly to memory allocation.  This is needed
for C-- use.

This fix only affects the x86 assembly output.

Revision 575 - Directory Listing
Modified Fri Mar 10 02:55:58 2000 UTC (19 years, 7 months ago) by blume
BOOT and HISTORY file for blume_main_v110p26p1_0

Revision 574 - Directory Listing
Modified Thu Mar 9 15:29:58 2000 UTC (19 years, 7 months ago) by blume
files deleted that came back from the dead (CVS problem?)

Revision 573 - Directory Listing
Modified Thu Mar 9 15:23:52 2000 UTC (19 years, 7 months ago) by blume
merging back changes from blume_devel_v110_26_2

Revision 572 - Directory Listing
Modified Thu Mar 9 02:43:06 2000 UTC (19 years, 7 months ago) by blume
BOOT and HISTORY updated

Revision 571 - Directory Listing
Modified Wed Mar 8 17:38:15 2000 UTC (19 years, 7 months ago) by dbm
BOOT file creation

Revision 570 - Directory Listing
Modified Wed Mar 8 17:30:13 2000 UTC (19 years, 7 months ago) by dbm
HISTORY file creation

Revision 569 - Directory Listing
Modified Tue Mar 7 04:01:07 2000 UTC (19 years, 7 months ago) by blume
- size info in BOOTLIST
     * no fixed upper limits for number of bootfiles or length of
       bootfile names in runtime
     * falling back to old behavior if no BOOTLIST size info found
- allocation size heuristics in .run-sml
     * tries to read cache size from /proc/cpuinfo (this is important for
        small-cache Celeron systems!)
- install.sh robustified
- CM manual updates
- paranoid mode
     * no more CMB.deliver() (i.e., all done by CMB.make())
     * can re-use existing sml.boot.* files
     * init.cmi now treated as library
     * library stamps for consistency checks
- sml.boot.<arch>-<os>/PIDMAP file
     * This file is read by the CM startup code.  This is used to minimize
       the amount of dynamic state that needs to be stowed away for the
       purpose of sharing between interactive system and user code.
- CM.Anchor.anchor instead of CM.Anchor.{set,cancel}
     * Upon request by Elsa.  Anchors now controlled by get-set-pair
       like most other CM state variables.
- Compiler.CMSA eliminated
     * No longer supported by CM anyway.
- fixed bugs in pickler that kept biting Stefan
     * past refs to past refs (was caused by the possibility that
       ad-hoc sharing is more discriminating than hash-cons sharing)
     * integer overflow on LargeInt.minInt
- ml-{lex,yacc} build scripts now use new mechanism
  for building standalone programs
- fixed several gcc -Wall warnings that were caused by missing header
  files, missing initializations, etc., in runtime (not all warnings
  eliminated, though)

Revision 568 - Directory Listing
Modified Tue Mar 7 03:59:09 2000 UTC (19 years, 7 months ago) by blume
build script now uses new mechanism for building stanalone programs

Revision 567 - Directory Listing
Modified Mon Mar 6 22:17:41 2000 UTC (19 years, 7 months ago) by leunga

Updated documentation on MLTree Extensions provided by Lal.

Revision 566 - Directory Listing
Modified Mon Mar 6 07:20:58 2000 UTC (19 years, 7 months ago) by blume
fixed misplaced expand-file-name in sml-proc.el

Revision 565 - Directory Listing
Modified Sun Mar 5 04:10:18 2000 UTC (19 years, 7 months ago) by leunga

Fix up a few floating point bugs on the x86 that are discovered by Fermin.
Rewritten the Sethi-Ullman code.  Added new FP instructions to the x86,
including FIxxxx, FCOMxx, and FLDxx.

Revision 564 - Directory Listing
Modified Fri Mar 3 16:55:03 2000 UTC (19 years, 7 months ago) by george
lal-20000303- deleted old callgc files

Revision 563 - Directory Listing
Modified Fri Mar 3 16:39:32 2000 UTC (19 years, 7 months ago) by george
lal-20000303-new mltree -- take II

Revision 562 - Directory Listing
Modified Fri Mar 3 16:22:42 2000 UTC (19 years, 7 months ago) by george
lal-20000303-support for C calls

Revision 559 - Directory Listing
Modified Fri Mar 3 16:22:08 2000 UTC (19 years, 7 months ago) by george
Initial revision

Revision 556 - Directory Listing
Modified Fri Mar 3 16:13:54 2000 UTC (19 years, 7 months ago) by george
Initial revision

Revision 555 - Directory Listing
Modified Fri Mar 3 16:10:30 2000 UTC (19 years, 7 months ago) by george
lal-20000303-new mltree -- take II

Revision 554 - Directory Listing
Modified Thu Mar 2 21:29:44 2000 UTC (19 years, 7 months ago) by george
lal-20000302-missing file

Revision 553 - Directory Listing
Modified Thu Mar 2 20:54:20 2000 UTC (19 years, 7 months ago) by george
 new mltree

Revision 552 - Directory Listing
Modified Tue Feb 29 20:44:14 2000 UTC (19 years, 7 months ago) by dbm
revised README with [basis/tests setup] note

Revision 551 - Directory Listing
Modified Tue Feb 29 17:31:13 2000 UTC (19 years, 7 months ago) by dbm
revised README

Revision 548 - Directory Listing
Modified Tue Feb 29 16:38:11 2000 UTC (19 years, 7 months ago) by dbm
Initial revision

Revision 547 - Directory Listing
Modified Fri Feb 25 23:54:34 2000 UTC (19 years, 7 months ago) by leunga

New documentation files for MLRISC.  This version includes MLTREE extensions.

Revision 546 - Directory Listing
Modified Thu Feb 24 14:04:51 2000 UTC (19 years, 8 months ago) by george
  Changes to MLTREE

Revision 545 - Directory Listing
Modified Thu Feb 24 13:56:44 2000 UTC (19 years, 8 months ago) by george
  Changes to MLTREE

Revision 544 - Directory Listing
Modified Tue Feb 22 22:56:38 2000 UTC (19 years, 8 months ago) by monnier
* sml-mode.el (sml-find-matching-starter): Use a list of syms instead of a
  regexp.
(sml-indent-default): Use symbol membership rather than a regexp.
  Also, use `sym-indent' instead of (current-column).  This fixes a problem
  with a hanging `structure Foo = (struct|let)' (due to `structure' having
  a sml-indent-rule, as opposed to `fun').  Hopefully it won't introduce
  other problems.
(sml-font-lock-keywords): Match vars `val x : int' also.
(sml-electric-pipe): Update to the new `sml-find-matching-starter' and
  return a sensible default instead of raising an error in case of
  unexpected situations.
(sml-indent-line): Ignore errors and keep the cursor where it is.
(sml-calculate-indentation, sml-indent-pipe): Use syms instead of regexps.
* sml-defs.el (sml-starters-re, sml-pipehead-re): Remove.
* testcases.sml: New file.
* makefile.pkg (test): new target to run the test suite.

Revision 543 - Directory Listing
Modified Sat Feb 19 14:17:52 2000 UTC (19 years, 8 months ago) by blume
added missing initialization to numFiles in runtime boot code

Revision 542 - Directory Listing
Modified Fri Feb 18 22:59:40 2000 UTC (19 years, 8 months ago) by monnier
*** empty log message ***

Revision 541 - Directory Listing
Modified Fri Feb 18 20:35:43 2000 UTC (19 years, 8 months ago) by monnier
Pass through checkdoc and use `eval-when-compile' whenever
possible for (require 'cl).

Revision 540 - Directory Listing
Modified Fri Feb 18 19:46:31 2000 UTC (19 years, 8 months ago) by monnier
*** empty log message ***

Revision 539 - Directory Listing
Modified Fri Feb 18 18:32:26 2000 UTC (19 years, 8 months ago) by monnier
Try to allow to run testml from a different directory.

Revision 538 - Directory Listing
Modified Fri Feb 18 17:59:53 2000 UTC (19 years, 8 months ago) by monnier
*** empty log message ***

Revision 537 - Directory Listing
Modified Fri Feb 18 17:20:16 2000 UTC (19 years, 8 months ago) by blume
CM changes: standalone builds, better CMB.make/deliver, general improvements

Revision 536 - Directory Listing
Modified Fri Feb 18 16:51:54 2000 UTC (19 years, 8 months ago) by monnier
*** empty log message ***

Revision 535 - Directory Listing
Modified Fri Feb 18 16:49:10 2000 UTC (19 years, 8 months ago) by monnier
* sml-util.el (make-temp-dir, make-temp-file, temp-file-dir,
  delete-temp-dirs): Replaced by the make-temp-file from Emacs-21.
(custom-create-map): add :group arg and allow key to be a list.
(define-major-mode): Removed (use define-derived-mode instead).
(sml-builtin-nested-comments-flag): New var.

* sml-proc.el (sml-host-name): New var.
(sml-make-file-name): Replaced by `sml-compile-commands'.
(sml-config-file): New var.
(sml-compile-commands-alist): New var.
(inferior-sml-load-hook): Removed.
(sml-buffer): Query if the current buffer is not a *sml*.
(inferior-sml-mode): Use minor-mode-overriding-map-alist to disable
  compilation-minor-mode's keybindings.
(run-sml): Turn into an alias for sml-run.
(sml-run): Query the user for the command.  If prefix is set (or if
  default value is not null) query for args and host.  Use `split-string'
  rather than our own function.  Run cmd on another host if requested and
  pass it an init file if it exists.  Pop to the buffer at the end.
(sml-args-to-list): Remove.
(sml-compile): Look for special files (sml-compile-command-alist) in
  the current dir (and its parents) to choose a default command.  Remember
  the command for next time in the same buffer.  Make the `cd' explicit in
  the command so the user can change it.
(sml-make-error): Fix for when `endline' is absent.

* sml-mode.el: Pass it rhough checkdoc.
(sml-mode-version): Remove.
(sml-load-hook): Remove.
(sml-mode-info): Use `info' rather than `Info-goto-node'.
(sml-keywords-regexp): Add "o".
(sml-syntax-prop-table): Use `defsyntax'.
(sml-font-lock-syntactic-keywords): Only use nested comments if supported.
(sml-mode): Use `define-derived-mode'.
(sml-electric-pipe): `sml-indent-line' -> `indent-according-to-mode'.
(sml-indent-line): Use `indent-line-to'.
(sml-cm-mode): New mode for CM files.

* Makefile: Update.

* sml-mode-startup.el: Remove since it's now autogenerated.

* sml-defs.el (sml-bindings): Remove left over C-c` binding.
(sml-mode-map): Add binding for sml-drag-region (was in sml-proc.el).
(sml-mode-syntax-table): Only use nested comments if supported.
(sml-mode-menu): Use next-error rather than the old sml-next-error.
(sml-pipehead-re): Remove "of".

* sml-compat.el (set-keymap-=parents): Make sure it also works when called
  with a single keymap rather than a list.
(temporary-file-directory): Add a default definition for XEmacs.
(make-temp-file): New function.

Revision 534 - Directory Listing
Modified Thu Feb 17 22:14:04 2000 UTC (19 years, 8 months ago) by monnier
Undoing David's spurious change.

Revision 533 - Directory Listing
Modified Thu Feb 10 21:57:43 2000 UTC (19 years, 8 months ago) by monnier
*** empty log message ***

Revision 532 - Directory Listing
Modified Thu Feb 10 21:24:50 2000 UTC (19 years, 8 months ago) by dtelle
*** empty log message ***

Revision 531 - Directory Listing
Modified Sat Feb 5 21:29:18 2000 UTC (19 years, 8 months ago) by monnier
(ilhint): Comment fix.

Revision 530 - Directory Listing
Modified Mon Jan 31 22:53:55 2000 UTC (19 years, 8 months ago) by monnier
(fcLet/cassoc): don't do a second pass over the output of the rewrite.
  It leads to quadratic behavior for `x1 andalso x2 ...'.

Revision 529 - Directory Listing
Modified Mon Jan 31 22:53:38 2000 UTC (19 years, 8 months ago) by monnier
*** empty log message ***

Revision 528 - Directory Listing
Modified Mon Jan 24 05:03:42 2000 UTC (19 years, 9 months ago) by blume
TODO and manual update

Revision 527 - Directory Listing
Modified Tue Jan 18 04:12:54 2000 UTC (19 years, 9 months ago) by blume
forced ml-lex and ml-yacc plugins pre-loaded for -rebuild to work

Revision 526 - Directory Listing
Modified Thu Jan 13 06:07:45 2000 UTC (19 years, 9 months ago) by blume
tool command names now configurable via pathconfig mechanism

Revision 525 - Directory Listing
Modified Thu Jan 13 05:59:40 2000 UTC (19 years, 9 months ago) by blume
using pathconfig for tool command names

Revision 524 - Directory Listing
Modified Thu Jan 13 03:04:06 2000 UTC (19 years, 9 months ago) by blume
two-stage fallback to accomodate config values in plugin modules

Revision 523 - Directory Listing
Modified Wed Jan 12 22:03:45 2000 UTC (19 years, 9 months ago) by monnier
*** empty log message ***

Revision 522 - Directory Listing
Modified Wed Jan 12 20:45:49 2000 UTC (19 years, 9 months ago) by dbm
make definition of ALLOC agree with that in config/install.sh

Revision 521 - Directory Listing
Modified Wed Jan 12 20:44:11 2000 UTC (19 years, 9 months ago) by dbm
Allen's fix for gc code generation problem

Revision 520 - Directory Listing
Modified Wed Jan 12 09:07:47 2000 UTC (19 years, 9 months ago) by blume
implemented CM tool plugins

Revision 519 - Directory Listing
Modified Wed Jan 12 06:40:12 2000 UTC (19 years, 9 months ago) by blume
added some copyright notices

Revision 518 - Directory Listing
Modified Wed Jan 12 06:26:25 2000 UTC (19 years, 9 months ago) by blume
tool plugins implemented

Revision 517 - Directory Listing
Modified Wed Jan 12 03:17:34 2000 UTC (19 years, 9 months ago) by jhr
  Removed info files generated by ML-Doc tool.

Revision 516 - Directory Listing
Modified Mon Jan 10 02:08:20 2000 UTC (19 years, 9 months ago) by blume
accidental change to config/targets corrected (default targets)

Revision 515 - Directory Listing
Modified Sun Jan 9 09:59:14 2000 UTC (19 years, 9 months ago) by blume
pickler bug fixes; some cosmetic changes

Revision 514 - Directory Listing
Modified Thu Dec 16 08:32:57 1999 UTC (19 years, 10 months ago) by blume
more careful cleaning when seeing/creating stable libs

Revision 513 - Directory Listing
Modified Thu Dec 16 03:14:18 1999 UTC (19 years, 10 months ago) by blume
tweaking the (un)pickler

Revision 512 - Directory Listing
Modified Mon Dec 13 05:43:09 1999 UTC (19 years, 10 months ago) by blume
added testml/installml back, this time with execute permission

Revision 511 - Directory Listing
Modified Mon Dec 13 05:41:49 1999 UTC (19 years, 10 months ago) by blume
deleted testml/installml so that I can add them back with execute permissions

Revision 510 - Directory Listing
Modified Mon Dec 13 03:39:48 1999 UTC (19 years, 10 months ago) by blume
testml, installml made executable; system.tar deleted

Revision 509 - Directory Listing
Modified Sun Dec 12 05:13:26 1999 UTC (19 years, 10 months ago) by monnier
*** empty log message ***

Revision 508 - Directory Listing
Modified Fri Dec 10 20:35:54 1999 UTC (19 years, 10 months ago) by monnier
*** empty log message ***

Revision 507 - Directory Listing
Modified Fri Dec 10 09:18:23 1999 UTC (19 years, 10 months ago) by blume
conserve_memory off by default; done anyway at bootstrap time; docu update

Revision 506 - Directory Listing
Modified Fri Dec 10 00:15:35 1999 UTC (19 years, 10 months ago) by monnier
The compiler now compiles to a fix point but "split" still
doesn't work because of a problem with the pickler.

Revision 505 - Directory Listing
Modified Thu Dec 9 08:24:08 1999 UTC (19 years, 10 months ago) by blume
pickle dropper

Revision 504 - Directory Listing
Modified Tue Dec 7 18:31:05 1999 UTC (19 years, 10 months ago) by monnier
the 110.25 merge compiles

Revision 503 - Directory Listing
Modified Tue Dec 7 17:56:19 1999 UTC (19 years, 10 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r502,
which included commits to RCS files with non-trunk default branches.

Revision 501 - Directory Listing
Modified Tue Dec 7 15:59:36 1999 UTC (19 years, 10 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r500,
which included commits to RCS files with non-trunk default branches.

Revision 499 - Directory Listing
Modified Tue Dec 7 15:44:50 1999 UTC (19 years, 10 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r498,
which included commits to RCS files with non-trunk default branches.

Revision 496 - Directory Listing
Modified Tue Dec 7 15:43:07 1999 UTC (19 years, 10 months ago) by monnier
Initial revision

Revision 495 - Directory Listing
Modified Wed Dec 1 05:57:19 1999 UTC (19 years, 10 months ago) by blume
preloading made configurable; bare builds working again

Revision 494 - Directory Listing
Modified Tue Nov 30 09:07:21 1999 UTC (19 years, 10 months ago) by blume
memoize put into its own module

Revision 493 - Directory Listing
Modified Mon Nov 29 07:13:22 1999 UTC (19 years, 10 months ago) by blume
Tools cleaned up

Revision 492 - Directory Listing
Modified Fri Nov 26 09:00:50 1999 UTC (19 years, 10 months ago) by blume
relative osstrings; groupsOf

Revision 491 - Directory Listing
Modified Thu Nov 25 15:08:04 1999 UTC (19 years, 11 months ago) by blume
added cleanGroup after reading stable library

Revision 490 - Directory Listing
Modified Wed Nov 24 07:00:45 1999 UTC (19 years, 11 months ago) by blume
cmdline: dflt = autoload; comp->sml

Revision 489 - Directory Listing
Modified Tue Nov 23 12:55:00 1999 UTC (19 years, 11 months ago) by monnier
somewhat functional

Revision 488 - Directory Listing
Modified Tue Nov 23 11:07:04 1999 UTC (19 years, 11 months ago) by monnier
*** empty log message ***

Revision 487 - Directory Listing
Modified Fri Nov 19 07:18:17 1999 UTC (19 years, 11 months ago) by blume
smlinfo registry handled better; dia test; manual updates

Revision 486 - Directory Listing
Modified Thu Nov 18 14:05:46 1999 UTC (19 years, 11 months ago) by blume
deadlock in the case of crashing servers eliminated

Revision 485 - Directory Listing
Modified Thu Nov 18 08:54:14 1999 UTC (19 years, 11 months ago) by blume
IntRedBlackMap -> IntMap

Revision 484 - Directory Listing
Modified Thu Nov 18 08:46:16 1999 UTC (19 years, 11 months ago) by blume
master-slave implementation improved; now more robust against slave crashes

Revision 483 - Directory Listing
Modified Thu Nov 18 03:30:50 1999 UTC (19 years, 11 months ago) by blume
comment in cm-boot.sml updated

Revision 482 - Directory Listing
Modified Fri Nov 12 07:56:29 1999 UTC (19 years, 11 months ago) by blume
version number in manual corrected

Revision 481 - Directory Listing
Modified Fri Nov 12 06:34:38 1999 UTC (19 years, 11 months ago) by blume
manual updated

Revision 480 - Directory Listing
Modified Fri Nov 12 04:59:29 1999 UTC (19 years, 11 months ago) by blume
slave implementation put into separate file

Revision 479 - Directory Listing
Modified Thu Nov 11 07:46:35 1999 UTC (19 years, 11 months ago) by blume
minimal/full CM separated

Revision 478 - Directory Listing
Modified Thu Nov 11 03:02:05 1999 UTC (19 years, 11 months ago) by blume
cosmetic changes to concurrency modules

Revision 477 - Directory Listing
Modified Wed Nov 10 23:04:21 1999 UTC (19 years, 11 months ago) by monnier
auto-merged to 110.24

Revision 476 - Directory Listing
Modified Wed Nov 10 22:59:58 1999 UTC (19 years, 11 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r475,
which included commits to RCS files with non-trunk default branches.

Revision 473 - Directory Listing
Modified Wed Nov 10 22:54:26 1999 UTC (19 years, 11 months ago) by monnier
Initial revision

Revision 472 - Directory Listing
Modified Wed Nov 10 22:48:28 1999 UTC (19 years, 11 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r471,
which included commits to RCS files with non-trunk default branches.

Revision 470 - Directory Listing
Modified Wed Nov 10 22:42:52 1999 UTC (19 years, 11 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r469,
which included commits to RCS files with non-trunk default branches.

Revision 467 - Directory Listing
Modified Wed Nov 10 22:40:46 1999 UTC (19 years, 11 months ago) by monnier
Initial revision

Revision 466 - Directory Listing
Modified Wed Nov 10 22:35:37 1999 UTC (19 years, 11 months ago) by monnier
*** empty log message ***

Revision 465 - Directory Listing
Modified Tue Nov 9 09:08:54 1999 UTC (19 years, 11 months ago) by blume
dummy-server fixed; comments; cosmetics

Revision 464 - Directory Listing
Modified Tue Nov 9 06:49:52 1999 UTC (19 years, 11 months ago) by blume
concur moved; remote pathname cleanup; no dependence on target-compilers

Revision 463 - Directory Listing
Modified Fri Nov 5 08:31:08 1999 UTC (19 years, 11 months ago) by blume
library dependenies reorganized (viscomp-core.cm etc.)

Revision 462 - Directory Listing
Modified Fri Nov 5 05:45:48 1999 UTC (19 years, 11 months ago) by blume
error recovery during compile traversal finally correct (hopefully)

Revision 461 - Directory Listing
Modified Thu Nov 4 08:06:56 1999 UTC (19 years, 11 months ago) by blume
filtering and rehashing fixed; Servers.reset added where necessary

Revision 460 - Directory Listing
Modified Wed Nov 3 02:23:44 1999 UTC (19 years, 11 months ago) by blume
pickle context mostly eliminated

Revision 459 - Directory Listing
Modified Fri Oct 29 06:22:25 1999 UTC (19 years, 11 months ago) by blume
small change to SafeIO; cosmetic fix of master-slave interrupt handling; doc

Revision 458 - Directory Listing
Modified Thu Oct 28 14:22:55 1999 UTC (19 years, 11 months ago) by blume
reset logic (scheduler) fixed

Revision 457 - Directory Listing
Modified Thu Oct 28 05:58:19 1999 UTC (19 years, 11 months ago) by blume
more robust(?) path name protocol

Revision 456 - Directory Listing
Modified Wed Oct 27 15:09:58 1999 UTC (19 years, 11 months ago) by blume
even ordering in master-slave protocol improved

Revision 455 - Directory Listing
Modified Wed Oct 27 08:08:25 1999 UTC (19 years, 11 months ago) by blume
documentation updated

Revision 454 - Directory Listing
Modified Wed Oct 27 04:41:14 1999 UTC (19 years, 11 months ago) by blume
in-degree calculation and prioritizing added

Revision 453 - Directory Listing
Modified Tue Oct 26 06:24:34 1999 UTC (20 years ago) by blume
interrupt handling made more robust for compile servers

Revision 452 - Directory Listing
Modified Mon Oct 25 08:33:25 1999 UTC (20 years ago) by blume
servers: X-platform, rsh, stabilization now work

Revision 451 - Directory Listing
Modified Sat Oct 23 15:05:55 1999 UTC (20 years ago) by blume
CMB.deliver (and probably CM.stabilize) now work with compile servers

Revision 450 - Directory Listing
Modified Fri Oct 22 17:10:09 1999 UTC (20 years ago) by blume
improvements on parallel stuff

Revision 449 - Directory Listing
Modified Fri Oct 22 07:35:29 1999 UTC (20 years ago) by blume
parallel make basically works (with rough edges)

Revision 448 - Directory Listing
Modified Thu Oct 21 09:20:16 1999 UTC (20 years ago) by blume
getting ready for parallel...

Revision 447 - Directory Listing
Modified Tue Oct 19 07:34:25 1999 UTC (20 years ago) by blume
prepared for switching to rb-trees (once they work correctly)

Revision 446 - Directory Listing
Modified Wed Sep 29 03:29:07 1999 UTC (20 years ago) by blume
registerGroup goof repaired

Revision 445 - Directory Listing
Modified Thu Sep 16 07:55:27 1999 UTC (20 years, 1 month ago) by blume
dynlink chapter added to doc

Revision 444 - Directory Listing
Modified Thu Sep 16 05:32:14 1999 UTC (20 years, 1 month ago) by blume
annoying path confusion bug fixed

Revision 443 - Directory Listing
Modified Thu Sep 16 02:33:21 1999 UTC (20 years, 1 month ago) by blume
small cosmetic correction in code layout

Revision 442 - Directory Listing
Modified Wed Sep 15 23:29:38 1999 UTC (20 years, 1 month ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r441,
which included commits to RCS files with non-trunk default branches.

Revision 440 - Directory Listing
Modified Wed Sep 15 16:37:27 1999 UTC (20 years, 1 month ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r439,
which included commits to RCS files with non-trunk default branches.

Revision 437 - Directory Listing
Modified Wed Sep 15 16:36:19 1999 UTC (20 years, 1 month ago) by monnier
Initial revision

Revision 436 - Directory Listing
Modified Tue Sep 14 09:05:35 1999 UTC (20 years, 1 month ago) by blume
in Doc: tabbing changed to tabular env

Revision 435 - Directory Listing
Modified Tue Sep 14 08:51:11 1999 UTC (20 years, 1 month ago) by blume
stable loading is now self-contained; more cycle reporting

Revision 434 - Directory Listing
Modified Mon Sep 13 08:40:49 1999 UTC (20 years, 1 month ago) by blume
CMB.symval added; manual update

Revision 433 - Directory Listing
Modified Mon Sep 13 06:57:29 1999 UTC (20 years, 1 month ago) by blume
symval added; getterSetter changed to { get, set }

Revision 432 - Directory Listing
Modified Fri Sep 10 05:44:08 1999 UTC (20 years, 1 month ago) by blume
memoize in stabilize; faster autoload message; consistent handling of ctxt

Revision 431 - Directory Listing
Modified Wed Sep 8 12:02:54 1999 UTC (20 years, 1 month ago) by monnier
merged in 110.21.  It might compile but it should won't work.

Revision 430 - Directory Listing
Modified Wed Sep 8 09:47:00 1999 UTC (20 years, 1 month ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r429,
which included commits to RCS files with non-trunk default branches.

Revision 427 - Directory Listing
Modified Wed Sep 8 09:40:08 1999 UTC (20 years, 1 month ago) by monnier
Initial revision

Revision 426 - Directory Listing
Modified Tue Sep 7 06:36:12 1999 UTC (20 years, 1 month ago) by blume
destroy_state was called too early in stabilize

Revision 425 - Directory Listing
Modified Mon Sep 6 17:40:48 1999 UTC (20 years, 1 month ago) by monnier
unused

Revision 424 - Directory Listing
Modified Mon Sep 6 06:56:21 1999 UTC (20 years, 1 month ago) by blume
cm-tools.cm added

Revision 423 - Directory Listing
Modified Mon Sep 6 02:32:11 1999 UTC (20 years, 1 month ago) by monnier
It now compiles

Revision 422 - Directory Listing
Modified Sun Sep 5 22:49:38 1999 UTC (20 years, 1 month ago) by monnier
merged in 110.19 and 110.20.
Conflicts resolved, but it probably doesn't compile yet.

Revision 421 - Directory Listing
Modified Sat Sep 4 00:01:22 1999 UTC (20 years, 1 month ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r420,
which included commits to RCS files with non-trunk default branches.

Revision 419 - Directory Listing
Modified Fri Sep 3 23:51:27 1999 UTC (20 years, 1 month ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r418,
which included commits to RCS files with non-trunk default branches.

Revision 416 - Directory Listing
Modified Fri Sep 3 23:50:31 1999 UTC (20 years, 1 month ago) by monnier
Initial revision

Revision 415 - Directory Listing
Modified Fri Sep 3 08:15:09 1999 UTC (20 years, 1 month ago) by blume
first draft of manual complete

Revision 414 - Directory Listing
Modified Fri Sep 3 00:30:34 1999 UTC (20 years, 1 month ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r413,
which included commits to RCS files with non-trunk default branches.

Revision 412 - Directory Listing
Modified Fri Sep 3 00:25:03 1999 UTC (20 years, 1 month ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r411,
which included commits to RCS files with non-trunk default branches.

Revision 409 - Directory Listing
Modified Fri Sep 3 00:21:52 1999 UTC (20 years, 1 month ago) by monnier
Initial revision

Revision 408 - Directory Listing
Modified Thu Sep 2 14:22:37 1999 UTC (20 years, 1 month ago) by blume
some more manual writing

Revision 407 - Directory Listing
Modified Thu Sep 2 09:16:50 1999 UTC (20 years, 1 month ago) by blume
small error fixed in manual

Revision 406 - Directory Listing
Modified Thu Sep 2 09:13:19 1999 UTC (20 years, 1 month ago) by blume
first attempt at some documentation; empty lines in pathconfig files ignored

Revision 405 - Directory Listing
Modified Thu Sep 2 03:35:24 1999 UTC (20 years, 1 month ago) by blume
relative anchors expanded

Revision 404 - Directory Listing
Modified Wed Sep 1 07:03:22 1999 UTC (20 years, 1 month ago) by blume
some small bugs squashed

Revision 403 - Directory Listing
Modified Tue Aug 31 07:44:29 1999 UTC (20 years, 1 month ago) by blume
switchover to new library scheme seems to be completed

Revision 402 - Directory Listing
Modified Fri Aug 27 07:50:43 1999 UTC (20 years, 1 month ago) by blume
comments and some diagnostics added

Revision 401 - Directory Listing
Modified Fri Aug 27 02:43:47 1999 UTC (20 years, 1 month ago) by blume
new stable library format seems to work...

Revision 400 - Directory Listing
Modified Thu Aug 26 16:23:37 1999 UTC (20 years, 2 months ago) by blume
compiles now, compiles itself, but then does not boot

Revision 399 - Directory Listing
Modified Thu Aug 26 09:55:09 1999 UTC (20 years, 2 months ago) by blume
mostly done; need to finish Link

Revision 398 - Directory Listing
Modified Wed Aug 25 15:36:43 1999 UTC (20 years, 2 months ago) by blume
new stable format + improved recompile/link (in progress, not working yet)

Revision 397 - Directory Listing
Modified Fri Aug 13 07:06:52 1999 UTC (20 years, 2 months ago) by blume
old-style operators recognized (with warning message)

Revision 396 - Directory Listing
Modified Thu Aug 12 06:05:40 1999 UTC (20 years, 2 months ago) by blume
Elsa's bug fixed

Revision 395 - Directory Listing
Modified Wed Aug 11 20:48:17 1999 UTC (20 years, 2 months ago) by monnier
* sml-mode.texi:  somewhat updated the doc.
* release 3.9.3

Revision 394 - Directory Listing
Modified Mon Aug 9 21:45:51 1999 UTC (20 years, 2 months ago) by monnier
* Makefile: updated to the version of pcl-cvs.
* sml-proc.el: eliminated some old unused code.
* sml-defs.el,sml-mode.el,sml-proc.el: added simple customize support.

Revision 393 - Directory Listing
Modified Fri Aug 6 08:41:25 1999 UTC (20 years, 2 months ago) by blume
small changes in the pickler interface

Revision 392 - Directory Listing
Modified Fri Jul 30 08:02:33 1999 UTC (20 years, 2 months ago) by blume
bug in skel-io fixed

Revision 391 - Directory Listing
Modified Fri Jul 30 07:23:56 1999 UTC (20 years, 2 months ago) by blume
slight changes in pickle interface

Revision 390 - Directory Listing
Modified Tue Jul 27 14:07:00 1999 UTC (20 years, 2 months ago) by blume
code discarded in safe cases only

Revision 389 - Directory Listing
Modified Mon Jul 26 03:13:33 1999 UTC (20 years, 3 months ago) by blume
fixed smlinfo.sml; new sharing module should work now

Revision 388 - Directory Listing
Modified Mon Jul 26 02:45:07 1999 UTC (20 years, 3 months ago) by blume
sharing.sml added

Revision 387 - Directory Listing
Modified Mon Jul 26 02:44:20 1999 UTC (20 years, 3 months ago) by blume
just syncing; this version does not work

Revision 386 - Directory Listing
Modified Thu Jul 22 07:35:50 1999 UTC (20 years, 3 months ago) by blume
alpha32x support dropped

Revision 385 - Directory Listing
Modified Thu Jul 22 05:23:25 1999 UTC (20 years, 3 months ago) by blume
stable pickles use more sharing now

Revision 384 - Directory Listing
Modified Wed Jul 21 08:54:00 1999 UTC (20 years, 3 months ago) by blume
skel-io and stabilize use new pickler

Revision 383 - Directory Listing
Modified Tue Jul 20 06:05:56 1999 UTC (20 years, 3 months ago) by blume
exception history printed in recomp.sml

Revision 382 - Directory Listing
Modified Sun Jul 11 03:12:07 1999 UTC (20 years, 3 months ago) by monnier
* opt/split.sml: don't burp when you can't split.

Revision 381 - Directory Listing
Modified Fri Jul 9 05:37:59 1999 UTC (20 years, 3 months ago) by blume
bug in cm.lex fixed

Revision 380 - Directory Listing
Modified Fri Jul 9 05:22:18 1999 UTC (20 years, 3 months ago) by blume
aliases eliminated

Revision 379 - Directory Listing
Modified Thu Jul 8 02:12:11 1999 UTC (20 years, 3 months ago) by blume
just updating some comment...

Revision 378 - Directory Listing
Modified Wed Jul 7 14:45:42 1999 UTC (20 years, 3 months ago) by monnier
* sml-proc.el (sml-update-cursor): make sure it also works if compile.el
  is fixed to uses a marker.
* sml-mode.el (sml-indent): fix the `fixindent'.

Revision 377 - Directory Listing
Modified Wed Jul 7 06:55:18 1999 UTC (20 years, 3 months ago) by blume
some pathconfig oddness rectified

Revision 376 - Directory Listing
Modified Wed Jul 7 04:25:11 1999 UTC (20 years, 3 months ago) by blume
fixed AutoDir (handling of ..)

Revision 375 - Directory Listing
Modified Wed Jul 7 03:08:04 1999 UTC (20 years, 3 months ago) by blume
unnecessary files deleted; some files moved

Revision 374 - Directory Listing
Modified Wed Jul 7 02:59:55 1999 UTC (20 years, 3 months ago) by blume
small change to AbsPath; NEW_CM dependence eliminated from .cm files

Revision 373 - Directory Listing
Modified Wed Jul 7 00:45:56 1999 UTC (20 years, 3 months ago) by blume
no more canonicalization in AbsPath

Revision 372 - Directory Listing
Modified Tue Jul 6 09:05:57 1999 UTC (20 years, 3 months ago) by blume
traversals separated (private state should now also work with autoloader)

Revision 371 - Directory Listing
Modified Mon Jul 5 14:34:41 1999 UTC (20 years, 3 months ago) by blume
backed out of thin traversals

Revision 370 - Directory Listing
Modified Mon Jul 5 08:59:13 1999 UTC (20 years, 3 months ago) by blume
thin traversals implemented (whew!)

Revision 369 - Directory Listing
Modified Sun Jul 4 12:55:20 1999 UTC (20 years, 3 months ago) by blume
bfc_fetch_xxx bogosity eliminated; more fleshing out of CM

Revision 368 - Directory Listing
Modified Sat Jul 3 13:05:59 1999 UTC (20 years, 3 months ago) by blume
better pathconfig interface + some cosmetic improvements

Revision 367 - Directory Listing
Modified Sat Jul 3 04:59:01 1999 UTC (20 years, 3 months ago) by blume
more bugs/problems eliminated from the list...

Revision 366 - Directory Listing
Modified Fri Jul 2 14:13:29 1999 UTC (20 years, 3 months ago) by blume
handling of cwd corrected

Revision 365 - Directory Listing
Modified Fri Jul 2 08:38:07 1999 UTC (20 years, 3 months ago) by blume
parse caching limit; various control flags exported

Revision 364 - Directory Listing
Modified Fri Jul 2 07:33:12 1999 UTC (20 years, 3 months ago) by blume
more inching towards a usable system

Revision 363 - Directory Listing
Modified Fri Jul 2 02:45:45 1999 UTC (20 years, 3 months ago) by blume
transfer of state during stabilization implemented

Revision 362 - Directory Listing
Modified Thu Jul 1 09:39:48 1999 UTC (20 years, 3 months ago) by blume
bootstrapping now working (it seems)

Revision 361 - Directory Listing
Modified Wed Jun 30 06:44:04 1999 UTC (20 years, 3 months ago) by blume
bootstrapping works now (mainly); PathConfig code cleaned majorly

Revision 360 - Directory Listing
Modified Tue Jun 29 09:21:02 1999 UTC (20 years, 3 months ago) by blume
basic bootstrapping is now working

Revision 359 - Directory Listing
Modified Tue Jun 29 01:53:40 1999 UTC (20 years, 3 months ago) by blume
sparc.sml entry deleted from cm-lib.cm

Revision 358 - Directory Listing
Modified Mon Jun 28 13:59:11 1999 UTC (20 years, 3 months ago) by blume
listfile generation fixed

Revision 357 - Directory Listing
Modified Mon Jun 28 08:46:30 1999 UTC (20 years, 3 months ago) by blume
more work towards being able to bootstrap

Revision 356 - Directory Listing
Modified Sun Jun 27 11:51:16 1999 UTC (20 years, 3 months ago) by blume
error message improved; handling of corenv corrected in btcompile

Revision 355 - Directory Listing
Modified Sat Jun 26 13:17:30 1999 UTC (20 years, 4 months ago) by blume
autoloading added

Revision 354 - Directory Listing
Modified Fri Jun 25 08:36:12 1999 UTC (20 years, 4 months ago) by blume
a host of changes related mostly to pathname handling

Revision 353 - Directory Listing
Modified Thu Jun 24 09:43:28 1999 UTC (20 years, 4 months ago) by blume
various changes in pathname handling etc.

Revision 352 - Directory Listing
Modified Wed Jun 23 09:27:27 1999 UTC (20 years, 4 months ago) by blume
more elaborate pathname handling (for the sake of bt-compiler)

Revision 351 - Directory Listing
Modified Wed Jun 23 06:44:27 1999 UTC (20 years, 4 months ago) by blume
very serious (and stupid!) performance bug killed

Revision 350 - Directory Listing
Modified Wed Jun 23 00:38:58 1999 UTC (20 years, 4 months ago) by monnier
* sml-mode-startup.el: fixed to fulfill autoload.el assumptions.

Revision 349 - Directory Listing
Modified Tue Jun 22 06:17:47 1999 UTC (20 years, 4 months ago) by blume
RTPID and BINLIST written

Revision 348 - Directory Listing
Modified Tue Jun 22 05:43:46 1999 UTC (20 years, 4 months ago) by blume
wrapped privileges cleaned up; Overview updated

Revision 347 - Directory Listing
Modified Mon Jun 21 15:08:30 1999 UTC (20 years, 4 months ago) by monnier
* sml-defs.el (sml-bindings): removed bindings for TAB and M-C-\
* sml-mode.el (sml-font-lock-keywords): skip type vars in "fun 'a myfn"
(sml-calculate-indentation): add a hack to allow the user to manually
  override the indentation algorithm with a magic comment.
* sml-mode-startup.el: update the autoloads automatically.

Revision 346 - Directory Listing
Modified Mon Jun 21 05:07:29 1999 UTC (20 years, 4 months ago) by blume
IO.Io exception handled in stabilize.sml

Revision 345 - Directory Listing
Modified Sun Jun 20 11:55:26 1999 UTC (20 years, 4 months ago) by blume
error flag in source cancelled; IO vs. interrupts handled more robustly

Revision 344 - Directory Listing
Modified Sun Jun 20 03:14:57 1999 UTC (20 years, 4 months ago) by blume
installation instructions; keep_going off by default

Revision 343 - Directory Listing
Modified Sat Jun 19 09:29:33 1999 UTC (20 years, 4 months ago) by monnier
* sml-proc.el (sml-error-regexp-alist): solved the pathological
  font-locking on long lines.

* sml-move.el (sml-forward-sexp): slightly improved.

Revision 342 - Directory Listing
Modified Sat Jun 19 09:26:38 1999 UTC (20 years, 4 months ago) by monnier
*** empty log message ***

Revision 341 - Directory Listing
Modified Fri Jun 18 19:10:12 1999 UTC (20 years, 4 months ago) by monnier
* sml-mode.el (sml-insert-form): Only add a space if needed.
(sml-electric-space): new command bound to M-SPC.

Revision 340 - Directory Listing
Modified Fri Jun 18 05:32:46 1999 UTC (20 years, 4 months ago) by blume
groups not stabilizable by themselves (sucked into surrounding stable library)

Revision 339 - Directory Listing
Modified Thu Jun 17 16:14:01 1999 UTC (20 years, 4 months ago) by monnier
* sml-defs.el (sml-close-paren): added a second field that specifies when
  not to delegate.  Used for zero-indent single-line `if..else'.

Revision 338 - Directory Listing
Modified Thu Jun 17 14:13:58 1999 UTC (20 years, 4 months ago) by blume
Overview added

Revision 337 - Directory Listing
Modified Thu Jun 17 09:43:40 1999 UTC (20 years, 4 months ago) by blume
missing copyright notices added

Revision 336 - Directory Listing
Modified Thu Jun 17 09:23:20 1999 UTC (20 years, 4 months ago) by blume
SymVal implemented

Revision 335 - Directory Listing
Modified Thu Jun 17 08:21:08 1999 UTC (20 years, 4 months ago) by blume
build-initdg now reports binpaths and not sourcepaths

Revision 334 - Directory Listing
Modified Thu Jun 17 02:43:15 1999 UTC (20 years, 4 months ago) by monnier
* sml-move.el (sml-(for|back)ward-sym): distinguishes between
  operator "=" and syntax for definitions "d=".
* sml-defs.el (sml-indent-starters, sml-delegate): simplified.
(sml-symbol-indent): added outdentation for `fn' and generalized it to
  also work for `of' and `in' and `end'.
* sml-mode.el (sml-nested-if-indent): reintroduced as well as the special
  casing code for it.
(sml-indent-relative): generalize the treatment of `of', `in', `end', ...
(sml-electric-pipe): removed the slow behavior and added smarts for the
  never-used type-variable arguments for function definitions.
* sml-defs.el (sml-mode-menu), sml-mode.el (sml-forms-menu): make the menu
  dynamically.
* sml-mode.el (sml-form-<foo>): use skeletons.
(sml-calculate-indentation): added `with' indentation.

Revision 333 - Directory Listing
Modified Tue Jun 15 03:41:26 1999 UTC (20 years, 4 months ago) by monnier
* sml-move.el (sml-(for|back)ward-sym): now also return the string if any
  and take care of the "op" special keyword.
(sml-op-prec): setup an alist for the infix operators.
* version 3.9.1:  sent to Roland McGrath.

Revision 332 - Directory Listing
Modified Tue Jun 15 00:51:38 1999 UTC (20 years, 4 months ago) by monnier
*** empty log message ***

Revision 331 - Directory Listing
Modified Sat Jun 12 15:04:53 1999 UTC (20 years, 4 months ago) by blume
some more tweaking of the bt compiler (still needs more, but basically works)

Revision 330 - Directory Listing
Modified Sat Jun 12 07:45:52 1999 UTC (20 years, 4 months ago) by blume
stablefile format enhanced; bootstrap compiler shows signs of life

Revision 329 - Directory Listing
Modified Fri Jun 11 09:53:10 1999 UTC (20 years, 4 months ago) by blume
bootstrap compiler half-working

Revision 328 - Directory Listing
Modified Thu Jun 10 22:31:41 1999 UTC (20 years, 4 months ago) by monnier
*** empty log message ***

Revision 327 - Directory Listing
Modified Thu Jun 10 09:14:48 1999 UTC (20 years, 4 months ago) by blume
bootstrap compiler implemented (still needs list file generator etc.)

Revision 326 - Directory Listing
Modified Thu Jun 10 06:08:29 1999 UTC (20 years, 4 months ago) by blume
switched from mkprimperv.sml to build-initdg.sml (which is a lot cleaner)

Revision 325 - Directory Listing
Modified Thu Jun 10 05:00:05 1999 UTC (20 years, 4 months ago) by blume
a bit more flesh on the bootstrap skeleton

Revision 324 - Directory Listing
Modified Wed Jun 9 07:57:07 1999 UTC (20 years, 4 months ago) by blume
first steps towards bootstrap compiler

Revision 323 - Directory Listing
Modified Wed Jun 9 06:16:22 1999 UTC (20 years, 4 months ago) by blume
more flexible implementation of Primitive module

Revision 322 - Directory Listing
Modified Tue Jun 8 09:36:16 1999 UTC (20 years, 4 months ago) by blume
FilenamePolicy implemented

Revision 321 - Directory Listing
Modified Tue Jun 8 08:14:28 1999 UTC (20 years, 4 months ago) by blume
PathConfig implemented

Revision 320 - Directory Listing
Modified Tue Jun 8 07:42:11 1999 UTC (20 years, 4 months ago) by blume
value cache implemented correctly

Revision 319 - Directory Listing
Modified Mon Jun 7 22:47:00 1999 UTC (20 years, 4 months ago) by monnier
First seemingly acceptable new code.

Revision 318 - Directory Listing
Modified Mon Jun 7 09:32:09 1999 UTC (20 years, 4 months ago) by blume
some cleanup; pathconfig modes added; grammar modified (privileges)

Revision 317 - Directory Listing
Modified Fri Jun 4 09:00:10 1999 UTC (20 years, 4 months ago) by blume
some explanatory comments added to link.sml

Revision 316 - Directory Listing
Modified Fri Jun 4 08:32:57 1999 UTC (20 years, 4 months ago) by blume
a few types cleaned up; adding bindings to toplevel implemented

Revision 315 - Directory Listing
Modified Fri Jun 4 07:29:43 1999 UTC (20 years, 4 months ago) by blume
Test tree added to repository

Revision 314 - Directory Listing
Modified Fri Jun 4 06:41:45 1999 UTC (20 years, 4 months ago) by blume
keep_going works now (apparently)

Revision 313 - Directory Listing
Modified Thu Jun 3 09:26:34 1999 UTC (20 years, 4 months ago) by blume
resynchronization facility added (#line)

Revision 312 - Directory Listing
Modified Wed Jun 2 23:20:17 1999 UTC (20 years, 4 months ago) by blume
usage of privileges reported (only a hack)

Revision 311 - Directory Listing
Modified Wed Jun 2 09:08:48 1999 UTC (20 years, 4 months ago) by blume
stabilization code properly hooked in

Revision 310 - Directory Listing
Modified Wed Jun 2 07:28:27 1999 UTC (20 years, 4 months ago) by blume
stabilization code working but only flimsily hooked up

Revision 309 - Directory Listing
Modified Wed Jun 2 03:21:57 1999 UTC (20 years, 4 months ago) by blume
stabilization code completed -- still needs to be hooked up

Revision 308 - Directory Listing
Modified Wed Jun 2 01:26:19 1999 UTC (20 years, 4 months ago) by blume
simplified da-env

Revision 307 - Directory Listing
Modified Tue Jun 1 09:38:28 1999 UTC (20 years, 4 months ago) by blume
more stabilization code (still not done, though)

Revision 306 - Directory Listing
Modified Tue Jun 1 08:25:21 1999 UTC (20 years, 4 months ago) by blume
stabilization code mostly done

Revision 305 - Directory Listing
Modified Mon May 31 15:00:06 1999 UTC (20 years, 4 months ago) by blume
some more fiddling with the stablefile pickler

Revision 304 - Directory Listing
Modified Mon May 31 09:10:08 1999 UTC (20 years, 4 months ago) by blume
first steps towards stabilize (not finished yet)

Revision 303 - Directory Listing
Modified Sun May 30 10:23:20 1999 UTC (20 years, 4 months ago) by blume
dyn-tstamp eliminated; more fiddling with sharing (now checked statically)

Revision 302 - Directory Listing
Modified Sat May 29 03:19:59 1999 UTC (20 years, 4 months ago) by blume
bug in handling of private flag fixed

Revision 301 - Directory Listing
Modified Fri May 28 09:43:39 1999 UTC (20 years, 4 months ago) by blume
recompile and exec mostly working (probably still bugs in the details)

Revision 300 - Directory Listing
Modified Thu May 27 22:01:36 1999 UTC (20 years, 4 months ago) by monnier
*** empty log message ***

Revision 299 - Directory Listing
Modified Thu May 27 13:53:27 1999 UTC (20 years, 5 months ago) by blume
finished recomp.sml; now only need to put the pieces together

Revision 298 - Directory Listing
Modified Thu May 27 09:42:28 1999 UTC (20 years, 5 months ago) by blume
more flesh added to recompile/exec

Revision 297 - Directory Listing
Modified Thu May 27 08:29:19 1999 UTC (20 years, 5 months ago) by blume
persistent state/error handling bogosity fixed

Revision 296 - Directory Listing
Modified Thu May 27 05:31:04 1999 UTC (20 years, 5 months ago) by blume
improved generated skeletons; copyright notice

Revision 295 - Directory Listing
Modified Wed May 26 09:20:25 1999 UTC (20 years, 5 months ago) by blume
most of recompilation/execution machinery in place

Revision 294 - Directory Listing
Modified Tue May 25 09:06:06 1999 UTC (20 years, 5 months ago) by blume
first steps towards make/recompile and stable libraries

Revision 293 - Directory Listing
Modified Tue May 25 03:04:50 1999 UTC (20 years, 5 months ago) by blume
skeleton code rewritten (should contain no more code inherited from SC)

Revision 292 - Directory Listing
Modified Mon May 24 22:03:46 1999 UTC (20 years, 5 months ago) by monnier
merged 110.17

Revision 291 - Directory Listing
Modified Mon May 24 09:41:07 1999 UTC (20 years, 5 months ago) by blume
new attempt at Skeletons (not quite satisfactory yet)

Revision 290 - Directory Listing
Modified Sat May 22 21:01:25 1999 UTC (20 years, 5 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r289,
which included commits to RCS files with non-trunk default branches.

Revision 287 - Directory Listing
Modified Sat May 22 20:58:41 1999 UTC (20 years, 5 months ago) by monnier
Initial revision

Revision 286 - Directory Listing
Modified Fri May 21 07:47:16 1999 UTC (20 years, 5 months ago) by blume
skeleton type simplified; improved conversion, etc.

Revision 285 - Directory Listing
Modified Wed May 19 23:31:25 1999 UTC (20 years, 5 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r284,
which included commits to RCS files with non-trunk default branches.

Revision 283 - Directory Listing
Modified Wed May 19 08:20:58 1999 UTC (20 years, 5 months ago) by blume
full dependency analysis (hopefully) in place

Revision 282 - Directory Listing
Modified Wed May 19 05:14:03 1999 UTC (20 years, 5 months ago) by blume
stdtool as function; better depend. graphs, group export grammar fixed

Revision 281 - Directory Listing
Modified Tue May 18 14:57:00 1999 UTC (20 years, 5 months ago) by blume
GroupReg added; bad error msg behavior fixed

Revision 280 - Directory Listing
Modified Tue May 18 09:05:13 1999 UTC (20 years, 5 months ago) by blume
some cosmetic changes to error reporting

Revision 279 - Directory Listing
Modified Tue May 18 08:10:36 1999 UTC (20 years, 5 months ago) by blume
dependency analysis (hopefully) done; some simplifying changes to skeletons

Revision 278 - Directory Listing
Modified Mon May 17 14:53:49 1999 UTC (20 years, 5 months ago) by blume
more towards dependency analysis

Revision 277 - Directory Listing
Modified Mon May 17 09:13:26 1999 UTC (20 years, 5 months ago) by blume
early beginning of dep. analysis

Revision 276 - Directory Listing
Modified Mon May 17 06:01:28 1999 UTC (20 years, 5 months ago) by blume
stdtool; yacc/lex/burg tools; some odd fixes here and there

Revision 275 - Directory Listing
Modified Sat May 15 09:54:52 1999 UTC (20 years, 5 months ago) by blume
skeleton stuff added (works); error messages improved; SML export analysis

Revision 274 - Directory Listing
Modified Fri May 14 05:23:02 1999 UTC (20 years, 5 months ago) by blume
stage0 -- links fine (for testing); parses correctly (apparently)

Revision 273 - Directory Listing
Modified Wed May 12 08:38:51 1999 UTC (20 years, 5 months ago) by blume
checking for group cycles implemented (with nicely formatted error message)

Revision 272 - Directory Listing
Modified Wed May 12 07:09:28 1999 UTC (20 years, 5 months ago) by blume
implementation of Tools mechanism added

Revision 271 - Directory Listing
Modified Tue May 11 07:48:55 1999 UTC (20 years, 5 months ago) by blume
dummy.sml committed (for now)

Revision 270 - Directory Listing
Modified Tue May 11 07:45:42 1999 UTC (20 years, 5 months ago) by blume
semant/members.sml should be fairly complete now

Revision 269 - Directory Listing
Modified Mon May 10 13:34:43 1999 UTC (20 years, 5 months ago) by blume
started adding dependency graph stuff

Revision 268 - Directory Listing
Modified Mon May 10 07:00:02 1999 UTC (20 years, 5 months ago) by blume
front end completed (modulo bugs)

Revision 267 - Directory Listing
Modified Sat May 8 13:53:45 1999 UTC (20 years, 5 months ago) by blume
more fleshing out semant

Revision 266 - Directory Listing
Modified Sat May 8 04:00:44 1999 UTC (20 years, 5 months ago) by blume
some small changes + re-commit after server crash(?)

Revision 265 - Directory Listing
Modified Fri May 7 08:42:54 1999 UTC (20 years, 5 months ago) by blume
laid foundations for lexer, parser, basic path handling

Revision 262 - Directory Listing
Modified Thu May 6 06:52:05 1999 UTC (20 years, 5 months ago) by blume
Initial revision

Revision 261 - Directory Listing
Modified Wed Apr 28 21:14:25 1999 UTC (20 years, 5 months ago) by monnier
temporarily turned cpsopt back on

Revision 260 - Directory Listing
Modified Thu Apr 22 10:56:58 1999 UTC (20 years, 6 months ago) by monnier
*** empty log message ***

Revision 259 - Directory Listing
Modified Thu Apr 22 09:30:22 1999 UTC (20 years, 6 months ago) by monnier
turned the CPS optimizer back on and tamed the FLINT inlining

Revision 258 - Directory Listing
Modified Wed Apr 21 23:58:52 1999 UTC (20 years, 6 months ago) by monnier
*** empty log message ***

Revision 257 - Directory Listing
Modified Wed Apr 21 02:45:08 1999 UTC (20 years, 6 months ago) by monnier
*** empty log message ***

Revision 256 - Directory Listing
Modified Wed Apr 21 01:28:39 1999 UTC (20 years, 6 months ago) by monnier
*** empty log message ***

Revision 255 - Directory Listing
Modified Wed Apr 21 00:34:12 1999 UTC (20 years, 6 months ago) by monnier
up'd RAISE size estimate to discourage its inlining

Revision 254 - Directory Listing
Modified Wed Apr 21 00:01:13 1999 UTC (20 years, 6 months ago) by monnier
add a space for `prPrimop *' so as to avoid printing `(*'.

Revision 253 - Directory Listing
Modified Tue Apr 20 17:31:38 1999 UTC (20 years, 6 months ago) by monnier
cleanup non-exhaustive match warning

Revision 252 - Directory Listing
Modified Tue Apr 20 17:22:07 1999 UTC (20 years, 6 months ago) by monnier
detect empty TFN/TAPP early

Revision 251 - Directory Listing
Modified Mon Apr 19 02:55:26 1999 UTC (20 years, 6 months ago) by monnier
First try at a merge of 110.16

Revision 250 - Directory Listing
Modified Sat Apr 17 18:57:03 1999 UTC (20 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r249,
which included commits to RCS files with non-trunk default branches.

Revision 248 - Directory Listing
Modified Sat Apr 17 18:47:13 1999 UTC (20 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r247,
which included commits to RCS files with non-trunk default branches.

Revision 246 - Directory Listing
Modified Sat Apr 17 18:47:12 1999 UTC (20 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r245,
which included commits to RCS files with non-trunk default branches.

Revision 244 - Directory Listing
Modified Sat Apr 17 18:41:51 1999 UTC (20 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r243,
which included commits to RCS files with non-trunk default branches.

Revision 241 - Directory Listing
Modified Sat Apr 17 18:35:00 1999 UTC (20 years, 6 months ago) by monnier
Initial revision

Revision 240 - Directory Listing
Modified Sat Apr 17 18:29:24 1999 UTC (20 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r239,
which included commits to RCS files with non-trunk default branches.

Revision 237 - Directory Listing
Modified Sat Apr 17 18:26:03 1999 UTC (20 years, 6 months ago) by monnier
Initial revision

Revision 236 - Directory Listing
Modified Sat Apr 17 18:21:47 1999 UTC (20 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r235,
which included commits to RCS files with non-trunk default branches.

Revision 233 - Directory Listing
Modified Sat Apr 17 18:18:11 1999 UTC (20 years, 6 months ago) by monnier
Initial revision

Revision 232 - Directory Listing
Modified Sat Apr 17 18:14:18 1999 UTC (20 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r231,
which included commits to RCS files with non-trunk default branches.

Revision 229 - Directory Listing
Modified Sat Apr 17 18:10:40 1999 UTC (20 years, 6 months ago) by monnier
Initial revision

Revision 228 - Directory Listing
Modified Sat Apr 17 17:15:03 1999 UTC (20 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r227,
which included commits to RCS files with non-trunk default branches.

Revision 225 - Directory Listing
Modified Sat Apr 17 17:09:01 1999 UTC (20 years, 6 months ago) by monnier
Initial revision

Revision 224 - Directory Listing
Modified Sat Apr 17 16:27:01 1999 UTC (20 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r223,
which included commits to RCS files with non-trunk default branches.

Revision 221 - Directory Listing
Modified Sat Apr 17 16:19:57 1999 UTC (20 years, 6 months ago) by monnier
Initial revision

Revision 220 - Directory Listing
Modified Tue Mar 9 02:15:05 1999 UTC (20 years, 7 months ago) by monnier
* opt/split.sml (sexp): don't split HANDLE (it's incorrect).
(funeffect): embryo to detect side-effect free APPs (non-functional).
(splitThreshold): to put a cap on inlining.
(stfn): don't bother splitting inlinable TFNs.
* opt/fixfix.sml (curry): fixed bug when uncurrying cooked functions.
* opt/fcontract.sml (fcFun):  fix bug when undertaking mut-rec functions.
* main/flintcomp.sml:  added `recover' to help debugging.
updated the fold to allow extraction of Fi and return it at the end.
* lsplit/ls-inline.sml (oneBranch): fixed the wrapper function.
* flint/flintutil.sml (freevars):  forgot to count the arg of SWITCH.
* flint/flint.sig:  added a tfkind to TFN (only inlining for now).
* main/control.sml: new file. Moved from TopLevel/viscomp/control.sml
(splitThreshold): new var.
* TopLevel/viscomp/control.sig (FLINT.printFctTypes): to reduce clutter.
(splitThreshold): to control splitting agressiveness.
* TopLevel/viscomp/control.sml:  moved substructs outside so that clients
  can refer to them directly (rather than through Control.Foo) to reduce
  spurious dependencies.
* TopLevel/main/{codes,compile}: call `split' from flintcomp, not compile.
* kernel/ltyextern.sml (tnarrow), reps/{reify,rttype,typeoper}.sml:
  flatten arguments when reifying them since the pretty-printer doesn't
  know how to deal with flattened reified TFNs.

Revision 219 - Directory Listing
Modified Tue Mar 9 01:07:30 1999 UTC (20 years, 7 months ago) by monnier
*** empty log message ***

Revision 218 - Directory Listing
Modified Tue Mar 2 08:12:06 1999 UTC (20 years, 7 months ago) by monnier
* Semant/pickle/pickmod.sml (mkPickleLty):
  alpha-rename was not applied to NVAR.
* Semant/pickle/unpickmod.sml (lvar): was improperly defined.
(tyc): TC_NVAR wasn't read correctly.
(tfundec): leading char was inconsistent with pickle.
* kernel/ltyextern.sml (tnarrow), reps/{reify,rttype,typeoper}.sml:
  don't unflatten arguments when reifying them.

Revision 217 - Directory Listing
Modified Sun Feb 28 23:41:30 1999 UTC (20 years, 7 months ago) by monnier
* opt/fcontract.sml (fcEta): do the known->unknown eta-reduce if the
  `known' function is not locally defined (in which case the known/unknown
  distinction is pointless anyway).
(wrap):  don't forget to junk dead inlinable functions.

Revision 216 - Directory Listing
Modified Fri Feb 26 12:55:26 1999 UTC (20 years, 7 months ago) by monnier
* opt/split.sml: seriously reworked.  Now splits TFNs as well.
* kernel/primop.sml (effect): removed DEREF and MAKEREF from the pure
  primops.
* flint/flintutil.sml (copy): sort the type-map since {lt,tc}_subst
  actually expects it to be sorted.
* kernel/ltyextern.{sml,sig} (lt_nvpoly): new function (digged from
  recover.sml to build a LT_POLY in the case of named tvars.
* opt/recover.sml: removed unused depth arguments left behind from before
  we switched to named tvars.
(addLty): added for the benefit of opt/split.sml
(lt_nvpoly): moved to ltyextern.sml

Revision 215 - Directory Listing
Modified Wed Feb 17 14:17:40 1999 UTC (20 years, 8 months ago) by monnier
* opt/split.sml: new file.  Does the lambda-splitting for cross-module
  inlining.  Currently in a simplified form.
* opt/fcontract.sml (fcEta): bug with (mutually) recursive eta redexes.

Revision 214 - Directory Listing
Modified Mon Jan 18 20:12:03 1999 UTC (20 years, 9 months ago) by monnier
Try to find BIN_DIR when its builtin default is unavailable
Allow for the heap image to be passed as is (no @SMLload) for binfmt to work.

Revision 213 - Directory Listing
Modified Fri Jan 15 21:18:35 1999 UTC (20 years, 9 months ago) by monnier
merged in 110.10

Revision 212 - Directory Listing
Modified Fri Jan 15 16:19:21 1999 UTC (20 years, 9 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r211,
which included commits to RCS files with non-trunk default branches.

Revision 210 - Directory Listing
Modified Fri Jan 15 16:00:20 1999 UTC (20 years, 9 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r209,
which included commits to RCS files with non-trunk default branches.

Revision 208 - Directory Listing
Modified Fri Jan 15 15:54:19 1999 UTC (20 years, 9 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r207,
which included commits to RCS files with non-trunk default branches.

Revision 205 - Directory Listing
Modified Fri Jan 15 15:53:56 1999 UTC (20 years, 9 months ago) by monnier
Initial revision

Revision 204 - Directory Listing
Modified Sun Dec 20 11:23:30 1998 UTC (20 years, 10 months ago) by monnier
*** empty log message ***

Revision 203 - Directory Listing
Modified Sat Dec 19 20:51:39 1998 UTC (20 years, 10 months ago) by monnier
* opt/fcontract.sml: turned fcFun into a foldable function.
* opt/loopify.sml: added loop-invariant arg removal.

Revision 202 - Directory Listing
Modified Sun Dec 13 02:29:45 1998 UTC (20 years, 10 months ago) by monnier
Added IH_MAYBE to allow more selective inlining.

Revision 201 - Directory Listing
Modified Sat Nov 28 23:32:48 1998 UTC (20 years, 10 months ago) by monnier
* opt/fcontract.sml: (fcexp): straightforward split into functions
(fcLet): do the BRANCH thing after contraction (plus force an additional
  contraction, so the total is 3 passes for a fairly good handling of
  wrap's equality-primop compilation)
(fcLet): drop TAPP if the output is unused.

Revision 200 - Directory Listing
Modified Sat Nov 28 17:48:03 1998 UTC (20 years, 10 months ago) by monnier
* opt/fcontract.sml: generalized the BRANCH thing.
It should now be faster to detect and avoid potential code blowups while
applying to more cases.  But it requires one more pass to generate the
same code quality :-(

Revision 199 - Directory Listing
Modified Wed Nov 25 18:30:38 1998 UTC (20 years, 11 months ago) by monnier
* opt/loopify.sml: improved tail-calls recognition.
Also be more careful about wrapping loops into functions (so contraction
is not needed to cleanup).
* opt/fixfix.sml: pretend loops are smaller to increase their inlining.
* kernel/ltyextern.sml: commented out Stats calls.
* flint/flint.sig: changed LK_WHILE to LK_TAIL.

Revision 198 - Directory Listing
Modified Sun Nov 22 02:11:29 1998 UTC (20 years, 11 months ago) by monnier
*** empty log message ***

Revision 197 - Directory Listing
Modified Sun Nov 22 01:25:23 1998 UTC (20 years, 11 months ago) by monnier
Merged in Bratin's typelifting and Chris' named tvars.
FLINT is now using tvars from the first lcontract all the way to cps.

* reps/rttype.sml: changes from Bratin.
(rtLexp): define the NVAR case (return the tvar as an lvar).
* opt/[fl]contract.sml: removed the restriction on inlining at the same
  deBruijn depth.
* opt/lift.sml: new file for typelifting.
* flint/flintutil.sml (copy): added tvar renaming.
* flint/tvarcvt.sml: new file for named tvar <-> deBruijn conversions.

Revision 196 - Directory Listing
Modified Fri Nov 20 18:16:19 1998 UTC (20 years, 11 months ago) by monnier
*** empty log message ***

Revision 193 - Directory Listing
Modified Fri Nov 20 17:43:59 1998 UTC (20 years, 11 months ago) by monnier
Initial revision

Revision 191 - Directory Listing
Modified Fri Nov 20 02:01:27 1998 UTC (20 years, 11 months ago) by monnier
* opt/loopify.sml: new file
* cps/convert.sml: added code to take advantage of LK_WHILE loops.

Revision 190 - Directory Listing
Modified Thu Nov 19 21:01:17 1998 UTC (20 years, 11 months ago) by monnier
* opt/optutils.sml (id): removed.  That was stupid.
* opt/collect.sml: drop support for actuals (was only used for cstargs).
* opt/lcontract.sml (lpfd): reset the inline bit to a safe value.
* opt/fcontract.sml (cstargs): eliminated.  Might reappear in a
  specialization phase some day.
(inline): turned off unrolling because it's buggy.
(APP): use the new ifs, damit!

Revision 189 - Directory Listing
Modified Sun Nov 15 22:29:42 1998 UTC (20 years, 11 months ago) by monnier
*** empty log message ***

Revision 187 - Directory Listing
Modified Wed Nov 11 07:04:24 1998 UTC (20 years, 11 months ago) by monnier
* opt/collect.sml(info): got rid of Transfer
(unuselexp): junk the fundec part.
(unuse): return a boolean instead of calling an undertaker.

Revision 186 - Directory Listing
Modified Wed Nov 11 05:24:43 1998 UTC (20 years, 11 months ago) by monnier
* opt/collect.sml: switched back to a read-only collect phase.  Also try
  to export the info to allow fcontract to circumvent some of the get calls.

Revision 185 - Directory Listing
Modified Tue Nov 10 21:01:05 1998 UTC (20 years, 11 months ago) by monnier
* opt/fcontract.sml: take advantage of single-arm SWITCH (aka decon)
(SWITCH(CON)): just compare the conreps because types may differ (?)
(inlineWitness): ugly hack used to figure out if inlining happened,
  in order to decide whether to keep the inline bit or not (in cfun).

Revision 184 - Directory Listing
Modified Sun Nov 8 21:18:20 1998 UTC (20 years, 11 months ago) by monnier
* added basic unrolling support
* changed fkind to have most annotations valid on
  functors as well.  It also adds a loopkind annotation as well as extends
  the inline boolean into a three-way alternative.
* switched to a continuation passing style to implement the
  let-associativity rule in a better way.

Revision 183 - Directory Listing
Modified Sun Nov 8 16:58:19 1998 UTC (20 years, 11 months ago) by monnier
merged in 110.9.1

Revision 180 - Directory Listing
Modified Sat Nov 7 23:07:30 1998 UTC (20 years, 11 months ago) by monnier
Initial revision

Revision 177 - Directory Listing
Modified Sat Nov 7 22:42:44 1998 UTC (20 years, 11 months ago) by monnier
Initial revision

Revision 174 - Directory Listing
Modified Sat Nov 7 22:37:14 1998 UTC (20 years, 11 months ago) by monnier
Initial revision

Revision 171 - Directory Listing
Modified Sat Nov 7 22:24:50 1998 UTC (20 years, 11 months ago) by monnier
Initial revision

Revision 170 - Directory Listing
Modified Sat Nov 7 20:30:40 1998 UTC (20 years, 11 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r169,
which included commits to RCS files with non-trunk default branches.

Revision 169 - Directory Listing
Modified Sat Nov 7 20:30:40 1998 UTC (20 years, 11 months ago) by monnier
version $version

Revision 168 - Directory Listing
Modified Sat Nov 7 20:11:41 1998 UTC (20 years, 11 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r167,
which included commits to RCS files with non-trunk default branches.

Revision 165 - Directory Listing
Modified Sat Nov 7 20:10:46 1998 UTC (20 years, 11 months ago) by monnier
Initial revision

Revision 164 - Directory Listing
Modified Sat Oct 31 01:03:30 1998 UTC (20 years, 11 months ago) by monnier
* opt/fcontract.sml (dropcstargs): replace constant args by the constant.

* opt/fixfix.sml (curry): correctly handle "imposible" cases.

* opt/collect.sml: completely revisited:  no distinction between
  internal/external uses, dead-code elimination done right away.  This
  makes fcontract a little simpler.

Revision 163 - Directory Listing
Modified Thu Oct 29 21:00:27 1998 UTC (20 years, 11 months ago) by monnier
added dropping of dead-arguments

Revision 162 - Directory Listing
Modified Tue Oct 27 22:16:21 1998 UTC (20 years, 11 months ago) by monnier
*** empty log message ***

Revision 161 - Directory Listing
Modified Mon Oct 12 03:40:02 1998 UTC (21 years ago) by monnier
*** empty log message ***

Revision 160 - Directory Listing
Modified Mon Oct 12 03:31:38 1998 UTC (21 years ago) by monnier
*** empty log message ***

Revision 159 - Directory Listing
Modified Mon Oct 12 02:45:03 1998 UTC (21 years ago) by monnier
detect inlining loops
eliminate Con(Decon c)
eliminate Record(Select, ...) when type is available
uncount var-use of dropped arms when SWITCH is optimized out

Revision 158 - Directory Listing
Modified Mon Oct 12 02:41:33 1998 UTC (21 years ago) by monnier
*** empty log message ***

Revision 157 - Directory Listing
Modified Mon Oct 12 01:50:35 1998 UTC (21 years ago) by monnier
*** empty log message ***

Revision 156 - Directory Listing
Modified Mon Oct 12 01:12:05 1998 UTC (21 years ago) by monnier
*** empty log message ***

Revision 155 - Directory Listing
Modified Mon Oct 12 00:50:55 1998 UTC (21 years ago) by monnier
*** empty log message ***

Revision 154 - Directory Listing
Modified Sun Oct 11 22:22:47 1998 UTC (21 years ago) by monnier
use fcontract's copy

Revision 153 - Directory Listing
Modified Sun Oct 11 17:49:09 1998 UTC (21 years ago) by monnier
replaced debugFContract by misc and changed the default settings

Revision 152 - Directory Listing
Modified Sun Oct 11 17:48:39 1998 UTC (21 years ago) by monnier
removed debugFContract

Revision 151 - Directory Listing
Modified Sun Oct 11 17:46:21 1998 UTC (21 years ago) by monnier
added FLINT.misc for temporary debugging purposes (a la CG.misc4)

Revision 150 - Directory Listing
Modified Sun Oct 11 17:45:33 1998 UTC (21 years ago) by monnier
eliminated call to lcontract

Revision 149 - Directory Listing
Modified Sun Oct 11 17:44:55 1998 UTC (21 years ago) by monnier
eliminated use of CG.misc4 probably left over from debugging

Revision 148 - Directory Listing
Modified Wed Sep 23 21:47:29 1998 UTC (21 years, 1 month ago) by monnier
these should not be managed by CVS

Revision 147 - Directory Listing
Modified Thu Sep 17 22:42:26 1998 UTC (21 years, 1 month ago) by monnier
*** empty log message ***

Revision 146 - Directory Listing
Modified Mon Sep 7 23:26:10 1998 UTC (21 years, 1 month ago) by monnier
*** empty log message ***

Revision 145 - Directory Listing
Modified Mon Sep 7 23:12:37 1998 UTC (21 years, 1 month ago) by monnier
merged in changes upto 110.8.1

Revision 144 - Directory Listing
Modified Mon Sep 7 21:46:44 1998 UTC (21 years, 1 month ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r143,
which included commits to RCS files with non-trunk default branches.

Revision 142 - Directory Listing
Modified Mon Sep 7 21:37:09 1998 UTC (21 years, 1 month ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r141,
which included commits to RCS files with non-trunk default branches.

Revision 140 - Directory Listing
Modified Mon Sep 7 21:11:35 1998 UTC (21 years, 1 month ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r139,
which included commits to RCS files with non-trunk default branches.

Revision 137 - Directory Listing
Modified Mon Sep 7 21:09:17 1998 UTC (21 years, 1 month ago) by monnier
Initial revision

Revision 134 - Directory Listing
Modified Mon Sep 7 21:02:07 1998 UTC (21 years, 1 month ago) by monnier
Initial revision

Revision 133 - Directory Listing
Modified Mon Sep 7 19:48:36 1998 UTC (21 years, 1 month ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r132,
which included commits to RCS files with non-trunk default branches.

Revision 129 - Directory Listing
Modified Mon Sep 7 19:39:21 1998 UTC (21 years, 1 month ago) by monnier
Initial revision

Revision 128 - Directory Listing
Modified Mon Sep 7 19:06:29 1998 UTC (21 years, 1 month ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r127,
which included commits to RCS files with non-trunk default branches.

Revision 126 - Directory Listing
Modified Mon Sep 7 18:14:32 1998 UTC (21 years, 1 month ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r125,
which included commits to RCS files with non-trunk default branches.

Revision 124 - Directory Listing
Modified Mon Sep 7 16:19:55 1998 UTC (21 years, 1 month ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r123,
which included commits to RCS files with non-trunk default branches.

Revision 122 - Directory Listing
Modified Sat Jun 6 15:05:38 1998 UTC (21 years, 4 months ago) by monnier
addition of fcontract and fixfix and Control.FLINT

Revision 121 - Directory Listing
Modified Sat Jun 6 15:03:25 1998 UTC (21 years, 4 months ago) by monnier
re-added fcontract and collect

Revision 120 - Directory Listing
Modified Sat Jun 6 14:41:33 1998 UTC (21 years, 4 months ago) by monnier
temporarily removed fcontract and collect

Revision 119 - Directory Listing
Modified Fri Jun 5 22:03:51 1998 UTC (21 years, 4 months ago) by monnier
*** empty log message ***

Revision 118 - Directory Listing
Modified Fri Jun 5 21:38:17 1998 UTC (21 years, 4 months ago) by monnier
merged in 110.7 changes

Revision 117 - Directory Listing
Modified Fri Jun 5 20:15:29 1998 UTC (21 years, 4 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r116,
which included commits to RCS files with non-trunk default branches.

Revision 115 - Directory Listing
Modified Fri Jun 5 19:43:05 1998 UTC (21 years, 4 months ago) by monnier
*** empty log message ***

Revision 114 - Directory Listing
Modified Fri Jun 5 19:41:21 1998 UTC (21 years, 4 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r113,
which included commits to RCS files with non-trunk default branches.

Revision 111 - Directory Listing
Modified Fri Jun 5 19:37:29 1998 UTC (21 years, 4 months ago) by monnier
Initial revision

Revision 109 - Directory Listing
Modified Fri May 29 02:12:55 1998 UTC (21 years, 4 months ago) by monnier
merged in 110.6 changes

Revision 108 - Directory Listing
Modified Thu May 28 22:07:09 1998 UTC (21 years, 4 months ago) by monnier
*** empty log message ***

Revision 107 - Directory Listing
Modified Thu May 28 21:30:17 1998 UTC (21 years, 4 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r106,
which included commits to RCS files with non-trunk default branches.

Revision 104 - Directory Listing
Modified Thu May 28 21:25:35 1998 UTC (21 years, 4 months ago) by monnier
Initial revision

Revision 103 - Directory Listing
Modified Thu May 14 06:45:55 1998 UTC (21 years, 5 months ago) by monnier
added cookbook for tarball integration.
fixed /softs install cookbook.

Revision 102 - Directory Listing
Modified Thu May 14 05:53:10 1998 UTC (21 years, 5 months ago) by monnier
merged in 110.5.1 from Zhong

Revision 101 - Directory Listing
Modified Thu May 14 04:56:46 1998 UTC (21 years, 5 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r100,
which included commits to RCS files with non-trunk default branches.

Revision 98 - Directory Listing
Modified Thu May 14 04:54:52 1998 UTC (21 years, 5 months ago) by monnier
Initial revision

Revision 97 - Directory Listing
Modified Wed May 13 02:16:00 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

Revision 96 - Directory Listing
Modified Wed May 13 01:32:30 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

Revision 95 - Directory Listing
Modified Wed May 13 00:49:12 1998 UTC (21 years, 5 months ago) by monnier
merged with 110.5

Revision 94 - Directory Listing
Modified Tue May 12 21:56:22 1998 UTC (21 years, 5 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r93,
which included commits to RCS files with non-trunk default branches.

Revision 89 - Directory Listing
Modified Tue May 12 21:54:55 1998 UTC (21 years, 5 months ago) by monnier
Initial revision

Revision 88 - Directory Listing
Modified Thu May 7 01:19:15 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

Revision 87 - Directory Listing
Modified Thu May 7 01:11:45 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

Revision 86 - Directory Listing
Modified Thu May 7 00:24:39 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

Revision 85 - Directory Listing
Modified Wed May 6 23:53:59 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

Revision 84 - Directory Listing
Modified Wed May 6 22:35:33 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

Revision 83 - Directory Listing
Modified Wed May 6 22:23:51 1998 UTC (21 years, 5 months ago) by league
removing assert and rc-file changes for now.

Revision 82 - Directory Listing
Modified Sun May 3 00:00:24 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

Revision 81 - Directory Listing
Modified Sat May 2 23:59:45 1998 UTC (21 years, 5 months ago) by monnier
added real inlining support (with alpha-renaming)
added limited type information

Revision 80 - Directory Listing
Modified Wed Apr 29 23:25:33 1998 UTC (21 years, 5 months ago) by monnier
Changed the semantics of "inline".

Revision 79 - Directory Listing
Modified Sat Apr 18 00:19:45 1998 UTC (21 years, 6 months ago) by league
assertions and .smlnjrc

Revision 78 - Directory Listing
Modified Fri Apr 17 17:58:14 1998 UTC (21 years, 6 months ago) by league
*** empty log message ***

Revision 77 - Directory Listing
Modified Tue Apr 14 05:21:45 1998 UTC (21 years, 6 months ago) by league
debugging code

Revision 76 - Directory Listing
Modified Sun Apr 12 02:23:26 1998 UTC (21 years, 6 months ago) by league
changed max # elements to flatten to 5, to support x86 floating
points.  should be made machine dependent?

Revision 75 - Directory Listing
Modified Sun Apr 12 02:22:44 1998 UTC (21 years, 6 months ago) by league
added checking for redefined lvars.

Revision 74 - Directory Listing
Modified Sat Apr 11 00:22:45 1998 UTC (21 years, 6 months ago) by league
minimal checking for lvars in dict and conrep.

Revision 73 - Directory Listing
Modified Sun Apr 5 20:59:43 1998 UTC (21 years, 6 months ago) by monnier
*** empty log message ***

Revision 72 - Directory Listing
Modified Sun Apr 5 19:07:40 1998 UTC (21 years, 6 months ago) by monnier
cleaned up the previous merge

Revision 71 - Directory Listing
Modified Fri Apr 3 01:57:57 1998 UTC (21 years, 6 months ago) by monnier
merged in Zhong's 110.4

Revision 70 - Directory Listing
Modified Fri Apr 3 00:06:55 1998 UTC (21 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r69,
which included commits to RCS files with non-trunk default branches.

Revision 66 - Directory Listing
Modified Fri Apr 3 00:06:13 1998 UTC (21 years, 6 months ago) by monnier
Initial revision

Revision 65 - Directory Listing
Modified Wed Apr 1 20:57:44 1998 UTC (21 years, 6 months ago) by league
made changes to kind-checking so that enc_tvar need not be exported
by ltykernel.  one awkwardness is that the tkLookupFreeVars function
in ltykernel manipulates a tkindenv, which is technically not defined
until ltyextern.

Revision 64 - Directory Listing
Modified Tue Mar 31 05:26:51 1998 UTC (21 years, 6 months ago) by monnier
dummy

Revision 63 - Directory Listing
Modified Tue Mar 31 05:26:42 1998 UTC (21 years, 6 months ago) by monnier
*** empty log message ***

Revision 62 - Directory Listing
Modified Tue Mar 31 05:13:22 1998 UTC (21 years, 6 months ago) by monnier
*** empty log message ***

Revision 61 - Directory Listing
Modified Mon Mar 30 19:27:36 1998 UTC (21 years, 6 months ago) by league
just added a comment.  there is apparently a subtle bug in inlining
across different depths.  it causes a type error in a FIX node when
compiling CodeGen/cpscompile/mkRecord.sml.

Revision 60 - Directory Listing
Modified Mon Mar 30 19:25:56 1998 UTC (21 years, 6 months ago) by league
major change to tc_eqv_gen and its clients; now they properly check
equivalence of two FIX nodes.

Revision 59 - Directory Listing
Modified Mon Mar 30 19:24:59 1998 UTC (21 years, 6 months ago) by league
Renaming of Control.CG flags related to type-checking.  Now we have
`checkFlint', `checkKinds', and `checkDatatypes'.

Revision 58 - Directory Listing
Modified Mon Mar 30 01:11:18 1998 UTC (21 years, 6 months ago) by monnier
*** empty log message ***

Revision 57 - Directory Listing
Modified Sun Mar 29 01:01:15 1998 UTC (21 years, 6 months ago) by monnier
undoing the hack that has been replaced by a proper fix

Revision 56 - Directory Listing
Modified Sun Mar 29 01:00:36 1998 UTC (21 years, 6 months ago) by monnier
properly newline-terminate the output when hitting eof

Revision 55 - Directory Listing
Modified Sun Mar 29 00:46:52 1998 UTC (21 years, 6 months ago) by monnier
properly newline-terminate xmakeml's output

Revision 54 - Directory Listing
Modified Sat Mar 28 23:13:01 1998 UTC (21 years, 6 months ago) by monnier
properly newline-terminate xmakeml's output

Revision 53 - Directory Listing
Modified Mon Mar 23 04:02:58 1998 UTC (21 years, 7 months ago) by league
Type and kind-checking working and turned on by default.
Datatype equality still not implemented.

Revision 52 - Directory Listing
Modified Mon Mar 23 03:59:51 1998 UTC (21 years, 7 months ago) by league
buildcm -full and
xmakeml

Revision 51 - Directory Listing
Modified Sun Mar 22 23:08:44 1998 UTC (21 years, 7 months ago) by monnier
split printLambda into printLambda and printFlint

Revision 50 - Directory Listing
Modified Sun Mar 22 23:05:33 1998 UTC (21 years, 7 months ago) by monnier
moved TAPP handling from `tolexp' to `tolvar' since it always
binds one and only one variable.

Revision 49 - Directory Listing
Modified Sun Mar 22 22:49:56 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***

Revision 48 - Directory Listing
Modified Sun Mar 22 22:26:22 1998 UTC (21 years, 7 months ago) by monnier
turn off GC messages by default

Revision 47 - Directory Listing
Modified Sun Mar 22 21:53:07 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***

Revision 46 - Directory Listing
Modified Sun Mar 22 20:11:09 1998 UTC (21 years, 7 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r45,
which included commits to RCS files with non-trunk default branches.

Revision 41 - Directory Listing
Modified Sun Mar 22 20:10:46 1998 UTC (21 years, 7 months ago) by monnier
Initial revision

Revision 40 - Directory Listing
Modified Sun Mar 22 19:26:12 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***

Revision 39 - Directory Listing
Modified Sat Mar 14 04:41:37 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***

Revision 38 - Directory Listing
Modified Fri Mar 13 20:31:45 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***

Revision 37 - Directory Listing
Modified Fri Mar 13 20:07:49 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***

Revision 36 - Directory Listing
Modified Fri Mar 13 17:58:26 1998 UTC (21 years, 7 months ago) by monnier
renamed sml into run-sml

Revision 35 - Directory Listing
Modified Fri Mar 13 15:54:50 1998 UTC (21 years, 7 months ago) by monnier
Initial revision

Revision 34 - Directory Listing
Modified Fri Mar 13 15:53:41 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***

Revision 33 - Directory Listing
Modified Thu Mar 12 16:57:15 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***

Revision 32 - Directory Listing
Modified Thu Mar 12 16:54:39 1998 UTC (21 years, 7 months ago) by monnier
Initial revision

Revision 31 - Directory Listing
Modified Thu Mar 12 01:13:23 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***

Revision 30 - Directory Listing
Modified Thu Mar 12 01:05:59 1998 UTC (21 years, 7 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r29,
which included commits to RCS files with non-trunk default branches.

Revision 26 - Directory Listing
Modified Thu Mar 12 01:05:49 1998 UTC (21 years, 7 months ago) by monnier
Initial revision

Revision 25 - Directory Listing
Modified Thu Mar 12 00:49:58 1998 UTC (21 years, 7 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r24,
which included commits to RCS files with non-trunk default branches.

Revision 21 - Directory Listing
Modified Thu Mar 12 00:49:41 1998 UTC (21 years, 7 months ago) by monnier
Initial revision

Revision 20 - Directory Listing
Modified Wed Mar 11 21:19:06 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***

Revision 16 - Directory Listing
Modified Wed Mar 11 21:00:04 1998 UTC (21 years, 7 months ago) by monnier
Initial revision

Revision 15 - Directory Listing
Modified Thu Feb 5 05:59:56 1998 UTC (21 years, 8 months ago) by monnier
*** empty log message ***

Revision 14 - Directory Listing
Modified Sun Jan 18 21:39:23 1998 UTC (21 years, 9 months ago) by monnier
*** empty log message ***

Revision 13 - Directory Listing
Modified Sun Jan 18 21:36:02 1998 UTC (21 years, 9 months ago) by monnier
merged with flint-v1.1

Revision 9 - Directory Listing
Modified Sun Jan 18 01:01:29 1998 UTC (21 years, 9 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r8,
which included commits to RCS files with non-trunk default branches.

Revision 7 - Directory Listing
Modified Sun Jan 18 00:59:30 1998 UTC (21 years, 9 months ago) by monnier
Initial revision

Revision 6 - Directory Listing
Modified Mon Oct 6 00:10:15 1997 UTC (22 years ago) by monnier
fixed sigcontext decalaration to also work with glibc on linux

Revision 2 - Directory Listing
Modified Sat Oct 4 23:33:09 1997 UTC (22 years ago) by monnier
Initial revision

Revision 1 - Directory Listing
Added Sat Oct 4 23:33:09 1997 UTC (22 years ago) by
New repository initialized by cvs2svn.

Sort log by:

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