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

Log of /sml/branches

View Directory Listing Directory Listing


Sticky Revision:

Revision 2982 - Directory Listing
Modified Sat Apr 12 16:08:19 2008 UTC (11 years, 4 months ago) by jhr
  Minor edits

Revision 2979 - Directory Listing
Modified Thu Apr 10 04:37:29 2008 UTC (11 years, 4 months ago) by gkuan
reversed tps in epsToTycpath, bootstraps

Revision 2978 - Directory Listing
Modified Thu Apr 10 03:57:04 2008 UTC (11 years, 4 months ago) by gkuan
look up stamps for existing tycpath translation

Revision 2977 - Directory Listing
Modified Thu Apr 10 02:57:33 2008 UTC (11 years, 4 months ago) by gkuan


Revision 2976 - Directory Listing
Modified Thu Apr 10 02:19:04 2008 UTC (11 years, 4 months ago) by gkuan
merged getTPsforEPs and epsToTycpaths

Revision 2975 - Directory Listing
Modified Tue Apr 8 16:27:59 2008 UTC (11 years, 4 months ago) by jhr
  Synching sources with revision 2974 of main trunk.

Revision 2972 - Directory Listing
Modified Sun Apr 6 13:49:59 2008 UTC (11 years, 4 months ago) by gkuan
fixed some deBruijn indexing bugs

Revision 2965 - Directory Listing
Modified Mon Mar 31 20:34:03 2008 UTC (11 years, 4 months ago) by gkuan
More precise PLambda type checking error

Revision 2964 - Directory Listing
Modified Sun Mar 30 05:07:37 2008 UTC (11 years, 4 months ago) by gkuan
fixed duplicate representative entpaths for multiple nested instances of same formal

Revision 2963 - Directory Listing
Modified Sat Mar 29 02:18:46 2008 UTC (11 years, 4 months ago) by gkuan
fixed reptycprops tycpath computation for datatypes, opaque ascription for datatypes, and opaque sealing for nested type definitions plus transtypes no longer prints debug information unless flag turned on

Revision 2961 - Directory Listing
Modified Mon Mar 24 02:55:01 2008 UTC (11 years, 5 months ago) by gkuan
merged in primop-branch-gkuan 2742:2960 elimination of tycpath in Elaboration and reconstitution in translate

Revision 2960 - Directory Listing
Modified Sun Mar 23 23:59:49 2008 UTC (11 years, 5 months ago) by gkuan
merged 2742:2959 primop-branch-3 into primop-branch-gkuan

Revision 2950 - Directory Listing
Modified Sun Feb 17 15:11:53 2008 UTC (11 years, 6 months ago) by gkuan
reenabled plchk

Revision 2949 - Directory Listing
Modified Sun Feb 17 15:10:09 2008 UTC (11 years, 6 months ago) by gkuan
reenabled plchk

Revision 2948 - Directory Listing
Modified Sat Feb 16 18:11:07 2008 UTC (11 years, 6 months ago) by gkuan
typestp.sml

Revision 2932 - Directory Listing
Modified Thu Jan 24 02:27:54 2008 UTC (11 years, 7 months ago) by gkuan
updated primop3-revisions on merge of MLRISC/CodeGen updates

Revision 2931 - Directory Listing
Modified Thu Jan 24 02:23:59 2008 UTC (11 years, 7 months ago) by gkuan
merge from trunk into primop-branch-3 (2881:2930) MLRISC/CodeGen updates

Revision 2925 - Directory Listing
Modified Wed Jan 9 17:34:12 2008 UTC (11 years, 7 months ago) by blume
in absence of Posix.FileSys.symlink use shell command-line version

Revision 2924 - Directory Listing
Modified Wed Jan 9 16:17:02 2008 UTC (11 years, 7 months ago) by blume
implemented exportFn in terms of exportML; fixed bug in Unix installer code

Revision 2923 - Directory Listing
Modified Mon Jan 7 21:29:18 2008 UTC (11 years, 7 months ago) by blume
re-enabled installer code

Revision 2913 - Directory Listing
Modified Thu Nov 22 05:17:34 2007 UTC (11 years, 9 months ago) by jhr
  Remove redundant files

Revision 2912 - Directory Listing
Modified Thu Nov 22 05:15:36 2007 UTC (11 years, 9 months ago) by jhr
  Remove redundant files

Revision 2911 - Directory Listing
Modified Thu Nov 22 04:56:58 2007 UTC (11 years, 9 months ago) by jhr
  Return false for other path-related error conditions

Revision 2910 - Directory Listing
Modified Thu Nov 22 02:36:15 2007 UTC (11 years, 9 months ago) by gkuan
Added ppTycpath and getFctKnd scaffolding

Revision 2906 - Directory Listing
Modified Tue Nov 20 22:09:00 2007 UTC (11 years, 9 months ago) by jhr
  Fixed a bunch of C warnings.

Revision 2900 - Directory Listing
Modified Tue Nov 20 19:54:40 2007 UTC (11 years, 9 months ago) by jhr
  Another Aaron change.

Revision 2899 - Directory Listing
Modified Tue Nov 20 19:10:03 2007 UTC (11 years, 9 months ago) by jhr
  Another one of Aaron's changes.

Revision 2898 - Directory Listing
Modified Tue Nov 20 19:08:41 2007 UTC (11 years, 9 months ago) by jhr
  Merged Aaron's changes.

Revision 2897 - Directory Listing
Modified Tue Nov 20 14:21:38 2007 UTC (11 years, 9 months ago) by jhr
  Merging in changes from trunk

Revision 2896 - Directory Listing
Modified Tue Nov 20 05:52:19 2007 UTC (11 years, 9 months ago) by jhr
  Merging updates from main branch (r2895)

Revision 2884 - Directory Listing
Modified Thu Nov 15 22:35:18 2007 UTC (11 years, 9 months ago) by gkuan
updated primop3-revisions

Revision 2883 - Directory Listing
Modified Thu Nov 15 22:34:35 2007 UTC (11 years, 9 months ago) by gkuan
merge from trunk into primop-branch-3 (2741:2881)

Revision 2850 - Directory Listing
Modified Fri Nov 9 04:16:56 2007 UTC (11 years, 9 months ago) by jhr
  Import AMD fix

Revision 2849 - Directory Listing
Modified Thu Nov 8 23:17:09 2007 UTC (11 years, 9 months ago) by jhr
  Merging

Revision 2848 - Directory Listing
Modified Thu Nov 8 21:59:14 2007 UTC (11 years, 9 months ago) by jhr
  More merging.

Revision 2847 - Directory Listing
Modified Wed Nov 7 23:10:08 2007 UTC (11 years, 9 months ago) by jhr
  More merging.

Revision 2846 - Directory Listing
Modified Wed Nov 7 23:05:09 2007 UTC (11 years, 9 months ago) by jhr
  More merging

Revision 2845 - Directory Listing
Modified Wed Nov 7 22:41:52 2007 UTC (11 years, 9 months ago) by jhr
  Merging in Aaron's changes

Revision 2837 - Directory Listing
Modified Fri Nov 2 19:35:43 2007 UTC (11 years, 9 months ago) by jhr
  Create a branch for the transition to the new runtime system.

Revision 2792 - Directory Listing
Modified Tue Oct 9 12:38:22 2007 UTC (11 years, 10 months ago) by gkuan
compiles, still lots of TODOs and cannot fixpt

Revision 2788 - Directory Listing
Modified Sat Sep 29 05:49:51 2007 UTC (11 years, 10 months ago) by gkuan
first pass translate revision to recompute functor formals -- incomplete

Revision 2787 - Directory Listing
Modified Sat Sep 29 05:18:54 2007 UTC (11 years, 10 months ago) by gkuan
Creating private branch of sml/branches/primop-branch-3 for experimental Translate rewrite

Revision 2753 - Directory Listing
Modified Wed Sep 12 19:24:12 2007 UTC (11 years, 11 months ago) by dbm
updated kernel-files

Revision 2752 - Directory Listing
Modified Wed Sep 12 19:18:57 2007 UTC (11 years, 11 months ago) by dbm
added ltytostring files in FLINT/kernel (old pseudo prettyprinting)

Revision 2751 - Directory Listing
Modified Tue Sep 11 21:57:29 2007 UTC (11 years, 11 months ago) by gkuan
Added RepTycProps module for computing tycpaths just before translation. Saving functor parameter dummy instantiation as paramEnts in resp. fctEntity and Lambda

Revision 2747 - Directory Listing
Modified Thu Aug 30 19:24:09 2007 UTC (11 years, 11 months ago) by dbm
update to compiler/DEVNOTES/Flint/kernel-files

Revision 2746 - Directory Listing
Modified Thu Aug 30 19:21:14 2007 UTC (11 years, 11 months ago) by dbm
FLINT/kernel reorganization - step 2, moving, adding files

Revision 2745 - Directory Listing
Modified Thu Aug 30 18:56:33 2007 UTC (11 years, 11 months ago) by dbm
reorganization of FLINT/kernel, step 1

Revision 2744 - Directory Listing
Modified Mon Aug 27 16:38:23 2007 UTC (12 years ago) by gkuan
ppEntityEnv indentation fix

Revision 2743 - Directory Listing
Modified Mon Aug 27 04:05:25 2007 UTC (12 years ago) by gkuan
updated primop3-revisions

Revision 2742 - Directory Listing
Modified Mon Aug 27 04:03:53 2007 UTC (12 years ago) by gkuan
merge from trunk into primop-branch-3 (2650:2741)

Revision 2741 - Directory Listing
Modified Wed Aug 22 21:13:08 2007 UTC (12 years ago) by dbm
updated some comments in types.sig and translate.sml

Revision 2740 - Directory Listing
Modified Tue Aug 21 21:05:34 2007 UTC (12 years ago) by gkuan
Defunctorized Elaborator (i.e., elabtop, elabmod, sigmatch, evalentity, and instantiate) by using types.sml pkind representation instead of FLINT tkind

Revision 2739 - Directory Listing
Modified Tue Aug 21 20:44:08 2007 UTC (12 years ago) by dbm
comments in instantiate.sml, added notes.txt

Revision 2738 - Directory Listing
Modified Tue Aug 14 19:05:08 2007 UTC (12 years ago) by dbm
small simplification to sigToInst in instantiate - no entEnv needed

Revision 2737 - Directory Listing
Modified Mon Aug 13 21:58:45 2007 UTC (12 years ago) by dbm
some comments and a small correction in instantiate

Revision 2736 - Directory Listing
Modified Fri Aug 10 22:10:20 2007 UTC (12 years ago) by gkuan


Revision 2735 - Directory Listing
Modified Fri Aug 10 22:07:20 2007 UTC (12 years ago) by gkuan
computing functor parameter kinds in translate...first step in defunctorizing Elaborator

Revision 2734 - Directory Listing
Modified Thu Aug 2 16:05:25 2007 UTC (12 years ago) by gkuan
types-reformat was not used...PACKexp related stuff removed

Revision 2730 - Directory Listing
Modified Mon Jul 23 20:45:02 2007 UTC (12 years, 1 month ago) by gkuan
commented out Absyn.PACKexp and PLambda.PACK related code...Does not seem to do anything because PACKexp should never be introduced after matchStr

Revision 2728 - Directory Listing
Modified Thu Jul 12 13:09:08 2007 UTC (12 years, 1 month ago) by gkuan
Removed extra reformat. reformat is now in Semant TypesReformat

Revision 2649 - Directory Listing
Modified Thu May 31 19:34:18 2007 UTC (12 years, 2 months ago) by dbm
preliminary update of NOTES/HISTORY

Revision 2648 - Directory Listing
Modified Thu May 31 19:23:01 2007 UTC (12 years, 2 months ago) by dbm
merge from trunk (2631:2647)

Revision 2637 - Directory Listing
Modified Wed May 30 20:23:59 2007 UTC (12 years, 2 months ago) by dbm
updating primop3-revisions after merge/commit

Revision 2636 - Directory Listing
Modified Wed May 30 20:22:55 2007 UTC (12 years, 2 months ago) by dbm
merge from trunk (2610:2630)

Revision 2612 - Directory Listing
Modified Fri May 25 01:31:49 2007 UTC (12 years, 3 months ago) by dbm
updated primop3-revisions

Revision 2611 - Directory Listing
Modified Fri May 25 01:30:39 2007 UTC (12 years, 3 months ago) by dbm
merge from trunk (2603:2610)

Revision 2601 - Directory Listing
Modified Wed May 23 20:20:16 2007 UTC (12 years, 3 months ago) by dbm
minor edit to base/system/ADD-PRIMOPS

Revision 2600 - Directory Listing
Modified Wed May 23 20:16:36 2007 UTC (12 years, 3 months ago) by dbm
HISTORY updated for merge from primop3

Revision 2596 - Directory Listing
Modified Wed May 23 16:42:24 2007 UTC (12 years, 3 months ago) by dbm
update primop3-revisions with latest merge from trunk

Revision 2595 - Directory Listing
Modified Wed May 23 16:40:43 2007 UTC (12 years, 3 months ago) by dbm
merge (2579:2594) from svn://smlnj-gforge.cs.uchicago.edu/smlnj/sml/trunk (CM changes)

Revision 2579 - Directory Listing
Modified Tue May 22 21:39:00 2007 UTC (12 years, 3 months ago) by dbm
merge -r 2492:2578 from sml/trunk

Revision 2576 - Directory Listing
Modified Mon May 21 22:11:19 2007 UTC (12 years, 3 months ago) by dbm
cosmetic editing of some Control signatures

Revision 2575 - Directory Listing
Modified Mon May 21 21:02:50 2007 UTC (12 years, 3 months ago) by dbm
added FLINT/main/control.sig, defining FLINTCONTROL, which is now used in TopLevel/main/control.sig

Revision 2574 - Directory Listing
Modified Mon May 21 05:32:14 2007 UTC (12 years, 3 months ago) by dbm
minor improvement to printing type specs in inferred functor result signatures

Revision 2572 - Directory Listing
Modified Sun May 20 16:15:51 2007 UTC (12 years, 3 months ago) by dbm
renamed pickmod-new.sml and unpickmod-new.sml (deleting -new) and updated compiler/MAP,INDEX

Revision 2571 - Directory Listing
Modified Sun May 20 15:12:54 2007 UTC (12 years, 3 months ago) by dbm
split of TYCspec in Modules into regular and inferred variants using new tycSpecInfo datatype for an info field of TYPspec. Purpose to support printing of inferred functor sigs

Revision 2568 - Directory Listing
Modified Thu May 17 22:37:20 2007 UTC (12 years, 3 months ago) by dbm
(partial) fix for bug in printing of type elements of inferred functor result signatures (tests/modules/tests/316.sml,316.1.sml

Revision 2561 - Directory Listing
Modified Thu May 17 03:41:11 2007 UTC (12 years, 3 months ago) by dbm
fix for Date.fromString, unification for SCHEME tyvars

Revision 2555 - Directory Listing
Modified Tue May 15 23:23:24 2007 UTC (12 years, 3 months ago) by gkuan
all defstrspecs matched instead of just the first [bugfix bug modules/tests/315.sml]

Revision 2544 - Directory Listing
Modified Tue May 15 00:58:16 2007 UTC (12 years, 3 months ago) by gkuan
matchdefstr0 secondary bug fixes

Revision 2541 - Directory Listing
Modified Fri May 11 20:55:44 2007 UTC (12 years, 3 months ago) by dbm
cleanup of obsolete files; MAP files updated

Revision 2532 - Directory Listing
Modified Thu May 10 05:09:42 2007 UTC (12 years, 3 months ago) by dbm
eliminated redundant symbols field from sigrec in modules.sig/sml

Revision 2531 - Directory Listing
Modified Thu May 10 01:30:53 2007 UTC (12 years, 3 months ago) by dbm
fix for typing/tests/19.sml bug

Revision 2529 - Directory Listing
Modified Wed May 9 23:22:59 2007 UTC (12 years, 3 months ago) by dbm
partially fixed Fluet bug (typing/tests/19.sml)

Revision 2528 - Directory Listing
Modified Wed May 9 20:36:39 2007 UTC (12 years, 3 months ago) by dbm
deleting base/testcases

Revision 2527 - Directory Listing
Modified Wed May 9 20:31:43 2007 UTC (12 years, 3 months ago) by dbm
reorganized DEVNOTES, adding Flint and Primop subdirectories

Revision 2526 - Directory Listing
Modified Wed May 9 20:21:42 2007 UTC (12 years, 3 months ago) by dbm
reorganizing DEVNOTES. Preparing to create FLINT subdirectory

Revision 2524 - Directory Listing
Modified Wed May 9 17:44:26 2007 UTC (12 years, 3 months ago) by dbm
updated HISTORY with revision number of merge into trunk

Revision 2522 - Directory Listing
Modified Tue May 8 18:36:48 2007 UTC (12 years, 3 months ago) by dbm
completed parallel definitions of new elements and new symbols in all cases

Revision 2521 - Directory Listing
Modified Tue May 8 04:11:37 2007 UTC (12 years, 3 months ago) by dbm
added DEVNOTES/bootfiles

Revision 2520 - Directory Listing
Modified Mon May 7 20:02:57 2007 UTC (12 years, 3 months ago) by gkuan
1578, 1599, 1602 bugfixes

Revision 2512 - Directory Listing
Modified Mon May 7 03:38:54 2007 UTC (12 years, 3 months ago) by dbm
fix for uncaught EE.Unbound caused by duplicate type specs (bug1499.1.sml)

Revision 2511 - Directory Listing
Modified Sat May 5 13:11:22 2007 UTC (12 years, 3 months ago) by gkuan
datatype replication bug fix for bugs 1583.1 and 1603.1

Revision 2488 - Directory Listing
Modified Thu May 3 20:15:14 2007 UTC (12 years, 3 months ago) by dbm
minor cleanups in persstamps.sml, entpath.sml

Revision 2487 - Directory Listing
Modified Thu May 3 20:03:39 2007 UTC (12 years, 3 months ago) by gkuan
bugfix for modules test case 309 nonstrict type operator sigmatch bug

Revision 2483 - Directory Listing
Modified Thu May 3 04:51:28 2007 UTC (12 years, 3 months ago) by dbm
added printing completion messages for major stages, controlled by Control.progressMsgs

Revision 2481 - Directory Listing
Modified Wed May 2 18:40:27 2007 UTC (12 years, 3 months ago) by gkuan
added registry flags for flintnm, rttype, and reify; added debug printing to reify and rttype; fixed modules test 307 rttype TC_PROJ bug

Revision 2479 - Directory Listing
Modified Tue May 1 21:43:08 2007 UTC (12 years, 3 months ago) by dbm
simplification of mkVBs in simple variable binding case; use anyErrors to suppress spurious reports about unresolved FLEX tyvars

Revision 2476 - Directory Listing
Modified Mon Apr 30 23:56:18 2007 UTC (12 years, 3 months ago) by dbm
slight fix in typecheck.sml to correct problem with reporting hidden unresolved flex record types redundantly

Revision 2475 - Directory Listing
Modified Mon Apr 30 23:30:34 2007 UTC (12 years, 3 months ago) by dbm
modified typecheck.sml and translate.sml to move checking for unresolved (hidden) flex record types into the front end

Revision 2474 - Directory Listing
Modified Mon Apr 30 21:59:48 2007 UTC (12 years, 3 months ago) by gkuan
merging 2464:2472, unix-path bug fix from trunk

Revision 2473 - Directory Listing
Modified Mon Apr 30 21:59:19 2007 UTC (12 years, 3 months ago) by gkuan
merging 2464:2472, unix-path bug fix from trunk

Revision 2472 - Directory Listing
Modified Mon Apr 30 21:53:36 2007 UTC (12 years, 3 months ago) by gkuan
fixed spurious FLINT error for bug1396.1 by checking for errors right after translation (i.e. before wrap and normalize)

Revision 2468 - Directory Listing
Modified Mon Apr 30 16:08:27 2007 UTC (12 years, 3 months ago) by gkuan
added some comments in unify.sml

Revision 2465 - Directory Listing
Modified Mon Apr 30 04:36:48 2007 UTC (12 years, 3 months ago) by dbm
updated DEVNOTES/primop3-revisions

Revision 2464 - Directory Listing
Modified Mon Apr 30 04:35:37 2007 UTC (12 years, 3 months ago) by dbm
committing changes merged from the trunk, revisions
r2410 to r2450), including possibly erroneous changes to OS.Path

Revision 2459 - Directory Listing
Modified Sat Apr 28 19:17:33 2007 UTC (12 years, 3 months ago) by gkuan
bug589.sml nonstrict type abbrev unification fix

Revision 2458 - Directory Listing
Modified Fri Apr 27 22:48:38 2007 UTC (12 years, 4 months ago) by dbm
removed mkCONty, fixed ElabUtil.calc_strictness, refined internals printing of DEFtycs to include strictness info

Revision 2457 - Directory Listing
Modified Fri Apr 27 05:30:18 2007 UTC (12 years, 4 months ago) by dbm
added compiler/Elaborator/basics/elabcontrol.sig, defining ELAB_CONTROL signature

Revision 2456 - Directory Listing
Modified Fri Apr 27 05:21:38 2007 UTC (12 years, 4 months ago) by dbm
added Control.Elab.tcdebugging and Control.Elab.unidebugging flags for type checking and unification. Some reorg of Control.

Revision 2455 - Directory Listing
Modified Thu Apr 26 22:10:42 2007 UTC (12 years, 4 months ago) by dbm
modified sigmatch.sml to eliminate secondary error

Revision 2454 - Directory Listing
Modified Thu Apr 26 03:52:12 2007 UTC (12 years, 4 months ago) by dbm
stopped making nullary POLYtys in generalizeTy (typecheck.sml)

Revision 2453 - Directory Listing
Modified Thu Apr 26 03:06:25 2007 UTC (12 years, 4 months ago) by dbm
removed mkCONty and added corresponding fix to equalType

Revision 2452 - Directory Listing
Modified Wed Apr 25 22:46:41 2007 UTC (12 years, 4 months ago) by dbm
debugging changes to track down lt_inst bug (bug409.sml)

Revision 2451 - Directory Listing
Modified Tue Apr 24 21:48:40 2007 UTC (12 years, 4 months ago) by dbm
bug fixes, changed TV_MARK to LBOUND, first attempt to compute LBOUND indexes in front end

Revision 2446 - Directory Listing
Modified Mon Apr 23 16:57:18 2007 UTC (12 years, 4 months ago) by gkuan
reverting num-scan, bug1294 used wrong format

Revision 2443 - Directory Listing
Modified Mon Apr 23 14:56:50 2007 UTC (12 years, 4 months ago) by dbm
fixes for regression test failues: Int32.<, Int32.>, and Int.fromString

Revision 2441 - Directory Listing
Modified Sun Apr 22 02:52:10 2007 UTC (12 years, 4 months ago) by gkuan
num-scan format scan bug fix, see bug1294

Revision 2437 - Directory Listing
Modified Fri Apr 20 21:02:39 2007 UTC (12 years, 4 months ago) by gkuan
matchInstTypes should not raise exception when matching WILDCARD types.

Revision 2434 - Directory Listing
Modified Fri Apr 20 03:26:51 2007 UTC (12 years, 4 months ago) by gkuan
single structure spec in inferred signature prints better

Revision 2433 - Directory Listing
Modified Thu Apr 19 03:42:03 2007 UTC (12 years, 4 months ago) by dbm
added primop3-revisions in DEVNOTES

Revision 2432 - Directory Listing
Modified Thu Apr 19 03:14:38 2007 UTC (12 years, 4 months ago) by gkuan
added ERRORfct, ERRORstr, and ERRORvar cases for moduleutil strPrimElemeInBinds

Revision 2431 - Directory Listing
Modified Thu Apr 19 03:14:21 2007 UTC (12 years, 4 months ago) by dbm
merged revisions 2221:2410 of sml/trunk into base

Revision 2430 - Directory Listing
Modified Thu Apr 19 02:41:42 2007 UTC (12 years, 4 months ago) by gkuan
Eliminated spurious getdeclorder ERRORtyc message

Revision 2429 - Directory Listing
Modified Thu Apr 19 00:12:47 2007 UTC (12 years, 4 months ago) by dbm
filling description of FLINT files

Revision 2428 - Directory Listing
Modified Wed Apr 18 21:53:03 2007 UTC (12 years, 4 months ago) by dbm
fixed open bug in trans/translate.sml and minor update to primop-list

Revision 2425 - Directory Listing
Modified Wed Apr 18 19:09:02 2007 UTC (12 years, 4 months ago) by gkuan
reversed open decl inferred signature decl order

Revision 2424 - Directory Listing
Modified Wed Apr 18 17:14:31 2007 UTC (12 years, 4 months ago) by dbm
adding FLINT/MAP and FLINT/INDEX (incomplete)

Revision 2423 - Directory Listing
Modified Wed Apr 18 16:51:39 2007 UTC (12 years, 4 months ago) by gkuan
Restored printing of exceptions

Revision 2422 - Directory Listing
Modified Wed Apr 18 16:35:19 2007 UTC (12 years, 4 months ago) by gkuan
withtycs and datatycs order swapped in getdeclorder in extractSig elabmod

Revision 2419 - Directory Listing
Modified Wed Apr 18 15:42:17 2007 UTC (12 years, 4 months ago) by gkuan
fixed datatype group in inferred signature order again...this time for the getdeclorder function

Revision 2418 - Directory Listing
Modified Wed Apr 18 15:32:14 2007 UTC (12 years, 4 months ago) by gkuan
cleaned up debug/error messages and added some comments

Revision 2417 - Directory Listing
Modified Wed Apr 18 14:26:11 2007 UTC (12 years, 4 months ago) by gkuan
calculating original decl order for inferred signatures explicitly and DATATYPE replication now uses original decl name as path instead of the datatype name that is replicated

Revision 2416 - Directory Listing
Modified Tue Apr 17 20:04:37 2007 UTC (12 years, 4 months ago) by gkuan
removed elabtype diagnostic printing

Revision 2415 - Directory Listing
Modified Tue Apr 17 19:39:03 2007 UTC (12 years, 4 months ago) by gkuan
changed order of finalEnv in elabDATATYPEdec0 to use natural/user-defined order

Revision 2414 - Directory Listing
Modified Tue Apr 17 13:58:15 2007 UTC (12 years, 4 months ago) by gkuan
reverted back to getting inferred signature decl order directly from pre-consolidated environment instead of separate order list

Revision 2413 - Directory Listing
Modified Mon Apr 16 23:26:31 2007 UTC (12 years, 4 months ago) by gkuan
Attaching symbol/key order list to static environments for pretty printing, recursive datatypes still in progress

Revision 2408 - Directory Listing
Modified Mon Apr 16 06:10:46 2007 UTC (12 years, 4 months ago) by gkuan
fixed inferred signature printing

Revision 2407 - Directory Listing
Modified Fri Apr 13 04:27:56 2007 UTC (12 years, 4 months ago) by gkuan
fixed pretty printing of signatures

Revision 2402 - Directory Listing
Modified Wed Apr 11 21:34:42 2007 UTC (12 years, 4 months ago) by gkuan
Corrected equality type and abstract type bug (regression test d005a-ac.sml). matchInstTypes now ignores equality type test if it told to ignore abstract

Revision 2400 - Directory Listing
Modified Wed Apr 11 20:42:53 2007 UTC (12 years, 4 months ago) by gkuan


Revision 2399 - Directory Listing
Modified Wed Apr 11 19:55:16 2007 UTC (12 years, 4 months ago) by gkuan
spurious debugging output turned out

Revision 2398 - Directory Listing
Modified Wed Apr 11 18:54:53 2007 UTC (12 years, 4 months ago) by dbm
fixed final bootstrap bug -- successful boot

Revision 2397 - Directory Listing
Modified Wed Apr 11 14:46:59 2007 UTC (12 years, 4 months ago) by gkuan
initial checkin parallel bootstrap build script

Revision 2396 - Directory Listing
Modified Tue Apr 10 22:15:30 2007 UTC (12 years, 4 months ago) by gkuan
Turned off debug printing in TypesUtil, SigMatch, FLINT, translate

Revision 2395 - Directory Listing
Modified Tue Apr 10 22:12:19 2007 UTC (12 years, 4 months ago) by gkuan
transtype LT.TCENV exception handlers removed

Revision 2394 - Directory Listing
Modified Tue Apr 10 21:34:29 2007 UTC (12 years, 4 months ago) by gkuan
translate mkVBs prim intrinsic and occty type equality test bug fix

Revision 2393 - Directory Listing
Modified Tue Apr 10 18:17:13 2007 UTC (12 years, 4 months ago) by gkuan


Revision 2392 - Directory Listing
Modified Tue Apr 10 18:16:23 2007 UTC (12 years, 4 months ago) by gkuan


Revision 2391 - Directory Listing
Modified Tue Apr 10 18:14:43 2007 UTC (12 years, 4 months ago) by gkuan


Revision 2390 - Directory Listing
Modified Tue Apr 10 18:14:20 2007 UTC (12 years, 4 months ago) by gkuan
added realconst abstract type and type application beta expansion bug testcases

Revision 2389 - Directory Listing
Modified Mon Apr 9 17:03:21 2007 UTC (12 years, 4 months ago) by gkuan
fixed matchInstTypes case for translate -- i.e., matchInstTypes should follow through abstract types unlike during signature matching, turned off plam typechecking and kind checking to get to the realconst (matchInstTypes) bug

Revision 2386 - Directory Listing
Modified Thu Apr 5 22:26:48 2007 UTC (12 years, 4 months ago) by dbm
various small edits

Revision 2385 - Directory Listing
Modified Wed Apr 4 19:51:56 2007 UTC (12 years, 4 months ago) by gkuan
turned off lt_eqv debug printout

Revision 2384 - Directory Listing
Modified Tue Apr 3 00:44:28 2007 UTC (12 years, 4 months ago) by gkuan
ltMatch catching all exceptions as pattern teUnbound2 instead of LT.teUnbound...fixed

Revision 2329 - Directory Listing
Modified Fri Feb 9 23:27:07 2007 UTC (12 years, 6 months ago) by dbm
documentation update in DEVNOTES

Revision 2295 - Directory Listing
Modified Thu Feb 1 00:35:10 2007 UTC (12 years, 6 months ago) by dbm
edits of error checking code in ltykernel.sml

Revision 2294 - Directory Listing
Modified Thu Feb 1 00:14:48 2007 UTC (12 years, 6 months ago) by dbm
kernel documentation, minor edits in ltykernel.sml

Revision 2293 - Directory Listing
Modified Wed Jan 31 22:17:18 2007 UTC (12 years, 6 months ago) by dbm
added kernel file to compiler/DEVNOTES

Revision 2268 - Directory Listing
Modified Fri Jan 26 22:37:53 2007 UTC (12 years, 7 months ago) by dbm
better names in ltykernel local to tcc_env, ltc_env

Revision 2265 - Directory Listing
Modified Fri Jan 26 19:41:58 2007 UTC (12 years, 7 months ago) by dbm
added DEVNOTES directory

Revision 2264 - Directory Listing
Modified Thu Jan 25 23:20:45 2007 UTC (12 years, 7 months ago) by dbm
updated debugging printing from uncommitted primop2 files

Revision 2223 - Directory Listing
Modified Tue Nov 28 22:13:51 2006 UTC (12 years, 8 months ago) by blume
II -> PrimOpId in amd64 code

Revision 2222 - Directory Listing
Modified Tue Nov 28 22:02:39 2006 UTC (12 years, 8 months ago) by blume
merged all changes from primop-branch-2

Revision 2221 - Directory Listing
Modified Tue Nov 28 21:56:55 2006 UTC (12 years, 8 months ago) by blume
create primop branch 3 as future target to merge changes from primop branch 2

Revision 2064 - Directory Listing
Modified Mon Oct 2 22:44:29 2006 UTC (12 years, 10 months ago) by macqueen
fixed LtyKernel.tc_eqv for TC_FIX case

Revision 2062 - Directory Listing
Modified Mon Sep 25 03:26:52 2006 UTC (12 years, 11 months ago) by georgekuan
inl_infPrec still not correct, but getting there...

Revision 2061 - Directory Listing
Modified Fri Sep 22 19:07:06 2006 UTC (12 years, 11 months ago) by georgekuan
debugging -- prim precision conversion types do not match in translate.sml inl_infPrec

Revision 2060 - Directory Listing
Modified Thu Sep 7 20:57:35 2006 UTC (12 years, 11 months ago) by georgekuan
fixed built-in.sml Word32.toLargeIntX (needed type annotation), num-scan.sml compiles

Revision 2059 - Directory Listing
Modified Tue Sep 5 17:59:51 2006 UTC (12 years, 11 months ago) by georgekuan
Narrowed down num-scan.sml type error

Revision 2058 - Directory Listing
Modified Tue Sep 5 14:38:20 2006 UTC (12 years, 11 months ago) by georgekuan
streamlined printing, bug/halt on type check error

Revision 2057 - Directory Listing
Modified Tue Aug 29 23:17:47 2006 UTC (12 years, 11 months ago) by macqueen
various debugging changes

Revision 2056 - Directory Listing
Modified Tue Aug 29 17:37:39 2006 UTC (12 years, 11 months ago) by macqueen
fixed parser2.sml problem

Revision 2055 - Directory Listing
Modified Tue Aug 29 14:05:14 2006 UTC (12 years, 11 months ago) by macqueen
minor printing tweaks for debugging lt_inst problem

Revision 2054 - Directory Listing
Modified Mon Aug 28 22:57:54 2006 UTC (12 years, 11 months ago) by macqueen
added further debugging instrumentation

Revision 2053 - Directory Listing
Modified Mon Aug 28 05:12:11 2006 UTC (13 years ago) by macqueen
switched all pretty printing to use PrettyPrintNew

Revision 2052 - Directory Listing
Modified Sun Aug 27 18:50:10 2006 UTC (13 years ago) by macqueen
updating pplexp.sml to use new pretty printing

Revision 2051 - Directory Listing
Modified Fri Aug 25 23:03:04 2006 UTC (13 years ago) by macqueen
partially finished rpplexp.sml to replace pplexp.sml

Revision 2050 - Directory Listing
Modified Thu Aug 24 23:03:10 2006 UTC (13 years ago) by macqueen
refining debugging instrumentation

Revision 2049 - Directory Listing
Modified Thu Aug 24 19:28:42 2006 UTC (13 years ago) by macqueen
added datatype names to TC_FIX for printing tycs better

Revision 2048 - Directory Listing
Modified Thu Aug 24 19:17:46 2006 UTC (13 years ago) by georgekuan
pplexp uses new pplty/pptkind pretty printers

Revision 2047 - Directory Listing
Modified Thu Aug 24 19:09:41 2006 UTC (13 years ago) by georgekuan
debugging info for chklexp and more extensive kind checking

Revision 2046 - Directory Listing
Modified Thu Aug 24 18:28:43 2006 UTC (13 years ago) by georgekuan
improved error reporting in chkplexp

Revision 2045 - Directory Listing
Modified Thu Aug 24 17:47:43 2006 UTC (13 years ago) by georgekuan
*** empty log message ***

Revision 2044 - Directory Listing
Modified Thu Aug 24 17:45:04 2006 UTC (13 years ago) by georgekuan
chkplexp now exports checkLty and checkLtyTop taking and not taking an ltyEnv respectively

Revision 2043 - Directory Listing
Modified Thu Aug 24 16:32:45 2006 UTC (13 years ago) by macqueen
updated kind check, ppLty

Revision 2042 - Directory Listing
Modified Thu Aug 24 14:56:24 2006 UTC (13 years ago) by macqueen
added printer for kind environments

Revision 2041 - Directory Listing
Modified Thu Aug 24 12:20:15 2006 UTC (13 years ago) by macqueen
adding ltykindchk.sml

Revision 2040 - Directory Listing
Modified Wed Aug 23 23:44:18 2006 UTC (13 years ago) by macqueen
debugging kind check error

Revision 2039 - Directory Listing
Modified Tue Aug 22 22:54:10 2006 UTC (13 years ago) by macqueen
continued instrumentation and commenting for tcc_env bug

Revision 2038 - Directory Listing
Modified Mon Aug 21 23:07:07 2006 UTC (13 years ago) by macqueen
debugging plambda type checking

Revision 2037 - Directory Listing
Modified Mon Aug 21 20:40:35 2006 UTC (13 years ago) by georgekuan
newlines for transtypes warnings

Revision 2036 - Directory Listing
Modified Mon Aug 21 20:38:36 2006 UTC (13 years ago) by georgekuan
fixed TC_IND/normalized AX_FLAG bug

Revision 2035 - Directory Listing
Modified Fri Aug 18 23:54:34 2006 UTC (13 years ago) by georgekuan
chkplexp compiles

Revision 2034 - Directory Listing
Modified Fri Aug 18 23:43:02 2006 UTC (13 years ago) by georgekuan
Kind checking exceptions re-exported through LtyExtern

Revision 2033 - Directory Listing
Modified Fri Aug 18 22:58:46 2006 UTC (13 years ago) by macqueen
adding kind checking to chkplexp.sml

Revision 2032 - Directory Listing
Modified Fri Aug 18 21:19:55 2006 UTC (13 years ago) by georgekuan
lty kind checker and tyc kind checker handle IND cases correctly now

Revision 2031 - Directory Listing
Modified Fri Aug 18 20:55:00 2006 UTC (13 years ago) by georgekuan
lty kind checker

Revision 2030 - Directory Listing
Modified Fri Aug 18 17:28:28 2006 UTC (13 years ago) by georgekuan
kind checker moved to lty.sml

Revision 2029 - Directory Listing
Modified Fri Aug 18 16:24:18 2006 UTC (13 years ago) by georgekuan
kind checker unfolds teBinder list from tycEnv

Revision 2028 - Directory Listing
Modified Fri Aug 18 14:58:19 2006 UTC (13 years ago) by georgekuan
added TC_ENV checking to kind checker

Revision 2027 - Directory Listing
Modified Thu Aug 17 23:13:14 2006 UTC (13 years ago) by macqueen
preparing for kind checking

Revision 2026 - Directory Listing
Modified Thu Aug 17 21:55:48 2006 UTC (13 years ago) by georgekuan
tycEnv representation change propagated through ltykernel.sml

Revision 2025 - Directory Listing
Modified Thu Aug 17 21:26:26 2006 UTC (13 years ago) by georgekuan
tycEnv representation change propagated through pplty.sml

Revision 2024 - Directory Listing
Modified Thu Aug 17 21:08:37 2006 UTC (13 years ago) by georgekuan
lty.sml typos

Revision 2023 - Directory Listing
Modified Thu Aug 17 21:00:37 2006 UTC (13 years ago) by georgekuan
lty.sml typos

Revision 2022 - Directory Listing
Modified Thu Aug 17 20:54:13 2006 UTC (13 years ago) by georgekuan
ltyextern subkinding type functions and kind checking error reporting fixes

Revision 2021 - Directory Listing
Modified Thu Aug 17 20:36:49 2006 UTC (13 years ago) by macqueen
new representation and interface for tycEnv

Revision 2020 - Directory Listing
Modified Thu Aug 17 19:54:34 2006 UTC (13 years ago) by georgekuan
kind checking

Revision 2019 - Directory Listing
Modified Thu Aug 17 15:36:17 2006 UTC (13 years ago) by georgekuan
beginning full FLINT kind checker

Revision 2018 - Directory Listing
Modified Wed Aug 16 23:25:03 2006 UTC (13 years ago) by macqueen
completed prototype kind checker

Revision 2017 - Directory Listing
Modified Tue Aug 15 23:01:32 2006 UTC (13 years ago) by macqueen
partially done rewrite of tycEnv machinery - not yet correct

Revision 2016 - Directory Listing
Modified Mon Aug 14 23:47:47 2006 UTC (13 years ago) by macqueen
added lty.sig, lty.sml in FLINT/kernel

Revision 2015 - Directory Listing
Modified Mon Aug 14 21:42:33 2006 UTC (13 years ago) by macqueen
added kindch directory

Revision 2014 - Directory Listing
Modified Fri Aug 11 20:42:24 2006 UTC (13 years ago) by macqueen
broke ltykernel into lty and ltykernel, improved pplty

Revision 2013 - Directory Listing
Modified Fri Aug 11 04:09:23 2006 UTC (13 years ago) by georgekuan
Narrowed down where bad suspension was built

Revision 2012 - Directory Listing
Modified Tue Aug 8 19:32:53 2006 UTC (13 years ago) by georgekuan
lexp trace of culprit, pplexp (which should be updated to use the PP lib) now uses PPLTy.ppTyc

Revision 2011 - Directory Listing
Modified Tue Aug 8 18:02:53 2006 UTC (13 years ago) by georgekuan
cleaned up pplty tyc part

Revision 2010 - Directory Listing
Modified Mon Aug 7 03:52:33 2006 UTC (13 years ago) by georgekuan
made plambda lexp printout dependent on debugging flag

Revision 2009 - Directory Listing
Modified Sun Aug 6 06:05:09 2006 UTC (13 years ago) by georgekuan
hooked up PPPrim and turned off some debugging printouts

Revision 2008 - Directory Listing
Modified Thu Aug 3 18:10:26 2006 UTC (13 years ago) by georgekuan
pplty updated to pretty priint rectycs more sensibly

Revision 2007 - Directory Listing
Modified Thu Aug 3 03:11:32 2006 UTC (13 years ago) by georgekuan
(mutually-)rectype arity checking done

Revision 2006 - Directory Listing
Modified Wed Aug 2 20:59:42 2006 UTC (13 years ago) by georgekuan
*** empty log message ***

Revision 2005 - Directory Listing
Modified Tue Aug 1 23:01:55 2006 UTC (13 years ago) by georgekuan
new pretty printer pputil-new

Revision 2004 - Directory Listing
Modified Tue Aug 1 23:01:19 2006 UTC (13 years ago) by macqueen
added rule comments to ltykernel.sml

Revision 2003 - Directory Listing
Modified Mon Jul 31 23:29:46 2006 UTC (13 years ago) by georgekuan
pp for prim, transtype IBOUND case a bug

Revision 2002 - Directory Listing
Modified Mon Jul 31 19:07:10 2006 UTC (13 years ago) by georgekuan
added more PP.break's to PPLTy

Revision 2001 - Directory Listing
Modified Mon Jul 31 18:50:45 2006 UTC (13 years ago) by georgekuan
changed LtyKernel tcUnbound to carry tycEnv...printing tycEnv upon tcUnbound exception

Revision 2000 - Directory Listing
Modified Mon Jul 31 18:07:17 2006 UTC (13 years ago) by georgekuan
PPLty complete at least for printing Ltycs

Revision 1999 - Directory Listing
Modified Mon Jul 31 16:05:41 2006 UTC (13 years ago) by georgekuan
more work on pplty -- ppTyc complete

Revision 1998 - Directory Listing
Modified Fri Jul 28 22:26:08 2006 UTC (13 years ago) by georgekuan
started LTy pretty printer using SMLNJ-lib

Revision 1997 - Directory Listing
Modified Wed Jul 26 22:34:58 2006 UTC (13 years, 1 month ago) by georgekuan
flintnm debug printouts refined

Revision 1996 - Directory Listing
Modified Wed Jul 26 21:56:37 2006 UTC (13 years, 1 month ago) by georgekuan
flintnm debug printouts -- call trace info

Revision 1995 - Directory Listing
Modified Wed Jul 26 21:28:29 2006 UTC (13 years, 1 month ago) by georgekuan
translate now reports every site of introduction for lvars

Revision 1994 - Directory Listing
Modified Wed Jul 26 19:53:25 2006 UTC (13 years, 1 month ago) by georgekuan
extended LTyKernel.tc_print to print out TC_ENV

Revision 1993 - Directory Listing
Modified Wed Jul 26 18:20:36 2006 UTC (13 years, 1 month ago) by macqueen
further debugging code

Revision 1992 - Directory Listing
Modified Wed Jul 26 15:22:19 2006 UTC (13 years, 1 month ago) by georgekuan
typesutil, moduleutils, and translate...debugging output now checks debugging flag...more debugging for flintnm/ltykernel

Revision 1991 - Directory Listing
Modified Tue Jul 25 17:02:19 2006 UTC (13 years, 1 month ago) by macqueen
added questions to notes, touched up sigmatch

Revision 1990 - Directory Listing
Modified Mon Jul 24 23:10:58 2006 UTC (13 years, 1 month ago) by georgekuan
debugging printouts

Revision 1989 - Directory Listing
Modified Mon Jul 24 23:10:26 2006 UTC (13 years, 1 month ago) by georgekuan
temporary stand-in for primopid pretty printer

Revision 1988 - Directory Listing
Modified Mon Jul 24 23:08:58 2006 UTC (13 years, 1 month ago) by georgekuan
StrPrimInfo selectors now return [] or NonPrim by default if StrPrimInfo is empty -- probably wrong but this is what InlInfo did before

Revision 1987 - Directory Listing
Modified Mon Jul 24 23:07:36 2006 UTC (13 years, 1 month ago) by georgekuan
debugging info flintnm and translate

Revision 1986 - Directory Listing
Modified Mon Jul 24 22:38:55 2006 UTC (13 years, 1 month ago) by macqueen
minor edits -- comments, etc.

Revision 1985 - Directory Listing
Modified Tue Jul 18 19:46:35 2006 UTC (13 years, 1 month ago) by georgekuan
debug printout

Revision 1984 - Directory Listing
Modified Tue Jul 18 14:39:28 2006 UTC (13 years, 1 month ago) by georgekuan
more debugging printouts

Revision 1983 - Directory Listing
Modified Tue Jul 18 14:15:36 2006 UTC (13 years, 1 month ago) by georgekuan
debug printout for getStrElem/getFctElem (slot selection on empty strPrimInfo) bug

Revision 1982 - Directory Listing
Modified Tue Jul 18 02:39:07 2006 UTC (13 years, 1 month ago) by georgekuan
commented out some Translator and TypesUtil debugging info

Revision 1981 - Directory Listing
Modified Tue Jul 18 02:03:32 2006 UTC (13 years, 1 month ago) by georgekuan
more debug info printout for prune looping bug -- peql type pruning causes problems

Revision 1980 - Directory Listing
Modified Tue Jul 18 01:10:33 2006 UTC (13 years, 1 month ago) by georgekuan
matchInstType: added TV_MARK case...prune VARty infinite loops problem

Revision 1979 - Directory Listing
Modified Thu Jul 13 22:35:51 2006 UTC (13 years, 1 month ago) by georgekuan
Debug info for matchInstTypes bug during translate of core.sml

Revision 1978 - Directory Listing
Modified Thu Jul 13 22:28:03 2006 UTC (13 years, 1 month ago) by macqueen
further specification of types of InLine bindings

Revision 1977 - Directory Listing
Modified Thu Jul 13 21:10:44 2006 UTC (13 years, 1 month ago) by georgekuan
primOpTypeMap addition now compiles...makeml still does not work

Revision 1976 - Directory Listing
Modified Thu Jul 13 20:20:48 2006 UTC (13 years, 1 month ago) by macqueen
primoptypemap added

Revision 1975 - Directory Listing
Modified Thu Jul 13 20:12:25 2006 UTC (13 years, 1 month ago) by macqueen
fixes for new primop scheme

Revision 1974 - Directory Listing
Modified Thu Jul 13 18:21:39 2006 UTC (13 years, 1 month ago) by georgekuan
*** empty log message ***

Revision 1973 - Directory Listing
Modified Wed Jul 12 22:02:12 2006 UTC (13 years, 1 month ago) by macqueen
added some error printing to lt_inst

Revision 1972 - Directory Listing
Modified Wed Jul 12 15:52:38 2006 UTC (13 years, 1 month ago) by georgekuan
removed typecheck.sml from Semant because defunctorized version is now in Elaborator and also sigmatchfn because still functorized sigmatch in Elaborator

Revision 1971 - Directory Listing
Modified Wed Jul 12 15:43:14 2006 UTC (13 years, 1 month ago) by georgekuan
sigmatch is still functorized because of PLambda Types, the compiler builds now but does not bootstrap

Revision 1970 - Directory Listing
Modified Tue Jul 11 23:00:41 2006 UTC (13 years, 1 month ago) by macqueen
further primop hacking -- getting close to compile

Revision 1969 - Directory Listing
Modified Tue Jul 11 15:35:49 2006 UTC (13 years, 1 month ago) by georgekuan
Use strPrimInfo instead of strPrimElem

Revision 1968 - Directory Listing
Modified Tue Jul 11 15:10:15 2006 UTC (13 years, 1 month ago) by georgekuan
*** empty log message ***

Revision 1967 - Directory Listing
Modified Mon Jul 10 22:27:13 2006 UTC (13 years, 1 month ago) by macqueen
further changes to primops, starting on translate.sml

Revision 1966 - Directory Listing
Modified Mon Jul 10 14:30:48 2006 UTC (13 years, 1 month ago) by georgekuan
some more updating of tdp-instrument

Revision 1965 - Directory Listing
Modified Mon Jul 10 14:22:34 2006 UTC (13 years, 1 month ago) by georgekuan
Updated some DebugProf modules to use PrimOpId and param ty var list

Revision 1964 - Directory Listing
Modified Mon Jul 10 14:06:37 2006 UTC (13 years, 1 month ago) by georgekuan
Elaborator compilers, updated Elaborate modules to use new PrimOpId and param ty vars

Revision 1963 - Directory Listing
Modified Fri Jul 7 21:49:48 2006 UTC (13 years, 1 month ago) by georgekuan
elabdata builds again, fixed prim.sml

Revision 1962 - Directory Listing
Modified Fri Jul 7 21:32:42 2006 UTC (13 years, 1 month ago) by georgekuan
fixed some typesutil syntax and signature specs

Revision 1961 - Directory Listing
Modified Fri Jul 7 21:06:11 2006 UTC (13 years, 1 month ago) by macqueen
fixup matchTypes in sigmatch, VALvar in many files

Revision 1960 - Directory Listing
Modified Fri Jul 7 20:38:45 2006 UTC (13 years, 1 month ago) by georgekuan
elabdata builds now -- everything updated to new primopid representation scheme

Revision 1959 - Directory Listing
Modified Fri Jul 7 20:36:18 2006 UTC (13 years, 1 month ago) by georgekuan
elabdata builds now -- everything updated to new primopid representation scheme

Revision 1958 - Directory Listing
Modified Thu Jul 6 23:01:06 2006 UTC (13 years, 1 month ago) by macqueen
added FLINT/trans/primopmap.sml defining mapping from names to primops

Revision 1957 - Directory Listing
Modified Thu Jul 6 22:28:24 2006 UTC (13 years, 1 month ago) by georgekuan
ElabData work on moduleutil.sml mainly

Revision 1956 - Directory Listing
Modified Thu Jul 6 20:13:39 2006 UTC (13 years, 1 month ago) by macqueen
new prim.sml that doesn't depend on Primop

Revision 1955 - Directory Listing
Modified Thu Jul 6 20:10:33 2006 UTC (13 years, 1 month ago) by macqueen
revised primopid.sml/sig

Revision 1954 - Directory Listing
Modified Thu Jul 6 16:35:38 2006 UTC (13 years, 1 month ago) by georgekuan
Moving to new PrimOpId instead of InlInfo (int based primop id scheme)

Revision 1953 - Directory Listing
Modified Thu Jul 6 15:00:39 2006 UTC (13 years, 1 month ago) by georgekuan
Shifted VARexp, CONexp, CONpat back to carrying ty list (for determining type app parameters in FLINT)

Revision 1952 - Directory Listing
Modified Thu Jul 6 03:07:18 2006 UTC (13 years, 1 month ago) by georgekuan
Moved matchTypes to TypeUtils

Revision 1951 - Directory Listing
Modified Wed Jul 5 21:31:22 2006 UTC (13 years, 1 month ago) by macqueen
hacking on sigmatch.sml - primops and type instantiation

Revision 1949 - Directory Listing
Modified Wed Jun 28 00:02:59 2006 UTC (13 years, 2 months ago) by georgekuan
Added some more InlineT entries into primop-list up to 110 p64i

Revision 1948 - Directory Listing
Modified Tue Jun 27 22:08:49 2006 UTC (13 years, 2 months ago) by macqueen
updated primop-list, modified translate.sml

Revision 1947 - Directory Listing
Modified Wed Jun 21 21:14:42 2006 UTC (13 years, 2 months ago) by macqueen
added to notes

Revision 1946 - Directory Listing
Modified Tue Jun 20 22:15:23 2006 UTC (13 years, 2 months ago) by macqueen
further primop changes

Revision 1945 - Directory Listing
Modified Tue Jun 20 17:09:18 2006 UTC (13 years, 2 months ago) by georgekuan
DebugProf updated to new VARexp, CONexp, CONpat absyn ty option

Revision 1944 - Directory Listing
Modified Tue Jun 20 13:56:17 2006 UTC (13 years, 2 months ago) by georgekuan
added sigmatchfn which was in Elaborate/modules/sigmatch.sml

Revision 1943 - Directory Listing
Modified Tue Jun 20 04:20:49 2006 UTC (13 years, 2 months ago) by georgekuan
Separated out SIGMATCH and TYPECHECK sig files in elaborate.cm group

Revision 1942 - Directory Listing
Modified Tue Jun 20 04:18:11 2006 UTC (13 years, 2 months ago) by georgekuan
Moved PrimOp dependent TypesUtil.isValue function to Semant/types/typecheck module and SigMatchFn.sml to Semant/modules/

Revision 1941 - Directory Listing
Modified Tue Jun 20 01:28:00 2006 UTC (13 years, 2 months ago) by georgekuan
Propagating VARexp, CONpat, CONexp type change to ?? * ty option change

Revision 1940 - Directory Listing
Modified Mon Jun 19 22:37:46 2006 UTC (13 years, 2 months ago) by georgekuan
Fixed some syntax errors

Revision 1939 - Directory Listing
Modified Mon Jun 19 22:29:00 2006 UTC (13 years, 2 months ago) by macqueen
update of InlInfo

Revision 1938 - Directory Listing
Modified Thu Jun 15 22:28:07 2006 UTC (13 years, 2 months ago) by macqueen
added notes file for primop-branch-2 branch

Revision 1935 - Directory Listing
Modified Mon Jun 5 18:21:55 2006 UTC (13 years, 2 months ago) by
This commit was manufactured by cvs2svn to create branch
'primop-branch-2'.

Revision 1835 - Directory Listing
Modified Tue Aug 16 16:16:38 2005 UTC (14 years ago) by
This commit was manufactured by cvs2svn to create branch
'dbm-branch-2005_09_20'.

Revision 1775 - Directory Listing
Modified Wed Apr 27 22:30:45 2005 UTC (14 years, 4 months ago) by macqueen
minor edits

Revision 1658 - Directory Listing
Modified Wed Oct 20 21:07:54 2004 UTC (14 years, 10 months ago) by mblume
merge changes from main trunk

Revision 1657 - Directory Listing
Modified Wed Oct 20 20:05:45 2004 UTC (14 years, 10 months ago) by
This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

Revision 1635 - Directory Listing
Modified Tue Sep 28 17:12:31 2004 UTC (14 years, 10 months ago) by mblume
merging changes from main trunk

Revision 1628 - Directory Listing
Modified Wed Sep 15 20:58:05 2004 UTC (14 years, 11 months ago) by mblume
merge changes from main trunk

Revision 1627 - Directory Listing
Modified Wed Sep 15 20:58:05 2004 UTC (14 years, 11 months ago) by
This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

Revision 1596 - Directory Listing
Modified Sun Aug 8 05:22:41 2004 UTC (15 years ago) by mblume
fixed pattern-match bug and missing cases in c-calls implementation

Revision 1592 - Directory Listing
Modified Thu Aug 5 16:53:03 2004 UTC (15 years ago) by mblume
merging changes up to 110.47 from main trunk

Revision 1591 - Directory Listing
Modified Thu Aug 5 16:53:03 2004 UTC (15 years ago) by
This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

Revision 1563 - Directory Listing
Modified Mon Jul 26 19:48:45 2004 UTC (15 years, 1 month ago) by macqueen
editing notes, MAP

Revision 1558 - Directory Listing
Modified Thu Jul 22 22:30:55 2004 UTC (15 years, 1 month ago) by macqueen
editing notes, sigmatch.sml

Revision 1556 - Directory Listing
Modified Wed Jul 21 21:54:54 2004 UTC (15 years, 1 month ago) by macqueen
working on eqvTnspTy

Revision 1555 - Directory Listing
Modified Tue Jul 20 21:40:36 2004 UTC (15 years, 1 month ago) by macqueen
revised eqvTnspTy

Revision 1543 - Directory Listing
Modified Tue Jul 13 22:19:50 2004 UTC (15 years, 1 month ago) by mblume
another merge from main trunk

Revision 1542 - Directory Listing
Modified Tue Jul 13 22:19:50 2004 UTC (15 years, 1 month ago) by
This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

Revision 1538 - Directory Listing
Modified Tue Jul 13 19:04:05 2004 UTC (15 years, 1 month ago) by mblume
merge changes from main trunk

Revision 1535 - Directory Listing
Modified Tue Jul 13 05:00:35 2004 UTC (15 years, 1 month ago) by mblume
merge changes from main trunk

Revision 1534 - Directory Listing
Modified Tue Jul 13 05:00:35 2004 UTC (15 years, 1 month ago) by
This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

Revision 1517 - Directory Listing
Modified Fri Jun 18 19:52:04 2004 UTC (15 years, 2 months ago) by mblume
merge changes from main trunk

Revision 1516 - Directory Listing
Modified Fri Jun 18 19:52:04 2004 UTC (15 years, 2 months ago) by
This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

Revision 1509 - Directory Listing
Modified Fri Jun 18 04:50:05 2004 UTC (15 years, 2 months ago) by mblume
merge changes from main trunk up to 110.46

Revision 1508 - Directory Listing
Modified Fri Jun 18 04:50:05 2004 UTC (15 years, 2 months ago) by
This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

Revision 1499 - Directory Listing
Modified Tue May 25 21:49:58 2004 UTC (15 years, 3 months ago) by mblume
merge changes from main trunk

Revision 1493 - Directory Listing
Modified Tue May 18 21:19:57 2004 UTC (15 years, 3 months ago) by mblume
merged changes from main trunk

Revision 1492 - Directory Listing
Modified Tue May 18 21:19:57 2004 UTC (15 years, 3 months ago) by
This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

Revision 1484 - Directory Listing
Modified Sat Apr 24 13:30:51 2004 UTC (15 years, 4 months ago) by mblume
merge changes from main trunk

Revision 1483 - Directory Listing
Modified Sat Apr 24 13:30:51 2004 UTC (15 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

Revision 1476 - Directory Listing
Modified Fri Apr 16 20:51:46 2004 UTC (15 years, 4 months ago) by macqueen
change CONexp, CONpat to take instantiated type instead of tyvar list

Revision 1475 - Directory Listing
Modified Fri Apr 9 19:05:33 2004 UTC (15 years, 4 months ago) by macqueen
notes and added comments

Revision 1474 - Directory Listing
Modified Sun Apr 4 21:29:18 2004 UTC (15 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch
'primop-branch'.

Revision 1471 - Directory Listing
Modified Mon Mar 29 22:45:55 2004 UTC (15 years, 4 months ago) by macqueen
merged trunk from primop-branch to HEAD into primop-branch

Revision 1470 - Directory Listing
Modified Mon Mar 29 22:45:55 2004 UTC (15 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch
'primop-branch'.

Revision 1457 - Directory Listing
Modified Fri Feb 13 21:12:13 2004 UTC (15 years, 6 months ago) by mblume
merge changes up to 110.45 from main trunk

Revision 1454 - Directory Listing
Modified Mon Feb 9 22:32:05 2004 UTC (15 years, 6 months ago) by mblume
implemented SUPERCAST in FLINT;
(pushed it through as far as it seemed necessary -- but more TODO
corners are probably lurking...);
used SUPERCAST to implement link_plugin;
simple test case compiles and works; everything beyond that is untested

Revision 1453 - Directory Listing
Modified Mon Feb 9 20:33:28 2004 UTC (15 years, 6 months ago) by mblume
merged changes from main trunk into devel branch

Revision 1452 - Directory Listing
Modified Mon Feb 9 20:33:28 2004 UTC (15 years, 6 months ago) by
This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

Revision 1451 - Directory Listing
Modified Thu Feb 5 18:02:32 2004 UTC (15 years, 6 months ago) by mblume
sync of devel branch

Revision 1450 - Directory Listing
Modified Sat Jan 31 14:24:42 2004 UTC (15 years, 6 months ago) by
This commit was manufactured by cvs2svn to create branch
'dbmdev1-branch'.

Revision 1442 - Directory Listing
Modified Thu Jan 15 23:12:57 2004 UTC (15 years, 7 months ago) by mblume
added copyright notices

Revision 1441 - Directory Listing
Modified Thu Jan 15 23:01:21 2004 UTC (15 years, 7 months ago) by mblume
implemented readline stream

Revision 1440 - Directory Listing
Modified Wed Jan 14 23:26:22 2004 UTC (15 years, 7 months ago) by mblume
fixed problem with not having linked curses

Revision 1439 - Directory Listing
Modified Wed Jan 14 22:55:24 2004 UTC (15 years, 7 months ago) by mblume
added readline example to ml-nlffi-lib

Revision 1434 - Directory Listing
Modified Thu Dec 11 23:23:44 2003 UTC (15 years, 8 months ago) by mblume
snapshot of plugin hacking

Revision 1430 - Directory Listing
Modified Wed Nov 26 06:34:28 2003 UTC (15 years, 9 months ago) by mblume
exported Unify from elaborate.cm

Revision 1429 - Directory Listing
Modified Mon Nov 24 20:34:21 2003 UTC (15 years, 9 months ago) by mblume
undo last attempted change

Revision 1428 - Directory Listing
Modified Fri Nov 21 19:49:33 2003 UTC (15 years, 9 months ago) by mblume
more fiddling with plugins; now there are FLINT problems...

Revision 1423 - Directory Listing
Modified Thu Nov 13 22:54:25 2003 UTC (15 years, 9 months ago) by mblume
reorganized the link_plugin implementation;
it should have a better chance at being ok now, but something still
breaks;  looks like something more fundamental is going on

Revision 1422 - Directory Listing
Modified Thu Nov 13 21:28:06 2003 UTC (15 years, 9 months ago) by mblume
print ast/absyn earlier

Revision 1416 - Directory Listing
Modified Thu Nov 6 18:44:37 2003 UTC (15 years, 9 months ago) by mblume
merged changes from main trunk

Revision 1412 - Directory Listing
Modified Tue Nov 4 19:07:43 2003 UTC (15 years, 9 months ago) by mblume
merge changes from main trunk

Revision 1410 - Directory Listing
Modified Mon Nov 3 22:32:01 2003 UTC (15 years, 9 months ago) by mblume
merge changes from main trunk

Revision 1408 - Directory Listing
Modified Tue Oct 28 22:28:00 2003 UTC (15 years, 10 months ago) by mblume
merged changes from main trunk

Revision 1406 - Directory Listing
Modified Thu Oct 23 22:09:13 2003 UTC (15 years, 10 months ago) by mblume
added let-bound structures, but they do not work right

Revision 1405 - Directory Listing
Modified Tue Oct 21 22:49:43 2003 UTC (15 years, 10 months ago) by mblume
in the middle of hacking the plugin stuff

Revision 1404 - Directory Listing
Modified Fri Oct 3 22:26:14 2003 UTC (15 years, 10 months ago) by mblume
more fuzzing around with the plugin stuff (I am still learning my
way around the elaborator, basically)

Revision 1403 - Directory Listing
Modified Fri Oct 3 00:39:13 2003 UTC (15 years, 10 months ago) by mblume
more plugin hacking

Revision 1402 - Directory Listing
Modified Thu Oct 2 16:09:02 2003 UTC (15 years, 10 months ago) by mblume
started implementation of plugin support

Revision 1401 - Directory Listing
Modified Thu Oct 2 16:09:02 2003 UTC (15 years, 10 months ago) by
This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

Revision 1377 - Directory Listing
Modified Tue Sep 16 15:22:47 2003 UTC (15 years, 11 months ago) by macqueen
VARexp changed to take whole instantiated type

Revision 1373 - Directory Listing
Modified Mon Sep 15 22:16:26 2003 UTC (15 years, 11 months ago) by macqueen
eliminating type from primop info

Revision 1372 - Directory Listing
Modified Mon Sep 15 22:16:26 2003 UTC (15 years, 11 months ago) by
This commit was manufactured by cvs2svn to create branch
'primop-branch'.

Revision 1246 - Directory Listing
Modified Thu Jun 13 16:09:36 2002 UTC (17 years, 2 months ago) by blume
added missing stuff to sml-basis.idl and friends;
filled in missing parts of date.sml

Revision 1245 - Directory Listing
Modified Thu Jun 13 14:47:03 2002 UTC (17 years, 2 months ago) by blume
added sml-basis.idl (for reference)

Revision 1244 - Directory Listing
Modified Wed Jun 12 20:25:34 2002 UTC (17 years, 2 months ago) by blume
filled in more of the date stuff;
made OS.Path raise InvalidArc where appropriate;
small tweaks to idl-generated files to make things compile for now

Revision 1243 - Directory Listing
Modified Tue Jun 11 21:48:50 2002 UTC (17 years, 2 months ago) by blume
more filling of gaps

Revision 1239 - Directory Listing
Modified Tue Jun 11 15:26:11 2002 UTC (17 years, 2 months ago) by blume
provided implementations for fromUnixPath and toUnixPath

Revision 1237 - Directory Listing
Modified Mon Jun 10 20:08:08 2002 UTC (17 years, 2 months ago) by blume
provided scan and fromString in IEEEReal

Revision 1236 - Directory Listing
Modified Fri Jun 7 18:52:21 2002 UTC (17 years, 2 months ago) by blume
fixed and exported various missing slice modules

Revision 1235 - Directory Listing
Modified Thu Jun 6 20:10:03 2002 UTC (17 years, 2 months ago) by blume
changed iodesc type to word; implemented text readers and writers

Revision 1234 - Directory Listing
Modified Thu Jun 6 15:08:54 2002 UTC (17 years, 2 months ago) by blume
made everything compile; there are still holes to be fixed

Revision 1233 - Directory Listing
Modified Wed Jun 5 21:47:29 2002 UTC (17 years, 2 months ago) by blume
made more stuff compile; now stuck in MLRISC-related library code

Revision 1232 - Directory Listing
Modified Tue Jun 4 21:11:15 2002 UTC (17 years, 2 months ago) by blume
merged all changes from main trunk

Revision 1231 - Directory Listing
Modified Mon Jun 3 18:32:08 2002 UTC (17 years, 2 months ago) by
This commit was manufactured by cvs2svn to create branch
'idlbasis-devel'.

Revision 1097 - Directory Listing
Modified Tue Feb 26 16:59:02 2002 UTC (17 years, 6 months ago) by
This commit was manufactured by cvs2svn to create branch
'shao-private-devel'.

Revision 1002 - Directory Listing
Modified Fri Nov 30 17:11:33 2001 UTC (17 years, 8 months ago) by blume
merged changes up to latest status of MainTrunk;
Basis still compiles (and is still incomplete in parts);
smlnj-lib does not compile because of changes to Basis signatures

Revision 1001 - Directory Listing
Modified Fri Nov 30 17:11:33 2001 UTC (17 years, 8 months ago) by
This commit was manufactured by cvs2svn to create branch
'idlbasis-devel'.

Revision 982 - Directory Listing
Modified Wed Nov 21 18:41:49 2001 UTC (17 years, 9 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 913 - Directory Listing
Modified Fri Aug 24 18:12:37 2001 UTC (18 years ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 907 - Directory Listing
Modified Fri Aug 24 17:36:41 2001 UTC (18 years ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 872 - Directory Listing
Modified Fri Jul 6 22:17:03 2001 UTC (18 years, 1 month ago) by blume
forgot to commit the substring module in init.cmi

Revision 871 - Directory Listing
Modified Fri Jul 6 22:11:29 2001 UTC (18 years, 1 month ago) by blume
Basis compiles for now;
Date module still has big holes;
NJ still needs to be converted

Revision 870 - Directory Listing
Modified Thu Jul 5 22:05:20 2001 UTC (18 years, 1 month ago) by blume
begun to rebuild the IO tower and the
generic OS stuff based on SMLBasis;  OS-specific code has been disabled
in sources.cm for now

Revision 869 - Directory Listing
Modified Tue Jul 3 18:55:58 2001 UTC (18 years, 1 month ago) by blume
dealing with OS and IO issues

Revision 868 - Directory Listing
Modified Tue Jul 3 15:05:32 2001 UTC (18 years, 1 month ago) by blume
begun to do something about Time

Revision 867 - Directory Listing
Modified Mon Jul 2 20:14:11 2001 UTC (18 years, 1 month ago) by blume
more inching forward;
there are several unresolved issues that I decided to ignore for
now (usually by just raising a signal);
current sticking point: Time.time vs. SMLBasis.Time_t

Revision 866 - Directory Listing
Modified Mon Jul 2 16:33:10 2001 UTC (18 years, 1 month ago) by blume
more fixup work

Revision 865 - Directory Listing
Modified Sat Jun 30 03:40:12 2001 UTC (18 years, 1 month ago) by dbm
latest idl version for sml-basis*.sml

Revision 864 - Directory Listing
Modified Fri Jun 29 19:50:25 2001 UTC (18 years, 1 month ago) by blume
map signatures in MONO_VECTOR_SLICE fixed(?)

Revision 863 - Directory Listing
Modified Thu Jun 28 20:41:28 2001 UTC (18 years, 2 months ago) by blume
moved to latest sml-basis-sig.sml;
converted some more code

Revision 862 - Directory Listing
Modified Thu Jun 28 02:43:07 2001 UTC (18 years, 2 months ago) by blume
some work towards making vectors and arrays compile;
by far not everything is done yet, plus, there still seem to be
some discrepancies between our signatures and the Basis spec

Revision 861 - Directory Listing
Modified Wed Jun 27 22:00:22 2001 UTC (18 years, 2 months ago) by blume
CharArray.vector added; Real64ArraySlice is back

Revision 860 - Directory Listing
Modified Wed Jun 27 21:51:46 2001 UTC (18 years, 2 months ago) by dbm
adding real64-array-slice.sml and a fix to word8-array-slice.sml

Revision 859 - Directory Listing
Modified Wed Jun 27 21:43:12 2001 UTC (18 years, 2 months ago) by blume
merged changes from main trunk;
some typos etc. fixed (but still does not compile yet)

Revision 858 - Directory Listing
Modified Wed Jun 27 21:20:27 2001 UTC (18 years, 2 months ago) by dbm
adding list-sig.sml, SML90-sig.sml

Revision 857 - Directory Listing
Modified Wed Jun 27 21:03:15 2001 UTC (18 years, 2 months ago) by dbm
adding sml-basis files

Revision 856 - Directory Listing
Modified Wed Jun 27 20:19:03 2001 UTC (18 years, 2 months ago) by dbm
adding sml-basis-sig.sml and sml-basis.sml

Revision 855 - Directory Listing
Modified Wed Jun 27 20:17:52 2001 UTC (18 years, 2 months ago) by dbm
adding isSubstring

Revision 851 - Directory Listing
Modified Mon Jun 25 21:06:39 2001 UTC (18 years, 2 months ago) by dbm
adding new -sig files

Revision 850 - Directory Listing
Modified Mon Jun 25 19:42:31 2001 UTC (18 years, 2 months ago) by dbm
adding new files

Revision 849 - Directory Listing
Modified Mon Jun 25 19:29:29 2001 UTC (18 years, 2 months ago) by dbm
adding array-slice-sig.sml

Revision 848 - Directory Listing
Modified Mon Jun 25 19:29:29 2001 UTC (18 years, 2 months ago) by
This commit was manufactured by cvs2svn to create branch
'idlbasis-devel'.

Revision 821 - Directory Listing
Modified Tue May 8 21:08:11 2001 UTC (18 years, 3 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 630 - Directory Listing
Modified Wed Apr 26 18:40:56 2000 UTC (19 years, 4 months ago) by monnier
*** empty log message ***

Revision 611 - Directory Listing
Modified Mon Apr 10 19:03:03 2000 UTC (19 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch 'smlnj'.

Revision 598 - Directory Listing
Modified Wed Apr 5 18:34:51 2000 UTC (19 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch 'ckit'.

Revision 560 - Directory Listing
Modified Fri Mar 3 16:22:09 2000 UTC (19 years, 5 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 557 - Directory Listing
Modified Fri Mar 3 16:13:55 2000 UTC (19 years, 5 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 549 - Directory Listing
Modified Tue Feb 29 16:40:46 2000 UTC (19 years, 5 months ago) by
This commit was manufactured by cvs2svn to create branch 'smlnj'.

Revision 502 - Directory Listing
Modified Tue Dec 7 17:56:19 1999 UTC (19 years, 8 months ago) by monnier
version 110.25.1

Revision 500 - Directory Listing
Modified Tue Dec 7 15:59:36 1999 UTC (19 years, 8 months ago) by monnier
version 110.25

Revision 498 - Directory Listing
Modified Tue Dec 7 15:44:50 1999 UTC (19 years, 8 months ago) by monnier
version 110.25

Revision 497 - Directory Listing
Modified Tue Dec 7 15:44:50 1999 UTC (19 years, 8 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 475 - Directory Listing
Modified Wed Nov 10 22:59:58 1999 UTC (19 years, 9 months ago) by monnier
version 110.24

Revision 474 - Directory Listing
Modified Wed Nov 10 22:59:58 1999 UTC (19 years, 9 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 471 - Directory Listing
Modified Wed Nov 10 22:48:28 1999 UTC (19 years, 9 months ago) by monnier
version 110.23

Revision 469 - Directory Listing
Modified Wed Nov 10 22:42:52 1999 UTC (19 years, 9 months ago) by monnier
version 110.23

Revision 468 - Directory Listing
Modified Wed Nov 10 22:42:52 1999 UTC (19 years, 9 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 441 - Directory Listing
Modified Wed Sep 15 23:29:38 1999 UTC (19 years, 11 months ago) by monnier
version 110.22

Revision 439 - Directory Listing
Modified Wed Sep 15 16:37:27 1999 UTC (19 years, 11 months ago) by monnier
version 110.22

Revision 438 - Directory Listing
Modified Wed Sep 15 16:37:27 1999 UTC (19 years, 11 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 429 - Directory Listing
Modified Wed Sep 8 09:47:00 1999 UTC (19 years, 11 months ago) by monnier
version 110.21

Revision 428 - Directory Listing
Modified Wed Sep 8 09:47:00 1999 UTC (19 years, 11 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 420 - Directory Listing
Modified Sat Sep 4 00:01:22 1999 UTC (19 years, 11 months ago) by monnier
version 110.20

Revision 418 - Directory Listing
Modified Fri Sep 3 23:51:27 1999 UTC (19 years, 11 months ago) by monnier
version 110.20

Revision 417 - Directory Listing
Modified Fri Sep 3 23:51:27 1999 UTC (19 years, 11 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 413 - Directory Listing
Modified Fri Sep 3 00:30:34 1999 UTC (19 years, 11 months ago) by monnier
version 110.19

Revision 411 - Directory Listing
Modified Fri Sep 3 00:25:03 1999 UTC (19 years, 11 months ago) by monnier
version 110.19

Revision 410 - Directory Listing
Modified Fri Sep 3 00:25:03 1999 UTC (19 years, 11 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 289 - Directory Listing
Modified Sat May 22 21:01:25 1999 UTC (20 years, 3 months ago) by monnier
version 110.17

Revision 288 - Directory Listing
Modified Sat May 22 21:01:25 1999 UTC (20 years, 3 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 284 - Directory Listing
Modified Wed May 19 23:31:25 1999 UTC (20 years, 3 months ago) by monnier
version 110.16.1

Revision 263 - Directory Listing
Modified Thu May 6 06:52:06 1999 UTC (20 years, 3 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 249 - Directory Listing
Modified Sat Apr 17 18:57:03 1999 UTC (20 years, 4 months ago) by monnier
version 110.16

Revision 247 - Directory Listing
Modified Sat Apr 17 18:47:13 1999 UTC (20 years, 4 months ago) by monnier
version 110.16

Revision 245 - Directory Listing
Modified Sat Apr 17 18:47:12 1999 UTC (20 years, 4 months ago) by monnier
version 110.16

Revision 243 - Directory Listing
Modified Sat Apr 17 18:41:51 1999 UTC (20 years, 4 months ago) by monnier
version 110.16

Revision 242 - Directory Listing
Modified Sat Apr 17 18:41:51 1999 UTC (20 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 239 - Directory Listing
Modified Sat Apr 17 18:29:24 1999 UTC (20 years, 4 months ago) by monnier
version 110.15

Revision 238 - Directory Listing
Modified Sat Apr 17 18:29:24 1999 UTC (20 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 235 - Directory Listing
Modified Sat Apr 17 18:21:47 1999 UTC (20 years, 4 months ago) by monnier
version 110.14

Revision 234 - Directory Listing
Modified Sat Apr 17 18:21:47 1999 UTC (20 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 231 - Directory Listing
Modified Sat Apr 17 18:14:18 1999 UTC (20 years, 4 months ago) by monnier
version 110.13

Revision 230 - Directory Listing
Modified Sat Apr 17 18:14:18 1999 UTC (20 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 227 - Directory Listing
Modified Sat Apr 17 17:15:03 1999 UTC (20 years, 4 months ago) by monnier
version 110.12

Revision 226 - Directory Listing
Modified Sat Apr 17 17:15:03 1999 UTC (20 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 223 - Directory Listing
Modified Sat Apr 17 16:27:01 1999 UTC (20 years, 4 months ago) by monnier
version 110.11

Revision 222 - Directory Listing
Modified Sat Apr 17 16:27:01 1999 UTC (20 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 211 - Directory Listing
Modified Fri Jan 15 16:19:21 1999 UTC (20 years, 7 months ago) by monnier
version 110.10

Revision 209 - Directory Listing
Modified Fri Jan 15 16:00:20 1999 UTC (20 years, 7 months ago) by monnier
version 110.10

Revision 207 - Directory Listing
Modified Fri Jan 15 15:54:19 1999 UTC (20 years, 7 months ago) by monnier
version 110.10

Revision 206 - Directory Listing
Modified Fri Jan 15 15:54:19 1999 UTC (20 years, 7 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 194 - Directory Listing
Modified Fri Nov 20 17:44:10 1998 UTC (20 years, 9 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 181 - Directory Listing
Modified Sat Nov 7 23:07:31 1998 UTC (20 years, 9 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 178 - Directory Listing
Modified Sat Nov 7 22:42:45 1998 UTC (20 years, 9 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 175 - Directory Listing
Modified Sat Nov 7 22:37:15 1998 UTC (20 years, 9 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 172 - Directory Listing
Modified Sat Nov 7 22:27:15 1998 UTC (20 years, 9 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

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

Revision 167 - Directory Listing
Modified Sat Nov 7 20:11:41 1998 UTC (20 years, 9 months ago) by monnier
version $version

Revision 166 - Directory Listing
Modified Sat Nov 7 20:11:41 1998 UTC (20 years, 9 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 143 - Directory Listing
Modified Mon Sep 7 21:46:44 1998 UTC (20 years, 11 months ago) by monnier
Release_110_8_1

Revision 141 - Directory Listing
Modified Mon Sep 7 21:37:09 1998 UTC (20 years, 11 months ago) by monnier
110.8

Revision 139 - Directory Listing
Modified Mon Sep 7 21:11:35 1998 UTC (20 years, 11 months ago) by monnier
110.8

Revision 138 - Directory Listing
Modified Mon Sep 7 21:11:35 1998 UTC (20 years, 11 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 135 - Directory Listing
Modified Mon Sep 7 21:02:08 1998 UTC (20 years, 11 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 132 - Directory Listing
Modified Mon Sep 7 19:48:36 1998 UTC (20 years, 11 months ago) by monnier
Release_110_8

Revision 130 - Directory Listing
Modified Mon Sep 7 19:39:22 1998 UTC (20 years, 11 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 127 - Directory Listing
Modified Mon Sep 7 19:06:29 1998 UTC (20 years, 11 months ago) by monnier
Release_110_7_3

Revision 125 - Directory Listing
Modified Mon Sep 7 18:14:32 1998 UTC (20 years, 11 months ago) by monnier
  Release_110_7_2

Revision 123 - Directory Listing
Modified Mon Sep 7 16:19:55 1998 UTC (20 years, 11 months ago) by monnier
  Release_110_7_1

Revision 116 - Directory Listing
Modified Fri Jun 5 20:15:29 1998 UTC (21 years, 2 months ago) by monnier
removed deleted files

Revision 113 - Directory Listing
Modified Fri Jun 5 19:41:21 1998 UTC (21 years, 2 months ago) by monnier
110.7

Revision 112 - Directory Listing
Modified Fri Jun 5 19:41:21 1998 UTC (21 years, 2 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 110 - Directory Listing
Modified Fri Jun 5 19:06:47 1998 UTC (21 years, 2 months ago) by monnier
removed files from older versions

Revision 106 - Directory Listing
Modified Thu May 28 21:30:17 1998 UTC (21 years, 3 months ago) by monnier
110.6

Revision 105 - Directory Listing
Modified Thu May 28 21:30:17 1998 UTC (21 years, 3 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 100 - Directory Listing
Modified Thu May 14 04:56:46 1998 UTC (21 years, 3 months ago) by monnier
110.5.1 from Zhong

Revision 99 - Directory Listing
Modified Thu May 14 04:56:46 1998 UTC (21 years, 3 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 93 - Directory Listing
Modified Tue May 12 21:56:22 1998 UTC (21 years, 3 months ago) by monnier
*** empty log message ***

Revision 91 - Directory Listing
Modified Tue May 12 21:55:42 1998 UTC (21 years, 3 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 90 - Directory Listing
Modified Tue May 12 21:54:55 1998 UTC (21 years, 3 months ago) by
This commit was manufactured by cvs2svn to create branch 'FLINT'.

Revision 69 - Directory Listing
Modified Fri Apr 3 00:06:55 1998 UTC (21 years, 4 months ago) by monnier
*** empty log message ***

Revision 67 - Directory Listing
Modified Fri Apr 3 00:06:42 1998 UTC (21 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 45 - Directory Listing
Modified Sun Mar 22 20:11:09 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

Revision 43 - Directory Listing
Modified Sun Mar 22 20:10:57 1998 UTC (21 years, 5 months ago) by
This commit was manufactured by cvs2svn to create branch 'FLINT'.

Revision 42 - Directory Listing
Modified Sun Mar 22 20:10:57 1998 UTC (21 years, 5 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 29 - Directory Listing
Modified Thu Mar 12 01:05:59 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

Revision 27 - Directory Listing
Modified Thu Mar 12 01:05:57 1998 UTC (21 years, 5 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 24 - Directory Listing
Modified Thu Mar 12 00:49:58 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

Revision 22 - Directory Listing
Modified Thu Mar 12 00:49:56 1998 UTC (21 years, 5 months ago) by
This commit was manufactured by cvs2svn to create branch 'FLINT'.

Revision 18 - Directory Listing
Modified Wed Mar 11 21:00:18 1998 UTC (21 years, 5 months ago) by
This commit was manufactured by cvs2svn to create branch 'FLINT'.

Revision 17 - Directory Listing
Modified Wed Mar 11 21:00:18 1998 UTC (21 years, 5 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 11 - Directory Listing
Modified Sun Jan 18 01:01:29 1998 UTC (21 years, 7 months ago) by
This commit was manufactured by cvs2svn to create branch 'FLINT'.

Revision 10 - Directory Listing
Modified Sun Jan 18 01:01:29 1998 UTC (21 years, 7 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 8 - Directory Listing
Modified Sun Jan 18 01:01:29 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***

Revision 4 - Directory Listing
Modified Sat Oct 4 23:33:46 1997 UTC (21 years, 10 months ago) by
This commit was manufactured by cvs2svn to create branch 'FLINT'.

Revision 3 - Directory Listing
Modified Sat Oct 4 23:33:46 1997 UTC (21 years, 10 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

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

Sort log by:

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