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/src/compiler/TopLevel
ViewVC logotype

Log of /sml/trunk/src/compiler/TopLevel

View Directory Listing Directory Listing


Sticky Revision:
(Current path doesn't exist after revision 2161)

Revision 1145 - Directory Listing
Modified Fri Mar 15 02:30:53 2002 UTC (17 years, 8 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 1137 - Directory Listing
Modified Tue Mar 12 22:28:55 2002 UTC (17 years, 8 months ago) by blume
implemented better, simpler PID allocation scheme;
binfile format has changed, version number is 110.39.2; NEW BOOTFILES

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

Revision 1126 - Directory Listing
Modified Thu Mar 7 21:16:28 2002 UTC (17 years, 8 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 1078 - Directory Listing
Modified Tue Feb 19 21:26:48 2002 UTC (17 years, 9 months ago) by blume
a mix of changes to CM and FFI

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

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

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

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

Revision 1009 - Directory Listing
Modified Wed Jan 9 19:44:22 2002 UTC (17 years, 10 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 986 - Directory Listing
Modified Wed Nov 21 21:03:17 2001 UTC (18 years ago) by blume
Release 110.37 -- see HISTORY

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

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

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

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 905 - Directory Listing
Modified Thu Aug 23 21:53:02 2001 UTC (18 years, 3 months ago) by blume
updates to environments, envrefs, interactive loop

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Revision 652 - Directory Listing
Modified Tue Jun 6 02:14:56 2000 UTC (19 years, 5 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, 5 months ago) by monnier
bring revisions from the vendor branch to the trunk

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

Revision 626 - Directory Listing
Modified Sat Apr 22 23:24:24 2000 UTC (19 years, 7 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 623 - Directory Listing
Modified Thu Apr 20 17:24:37 2000 UTC (19 years, 7 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, 7 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 607 - Directory Listing
Modified Mon Apr 10 16:31:03 2000 UTC (19 years, 7 months ago) by dbm
Version 110.27

Revision 604 - Directory Listing
Modified Fri Apr 7 13:53:08 2000 UTC (19 years, 7 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 592 - Directory Listing
Modified Mon Apr 3 07:04:12 2000 UTC (19 years, 7 months ago) by blume
merging branch blume_devel_v110p26p2_1 (elimination of corenv)

Revision 588 - Directory Listing
Modified Fri Mar 31 09:00:02 2000 UTC (19 years, 7 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, 7 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 584 - Directory Listing
Modified Mon Mar 27 09:55:55 2000 UTC (19 years, 7 months ago) by monnier
(saveLvarNames): Set it back to false (for faster smaller compiler).

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

Revision 569 - Directory Listing
Modified Tue Mar 7 04:01:07 2000 UTC (19 years, 8 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 515 - Directory Listing
Modified Sun Jan 9 09:59:14 2000 UTC (19 years, 10 months ago) by blume
pickler bug fixes; some cosmetic changes

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

Revision 506 - Directory Listing
Modified Fri Dec 10 00:15:35 1999 UTC (19 years, 11 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 504 - Directory Listing
Modified Tue Dec 7 18:31:05 1999 UTC (19 years, 11 months ago) by monnier
the 110.25 merge compiles

Revision 499 - Directory Listing
Modified Tue Dec 7 15:44:50 1999 UTC (19 years, 11 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 477 - Directory Listing
Modified Wed Nov 10 23:04:21 1999 UTC (20 years ago) by monnier
auto-merged to 110.24

Revision 476 - Directory Listing
Modified Wed Nov 10 22:59:58 1999 UTC (20 years 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 470 - Directory Listing
Modified Wed Nov 10 22:42:52 1999 UTC (20 years 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 440 - Directory Listing
Modified Wed Sep 15 16:37:27 1999 UTC (20 years, 2 months 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 431 - Directory Listing
Modified Wed Sep 8 12:02:54 1999 UTC (20 years, 2 months 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, 2 months 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 422 - Directory Listing
Modified Sun Sep 5 22:49:38 1999 UTC (20 years, 2 months 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, 2 months 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, 2 months 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 412 - Directory Listing
Modified Fri Sep 3 00:25:03 1999 UTC (20 years, 2 months 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, 2 months ago) by monnier
Initial revision

Revision 290 - Directory Listing
Modified Sat May 22 21:01:25 1999 UTC (20 years, 6 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 261 - Directory Listing
Modified Wed Apr 28 21:14:25 1999 UTC (20 years, 6 months ago) by monnier
temporarily turned cpsopt back on

Revision 260 - Directory Listing
Modified Thu Apr 22 10:56:58 1999 UTC (20 years, 7 months ago) by monnier
*** empty log message ***

Revision 259 - Directory Listing
Modified Thu Apr 22 09:30:22 1999 UTC (20 years, 7 months ago) by monnier
turned the CPS optimizer back on and tamed the FLINT inlining

Revision 251 - Directory Listing
Modified Mon Apr 19 02:55:26 1999 UTC (20 years, 7 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, 7 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 246 - Directory Listing
Modified Sat Apr 17 18:47:12 1999 UTC (20 years, 7 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, 7 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 240 - Directory Listing
Modified Sat Apr 17 18:29:24 1999 UTC (20 years, 7 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 236 - Directory Listing
Modified Sat Apr 17 18:21:47 1999 UTC (20 years, 7 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, 7 months ago) by monnier
Initial revision

Revision 232 - Directory Listing
Modified Sat Apr 17 18:14:18 1999 UTC (20 years, 7 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, 7 months ago) by monnier
Initial revision

Revision 228 - Directory Listing
Modified Sat Apr 17 17:15:03 1999 UTC (20 years, 7 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, 7 months ago) by monnier
Initial revision

Revision 224 - Directory Listing
Modified Sat Apr 17 16:27:01 1999 UTC (20 years, 7 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 220 - Directory Listing
Modified Tue Mar 9 02:15:05 1999 UTC (20 years, 8 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 213 - Directory Listing
Modified Fri Jan 15 21:18:35 1999 UTC (20 years, 10 months ago) by monnier
merged in 110.10

Revision 208 - Directory Listing
Modified Fri Jan 15 15:54:19 1999 UTC (20 years, 10 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 204 - Directory Listing
Modified Sun Dec 20 11:23:30 1998 UTC (20 years, 11 months ago) by monnier
*** empty log message ***

Revision 203 - Directory Listing
Modified Sat Dec 19 20:51:39 1998 UTC (20 years, 11 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, 11 months ago) by monnier
Added IH_MAYBE to allow more selective inlining.

Revision 198 - Directory Listing
Modified Sun Nov 22 02:11:29 1998 UTC (21 years ago) by monnier
*** empty log message ***

Revision 197 - Directory Listing
Modified Sun Nov 22 01:25:23 1998 UTC (21 years 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 191 - Directory Listing
Modified Fri Nov 20 02:01:27 1998 UTC (21 years ago) by monnier
* opt/loopify.sml: new file
* cps/convert.sml: added code to take advantage of LK_WHILE loops.

Revision 189 - Directory Listing
Modified Sun Nov 15 22:29:42 1998 UTC (21 years ago) by monnier
*** empty log message ***

Revision 184 - Directory Listing
Modified Sun Nov 8 21:18:20 1998 UTC (21 years 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 (21 years ago) by monnier
merged in 110.9.1

Revision 171 - Directory Listing
Modified Sat Nov 7 22:24:50 1998 UTC (21 years ago) by monnier
Initial revision

Revision 170 - Directory Listing
Modified Sat Nov 7 20:30:40 1998 UTC (21 years 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 168 - Directory Listing
Modified Sat Nov 7 20:11:41 1998 UTC (21 years 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 (21 years ago) by monnier
Initial revision

Revision 163 - Directory Listing
Modified Thu Oct 29 21:00:27 1998 UTC (21 years ago) by monnier
added dropping of dead-arguments

Revision 162 - Directory Listing
Modified Tue Oct 27 22:16:21 1998 UTC (21 years ago) by monnier
*** empty log message ***

Revision 161 - Directory Listing
Modified Mon Oct 12 03:40:02 1998 UTC (21 years, 1 month ago) by monnier
*** empty log message ***

Revision 153 - Directory Listing
Modified Sun Oct 11 17:49:09 1998 UTC (21 years, 1 month 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, 1 month ago) by monnier
removed debugFContract

Revision 151 - Directory Listing
Modified Sun Oct 11 17:46:21 1998 UTC (21 years, 1 month ago) by monnier
added FLINT.misc for temporary debugging purposes (a la CG.misc4)

Revision 145 - Directory Listing
Modified Mon Sep 7 23:12:37 1998 UTC (21 years, 2 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, 2 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 140 - Directory Listing
Modified Mon Sep 7 21:11:35 1998 UTC (21 years, 2 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 133 - Directory Listing
Modified Mon Sep 7 19:48:36 1998 UTC (21 years, 2 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 128 - Directory Listing
Modified Mon Sep 7 19:06:29 1998 UTC (21 years, 2 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 124 - Directory Listing
Modified Mon Sep 7 16:19:55 1998 UTC (21 years, 2 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, 5 months ago) by monnier
addition of fcontract and fixfix and Control.FLINT

Revision 118 - Directory Listing
Modified Fri Jun 5 21:38:17 1998 UTC (21 years, 5 months ago) by monnier
merged in 110.7 changes

Revision 117 - Directory Listing
Modified Fri Jun 5 20:15:29 1998 UTC (21 years, 5 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 114 - Directory Listing
Modified Fri Jun 5 19:41:21 1998 UTC (21 years, 5 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, 5 months ago) by monnier
Initial revision

Revision 109 - Directory Listing
Modified Fri May 29 02:12:55 1998 UTC (21 years, 5 months ago) by monnier
merged in 110.6 changes

Revision 107 - Directory Listing
Modified Thu May 28 21:30:17 1998 UTC (21 years, 5 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, 5 months ago) by monnier
Initial revision

Revision 102 - Directory Listing
Modified Thu May 14 05:53:10 1998 UTC (21 years, 6 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, 6 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 95 - Directory Listing
Modified Wed May 13 00:49:12 1998 UTC (21 years, 6 months ago) by monnier
merged with 110.5

Revision 94 - Directory Listing
Modified Tue May 12 21:56:22 1998 UTC (21 years, 6 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, 6 months ago) by monnier
Initial revision

Revision 83 - Directory Listing
Modified Wed May 6 22:23:51 1998 UTC (21 years, 6 months ago) by league
removing assert and rc-file changes for now.

Revision 79 - Directory Listing
Modified Sat Apr 18 00:19:45 1998 UTC (21 years, 7 months ago) by league
assertions and .smlnjrc

Revision 71 - Directory Listing
Modified Fri Apr 3 01:57:57 1998 UTC (21 years, 7 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, 7 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 59 - Directory Listing
Modified Mon Mar 30 19:24:59 1998 UTC (21 years, 7 months ago) by league
Renaming of Control.CG flags related to type-checking.  Now we have
`checkFlint', `checkKinds', and `checkDatatypes'.

Revision 56 - Directory Listing
Modified Sun Mar 29 01:00:36 1998 UTC (21 years, 7 months ago) by monnier
properly newline-terminate the output when hitting eof

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 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 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 40 - Directory Listing
Modified Sun Mar 22 19:26:12 1998 UTC (21 years, 8 months ago) by monnier
*** empty log message ***

Revision 25 - Directory Listing
Modified Thu Mar 12 00:49:58 1998 UTC (21 years, 8 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, 8 months ago) by monnier
Initial revision

Revision 16 - Directory Listing
Added Wed Mar 11 21:00:04 1998 UTC (21 years, 8 months ago) by monnier
Initial revision

Sort log by:

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