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

SCM Repository

[smlnj] Log of /sml/trunk
ViewVC logotype

Log of /sml/trunk

View Directory Listing Directory Listing


Sticky Revision:

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

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

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

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

1. X86 fixes/changes

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

2. ALPHA fixes/changes

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

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

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

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

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


1. X86 fixes/changes

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

2. PA-RISC fixes/changes

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

3. Generic MLRISC

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

4. Register Allocator

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

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

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

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

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

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

This fix only affects the x86 assembly output.

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

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

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

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

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

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

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

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

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

Updated documentation on MLTree Extensions provided by Lal.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

* Makefile: Update.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Revision 393 - Directory Listing
Modified Fri Aug 6 08:41:25 1999 UTC (20 years, 2 months ago) by blume
small changes in the pickler interface

Revision 392 - Directory Listing
Modified Fri Jul 30 08:02:33 1999 UTC (20 years, 2 months ago) by blume
bug in skel-io fixed

Revision 391 - Directory Listing
Modified Fri Jul 30 07:23:56 1999 UTC (20 years, 2 months ago) by blume
slight changes in pickle interface

Revision 390 - Directory Listing
Modified Tue Jul 27 14:07:00 1999 UTC (20 years, 3 months ago) by blume
code discarded in safe cases only

Revision 389 - Directory Listing
Modified Mon Jul 26 03:13:33 1999 UTC (20 years, 3 months ago) by blume
fixed smlinfo.sml; new sharing module should work now

Revision 388 - Directory Listing
Modified Mon Jul 26 02:45:07 1999 UTC (20 years, 3 months ago) by blume
sharing.sml added

Revision 387 - Directory Listing
Modified Mon Jul 26 02:44:20 1999 UTC (20 years, 3 months ago) by blume
just syncing; this version does not work

Revision 386 - Directory Listing
Modified Thu Jul 22 07:35:50 1999 UTC (20 years, 3 months ago) by blume
alpha32x support dropped

Revision 385 - Directory Listing
Modified Thu Jul 22 05:23:25 1999 UTC (20 years, 3 months ago) by blume
stable pickles use more sharing now

Revision 384 - Directory Listing
Modified Wed Jul 21 08:54:00 1999 UTC (20 years, 3 months ago) by blume
skel-io and stabilize use new pickler

Revision 383 - Directory Listing
Modified Tue Jul 20 06:05:56 1999 UTC (20 years, 3 months ago) by blume
exception history printed in recomp.sml

Revision 382 - Directory Listing
Modified Sun Jul 11 03:12:07 1999 UTC (20 years, 3 months ago) by monnier
* opt/split.sml: don't burp when you can't split.

Revision 381 - Directory Listing
Modified Fri Jul 9 05:37:59 1999 UTC (20 years, 3 months ago) by blume
bug in cm.lex fixed

Revision 380 - Directory Listing
Modified Fri Jul 9 05:22:18 1999 UTC (20 years, 3 months ago) by blume
aliases eliminated

Revision 379 - Directory Listing
Modified Thu Jul 8 02:12:11 1999 UTC (20 years, 3 months ago) by blume
just updating some comment...

Revision 378 - Directory Listing
Modified Wed Jul 7 14:45:42 1999 UTC (20 years, 3 months ago) by monnier
* sml-proc.el (sml-update-cursor): make sure it also works if compile.el
  is fixed to uses a marker.
* sml-mode.el (sml-indent): fix the `fixindent'.

Revision 377 - Directory Listing
Modified Wed Jul 7 06:55:18 1999 UTC (20 years, 3 months ago) by blume
some pathconfig oddness rectified

Revision 376 - Directory Listing
Modified Wed Jul 7 04:25:11 1999 UTC (20 years, 3 months ago) by blume
fixed AutoDir (handling of ..)

Revision 375 - Directory Listing
Modified Wed Jul 7 03:08:04 1999 UTC (20 years, 3 months ago) by blume
unnecessary files deleted; some files moved

Revision 374 - Directory Listing
Modified Wed Jul 7 02:59:55 1999 UTC (20 years, 3 months ago) by blume
small change to AbsPath; NEW_CM dependence eliminated from .cm files

Revision 373 - Directory Listing
Modified Wed Jul 7 00:45:56 1999 UTC (20 years, 3 months ago) by blume
no more canonicalization in AbsPath

Revision 372 - Directory Listing
Modified Tue Jul 6 09:05:57 1999 UTC (20 years, 3 months ago) by blume
traversals separated (private state should now also work with autoloader)

Revision 371 - Directory Listing
Modified Mon Jul 5 14:34:41 1999 UTC (20 years, 3 months ago) by blume
backed out of thin traversals

Revision 370 - Directory Listing
Modified Mon Jul 5 08:59:13 1999 UTC (20 years, 3 months ago) by blume
thin traversals implemented (whew!)

Revision 369 - Directory Listing
Modified Sun Jul 4 12:55:20 1999 UTC (20 years, 3 months ago) by blume
bfc_fetch_xxx bogosity eliminated; more fleshing out of CM

Revision 368 - Directory Listing
Modified Sat Jul 3 13:05:59 1999 UTC (20 years, 3 months ago) by blume
better pathconfig interface + some cosmetic improvements

Revision 367 - Directory Listing
Modified Sat Jul 3 04:59:01 1999 UTC (20 years, 3 months ago) by blume
more bugs/problems eliminated from the list...

Revision 366 - Directory Listing
Modified Fri Jul 2 14:13:29 1999 UTC (20 years, 3 months ago) by blume
handling of cwd corrected

Revision 365 - Directory Listing
Modified Fri Jul 2 08:38:07 1999 UTC (20 years, 3 months ago) by blume
parse caching limit; various control flags exported

Revision 364 - Directory Listing
Modified Fri Jul 2 07:33:12 1999 UTC (20 years, 3 months ago) by blume
more inching towards a usable system

Revision 363 - Directory Listing
Modified Fri Jul 2 02:45:45 1999 UTC (20 years, 3 months ago) by blume
transfer of state during stabilization implemented

Revision 362 - Directory Listing
Modified Thu Jul 1 09:39:48 1999 UTC (20 years, 3 months ago) by blume
bootstrapping now working (it seems)

Revision 361 - Directory Listing
Modified Wed Jun 30 06:44:04 1999 UTC (20 years, 3 months ago) by blume
bootstrapping works now (mainly); PathConfig code cleaned majorly

Revision 360 - Directory Listing
Modified Tue Jun 29 09:21:02 1999 UTC (20 years, 3 months ago) by blume
basic bootstrapping is now working

Revision 359 - Directory Listing
Modified Tue Jun 29 01:53:40 1999 UTC (20 years, 3 months ago) by blume
sparc.sml entry deleted from cm-lib.cm

Revision 358 - Directory Listing
Modified Mon Jun 28 13:59:11 1999 UTC (20 years, 3 months ago) by blume
listfile generation fixed

Revision 357 - Directory Listing
Modified Mon Jun 28 08:46:30 1999 UTC (20 years, 4 months ago) by blume
more work towards being able to bootstrap

Revision 356 - Directory Listing
Modified Sun Jun 27 11:51:16 1999 UTC (20 years, 4 months ago) by blume
error message improved; handling of corenv corrected in btcompile

Revision 355 - Directory Listing
Modified Sat Jun 26 13:17:30 1999 UTC (20 years, 4 months ago) by blume
autoloading added

Revision 354 - Directory Listing
Modified Fri Jun 25 08:36:12 1999 UTC (20 years, 4 months ago) by blume
a host of changes related mostly to pathname handling

Revision 353 - Directory Listing
Modified Thu Jun 24 09:43:28 1999 UTC (20 years, 4 months ago) by blume
various changes in pathname handling etc.

Revision 352 - Directory Listing
Modified Wed Jun 23 09:27:27 1999 UTC (20 years, 4 months ago) by blume
more elaborate pathname handling (for the sake of bt-compiler)

Revision 351 - Directory Listing
Modified Wed Jun 23 06:44:27 1999 UTC (20 years, 4 months ago) by blume
very serious (and stupid!) performance bug killed

Revision 350 - Directory Listing
Modified Wed Jun 23 00:38:58 1999 UTC (20 years, 4 months ago) by monnier
* sml-mode-startup.el: fixed to fulfill autoload.el assumptions.

Revision 349 - Directory Listing
Modified Tue Jun 22 06:17:47 1999 UTC (20 years, 4 months ago) by blume
RTPID and BINLIST written

Revision 348 - Directory Listing
Modified Tue Jun 22 05:43:46 1999 UTC (20 years, 4 months ago) by blume
wrapped privileges cleaned up; Overview updated

Revision 347 - Directory Listing
Modified Mon Jun 21 15:08:30 1999 UTC (20 years, 4 months ago) by monnier
* sml-defs.el (sml-bindings): removed bindings for TAB and M-C-\
* sml-mode.el (sml-font-lock-keywords): skip type vars in "fun 'a myfn"
(sml-calculate-indentation): add a hack to allow the user to manually
  override the indentation algorithm with a magic comment.
* sml-mode-startup.el: update the autoloads automatically.

Revision 346 - Directory Listing
Modified Mon Jun 21 05:07:29 1999 UTC (20 years, 4 months ago) by blume
IO.Io exception handled in stabilize.sml

Revision 345 - Directory Listing
Modified Sun Jun 20 11:55:26 1999 UTC (20 years, 4 months ago) by blume
error flag in source cancelled; IO vs. interrupts handled more robustly

Revision 344 - Directory Listing
Modified Sun Jun 20 03:14:57 1999 UTC (20 years, 4 months ago) by blume
installation instructions; keep_going off by default

Revision 343 - Directory Listing
Modified Sat Jun 19 09:29:33 1999 UTC (20 years, 4 months ago) by monnier
* sml-proc.el (sml-error-regexp-alist): solved the pathological
  font-locking on long lines.

* sml-move.el (sml-forward-sexp): slightly improved.

Revision 342 - Directory Listing
Modified Sat Jun 19 09:26:38 1999 UTC (20 years, 4 months ago) by monnier
*** empty log message ***

Revision 341 - Directory Listing
Modified Fri Jun 18 19:10:12 1999 UTC (20 years, 4 months ago) by monnier
* sml-mode.el (sml-insert-form): Only add a space if needed.
(sml-electric-space): new command bound to M-SPC.

Revision 340 - Directory Listing
Modified Fri Jun 18 05:32:46 1999 UTC (20 years, 4 months ago) by blume
groups not stabilizable by themselves (sucked into surrounding stable library)

Revision 339 - Directory Listing
Modified Thu Jun 17 16:14:01 1999 UTC (20 years, 4 months ago) by monnier
* sml-defs.el (sml-close-paren): added a second field that specifies when
  not to delegate.  Used for zero-indent single-line `if..else'.

Revision 338 - Directory Listing
Modified Thu Jun 17 14:13:58 1999 UTC (20 years, 4 months ago) by blume
Overview added

Revision 337 - Directory Listing
Modified Thu Jun 17 09:43:40 1999 UTC (20 years, 4 months ago) by blume
missing copyright notices added

Revision 336 - Directory Listing
Modified Thu Jun 17 09:23:20 1999 UTC (20 years, 4 months ago) by blume
SymVal implemented

Revision 335 - Directory Listing
Modified Thu Jun 17 08:21:08 1999 UTC (20 years, 4 months ago) by blume
build-initdg now reports binpaths and not sourcepaths

Revision 334 - Directory Listing
Modified Thu Jun 17 02:43:15 1999 UTC (20 years, 4 months ago) by monnier
* sml-move.el (sml-(for|back)ward-sym): distinguishes between
  operator "=" and syntax for definitions "d=".
* sml-defs.el (sml-indent-starters, sml-delegate): simplified.
(sml-symbol-indent): added outdentation for `fn' and generalized it to
  also work for `of' and `in' and `end'.
* sml-mode.el (sml-nested-if-indent): reintroduced as well as the special
  casing code for it.
(sml-indent-relative): generalize the treatment of `of', `in', `end', ...
(sml-electric-pipe): removed the slow behavior and added smarts for the
  never-used type-variable arguments for function definitions.
* sml-defs.el (sml-mode-menu), sml-mode.el (sml-forms-menu): make the menu
  dynamically.
* sml-mode.el (sml-form-<foo>): use skeletons.
(sml-calculate-indentation): added `with' indentation.

Revision 333 - Directory Listing
Modified Tue Jun 15 03:41:26 1999 UTC (20 years, 4 months ago) by monnier
* sml-move.el (sml-(for|back)ward-sym): now also return the string if any
  and take care of the "op" special keyword.
(sml-op-prec): setup an alist for the infix operators.
* version 3.9.1:  sent to Roland McGrath.

Revision 332 - Directory Listing
Modified Tue Jun 15 00:51:38 1999 UTC (20 years, 4 months ago) by monnier
*** empty log message ***

Revision 331 - Directory Listing
Modified Sat Jun 12 15:04:53 1999 UTC (20 years, 4 months ago) by blume
some more tweaking of the bt compiler (still needs more, but basically works)

Revision 330 - Directory Listing
Modified Sat Jun 12 07:45:52 1999 UTC (20 years, 4 months ago) by blume
stablefile format enhanced; bootstrap compiler shows signs of life

Revision 329 - Directory Listing
Modified Fri Jun 11 09:53:10 1999 UTC (20 years, 4 months ago) by blume
bootstrap compiler half-working

Revision 328 - Directory Listing
Modified Thu Jun 10 22:31:41 1999 UTC (20 years, 4 months ago) by monnier
*** empty log message ***

Revision 327 - Directory Listing
Modified Thu Jun 10 09:14:48 1999 UTC (20 years, 4 months ago) by blume
bootstrap compiler implemented (still needs list file generator etc.)

Revision 326 - Directory Listing
Modified Thu Jun 10 06:08:29 1999 UTC (20 years, 4 months ago) by blume
switched from mkprimperv.sml to build-initdg.sml (which is a lot cleaner)

Revision 325 - Directory Listing
Modified Thu Jun 10 05:00:05 1999 UTC (20 years, 4 months ago) by blume
a bit more flesh on the bootstrap skeleton

Revision 324 - Directory Listing
Modified Wed Jun 9 07:57:07 1999 UTC (20 years, 4 months ago) by blume
first steps towards bootstrap compiler

Revision 323 - Directory Listing
Modified Wed Jun 9 06:16:22 1999 UTC (20 years, 4 months ago) by blume
more flexible implementation of Primitive module

Revision 322 - Directory Listing
Modified Tue Jun 8 09:36:16 1999 UTC (20 years, 4 months ago) by blume
FilenamePolicy implemented

Revision 321 - Directory Listing
Modified Tue Jun 8 08:14:28 1999 UTC (20 years, 4 months ago) by blume
PathConfig implemented

Revision 320 - Directory Listing
Modified Tue Jun 8 07:42:11 1999 UTC (20 years, 4 months ago) by blume
value cache implemented correctly

Revision 319 - Directory Listing
Modified Mon Jun 7 22:47:00 1999 UTC (20 years, 4 months ago) by monnier
First seemingly acceptable new code.

Revision 318 - Directory Listing
Modified Mon Jun 7 09:32:09 1999 UTC (20 years, 4 months ago) by blume
some cleanup; pathconfig modes added; grammar modified (privileges)

Revision 317 - Directory Listing
Modified Fri Jun 4 09:00:10 1999 UTC (20 years, 4 months ago) by blume
some explanatory comments added to link.sml

Revision 316 - Directory Listing
Modified Fri Jun 4 08:32:57 1999 UTC (20 years, 4 months ago) by blume
a few types cleaned up; adding bindings to toplevel implemented

Revision 315 - Directory Listing
Modified Fri Jun 4 07:29:43 1999 UTC (20 years, 4 months ago) by blume
Test tree added to repository

Revision 314 - Directory Listing
Modified Fri Jun 4 06:41:45 1999 UTC (20 years, 4 months ago) by blume
keep_going works now (apparently)

Revision 313 - Directory Listing
Modified Thu Jun 3 09:26:34 1999 UTC (20 years, 4 months ago) by blume
resynchronization facility added (#line)

Revision 312 - Directory Listing
Modified Wed Jun 2 23:20:17 1999 UTC (20 years, 4 months ago) by blume
usage of privileges reported (only a hack)

Revision 311 - Directory Listing
Modified Wed Jun 2 09:08:48 1999 UTC (20 years, 4 months ago) by blume
stabilization code properly hooked in

Revision 310 - Directory Listing
Modified Wed Jun 2 07:28:27 1999 UTC (20 years, 4 months ago) by blume
stabilization code working but only flimsily hooked up

Revision 309 - Directory Listing
Modified Wed Jun 2 03:21:57 1999 UTC (20 years, 4 months ago) by blume
stabilization code completed -- still needs to be hooked up

Revision 308 - Directory Listing
Modified Wed Jun 2 01:26:19 1999 UTC (20 years, 4 months ago) by blume
simplified da-env

Revision 307 - Directory Listing
Modified Tue Jun 1 09:38:28 1999 UTC (20 years, 4 months ago) by blume
more stabilization code (still not done, though)

Revision 306 - Directory Listing
Modified Tue Jun 1 08:25:21 1999 UTC (20 years, 4 months ago) by blume
stabilization code mostly done

Revision 305 - Directory Listing
Modified Mon May 31 15:00:06 1999 UTC (20 years, 4 months ago) by blume
some more fiddling with the stablefile pickler

Revision 304 - Directory Listing
Modified Mon May 31 09:10:08 1999 UTC (20 years, 4 months ago) by blume
first steps towards stabilize (not finished yet)

Revision 303 - Directory Listing
Modified Sun May 30 10:23:20 1999 UTC (20 years, 4 months ago) by blume
dyn-tstamp eliminated; more fiddling with sharing (now checked statically)

Revision 302 - Directory Listing
Modified Sat May 29 03:19:59 1999 UTC (20 years, 4 months ago) by blume
bug in handling of private flag fixed

Revision 301 - Directory Listing
Modified Fri May 28 09:43:39 1999 UTC (20 years, 5 months ago) by blume
recompile and exec mostly working (probably still bugs in the details)

Revision 300 - Directory Listing
Modified Thu May 27 22:01:36 1999 UTC (20 years, 5 months ago) by monnier
*** empty log message ***

Revision 299 - Directory Listing
Modified Thu May 27 13:53:27 1999 UTC (20 years, 5 months ago) by blume
finished recomp.sml; now only need to put the pieces together

Revision 298 - Directory Listing
Modified Thu May 27 09:42:28 1999 UTC (20 years, 5 months ago) by blume
more flesh added to recompile/exec

Revision 297 - Directory Listing
Modified Thu May 27 08:29:19 1999 UTC (20 years, 5 months ago) by blume
persistent state/error handling bogosity fixed

Revision 296 - Directory Listing
Modified Thu May 27 05:31:04 1999 UTC (20 years, 5 months ago) by blume
improved generated skeletons; copyright notice

Revision 295 - Directory Listing
Modified Wed May 26 09:20:25 1999 UTC (20 years, 5 months ago) by blume
most of recompilation/execution machinery in place

Revision 294 - Directory Listing
Modified Tue May 25 09:06:06 1999 UTC (20 years, 5 months ago) by blume
first steps towards make/recompile and stable libraries

Revision 293 - Directory Listing
Modified Tue May 25 03:04:50 1999 UTC (20 years, 5 months ago) by blume
skeleton code rewritten (should contain no more code inherited from SC)

Revision 292 - Directory Listing
Modified Mon May 24 22:03:46 1999 UTC (20 years, 5 months ago) by monnier
merged 110.17

Revision 291 - Directory Listing
Modified Mon May 24 09:41:07 1999 UTC (20 years, 5 months ago) by blume
new attempt at Skeletons (not quite satisfactory yet)

Revision 290 - Directory Listing
Modified Sat May 22 21:01:25 1999 UTC (20 years, 5 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r289,
which included commits to RCS files with non-trunk default branches.

Revision 287 - Directory Listing
Modified Sat May 22 20:58:41 1999 UTC (20 years, 5 months ago) by monnier
Initial revision

Revision 286 - Directory Listing
Modified Fri May 21 07:47:16 1999 UTC (20 years, 5 months ago) by blume
skeleton type simplified; improved conversion, etc.

Revision 285 - Directory Listing
Modified Wed May 19 23:31:25 1999 UTC (20 years, 5 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r284,
which included commits to RCS files with non-trunk default branches.

Revision 283 - Directory Listing
Modified Wed May 19 08:20:58 1999 UTC (20 years, 5 months ago) by blume
full dependency analysis (hopefully) in place

Revision 282 - Directory Listing
Modified Wed May 19 05:14:03 1999 UTC (20 years, 5 months ago) by blume
stdtool as function; better depend. graphs, group export grammar fixed

Revision 281 - Directory Listing
Modified Tue May 18 14:57:00 1999 UTC (20 years, 5 months ago) by blume
GroupReg added; bad error msg behavior fixed

Revision 280 - Directory Listing
Modified Tue May 18 09:05:13 1999 UTC (20 years, 5 months ago) by blume
some cosmetic changes to error reporting

Revision 279 - Directory Listing
Modified Tue May 18 08:10:36 1999 UTC (20 years, 5 months ago) by blume
dependency analysis (hopefully) done; some simplifying changes to skeletons

Revision 278 - Directory Listing
Modified Mon May 17 14:53:49 1999 UTC (20 years, 5 months ago) by blume
more towards dependency analysis

Revision 277 - Directory Listing
Modified Mon May 17 09:13:26 1999 UTC (20 years, 5 months ago) by blume
early beginning of dep. analysis

Revision 276 - Directory Listing
Modified Mon May 17 06:01:28 1999 UTC (20 years, 5 months ago) by blume
stdtool; yacc/lex/burg tools; some odd fixes here and there

Revision 275 - Directory Listing
Modified Sat May 15 09:54:52 1999 UTC (20 years, 5 months ago) by blume
skeleton stuff added (works); error messages improved; SML export analysis

Revision 274 - Directory Listing
Modified Fri May 14 05:23:02 1999 UTC (20 years, 5 months ago) by blume
stage0 -- links fine (for testing); parses correctly (apparently)

Revision 273 - Directory Listing
Modified Wed May 12 08:38:51 1999 UTC (20 years, 5 months ago) by blume
checking for group cycles implemented (with nicely formatted error message)

Revision 272 - Directory Listing
Modified Wed May 12 07:09:28 1999 UTC (20 years, 5 months ago) by blume
implementation of Tools mechanism added

Revision 271 - Directory Listing
Modified Tue May 11 07:48:55 1999 UTC (20 years, 5 months ago) by blume
dummy.sml committed (for now)

Revision 270 - Directory Listing
Modified Tue May 11 07:45:42 1999 UTC (20 years, 5 months ago) by blume
semant/members.sml should be fairly complete now

Revision 269 - Directory Listing
Modified Mon May 10 13:34:43 1999 UTC (20 years, 5 months ago) by blume
started adding dependency graph stuff

Revision 268 - Directory Listing
Modified Mon May 10 07:00:02 1999 UTC (20 years, 5 months ago) by blume
front end completed (modulo bugs)

Revision 267 - Directory Listing
Modified Sat May 8 13:53:45 1999 UTC (20 years, 5 months ago) by blume
more fleshing out semant

Revision 266 - Directory Listing
Modified Sat May 8 04:00:44 1999 UTC (20 years, 5 months ago) by blume
some small changes + re-commit after server crash(?)

Revision 265 - Directory Listing
Modified Fri May 7 08:42:54 1999 UTC (20 years, 5 months ago) by blume
laid foundations for lexer, parser, basic path handling

Revision 262 - Directory Listing
Modified Thu May 6 06:52:05 1999 UTC (20 years, 5 months ago) by blume
Initial revision

Revision 261 - Directory Listing
Modified Wed Apr 28 21:14:25 1999 UTC (20 years, 5 months ago) by monnier
temporarily turned cpsopt back on

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

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

Revision 258 - Directory Listing
Modified Wed Apr 21 23:58:52 1999 UTC (20 years, 6 months ago) by monnier
*** empty log message ***

Revision 257 - Directory Listing
Modified Wed Apr 21 02:45:08 1999 UTC (20 years, 6 months ago) by monnier
*** empty log message ***

Revision 256 - Directory Listing
Modified Wed Apr 21 01:28:39 1999 UTC (20 years, 6 months ago) by monnier
*** empty log message ***

Revision 255 - Directory Listing
Modified Wed Apr 21 00:34:12 1999 UTC (20 years, 6 months ago) by monnier
up'd RAISE size estimate to discourage its inlining

Revision 254 - Directory Listing
Modified Wed Apr 21 00:01:13 1999 UTC (20 years, 6 months ago) by monnier
add a space for `prPrimop *' so as to avoid printing `(*'.

Revision 253 - Directory Listing
Modified Tue Apr 20 17:31:38 1999 UTC (20 years, 6 months ago) by monnier
cleanup non-exhaustive match warning

Revision 252 - Directory Listing
Modified Tue Apr 20 17:22:07 1999 UTC (20 years, 6 months ago) by monnier
detect empty TFN/TAPP early

Revision 251 - Directory Listing
Modified Mon Apr 19 02:55:26 1999 UTC (20 years, 6 months ago) by monnier
First try at a merge of 110.16

Revision 250 - Directory Listing
Modified Sat Apr 17 18:57:03 1999 UTC (20 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r249,
which included commits to RCS files with non-trunk default branches.

Revision 248 - Directory Listing
Modified Sat Apr 17 18:47:13 1999 UTC (20 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r247,
which included commits to RCS files with non-trunk default branches.

Revision 246 - Directory Listing
Modified Sat Apr 17 18:47:12 1999 UTC (20 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r245,
which included commits to RCS files with non-trunk default branches.

Revision 244 - Directory Listing
Modified Sat Apr 17 18:41:51 1999 UTC (20 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r243,
which included commits to RCS files with non-trunk default branches.

Revision 241 - Directory Listing
Modified Sat Apr 17 18:35:00 1999 UTC (20 years, 6 months ago) by monnier
Initial revision

Revision 240 - Directory Listing
Modified Sat Apr 17 18:29:24 1999 UTC (20 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r239,
which included commits to RCS files with non-trunk default branches.

Revision 237 - Directory Listing
Modified Sat Apr 17 18:26:03 1999 UTC (20 years, 6 months ago) by monnier
Initial revision

Revision 236 - Directory Listing
Modified Sat Apr 17 18:21:47 1999 UTC (20 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r235,
which included commits to RCS files with non-trunk default branches.

Revision 233 - Directory Listing
Modified Sat Apr 17 18:18:11 1999 UTC (20 years, 6 months ago) by monnier
Initial revision

Revision 232 - Directory Listing
Modified Sat Apr 17 18:14:18 1999 UTC (20 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r231,
which included commits to RCS files with non-trunk default branches.

Revision 229 - Directory Listing
Modified Sat Apr 17 18:10:40 1999 UTC (20 years, 6 months ago) by monnier
Initial revision

Revision 228 - Directory Listing
Modified Sat Apr 17 17:15:03 1999 UTC (20 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r227,
which included commits to RCS files with non-trunk default branches.

Revision 225 - Directory Listing
Modified Sat Apr 17 17:09:01 1999 UTC (20 years, 6 months ago) by monnier
Initial revision

Revision 224 - Directory Listing
Modified Sat Apr 17 16:27:01 1999 UTC (20 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r223,
which included commits to RCS files with non-trunk default branches.

Revision 221 - Directory Listing
Modified Sat Apr 17 16:19:57 1999 UTC (20 years, 6 months ago) by monnier
Initial revision

Revision 220 - Directory Listing
Modified Tue Mar 9 02:15:05 1999 UTC (20 years, 7 months ago) by monnier
* opt/split.sml (sexp): don't split HANDLE (it's incorrect).
(funeffect): embryo to detect side-effect free APPs (non-functional).
(splitThreshold): to put a cap on inlining.
(stfn): don't bother splitting inlinable TFNs.
* opt/fixfix.sml (curry): fixed bug when uncurrying cooked functions.
* opt/fcontract.sml (fcFun):  fix bug when undertaking mut-rec functions.
* main/flintcomp.sml:  added `recover' to help debugging.
updated the fold to allow extraction of Fi and return it at the end.
* lsplit/ls-inline.sml (oneBranch): fixed the wrapper function.
* flint/flintutil.sml (freevars):  forgot to count the arg of SWITCH.
* flint/flint.sig:  added a tfkind to TFN (only inlining for now).
* main/control.sml: new file. Moved from TopLevel/viscomp/control.sml
(splitThreshold): new var.
* TopLevel/viscomp/control.sig (FLINT.printFctTypes): to reduce clutter.
(splitThreshold): to control splitting agressiveness.
* TopLevel/viscomp/control.sml:  moved substructs outside so that clients
  can refer to them directly (rather than through Control.Foo) to reduce
  spurious dependencies.
* TopLevel/main/{codes,compile}: call `split' from flintcomp, not compile.
* kernel/ltyextern.sml (tnarrow), reps/{reify,rttype,typeoper}.sml:
  flatten arguments when reifying them since the pretty-printer doesn't
  know how to deal with flattened reified TFNs.

Revision 219 - Directory Listing
Modified Tue Mar 9 01:07:30 1999 UTC (20 years, 7 months ago) by monnier
*** empty log message ***

Revision 218 - Directory Listing
Modified Tue Mar 2 08:12:06 1999 UTC (20 years, 7 months ago) by monnier
* Semant/pickle/pickmod.sml (mkPickleLty):
  alpha-rename was not applied to NVAR.
* Semant/pickle/unpickmod.sml (lvar): was improperly defined.
(tyc): TC_NVAR wasn't read correctly.
(tfundec): leading char was inconsistent with pickle.
* kernel/ltyextern.sml (tnarrow), reps/{reify,rttype,typeoper}.sml:
  don't unflatten arguments when reifying them.

Revision 217 - Directory Listing
Modified Sun Feb 28 23:41:30 1999 UTC (20 years, 7 months ago) by monnier
* opt/fcontract.sml (fcEta): do the known->unknown eta-reduce if the
  `known' function is not locally defined (in which case the known/unknown
  distinction is pointless anyway).
(wrap):  don't forget to junk dead inlinable functions.

Revision 216 - Directory Listing
Modified Fri Feb 26 12:55:26 1999 UTC (20 years, 8 months ago) by monnier
* opt/split.sml: seriously reworked.  Now splits TFNs as well.
* kernel/primop.sml (effect): removed DEREF and MAKEREF from the pure
  primops.
* flint/flintutil.sml (copy): sort the type-map since {lt,tc}_subst
  actually expects it to be sorted.
* kernel/ltyextern.{sml,sig} (lt_nvpoly): new function (digged from
  recover.sml to build a LT_POLY in the case of named tvars.
* opt/recover.sml: removed unused depth arguments left behind from before
  we switched to named tvars.
(addLty): added for the benefit of opt/split.sml
(lt_nvpoly): moved to ltyextern.sml

Revision 215 - Directory Listing
Modified Wed Feb 17 14:17:40 1999 UTC (20 years, 8 months ago) by monnier
* opt/split.sml: new file.  Does the lambda-splitting for cross-module
  inlining.  Currently in a simplified form.
* opt/fcontract.sml (fcEta): bug with (mutually) recursive eta redexes.

Revision 214 - Directory Listing
Modified Mon Jan 18 20:12:03 1999 UTC (20 years, 9 months ago) by monnier
Try to find BIN_DIR when its builtin default is unavailable
Allow for the heap image to be passed as is (no @SMLload) for binfmt to work.

Revision 213 - Directory Listing
Modified Fri Jan 15 21:18:35 1999 UTC (20 years, 9 months ago) by monnier
merged in 110.10

Revision 212 - Directory Listing
Modified Fri Jan 15 16:19:21 1999 UTC (20 years, 9 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r211,
which included commits to RCS files with non-trunk default branches.

Revision 210 - Directory Listing
Modified Fri Jan 15 16:00:20 1999 UTC (20 years, 9 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r209,
which included commits to RCS files with non-trunk default branches.

Revision 208 - Directory Listing
Modified Fri Jan 15 15:54:19 1999 UTC (20 years, 9 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r207,
which included commits to RCS files with non-trunk default branches.

Revision 205 - Directory Listing
Modified Fri Jan 15 15:53:56 1999 UTC (20 years, 9 months ago) by monnier
Initial revision

Revision 204 - Directory Listing
Modified Sun Dec 20 11:23:30 1998 UTC (20 years, 10 months ago) by monnier
*** empty log message ***

Revision 203 - Directory Listing
Modified Sat Dec 19 20:51:39 1998 UTC (20 years, 10 months ago) by monnier
* opt/fcontract.sml: turned fcFun into a foldable function.
* opt/loopify.sml: added loop-invariant arg removal.

Revision 202 - Directory Listing
Modified Sun Dec 13 02:29:45 1998 UTC (20 years, 10 months ago) by monnier
Added IH_MAYBE to allow more selective inlining.

Revision 201 - Directory Listing
Modified Sat Nov 28 23:32:48 1998 UTC (20 years, 10 months ago) by monnier
* opt/fcontract.sml: (fcexp): straightforward split into functions
(fcLet): do the BRANCH thing after contraction (plus force an additional
  contraction, so the total is 3 passes for a fairly good handling of
  wrap's equality-primop compilation)
(fcLet): drop TAPP if the output is unused.

Revision 200 - Directory Listing
Modified Sat Nov 28 17:48:03 1998 UTC (20 years, 10 months ago) by monnier
* opt/fcontract.sml: generalized the BRANCH thing.
It should now be faster to detect and avoid potential code blowups while
applying to more cases.  But it requires one more pass to generate the
same code quality :-(

Revision 199 - Directory Listing
Modified Wed Nov 25 18:30:38 1998 UTC (20 years, 11 months ago) by monnier
* opt/loopify.sml: improved tail-calls recognition.
Also be more careful about wrapping loops into functions (so contraction
is not needed to cleanup).
* opt/fixfix.sml: pretend loops are smaller to increase their inlining.
* kernel/ltyextern.sml: commented out Stats calls.
* flint/flint.sig: changed LK_WHILE to LK_TAIL.

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

Revision 197 - Directory Listing
Modified Sun Nov 22 01:25:23 1998 UTC (20 years, 11 months ago) by monnier
Merged in Bratin's typelifting and Chris' named tvars.
FLINT is now using tvars from the first lcontract all the way to cps.

* reps/rttype.sml: changes from Bratin.
(rtLexp): define the NVAR case (return the tvar as an lvar).
* opt/[fl]contract.sml: removed the restriction on inlining at the same
  deBruijn depth.
* opt/lift.sml: new file for typelifting.
* flint/flintutil.sml (copy): added tvar renaming.
* flint/tvarcvt.sml: new file for named tvar <-> deBruijn conversions.

Revision 196 - Directory Listing
Modified Fri Nov 20 18:16:19 1998 UTC (20 years, 11 months ago) by monnier
*** empty log message ***

Revision 193 - Directory Listing
Modified Fri Nov 20 17:43:59 1998 UTC (20 years, 11 months ago) by monnier
Initial revision

Revision 191 - Directory Listing
Modified Fri Nov 20 02:01:27 1998 UTC (20 years, 11 months ago) by monnier
* opt/loopify.sml: new file
* cps/convert.sml: added code to take advantage of LK_WHILE loops.

Revision 190 - Directory Listing
Modified Thu Nov 19 21:01:17 1998 UTC (20 years, 11 months ago) by monnier
* opt/optutils.sml (id): removed.  That was stupid.
* opt/collect.sml: drop support for actuals (was only used for cstargs).
* opt/lcontract.sml (lpfd): reset the inline bit to a safe value.
* opt/fcontract.sml (cstargs): eliminated.  Might reappear in a
  specialization phase some day.
(inline): turned off unrolling because it's buggy.
(APP): use the new ifs, damit!

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

Revision 187 - Directory Listing
Modified Wed Nov 11 07:04:24 1998 UTC (20 years, 11 months ago) by monnier
* opt/collect.sml(info): got rid of Transfer
(unuselexp): junk the fundec part.
(unuse): return a boolean instead of calling an undertaker.

Revision 186 - Directory Listing
Modified Wed Nov 11 05:24:43 1998 UTC (20 years, 11 months ago) by monnier
* opt/collect.sml: switched back to a read-only collect phase.  Also try
  to export the info to allow fcontract to circumvent some of the get calls.

Revision 185 - Directory Listing
Modified Tue Nov 10 21:01:05 1998 UTC (20 years, 11 months ago) by monnier
* opt/fcontract.sml: take advantage of single-arm SWITCH (aka decon)
(SWITCH(CON)): just compare the conreps because types may differ (?)
(inlineWitness): ugly hack used to figure out if inlining happened,
  in order to decide whether to keep the inline bit or not (in cfun).

Revision 184 - Directory Listing
Modified Sun Nov 8 21:18:20 1998 UTC (20 years, 11 months ago) by monnier
* added basic unrolling support
* changed fkind to have most annotations valid on
  functors as well.  It also adds a loopkind annotation as well as extends
  the inline boolean into a three-way alternative.
* switched to a continuation passing style to implement the
  let-associativity rule in a better way.

Revision 183 - Directory Listing
Modified Sun Nov 8 16:58:19 1998 UTC (20 years, 11 months ago) by monnier
merged in 110.9.1

Revision 180 - Directory Listing
Modified Sat Nov 7 23:07:30 1998 UTC (20 years, 11 months ago) by monnier
Initial revision

Revision 177 - Directory Listing
Modified Sat Nov 7 22:42:44 1998 UTC (20 years, 11 months ago) by monnier
Initial revision

Revision 174 - Directory Listing
Modified Sat Nov 7 22:37:14 1998 UTC (20 years, 11 months ago) by monnier
Initial revision

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

Revision 170 - Directory Listing
Modified Sat Nov 7 20:30:40 1998 UTC (20 years, 11 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r169,
which included commits to RCS files with non-trunk default branches.

Revision 169 - Directory Listing
Modified Sat Nov 7 20:30:40 1998 UTC (20 years, 11 months ago) by monnier
version $version

Revision 168 - Directory Listing
Modified Sat Nov 7 20:11:41 1998 UTC (20 years, 11 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r167,
which included commits to RCS files with non-trunk default branches.

Revision 165 - Directory Listing
Modified Sat Nov 7 20:10:46 1998 UTC (20 years, 11 months ago) by monnier
Initial revision

Revision 164 - Directory Listing
Modified Sat Oct 31 01:03:30 1998 UTC (20 years, 11 months ago) by monnier
* opt/fcontract.sml (dropcstargs): replace constant args by the constant.

* opt/fixfix.sml (curry): correctly handle "imposible" cases.

* opt/collect.sml: completely revisited:  no distinction between
  internal/external uses, dead-code elimination done right away.  This
  makes fcontract a little simpler.

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

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

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

Revision 160 - Directory Listing
Modified Mon Oct 12 03:31:38 1998 UTC (21 years ago) by monnier
*** empty log message ***

Revision 159 - Directory Listing
Modified Mon Oct 12 02:45:03 1998 UTC (21 years ago) by monnier
detect inlining loops
eliminate Con(Decon c)
eliminate Record(Select, ...) when type is available
uncount var-use of dropped arms when SWITCH is optimized out

Revision 158 - Directory Listing
Modified Mon Oct 12 02:41:33 1998 UTC (21 years ago) by monnier
*** empty log message ***

Revision 157 - Directory Listing
Modified Mon Oct 12 01:50:35 1998 UTC (21 years ago) by monnier
*** empty log message ***

Revision 156 - Directory Listing
Modified Mon Oct 12 01:12:05 1998 UTC (21 years ago) by monnier
*** empty log message ***

Revision 155 - Directory Listing
Modified Mon Oct 12 00:50:55 1998 UTC (21 years ago) by monnier
*** empty log message ***

Revision 154 - Directory Listing
Modified Sun Oct 11 22:22:47 1998 UTC (21 years ago) by monnier
use fcontract's copy

Revision 153 - Directory Listing
Modified Sun Oct 11 17:49:09 1998 UTC (21 years ago) by monnier
replaced debugFContract by misc and changed the default settings

Revision 152 - Directory Listing
Modified Sun Oct 11 17:48:39 1998 UTC (21 years ago) by monnier
removed debugFContract

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

Revision 150 - Directory Listing
Modified Sun Oct 11 17:45:33 1998 UTC (21 years ago) by monnier
eliminated call to lcontract

Revision 149 - Directory Listing
Modified Sun Oct 11 17:44:55 1998 UTC (21 years ago) by monnier
eliminated use of CG.misc4 probably left over from debugging

Revision 148 - Directory Listing
Modified Wed Sep 23 21:47:29 1998 UTC (21 years, 1 month ago) by monnier
these should not be managed by CVS

Revision 147 - Directory Listing
Modified Thu Sep 17 22:42:26 1998 UTC (21 years, 1 month ago) by monnier
*** empty log message ***

Revision 146 - Directory Listing
Modified Mon Sep 7 23:26:10 1998 UTC (21 years, 1 month ago) by monnier
*** empty log message ***

Revision 145 - Directory Listing
Modified Mon Sep 7 23:12:37 1998 UTC (21 years, 1 month ago) by monnier
merged in changes upto 110.8.1

Revision 144 - Directory Listing
Modified Mon Sep 7 21:46:44 1998 UTC (21 years, 1 month ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r143,
which included commits to RCS files with non-trunk default branches.

Revision 142 - Directory Listing
Modified Mon Sep 7 21:37:09 1998 UTC (21 years, 1 month ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r141,
which included commits to RCS files with non-trunk default branches.

Revision 140 - Directory Listing
Modified Mon Sep 7 21:11:35 1998 UTC (21 years, 1 month ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r139,
which included commits to RCS files with non-trunk default branches.

Revision 137 - Directory Listing
Modified Mon Sep 7 21:09:17 1998 UTC (21 years, 1 month ago) by monnier
Initial revision

Revision 134 - Directory Listing
Modified Mon Sep 7 21:02:07 1998 UTC (21 years, 1 month ago) by monnier
Initial revision

Revision 133 - Directory Listing
Modified Mon Sep 7 19:48:36 1998 UTC (21 years, 1 month ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r132,
which included commits to RCS files with non-trunk default branches.

Revision 129 - Directory Listing
Modified Mon Sep 7 19:39:21 1998 UTC (21 years, 1 month ago) by monnier
Initial revision

Revision 128 - Directory Listing
Modified Mon Sep 7 19:06:29 1998 UTC (21 years, 1 month ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r127,
which included commits to RCS files with non-trunk default branches.

Revision 126 - Directory Listing
Modified Mon Sep 7 18:14:32 1998 UTC (21 years, 1 month ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r125,
which included commits to RCS files with non-trunk default branches.

Revision 124 - Directory Listing
Modified Mon Sep 7 16:19:55 1998 UTC (21 years, 1 month ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r123,
which included commits to RCS files with non-trunk default branches.

Revision 122 - Directory Listing
Modified Sat Jun 6 15:05:38 1998 UTC (21 years, 4 months ago) by monnier
addition of fcontract and fixfix and Control.FLINT

Revision 121 - Directory Listing
Modified Sat Jun 6 15:03:25 1998 UTC (21 years, 4 months ago) by monnier
re-added fcontract and collect

Revision 120 - Directory Listing
Modified Sat Jun 6 14:41:33 1998 UTC (21 years, 4 months ago) by monnier
temporarily removed fcontract and collect

Revision 119 - Directory Listing
Modified Fri Jun 5 22:03:51 1998 UTC (21 years, 4 months ago) by monnier
*** empty log message ***

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

Revision 117 - Directory Listing
Modified Fri Jun 5 20:15:29 1998 UTC (21 years, 4 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r116,
which included commits to RCS files with non-trunk default branches.

Revision 115 - Directory Listing
Modified Fri Jun 5 19:43:05 1998 UTC (21 years, 4 months ago) by monnier
*** empty log message ***

Revision 114 - Directory Listing
Modified Fri Jun 5 19:41:21 1998 UTC (21 years, 4 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r113,
which included commits to RCS files with non-trunk default branches.

Revision 111 - Directory Listing
Modified Fri Jun 5 19:37:29 1998 UTC (21 years, 4 months ago) by monnier
Initial revision

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

Revision 108 - Directory Listing
Modified Thu May 28 22:07:09 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

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 103 - Directory Listing
Modified Thu May 14 06:45:55 1998 UTC (21 years, 5 months ago) by monnier
added cookbook for tarball integration.
fixed /softs install cookbook.

Revision 102 - Directory Listing
Modified Thu May 14 05:53:10 1998 UTC (21 years, 5 months ago) by monnier
merged in 110.5.1 from Zhong

Revision 101 - Directory Listing
Modified Thu May 14 04:56:46 1998 UTC (21 years, 5 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r100,
which included commits to RCS files with non-trunk default branches.

Revision 98 - Directory Listing
Modified Thu May 14 04:54:52 1998 UTC (21 years, 5 months ago) by monnier
Initial revision

Revision 97 - Directory Listing
Modified Wed May 13 02:16:00 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

Revision 96 - Directory Listing
Modified Wed May 13 01:32:30 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

Revision 95 - Directory Listing
Modified Wed May 13 00:49:12 1998 UTC (21 years, 5 months ago) by monnier
merged with 110.5

Revision 94 - Directory Listing
Modified Tue May 12 21:56:22 1998 UTC (21 years, 5 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r93,
which included commits to RCS files with non-trunk default branches.

Revision 89 - Directory Listing
Modified Tue May 12 21:54:55 1998 UTC (21 years, 5 months ago) by monnier
Initial revision

Revision 88 - Directory Listing
Modified Thu May 7 01:19:15 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

Revision 87 - Directory Listing
Modified Thu May 7 01:11:45 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

Revision 86 - Directory Listing
Modified Thu May 7 00:24:39 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

Revision 85 - Directory Listing
Modified Wed May 6 23:53:59 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

Revision 84 - Directory Listing
Modified Wed May 6 22:35:33 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

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

Revision 82 - Directory Listing
Modified Sun May 3 00:00:24 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

Revision 81 - Directory Listing
Modified Sat May 2 23:59:45 1998 UTC (21 years, 5 months ago) by monnier
added real inlining support (with alpha-renaming)
added limited type information

Revision 80 - Directory Listing
Modified Wed Apr 29 23:25:33 1998 UTC (21 years, 5 months ago) by monnier
Changed the semantics of "inline".

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

Revision 78 - Directory Listing
Modified Fri Apr 17 17:58:14 1998 UTC (21 years, 6 months ago) by league
*** empty log message ***

Revision 77 - Directory Listing
Modified Tue Apr 14 05:21:45 1998 UTC (21 years, 6 months ago) by league
debugging code

Revision 76 - Directory Listing
Modified Sun Apr 12 02:23:26 1998 UTC (21 years, 6 months ago) by league
changed max # elements to flatten to 5, to support x86 floating
points.  should be made machine dependent?

Revision 75 - Directory Listing
Modified Sun Apr 12 02:22:44 1998 UTC (21 years, 6 months ago) by league
added checking for redefined lvars.

Revision 74 - Directory Listing
Modified Sat Apr 11 00:22:45 1998 UTC (21 years, 6 months ago) by league
minimal checking for lvars in dict and conrep.

Revision 73 - Directory Listing
Modified Sun Apr 5 20:59:43 1998 UTC (21 years, 6 months ago) by monnier
*** empty log message ***

Revision 72 - Directory Listing
Modified Sun Apr 5 19:07:40 1998 UTC (21 years, 6 months ago) by monnier
cleaned up the previous merge

Revision 71 - Directory Listing
Modified Fri Apr 3 01:57:57 1998 UTC (21 years, 6 months ago) by monnier
merged in Zhong's 110.4

Revision 70 - Directory Listing
Modified Fri Apr 3 00:06:55 1998 UTC (21 years, 6 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r69,
which included commits to RCS files with non-trunk default branches.

Revision 66 - Directory Listing
Modified Fri Apr 3 00:06:13 1998 UTC (21 years, 6 months ago) by monnier
Initial revision

Revision 65 - Directory Listing
Modified Wed Apr 1 20:57:44 1998 UTC (21 years, 6 months ago) by league
made changes to kind-checking so that enc_tvar need not be exported
by ltykernel.  one awkwardness is that the tkLookupFreeVars function
in ltykernel manipulates a tkindenv, which is technically not defined
until ltyextern.

Revision 64 - Directory Listing
Modified Tue Mar 31 05:26:51 1998 UTC (21 years, 6 months ago) by monnier
dummy

Revision 63 - Directory Listing
Modified Tue Mar 31 05:26:42 1998 UTC (21 years, 6 months ago) by monnier
*** empty log message ***

Revision 62 - Directory Listing
Modified Tue Mar 31 05:13:22 1998 UTC (21 years, 6 months ago) by monnier
*** empty log message ***

Revision 61 - Directory Listing
Modified Mon Mar 30 19:27:36 1998 UTC (21 years, 6 months ago) by league
just added a comment.  there is apparently a subtle bug in inlining
across different depths.  it causes a type error in a FIX node when
compiling CodeGen/cpscompile/mkRecord.sml.

Revision 60 - Directory Listing
Modified Mon Mar 30 19:25:56 1998 UTC (21 years, 6 months ago) by league
major change to tc_eqv_gen and its clients; now they properly check
equivalence of two FIX nodes.

Revision 59 - Directory Listing
Modified Mon Mar 30 19:24:59 1998 UTC (21 years, 6 months ago) by league
Renaming of Control.CG flags related to type-checking.  Now we have
`checkFlint', `checkKinds', and `checkDatatypes'.

Revision 58 - Directory Listing
Modified Mon Mar 30 01:11:18 1998 UTC (21 years, 6 months ago) by monnier
*** empty log message ***

Revision 57 - Directory Listing
Modified Sun Mar 29 01:01:15 1998 UTC (21 years, 7 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, 7 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, 7 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, 7 months ago) by monnier
properly newline-terminate xmakeml's output

Revision 53 - Directory Listing
Modified Mon Mar 23 04:02:58 1998 UTC (21 years, 7 months ago) by league
Type and kind-checking working and turned on by default.
Datatype equality still not implemented.

Revision 52 - Directory Listing
Modified Mon Mar 23 03:59:51 1998 UTC (21 years, 7 months ago) by league
buildcm -full and
xmakeml

Revision 51 - Directory Listing
Modified Sun Mar 22 23:08:44 1998 UTC (21 years, 7 months ago) by monnier
split printLambda into printLambda and printFlint

Revision 50 - Directory Listing
Modified Sun Mar 22 23:05:33 1998 UTC (21 years, 7 months ago) by monnier
moved TAPP handling from `tolexp' to `tolvar' since it always
binds one and only one variable.

Revision 49 - Directory Listing
Modified Sun Mar 22 22:49:56 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***

Revision 48 - Directory Listing
Modified Sun Mar 22 22:26:22 1998 UTC (21 years, 7 months ago) by monnier
turn off GC messages by default

Revision 47 - Directory Listing
Modified Sun Mar 22 21:53:07 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***

Revision 46 - Directory Listing
Modified Sun Mar 22 20:11:09 1998 UTC (21 years, 7 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r45,
which included commits to RCS files with non-trunk default branches.

Revision 41 - Directory Listing
Modified Sun Mar 22 20:10:46 1998 UTC (21 years, 7 months ago) by monnier
Initial revision

Revision 40 - Directory Listing
Modified Sun Mar 22 19:26:12 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***

Revision 39 - Directory Listing
Modified Sat Mar 14 04:41:37 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***

Revision 38 - Directory Listing
Modified Fri Mar 13 20:31:45 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***

Revision 37 - Directory Listing
Modified Fri Mar 13 20:07:49 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***

Revision 36 - Directory Listing
Modified Fri Mar 13 17:58:26 1998 UTC (21 years, 7 months ago) by monnier
renamed sml into run-sml

Revision 35 - Directory Listing
Modified Fri Mar 13 15:54:50 1998 UTC (21 years, 7 months ago) by monnier
Initial revision

Revision 34 - Directory Listing
Modified Fri Mar 13 15:53:41 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***

Revision 33 - Directory Listing
Modified Thu Mar 12 16:57:15 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***

Revision 32 - Directory Listing
Modified Thu Mar 12 16:54:39 1998 UTC (21 years, 7 months ago) by monnier
Initial revision

Revision 31 - Directory Listing
Modified Thu Mar 12 01:13:23 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***

Revision 30 - Directory Listing
Modified Thu Mar 12 01:05:59 1998 UTC (21 years, 7 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r29,
which included commits to RCS files with non-trunk default branches.

Revision 26 - Directory Listing
Modified Thu Mar 12 01:05:49 1998 UTC (21 years, 7 months ago) by monnier
Initial revision

Revision 25 - Directory Listing
Modified Thu Mar 12 00:49:58 1998 UTC (21 years, 7 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r24,
which included commits to RCS files with non-trunk default branches.

Revision 21 - Directory Listing
Modified Thu Mar 12 00:49:41 1998 UTC (21 years, 7 months ago) by monnier
Initial revision

Revision 20 - Directory Listing
Modified Wed Mar 11 21:19:06 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***

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

Revision 15 - Directory Listing
Modified Thu Feb 5 05:59:56 1998 UTC (21 years, 8 months ago) by monnier
*** empty log message ***

Revision 14 - Directory Listing
Modified Sun Jan 18 21:39:23 1998 UTC (21 years, 9 months ago) by monnier
*** empty log message ***

Revision 13 - Directory Listing
Modified Sun Jan 18 21:36:02 1998 UTC (21 years, 9 months ago) by monnier
merged with flint-v1.1

Revision 9 - Directory Listing
Modified Sun Jan 18 01:01:29 1998 UTC (21 years, 9 months ago) by monnier
This commit was generated by cvs2svn to compensate for changes in r8,
which included commits to RCS files with non-trunk default branches.

Revision 7 - Directory Listing
Modified Sun Jan 18 00:59:30 1998 UTC (21 years, 9 months ago) by monnier
Initial revision

Revision 6 - Directory Listing
Modified Mon Oct 6 00:10:15 1997 UTC (22 years ago) by monnier
fixed sigcontext decalaration to also work with glibc on linux

Revision 2 - Directory Listing
Modified Sat Oct 4 23:33:09 1997 UTC (22 years ago) by monnier
Initial revision

Revision 1 - Directory Listing
Added Sat Oct 4 23:33:09 1997 UTC (22 years ago) by
New repository initialized by cvs2svn.

Sort log by:

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