SCM Repository
Log of /sml/trunk
Sticky Revision: |
Revision 155 - Directory Listing
Modified Mon Oct 12 00:50:55 1998 UTC (21 years, 2 months ago) by monnier
*** empty log message ***
Revision 154 - Directory Listing
Modified Sun Oct 11 22:22:47 1998 UTC (21 years, 2 months ago) by monnier
use fcontract's copy
Revision 153 - Directory Listing
Modified Sun Oct 11 17:49:09 1998 UTC (21 years, 2 months 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, 2 months ago) by monnier
removed debugFContract
Revision 151 - Directory Listing
Modified Sun Oct 11 17:46:21 1998 UTC (21 years, 2 months 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, 2 months ago) by monnier
eliminated call to lcontract
Revision 149 - Directory Listing
Modified Sun Oct 11 17:44:55 1998 UTC (21 years, 2 months 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, 2 months 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, 2 months ago) by monnier
*** empty log message ***
Revision 146 - Directory Listing
Modified Mon Sep 7 23:26:10 1998 UTC (21 years, 3 months ago) by monnier
*** empty log message ***
Revision 145 - Directory Listing
Modified Mon Sep 7 23:12:37 1998 UTC (21 years, 3 months 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, 3 months 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, 3 months 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, 3 months 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, 3 months ago) by monnier
Initial revision
Revision 134 - Directory Listing
Modified Mon Sep 7 21:02:07 1998 UTC (21 years, 3 months ago) by monnier
Initial revision
Revision 133 - Directory Listing
Modified Mon Sep 7 19:48:36 1998 UTC (21 years, 3 months 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, 3 months ago) by monnier
Initial revision
Revision 128 - Directory Listing
Modified Mon Sep 7 19:06:29 1998 UTC (21 years, 3 months 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, 3 months 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, 3 months 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, 6 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, 6 months ago) by monnier
re-added fcontract and collect
Revision 120 - Directory Listing
Modified Sat Jun 6 14:41:33 1998 UTC (21 years, 6 months ago) by monnier
temporarily removed fcontract and collect
Revision 119 - Directory Listing
Modified Fri Jun 5 22:03:51 1998 UTC (21 years, 6 months ago) by monnier
*** empty log message ***
Revision 118 - Directory Listing
Modified Fri Jun 5 21:38:17 1998 UTC (21 years, 6 months ago) by monnier
merged in 110.7 changes
Revision 117 - Directory Listing
Modified Fri Jun 5 20:15:29 1998 UTC (21 years, 6 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, 6 months ago) by monnier
*** empty log message ***
Revision 114 - Directory Listing
Modified Fri Jun 5 19:41:21 1998 UTC (21 years, 6 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, 6 months ago) by monnier
Initial revision
Revision 109 - Directory Listing
Modified Fri May 29 02:12:55 1998 UTC (21 years, 6 months ago) by monnier
merged in 110.6 changes
Revision 108 - Directory Listing
Modified Thu May 28 22:07:09 1998 UTC (21 years, 6 months ago) by monnier
*** empty log message ***
Revision 107 - Directory Listing
Modified Thu May 28 21:30:17 1998 UTC (21 years, 6 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, 6 months ago) by monnier
Initial revision
Revision 103 - Directory Listing
Modified Thu May 14 06:45:55 1998 UTC (21 years, 7 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, 7 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, 7 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, 7 months ago) by monnier
Initial revision
Revision 97 - Directory Listing
Modified Wed May 13 02:16:00 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***
Revision 96 - Directory Listing
Modified Wed May 13 01:32:30 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***
Revision 95 - Directory Listing
Modified Wed May 13 00:49:12 1998 UTC (21 years, 7 months ago) by monnier
merged with 110.5
Revision 94 - Directory Listing
Modified Tue May 12 21:56:22 1998 UTC (21 years, 7 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, 7 months ago) by monnier
Initial revision
Revision 88 - Directory Listing
Modified Thu May 7 01:19:15 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***
Revision 87 - Directory Listing
Modified Thu May 7 01:11:45 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***
Revision 86 - Directory Listing
Modified Thu May 7 00:24:39 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***
Revision 85 - Directory Listing
Modified Wed May 6 23:53:59 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***
Revision 84 - Directory Listing
Modified Wed May 6 22:35:33 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***
Revision 83 - Directory Listing
Modified Wed May 6 22:23:51 1998 UTC (21 years, 7 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, 7 months ago) by monnier
*** empty log message ***
Revision 81 - Directory Listing
Modified Sat May 2 23:59:45 1998 UTC (21 years, 7 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, 7 months ago) by monnier
Changed the semantics of "inline".
Revision 79 - Directory Listing
Modified Sat Apr 18 00:19:45 1998 UTC (21 years, 7 months ago) by league
assertions and .smlnjrc
Revision 78 - Directory Listing
Modified Fri Apr 17 17:58:14 1998 UTC (21 years, 7 months ago) by league
*** empty log message ***
Revision 77 - Directory Listing
Modified Tue Apr 14 05:21:45 1998 UTC (21 years, 8 months ago) by league
debugging code
Revision 76 - Directory Listing
Modified Sun Apr 12 02:23:26 1998 UTC (21 years, 8 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, 8 months ago) by league
added checking for redefined lvars.
Revision 74 - Directory Listing
Modified Sat Apr 11 00:22:45 1998 UTC (21 years, 8 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, 8 months ago) by monnier
*** empty log message ***
Revision 72 - Directory Listing
Modified Sun Apr 5 19:07:40 1998 UTC (21 years, 8 months ago) by monnier
cleaned up the previous merge
Revision 71 - Directory Listing
Modified Fri Apr 3 01:57:57 1998 UTC (21 years, 8 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, 8 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, 8 months ago) by monnier
Initial revision
Revision 65 - Directory Listing
Modified Wed Apr 1 20:57:44 1998 UTC (21 years, 8 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, 8 months ago) by monnier
dummy
Revision 63 - Directory Listing
Modified Tue Mar 31 05:26:42 1998 UTC (21 years, 8 months ago) by monnier
*** empty log message ***
Revision 62 - Directory Listing
Modified Tue Mar 31 05:13:22 1998 UTC (21 years, 8 months ago) by monnier
*** empty log message ***
Revision 61 - Directory Listing
Modified Mon Mar 30 19:27:36 1998 UTC (21 years, 8 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, 8 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, 8 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, 8 months ago) by monnier
*** empty log message ***
Revision 57 - Directory Listing
Modified Sun Mar 29 01:01:15 1998 UTC (21 years, 8 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, 8 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, 8 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, 8 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, 8 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, 8 months ago) by league
buildcm -full and xmakeml
Revision 51 - Directory Listing
Modified Sun Mar 22 23:08:44 1998 UTC (21 years, 8 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, 8 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, 8 months ago) by monnier
*** empty log message ***
Revision 48 - Directory Listing
Modified Sun Mar 22 22:26:22 1998 UTC (21 years, 8 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, 8 months ago) by monnier
*** empty log message ***
Revision 46 - Directory Listing
Modified Sun Mar 22 20:11:09 1998 UTC (21 years, 8 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, 8 months ago) by monnier
Initial revision
Revision 40 - Directory Listing
Modified Sun Mar 22 19:26:12 1998 UTC (21 years, 8 months ago) by monnier
*** empty log message ***
Revision 39 - Directory Listing
Modified Sat Mar 14 04:41:37 1998 UTC (21 years, 9 months ago) by monnier
*** empty log message ***
Revision 38 - Directory Listing
Modified Fri Mar 13 20:31:45 1998 UTC (21 years, 9 months ago) by monnier
*** empty log message ***
Revision 37 - Directory Listing
Modified Fri Mar 13 20:07:49 1998 UTC (21 years, 9 months ago) by monnier
*** empty log message ***
Revision 36 - Directory Listing
Modified Fri Mar 13 17:58:26 1998 UTC (21 years, 9 months ago) by monnier
renamed sml into run-sml
Revision 35 - Directory Listing
Modified Fri Mar 13 15:54:50 1998 UTC (21 years, 9 months ago) by monnier
Initial revision
Revision 34 - Directory Listing
Modified Fri Mar 13 15:53:41 1998 UTC (21 years, 9 months ago) by monnier
*** empty log message ***
Revision 33 - Directory Listing
Modified Thu Mar 12 16:57:15 1998 UTC (21 years, 9 months ago) by monnier
*** empty log message ***
Revision 32 - Directory Listing
Modified Thu Mar 12 16:54:39 1998 UTC (21 years, 9 months ago) by monnier
Initial revision
Revision 31 - Directory Listing
Modified Thu Mar 12 01:13:23 1998 UTC (21 years, 9 months ago) by monnier
*** empty log message ***
Revision 30 - Directory Listing
Modified Thu Mar 12 01:05:59 1998 UTC (21 years, 9 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, 9 months ago) by monnier
Initial revision
Revision 25 - Directory Listing
Modified Thu Mar 12 00:49:58 1998 UTC (21 years, 9 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, 9 months ago) by monnier
Initial revision
Revision 20 - Directory Listing
Modified Wed Mar 11 21:19:06 1998 UTC (21 years, 9 months ago) by monnier
*** empty log message ***
Revision 16 - Directory Listing
Modified Wed Mar 11 21:00:04 1998 UTC (21 years, 9 months ago) by monnier
Initial revision
Revision 15 - Directory Listing
Modified Thu Feb 5 05:59:56 1998 UTC (21 years, 10 months ago) by monnier
*** empty log message ***
Revision 14 - Directory Listing
Modified Sun Jan 18 21:39:23 1998 UTC (21 years, 10 months ago) by monnier
*** empty log message ***
Revision 13 - Directory Listing
Modified Sun Jan 18 21:36:02 1998 UTC (21 years, 10 months ago) by monnier
merged with flint-v1.1
Revision 9 - Directory Listing
Modified Sun Jan 18 01:01:29 1998 UTC (21 years, 10 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, 10 months ago) by monnier
Initial revision
Revision 6 - Directory Listing
Modified Mon Oct 6 00:10:15 1997 UTC (22 years, 2 months 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, 2 months ago) by monnier
Initial revision
Revision 1 - Directory Listing
Added Sat Oct 4 23:33:09 1997 UTC (22 years, 2 months ago) by
New repository initialized by cvs2svn.
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |