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/Semant
ViewVC logotype

Log of /sml/trunk/src/compiler/Semant

View Directory Listing Directory Listing


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

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

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

Revision 773 - Directory Listing
Modified Mon Jan 8 16:18:37 2001 UTC (18 years, 11 months ago) by blume
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
merging changes from private branch

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

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

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 651 - Directory Listing
Modified Thu Jun 1 18:34:03 2000 UTC (19 years, 6 months ago) by monnier
bring revisions from the vendor branch to the trunk

Revision 633 - Directory Listing
Modified Sun Apr 30 16:44:09 2000 UTC (19 years, 7 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, 7 months ago) by blume
merged pending changes into main trunk; see HISTORY; new binfiles!!

Revision 592 - Directory Listing
Modified Mon Apr 3 07:04:12 2000 UTC (19 years, 8 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, 8 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, 8 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 569 - Directory Listing
Modified Tue Mar 7 04:01:07 2000 UTC (19 years, 9 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 537 - Directory Listing
Modified Fri Feb 18 17:20:16 2000 UTC (19 years, 9 months ago) by blume
CM changes: standalone builds, better CMB.make/deliver, general improvements

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

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

Revision 499 - Directory Listing
Modified Tue Dec 7 15:44:50 1999 UTC (20 years 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 489 - Directory Listing
Modified Tue Nov 23 12:55:00 1999 UTC (20 years ago) by monnier
somewhat functional

Revision 476 - Directory Listing
Modified Wed Nov 10 22:59:58 1999 UTC (20 years, 1 month 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 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, 3 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, 3 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 427 - Directory Listing
Modified Wed Sep 8 09:40:08 1999 UTC (20 years, 3 months ago) by monnier
Initial revision

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

Revision 419 - Directory Listing
Modified Fri Sep 3 23:51:27 1999 UTC (20 years, 3 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, 3 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 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 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 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 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, 9 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 218 - Directory Listing
Modified Tue Mar 2 08:12:06 1999 UTC (20 years, 9 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 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 184 - Directory Listing
Modified Sun Nov 8 21:18:20 1998 UTC (21 years, 1 month 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 177 - Directory Listing
Modified Sat Nov 7 22:42:44 1998 UTC (21 years, 1 month ago) by monnier
Initial revision

Revision 168 - Directory Listing
Modified Sat Nov 7 20:11:41 1998 UTC (21 years, 1 month 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 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 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 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 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 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 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 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 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 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 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, 7 months ago) by league
debugging code

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 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 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 16 - Directory Listing
Added Wed Mar 11 21:00:04 1998 UTC (21 years, 9 months ago) by monnier
Initial revision

Sort log by:

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