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

Log of /sml/trunk/compiler/TopLevel

View Directory Listing Directory Listing


Sticky Revision:

Revision 2162 - Directory Listing
Modified Thu Nov 2 21:20:47 2006 UTC (13 years, 1 month ago) by blume
eliminated src dir

Revision 2066 - Directory Listing
Modified Thu Oct 5 16:26:30 2006 UTC (13 years, 2 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
merged amd64 code from Mike Rainey

Revision 1886 - Directory Listing
Modified Tue Feb 14 23:31:16 2006 UTC (13 years, 10 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
hooked intel mac abi code into main system

Revision 1866 - Directory Listing
Modified Wed Nov 16 16:21:43 2005 UTC (14 years, 1 month ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
fixed problem with bogus exn message when using btrace

Revision 1792 - Directory Listing
Modified Tue May 17 04:46:12 2005 UTC (14 years, 7 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
added mechanism for re-dumping heap image for interactive system

Revision 1712 - Directory Listing
Modified Tue Nov 23 20:44:10 2004 UTC (15 years ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
problem with unhelpful error messages addressed

Revision 1653 - Directory Listing
Modified Fri Oct 15 20:45:02 2004 UTC (15 years, 2 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
further TDP reorganization; coverage tool added

Revision 1652 - Directory Listing
Modified Thu Oct 14 22:38:54 2004 UTC (15 years, 2 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
overhaul of Core and SMLofNJ support for TDP

Revision 1650 - Directory Listing
Modified Wed Oct 13 21:34:01 2004 UTC (15 years, 2 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
some renaming and cleanup (trace/debug/profile instrumentation)

Revision 1642 - Directory Listing
Modified Thu Oct 7 21:00:04 2004 UTC (15 years, 2 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
cleanup work

Revision 1639 - Directory Listing
Modified Thu Sep 30 15:53:06 2004 UTC (15 years, 2 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
cleanup of the auto-version stuff

Revision 1638 - Directory Listing
Modified Wed Sep 29 19:07:58 2004 UTC (15 years, 2 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
integrated versiontool

Revision 1637 - Directory Listing
Modified Wed Sep 29 18:50:52 2004 UTC (15 years, 2 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
automagic generation of version.sml

Revision 1622 - Directory Listing
Modified Mon Sep 13 21:50:40 2004 UTC (15 years, 3 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
working version 110.49

Revision 1602 - Directory Listing
Modified Tue Aug 10 16:58:44 2004 UTC (15 years, 4 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
freeze for Release 110.48

Revision 1581 - Directory Listing
Modified Wed Aug 4 19:00:53 2004 UTC (15 years, 4 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
freeze for 110.47

Revision 1532 - Directory Listing
Modified Tue Jul 13 03:49:10 2004 UTC (15 years, 5 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
nlffi under mac os x; NOW BOOTFILES; version 110.46.1

Revision 1507 - Directory Listing
Modified Thu Jun 17 23:16:43 2004 UTC (15 years, 6 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
bumped version number to 110.46

Revision 1455 - Directory Listing
Modified Fri Feb 13 20:42:49 2004 UTC (15 years, 10 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
working version 110.45

Revision 1448 - Directory Listing
Modified Mon Jan 26 21:17:49 2004 UTC (15 years, 10 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
improved handling of exceptions at interactive toplevel

Revision 1414 - Directory Listing
Modified Thu Nov 6 17:54:56 2003 UTC (16 years, 1 month ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
Working version 110.44

Revision 1394 - Directory Listing
Modified Fri Sep 26 19:56:20 2003 UTC (16 years, 2 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
minor version bump; new bootfiles

Revision 1393 - Directory Listing
Modified Fri Sep 26 17:00:32 2003 UTC (16 years, 2 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
implemented autoloading on behalf of prettyprinter

Revision 1387 - Directory Listing
Modified Mon Sep 22 17:10:40 2003 UTC (16 years, 2 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
new interim version 110.43.2, new bootfiles

Revision 1384 - Directory Listing
Modified Thu Sep 18 20:35:34 2003 UTC (16 years, 3 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
made interim version 110.43.1 (with new bootfiles)

Revision 1356 - Directory Listing
Modified Wed Sep 10 02:54:11 2003 UTC (16 years, 3 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
Release_110_43

Revision 1347 - Directory Listing
Modified Thu Aug 28 21:59:15 2003 UTC (16 years, 3 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
implemented IntInf in Basis and compiler;
new version number; new bootfiles

Revision 1344 - Directory Listing
Modified Wed Aug 13 18:04:08 2003 UTC (16 years, 4 months ago) by macqueen
Original Path: sml/trunk/src/compiler/TopLevel
merged changes from mcz-branch (tag: dbm-20030813-mcz-merge1)

Revision 1342 - Directory Listing
Modified Mon Aug 11 20:46:00 2003 UTC (16 years, 4 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
works under w32 again;
bug fix for ml-nlffigen; other bugfixes

Revision 1334 - Directory Listing
Modified Thu May 22 22:46:30 2003 UTC (16 years, 6 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
major cleanup: eliminate all non-exhaustive pattern matches

Revision 1332 - Directory Listing
Modified Sun May 18 03:21:16 2003 UTC (16 years, 7 months ago) by mblume
Original Path: sml/trunk/src/compiler/TopLevel
added IF/WHILE/ANDALSO/ORELSE to Absyn (to improve error messages)

Revision 1279 - Directory Listing
Modified Wed Oct 16 14:21:07 2002 UTC (17 years, 2 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
Release_110_42

Revision 1253 - Directory Listing
Modified Fri Jul 5 19:54:58 2002 UTC (17 years, 5 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
working version 110.41

Revision 1250 - Directory Listing
Modified Fri Jul 5 14:22:42 2002 UTC (17 years, 5 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
structure BTImp exported

Revision 1215 - Directory Listing
Modified Tue May 21 20:05:42 2002 UTC (17 years, 6 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
working version 110.40

Revision 1208 - Directory Listing
Modified Tue May 21 02:22:43 2002 UTC (17 years, 6 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
more controls cleanup; removed some wrongly-added things from config/preloads

Revision 1201 - Directory Listing
Modified Fri May 17 20:48:38 2002 UTC (17 years, 7 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
pushed new controls interface through compiler

Revision 1183 - Directory Listing
Modified Fri Mar 29 19:09:48 2002 UTC (17 years, 8 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
division primops, inline primops for min/max/abs

Revision 1145 - Directory Listing
Modified Fri Mar 15 02:30:53 2002 UTC (17 years, 9 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
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, 9 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
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, 9 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
implemented entry points; NEW BOOTFILES

Revision 1126 - Directory Listing
Modified Thu Mar 7 21:16:28 2002 UTC (17 years, 9 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
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
Original Path: sml/trunk/src/compiler/TopLevel
a mix of changes to CM and FFI

Revision 1069 - Directory Listing
Modified Fri Feb 15 21:00:05 2002 UTC (17 years, 10 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
Working release, version 110.39

Revision 1068 - Directory Listing
Modified Fri Feb 15 19:18:00 2002 UTC (17 years, 10 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
added CM.State.showBindings (and EnvRef.listBoundSymbols)

Revision 1058 - Directory Listing
Modified Fri Feb 8 20:02:56 2002 UTC (17 years, 10 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
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, 11 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
turned x86-fp on

Revision 1009 - Directory Listing
Modified Wed Jan 9 19:44:22 2002 UTC (17 years, 11 months ago) by george
Original Path: sml/trunk/src/compiler/TopLevel
	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
Original Path: sml/trunk/src/compiler/TopLevel
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
Original Path: sml/trunk/src/compiler/TopLevel
x86-fast-fp turned off again

Revision 928 - Directory Listing
Modified Tue Sep 18 13:38:46 2001 UTC (18 years, 3 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
version 110.36

Revision 927 - Directory Listing
Modified Fri Sep 14 20:19:53 2001 UTC (18 years, 3 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
set x86-fast-fp to true by default

Revision 909 - Directory Listing
Modified Fri Aug 24 17:48:53 2001 UTC (18 years, 3 months ago) by george
Original Path: sml/trunk/src/compiler/TopLevel
removed clusters from MLRISC

Revision 905 - Directory Listing
Modified Thu Aug 23 21:53:02 2001 UTC (18 years, 3 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
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
Original Path: sml/trunk/src/compiler/TopLevel
library debugprof.cm extracted

Revision 902 - Directory Listing
Modified Wed Aug 15 21:17:05 2001 UTC (18 years, 4 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
new organization of compiler libraries

Revision 879 - Directory Listing
Modified Thu Jul 19 18:59:38 2001 UTC (18 years, 5 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
extensive organizational changes

Revision 875 - Directory Listing
Modified Tue Jul 10 21:19:41 2001 UTC (18 years, 5 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
working version 110.34

Revision 834 - Directory Listing
Modified Wed May 23 18:30:31 2001 UTC (18 years, 6 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
Release_110_33

Revision 818 - Directory Listing
Modified Fri May 4 20:58:47 2001 UTC (18 years, 7 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
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, 8 months ago) by george
Original Path: sml/trunk/src/compiler/TopLevel
Port to Mac OS X

Revision 773 - Directory Listing
Modified Mon Jan 8 16:18:37 2001 UTC (18 years, 11 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
merging changes from private branch

Revision 772 - Directory Listing
Modified Thu Jan 4 15:36:41 2001 UTC (18 years, 11 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
merging changes from private branch

Revision 771 - Directory Listing
Modified Sat Dec 30 13:06:09 2000 UTC (18 years, 11 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
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
Original Path: sml/trunk/src/compiler/TopLevel
infinite precision in MLRISC

Revision 757 - Directory Listing
Modified Thu Dec 21 14:54:56 2000 UTC (18 years, 11 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
merging changes from private branch

Revision 749 - Directory Listing
Modified Fri Dec 8 15:16:36 2000 UTC (19 years ago) by george
Original Path: sml/trunk/src/compiler/TopLevel
release 110.31

Revision 717 - Directory Listing
Modified Sun Nov 5 15:07:51 2000 UTC (19 years, 1 month ago) by george
Original Path: sml/trunk/src/compiler/TopLevel
support for sqrt and trig functions on the x86

Revision 715 - Directory Listing
Modified Thu Nov 2 07:51:04 2000 UTC (19 years, 1 month ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
added conditional compilation in init library; BOOTFILES

Revision 710 - Directory Listing
Modified Tue Oct 17 08:21:09 2000 UTC (19 years, 2 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
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
Original Path: sml/trunk/src/compiler/TopLevel
(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, 5 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
built 110.29

Revision 678 - Directory Listing
Modified Tue Jun 27 07:51:09 2000 UTC (19 years, 5 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
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
Original Path: sml/trunk/src/compiler/TopLevel
new back-trace facility added; see HISTORY

Revision 652 - Directory Listing
Modified Tue Jun 6 02:14:56 2000 UTC (19 years, 6 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
merging changes from devel branch; new boot files

Revision 651 - Directory Listing
Modified Thu Jun 1 18:34:03 2000 UTC (19 years, 6 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
bring revisions from the vendor branch to the trunk

Revision 635 - Directory Listing
Modified Tue May 2 15:09:12 2000 UTC (19 years, 7 months ago) by dbm
Original Path: sml/trunk/src/compiler/TopLevel
Version 110.28

Revision 626 - Directory Listing
Modified Sat Apr 22 23:24:24 2000 UTC (19 years, 7 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
* 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
Original Path: sml/trunk/src/compiler/TopLevel
* 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, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
* 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, 8 months ago) by dbm
Original Path: sml/trunk/src/compiler/TopLevel
Version 110.27

Revision 604 - Directory Listing
Modified Fri Apr 7 13:53:08 2000 UTC (19 years, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
* 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, 8 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
merging branch blume_devel_v110p26p2_1 (elimination of corenv)

Revision 588 - Directory Listing
Modified Fri Mar 31 09:00:02 2000 UTC (19 years, 8 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
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, 8 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
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, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
(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, 9 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
merging back changes from blume_devel_v110_26_2

Revision 569 - Directory Listing
Modified Tue Mar 7 04:01:07 2000 UTC (19 years, 9 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
- 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, 11 months ago) by blume
Original Path: sml/trunk/src/compiler/TopLevel
pickler bug fixes; some cosmetic changes

Revision 508 - Directory Listing
Modified Fri Dec 10 20:35:54 1999 UTC (20 years ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
*** empty log message ***

Revision 506 - Directory Listing
Modified Fri Dec 10 00:15:35 1999 UTC (20 years ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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 (20 years ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
the 110.25 merge compiles

Revision 499 - Directory Listing
Modified Tue Dec 7 15:44:50 1999 UTC (20 years ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 1 month ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
auto-merged to 110.24

Revision 476 - Directory Listing
Modified Wed Nov 10 22:59:58 1999 UTC (20 years, 1 month ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 1 month ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 3 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 3 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 3 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 3 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 3 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 3 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 3 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 3 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
Initial revision

Revision 290 - Directory Listing
Modified Sat May 22 21:01:25 1999 UTC (20 years, 6 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 7 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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
Original Path: sml/trunk/src/compiler/TopLevel
*** empty log message ***

Revision 259 - Directory Listing
Modified Thu Apr 22 09:30:22 1999 UTC (20 years, 7 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
First try at a merge of 110.16

Revision 250 - Directory Listing
Modified Sat Apr 17 18:57:03 1999 UTC (20 years, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
Initial revision

Revision 232 - Directory Listing
Modified Sat Apr 17 18:14:18 1999 UTC (20 years, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
Initial revision

Revision 228 - Directory Listing
Modified Sat Apr 17 17:15:03 1999 UTC (20 years, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
Initial revision

Revision 224 - Directory Listing
Modified Sat Apr 17 16:27:01 1999 UTC (20 years, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 9 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
* 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, 11 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
merged in 110.10

Revision 208 - Directory Listing
Modified Fri Jan 15 15:54:19 1999 UTC (20 years, 11 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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 (21 years ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
*** empty log message ***

Revision 203 - Directory Listing
Modified Sat Dec 19 20:51:39 1998 UTC (21 years ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
* 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 (21 years ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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
Original Path: sml/trunk/src/compiler/TopLevel
*** empty log message ***

Revision 197 - Directory Listing
Modified Sun Nov 22 01:25:23 1998 UTC (21 years ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 1 month ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
* 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, 1 month ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
*** empty log message ***

Revision 184 - Directory Listing
Modified Sun Nov 8 21:18:20 1998 UTC (21 years, 1 month ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
* 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, 1 month ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
merged in 110.9.1

Revision 171 - Directory Listing
Modified Sat Nov 7 22:24:50 1998 UTC (21 years, 1 month ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
Initial revision

Revision 170 - Directory Listing
Modified Sat Nov 7 20:30:40 1998 UTC (21 years, 1 month ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 1 month ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 1 month ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
Initial revision

Revision 163 - Directory Listing
Modified Thu Oct 29 21:00:27 1998 UTC (21 years, 1 month ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
added dropping of dead-arguments

Revision 162 - Directory Listing
Modified Tue Oct 27 22:16:21 1998 UTC (21 years, 1 month ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
*** empty log message ***

Revision 161 - Directory Listing
Modified Mon Oct 12 03:40:02 1998 UTC (21 years, 2 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
*** empty log message ***

Revision 153 - Directory Listing
Modified Sun Oct 11 17:49:09 1998 UTC (21 years, 2 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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
Original Path: sml/trunk/src/compiler/TopLevel
removed debugFContract

Revision 151 - Directory Listing
Modified Sun Oct 11 17:46:21 1998 UTC (21 years, 2 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 3 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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
Original Path: sml/trunk/src/compiler/TopLevel
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, 3 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 3 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 3 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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, 3 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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
Original Path: sml/trunk/src/compiler/TopLevel
addition of fcontract and fixfix and Control.FLINT

Revision 118 - Directory Listing
Modified Fri Jun 5 21:38:17 1998 UTC (21 years, 6 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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
Original Path: sml/trunk/src/compiler/TopLevel
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, 6 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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
Original Path: sml/trunk/src/compiler/TopLevel
Initial revision

Revision 109 - Directory Listing
Modified Fri May 29 02:12:55 1998 UTC (21 years, 6 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
merged in 110.6 changes

Revision 107 - Directory Listing
Modified Thu May 28 21:30:17 1998 UTC (21 years, 6 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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
Original Path: sml/trunk/src/compiler/TopLevel
Initial revision

Revision 102 - Directory Listing
Modified Thu May 14 05:53:10 1998 UTC (21 years, 7 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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
Original Path: sml/trunk/src/compiler/TopLevel
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, 7 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
merged with 110.5

Revision 94 - Directory Listing
Modified Tue May 12 21:56:22 1998 UTC (21 years, 7 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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
Original Path: sml/trunk/src/compiler/TopLevel
Initial revision

Revision 83 - Directory Listing
Modified Wed May 6 22:23:51 1998 UTC (21 years, 7 months ago) by league
Original Path: sml/trunk/src/compiler/TopLevel
removing assert and rc-file changes for now.

Revision 79 - Directory Listing
Modified Sat Apr 18 00:19:45 1998 UTC (21 years, 8 months ago) by league
Original Path: sml/trunk/src/compiler/TopLevel
assertions and .smlnjrc

Revision 71 - Directory Listing
Modified Fri Apr 3 01:57:57 1998 UTC (21 years, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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
Original Path: sml/trunk/src/compiler/TopLevel
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, 8 months ago) by league
Original Path: sml/trunk/src/compiler/TopLevel
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, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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
Original Path: sml/trunk/src/compiler/TopLevel
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
Original Path: sml/trunk/src/compiler/TopLevel
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
Original Path: sml/trunk/src/compiler/TopLevel
*** empty log message ***

Revision 46 - Directory Listing
Modified Sun Mar 22 20:11:09 1998 UTC (21 years, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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
Original Path: sml/trunk/src/compiler/TopLevel
*** empty log message ***

Revision 25 - Directory Listing
Modified Thu Mar 12 00:49:58 1998 UTC (21 years, 9 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
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
Original Path: sml/trunk/src/compiler/TopLevel
Initial revision

Revision 16 - Directory Listing
Added Wed Mar 11 21:00:04 1998 UTC (21 years, 9 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel
Initial revision

Sort log by:

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