SCM Repository
Log of /sml/branches
Sticky Revision: |
Revision 3099 - Directory Listing
Modified Wed Jul 9 21:19:55 2008 UTC (12 years, 9 months ago) by dbm
recent debugging changes
Revision 3098 - Directory Listing
Modified Wed Jul 9 17:26:36 2008 UTC (12 years, 9 months ago) by gatien
introdution of simplified types
Revision 3097 - Directory Listing
Modified Tue Jul 8 17:37:20 2008 UTC (12 years, 9 months ago) by gatien
modified pickler
Revision 3095 - Directory Listing
Modified Wed Jul 2 20:54:04 2008 UTC (12 years, 9 months ago) by dbm
deleted some obsolete comments in elabmod.sml
Revision 3094 - Directory Listing
Modified Wed Jul 2 18:37:03 2008 UTC (12 years, 9 months ago) by gatien
adding absyn_scan.sml
Revision 3093 - Directory Listing
Modified Wed Jul 2 18:26:43 2008 UTC (12 years, 9 months ago) by gatien
modif on ens_types2
Revision 3092 - Directory Listing
Modified Tue Jul 1 22:23:38 2008 UTC (12 years, 9 months ago) by dbm
slightly improved printing of structure abstract syntax
Revision 3091 - Directory Listing
Modified Tue Jul 1 21:56:08 2008 UTC (12 years, 9 months ago) by gatien
adding ens_types.sml
Revision 3090 - Directory Listing
Modified Tue Jul 1 18:59:32 2008 UTC (12 years, 9 months ago) by gatien
beginning of zork on the absyn
Revision 3089 - Directory Listing
Modified Thu Jun 26 21:23:51 2008 UTC (12 years, 9 months ago) by dbm
added srcInfo and infodebugging flags to ElabControl
Revision 3088 - Directory Listing
Modified Thu Jun 26 19:00:08 2008 UTC (12 years, 9 months ago) by gatien
beginning of a pickler
Revision 3087 - Directory Listing
Modified Wed Jun 25 15:44:55 2008 UTC (12 years, 9 months ago) by gatien
signatures included, beginning on work with CM
Revision 3086 - Directory Listing
Modified Tue Jun 24 18:59:12 2008 UTC (12 years, 9 months ago) by dbm
added DEVNOTES/srcinfo/queries-discussion.txt
Revision 3082 - Directory Listing
Modified Tue Jun 17 16:46:05 2008 UTC (12 years, 10 months ago) by blume
pass info about external references down to elaborator
Revision 3081 - Directory Listing
Modified Thu Jun 12 18:01:34 2008 UTC (12 years, 10 months ago) by jhr
Added [sml_context] annotation to getStdIn, etc.
Revision 3077 - Directory Listing
Modified Tue Jun 10 21:15:52 2008 UTC (12 years, 10 months ago) by dbm
minor edit of ens_var.sml
Revision 3076 - Directory Listing
Modified Tue Jun 10 20:59:16 2008 UTC (12 years, 10 months ago) by dbm
new versions of ens_var
Revision 3075 - Directory Listing
Modified Mon Jun 9 20:48:09 2008 UTC (12 years, 10 months ago) by gatien
variable use now tracked inside and outside a module
Revision 3074 - Directory Listing
Modified Mon Jun 9 20:28:33 2008 UTC (12 years, 10 months ago) by dbm
added compiler/DEVNOTES/srcinfo
Revision 3072 - Directory Listing
Modified Fri Jun 6 21:53:21 2008 UTC (12 years, 10 months ago) by dbm
rewrite of mkVB in translate.sml -- compiles, but still buggy
Revision 3071 - Directory Listing
Modified Fri Jun 6 16:06:22 2008 UTC (12 years, 10 months ago) by gatien
adding ens_var files
Revision 3070 - Directory Listing
Modified Fri Jun 6 15:39:00 2008 UTC (12 years, 10 months ago) by gatien
2nd commit: constructors, types, variables are accessible, still problems with modules
Revision 3067 - Directory Listing
Modified Thu Jun 5 22:18:34 2008 UTC (12 years, 10 months ago) by dbm
a couple minor changes in VALbind treatment
Revision 3066 - Directory Listing
Modified Thu Jun 5 18:29:19 2008 UTC (12 years, 10 months ago) by jhr
Split basis and runtime files
Revision 3061 - Directory Listing
Modified Wed Jun 4 00:59:50 2008 UTC (12 years, 10 months ago) by aleffert
rolled in addition of bound type vars to VALvar
Revision 3057 - Directory Listing
Modified Tue Jun 3 16:07:27 2008 UTC (12 years, 10 months ago) by dbm
added NOTES/branches file documenting branches
Revision 3056 - Directory Listing
Modified Tue Jun 3 16:04:14 2008 UTC (12 years, 10 months ago) by dbm
added updated system/smlnj/MLRISC/IA32.cm from trunk
Revision 3053 - Directory Listing
Modified Mon Jun 2 14:08:02 2008 UTC (12 years, 10 months ago) by gkuan
added module examples
Revision 3052 - Directory Listing
Modified Fri May 30 22:02:40 2008 UTC (12 years, 10 months ago) by dbm
fixing VB
Revision 3048 - Directory Listing
Modified Thu May 29 22:14:42 2008 UTC (12 years, 10 months ago) by dbm
elab cleanup commit #3
Revision 3047 - Directory Listing
Modified Thu May 29 22:13:13 2008 UTC (12 years, 10 months ago) by gatien
first commit: variable, type def and use work, datatype def work
Revision 3046 - Directory Listing
Modified Thu May 29 20:14:51 2008 UTC (12 years, 10 months ago) by gkuan
major elab cleanup, commit 2
Revision 3045 - Directory Listing
Modified Thu May 29 19:01:17 2008 UTC (12 years, 10 months ago) by dbm
major elab cleanup, commit 1
Revision 3041 - Directory Listing
Modified Wed May 28 18:39:35 2008 UTC (12 years, 10 months ago) by jhr
Changed "ML_unit_t" return types to void.
Revision 3040 - Directory Listing
Modified Wed May 28 18:39:13 2008 UTC (12 years, 10 months ago) by jhr
Added installation of C++ files
Revision 3036 - Directory Listing
Modified Fri May 23 20:32:08 2008 UTC (12 years, 10 months ago) by dbm
add DEVNOTES/temi-revisions with temi-branch history
Revision 3035 - Directory Listing
Modified Fri May 23 20:04:23 2008 UTC (12 years, 10 months ago) by gkuan
fixed bug where flexmaps don't accumulate
Revision 3034 - Directory Listing
Modified Fri May 23 04:40:21 2008 UTC (12 years, 10 months ago) by gkuan
two pass SEQdec, strbs, fctbs processing to populate flexmap
Revision 3033 - Directory Listing
Modified Thu May 22 18:51:22 2008 UTC (12 years, 10 months ago) by gkuan
fixing handling of SEQdec
Revision 3032 - Directory Listing
Modified Wed May 21 17:26:38 2008 UTC (12 years, 10 months ago) by dbm
debugging in typecheck.sml, cleanup in elabcore and translate
Revision 3031 - Directory Listing
Modified Tue May 20 20:25:54 2008 UTC (12 years, 11 months ago) by gkuan
using functional map passing in Translate and TransTypes, does not bootstrap yet
Revision 3029 - Directory Listing
Modified Mon May 19 11:18:09 2008 UTC (12 years, 11 months ago) by gkuan
Revision 3028 - Directory Listing
Modified Fri May 16 21:30:21 2008 UTC (12 years, 11 months ago) by gkuan
consolidated reptycprops and translate compiles, commented out ABSdec, superseded by opaque ascription
Revision 3027 - Directory Listing
Modified Thu May 15 20:45:40 2008 UTC (12 years, 11 months ago) by gkuan
Revision 3026 - Directory Listing
Modified Wed May 14 18:45:20 2008 UTC (12 years, 11 months ago) by gatien
creating branch for gatien-baron
Revision 3021 - Directory Listing
Modified Wed May 7 18:19:07 2008 UTC (12 years, 11 months ago) by aleffert
added MARKty to signature
Revision 3020 - Directory Listing
Modified Wed May 7 02:59:25 2008 UTC (12 years, 11 months ago) by aleffert
rolled in markty stuff
Revision 3019 - Directory Listing
Modified Tue May 6 20:25:44 2008 UTC (12 years, 11 months ago) by gkuan
bootstraps but higher order functors still do not fully work
Revision 3012 - Directory Listing
Modified Fri May 2 22:56:05 2008 UTC (12 years, 11 months ago) by dbm
cleanup of elabVB (elabcore.sml) and procpat/aconvertPat (elabutil.sml)
Revision 3007 - Directory Listing
Modified Mon Apr 28 15:29:41 2008 UTC (12 years, 11 months ago) by gkuan
fixed kinds bug for curried functors...still not bootstrapping
Revision 3006 - Directory Listing
Modified Fri Apr 25 20:02:56 2008 UTC (12 years, 11 months ago) by gkuan
lots of bugfixes and formal functor setup...not complete
Revision 3005 - Directory Listing
Modified Fri Apr 25 16:09:44 2008 UTC (12 years, 11 months ago) by dbm
New temi-branch of sml(base) directory created by dbm & akiva for work on type error message improvement (temi).
Revision 3002 - Directory Listing
Modified Tue Apr 22 16:40:11 2008 UTC (12 years, 11 months ago) by jhr
Remove generated files from repository
Revision 2991 - Directory Listing
Modified Tue Apr 15 15:05:41 2008 UTC (13 years ago) by jhr
Working on Makefile
Revision 2989 - Directory Listing
Modified Mon Apr 14 18:24:56 2008 UTC (13 years ago) by gkuan
removed redundant getTk parameter
Revision 2988 - Directory Listing
Modified Mon Apr 14 15:01:20 2008 UTC (13 years ago) by jhr
Working on Makefile
Revision 2987 - Directory Listing
Modified Mon Apr 14 14:53:59 2008 UTC (13 years ago) by jhr
Temporary makefile
Revision 2985 - Directory Listing
Modified Sun Apr 13 21:40:17 2008 UTC (13 years ago) by jhr
Working on Unix spec.
Revision 2984 - Directory Listing
Modified Sun Apr 13 02:11:53 2008 UTC (13 years ago) by jhr
New file
Revision 2983 - Directory Listing
Modified Sat Apr 12 16:26:30 2008 UTC (13 years ago) by jhr
Move idl-specs into a higher-level directory, since they are used to generate both SML and runtime-system code.
Revision 2982 - Directory Listing
Modified Sat Apr 12 16:08:19 2008 UTC (13 years ago) by jhr
Minor edits
Revision 2979 - Directory Listing
Modified Thu Apr 10 04:37:29 2008 UTC (13 years ago) by gkuan
reversed tps in epsToTycpath, bootstraps
Revision 2978 - Directory Listing
Modified Thu Apr 10 03:57:04 2008 UTC (13 years ago) by gkuan
look up stamps for existing tycpath translation
Revision 2976 - Directory Listing
Modified Thu Apr 10 02:19:04 2008 UTC (13 years ago) by gkuan
merged getTPsforEPs and epsToTycpaths
Revision 2975 - Directory Listing
Modified Tue Apr 8 16:27:59 2008 UTC (13 years ago) by jhr
Synching sources with revision 2974 of main trunk.
Revision 2972 - Directory Listing
Modified Sun Apr 6 13:49:59 2008 UTC (13 years ago) by gkuan
fixed some deBruijn indexing bugs
Revision 2965 - Directory Listing
Modified Mon Mar 31 20:34:03 2008 UTC (13 years ago) by gkuan
More precise PLambda type checking error
Revision 2964 - Directory Listing
Modified Sun Mar 30 05:07:37 2008 UTC (13 years 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 (13 years 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 (13 years 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 (13 years 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 (13 years, 2 months ago) by gkuan
reenabled plchk
Revision 2949 - Directory Listing
Modified Sun Feb 17 15:10:09 2008 UTC (13 years, 2 months ago) by gkuan
reenabled plchk
Revision 2948 - Directory Listing
Modified Sat Feb 16 18:11:07 2008 UTC (13 years, 2 months ago) by gkuan
typestp.sml
Revision 2932 - Directory Listing
Modified Thu Jan 24 02:27:54 2008 UTC (13 years, 2 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 (13 years, 2 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 (13 years, 3 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 (13 years, 3 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 (13 years, 3 months ago) by blume
re-enabled installer code
Revision 2913 - Directory Listing
Modified Thu Nov 22 05:17:34 2007 UTC (13 years, 4 months ago) by jhr
Remove redundant files
Revision 2912 - Directory Listing
Modified Thu Nov 22 05:15:36 2007 UTC (13 years, 4 months ago) by jhr
Remove redundant files
Revision 2911 - Directory Listing
Modified Thu Nov 22 04:56:58 2007 UTC (13 years, 4 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 (13 years, 4 months ago) by gkuan
Added ppTycpath and getFctKnd scaffolding
Revision 2906 - Directory Listing
Modified Tue Nov 20 22:09:00 2007 UTC (13 years, 4 months ago) by jhr
Fixed a bunch of C warnings.
Revision 2900 - Directory Listing
Modified Tue Nov 20 19:54:40 2007 UTC (13 years, 4 months ago) by jhr
Another Aaron change.
Revision 2899 - Directory Listing
Modified Tue Nov 20 19:10:03 2007 UTC (13 years, 5 months ago) by jhr
Another one of Aaron's changes.
Revision 2898 - Directory Listing
Modified Tue Nov 20 19:08:41 2007 UTC (13 years, 5 months ago) by jhr
Merged Aaron's changes.
Revision 2897 - Directory Listing
Modified Tue Nov 20 14:21:38 2007 UTC (13 years, 5 months ago) by jhr
Merging in changes from trunk
Revision 2896 - Directory Listing
Modified Tue Nov 20 05:52:19 2007 UTC (13 years, 5 months ago) by jhr
Merging updates from main branch (r2895)
Revision 2884 - Directory Listing
Modified Thu Nov 15 22:35:18 2007 UTC (13 years, 5 months ago) by gkuan
updated primop3-revisions
Revision 2883 - Directory Listing
Modified Thu Nov 15 22:34:35 2007 UTC (13 years, 5 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 (13 years, 5 months ago) by jhr
Import AMD fix
Revision 2849 - Directory Listing
Modified Thu Nov 8 23:17:09 2007 UTC (13 years, 5 months ago) by jhr
Merging
Revision 2848 - Directory Listing
Modified Thu Nov 8 21:59:14 2007 UTC (13 years, 5 months ago) by jhr
More merging.
Revision 2847 - Directory Listing
Modified Wed Nov 7 23:10:08 2007 UTC (13 years, 5 months ago) by jhr
More merging.
Revision 2846 - Directory Listing
Modified Wed Nov 7 23:05:09 2007 UTC (13 years, 5 months ago) by jhr
More merging
Revision 2845 - Directory Listing
Modified Wed Nov 7 22:41:52 2007 UTC (13 years, 5 months ago) by jhr
Merging in Aaron's changes
Revision 2837 - Directory Listing
Modified Fri Nov 2 19:35:43 2007 UTC (13 years, 5 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 (13 years, 6 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 (13 years, 6 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 (13 years, 6 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 (13 years, 7 months ago) by dbm
updated kernel-files
Revision 2752 - Directory Listing
Modified Wed Sep 12 19:18:57 2007 UTC (13 years, 7 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 (13 years, 7 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 (13 years, 7 months ago) by dbm
update to compiler/DEVNOTES/Flint/kernel-files
Revision 2746 - Directory Listing
Modified Thu Aug 30 19:21:14 2007 UTC (13 years, 7 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 (13 years, 7 months ago) by dbm
reorganization of FLINT/kernel, step 1
Revision 2744 - Directory Listing
Modified Mon Aug 27 16:38:23 2007 UTC (13 years, 7 months ago) by gkuan
ppEntityEnv indentation fix
Revision 2743 - Directory Listing
Modified Mon Aug 27 04:05:25 2007 UTC (13 years, 7 months ago) by gkuan
updated primop3-revisions
Revision 2742 - Directory Listing
Modified Mon Aug 27 04:03:53 2007 UTC (13 years, 7 months 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 (13 years, 7 months 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 (13 years, 7 months 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 (13 years, 7 months ago) by dbm
comments in instantiate.sml, added notes.txt
Revision 2738 - Directory Listing
Modified Tue Aug 14 19:05:08 2007 UTC (13 years, 8 months 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 (13 years, 8 months ago) by dbm
some comments and a small correction in instantiate
Revision 2736 - Directory Listing
Modified Fri Aug 10 22:10:20 2007 UTC (13 years, 8 months ago) by gkuan
Revision 2735 - Directory Listing
Modified Fri Aug 10 22:07:20 2007 UTC (13 years, 8 months 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 (13 years, 8 months 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 (13 years, 8 months 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 (13 years, 9 months 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 (13 years, 10 months ago) by dbm
preliminary update of NOTES/HISTORY
Revision 2648 - Directory Listing
Modified Thu May 31 19:23:01 2007 UTC (13 years, 10 months ago) by dbm
merge from trunk (2631:2647)
Revision 2637 - Directory Listing
Modified Wed May 30 20:23:59 2007 UTC (13 years, 10 months ago) by dbm
updating primop3-revisions after merge/commit
Revision 2636 - Directory Listing
Modified Wed May 30 20:22:55 2007 UTC (13 years, 10 months ago) by dbm
merge from trunk (2610:2630)
Revision 2612 - Directory Listing
Modified Fri May 25 01:31:49 2007 UTC (13 years, 10 months ago) by dbm
updated primop3-revisions
Revision 2611 - Directory Listing
Modified Fri May 25 01:30:39 2007 UTC (13 years, 10 months ago) by dbm
merge from trunk (2603:2610)
Revision 2601 - Directory Listing
Modified Wed May 23 20:20:16 2007 UTC (13 years, 10 months ago) by dbm
minor edit to base/system/ADD-PRIMOPS
Revision 2600 - Directory Listing
Modified Wed May 23 20:16:36 2007 UTC (13 years, 10 months ago) by dbm
HISTORY updated for merge from primop3
Revision 2596 - Directory Listing
Modified Wed May 23 16:42:24 2007 UTC (13 years, 10 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 (13 years, 10 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 (13 years, 10 months ago) by dbm
merge -r 2492:2578 from sml/trunk
Revision 2576 - Directory Listing
Modified Mon May 21 22:11:19 2007 UTC (13 years, 11 months ago) by dbm
cosmetic editing of some Control signatures
Revision 2575 - Directory Listing
Modified Mon May 21 21:02:50 2007 UTC (13 years, 11 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 (13 years, 11 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 (13 years, 11 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 (13 years, 11 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 (13 years, 11 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 (13 years, 11 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 (13 years, 11 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 (13 years, 11 months ago) by gkuan
matchdefstr0 secondary bug fixes
Revision 2541 - Directory Listing
Modified Fri May 11 20:55:44 2007 UTC (13 years, 11 months ago) by dbm
cleanup of obsolete files; MAP files updated
Revision 2532 - Directory Listing
Modified Thu May 10 05:09:42 2007 UTC (13 years, 11 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 (13 years, 11 months ago) by dbm
fix for typing/tests/19.sml bug
Revision 2529 - Directory Listing
Modified Wed May 9 23:22:59 2007 UTC (13 years, 11 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 (13 years, 11 months ago) by dbm
deleting base/testcases
Revision 2527 - Directory Listing
Modified Wed May 9 20:31:43 2007 UTC (13 years, 11 months ago) by dbm
reorganized DEVNOTES, adding Flint and Primop subdirectories
Revision 2526 - Directory Listing
Modified Wed May 9 20:21:42 2007 UTC (13 years, 11 months ago) by dbm
reorganizing DEVNOTES. Preparing to create FLINT subdirectory
Revision 2524 - Directory Listing
Modified Wed May 9 17:44:26 2007 UTC (13 years, 11 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 (13 years, 11 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 (13 years, 11 months ago) by dbm
added DEVNOTES/bootfiles
Revision 2520 - Directory Listing
Modified Mon May 7 20:02:57 2007 UTC (13 years, 11 months ago) by gkuan
1578, 1599, 1602 bugfixes
Revision 2512 - Directory Listing
Modified Mon May 7 03:38:54 2007 UTC (13 years, 11 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 (13 years, 11 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 (13 years, 11 months ago) by dbm
minor cleanups in persstamps.sml, entpath.sml
Revision 2487 - Directory Listing
Modified Thu May 3 20:03:39 2007 UTC (13 years, 11 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 (13 years, 11 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 (13 years, 11 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 (13 years, 11 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 (13 years, 11 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 (13 years, 11 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 (13 years, 11 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 (13 years, 11 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 (13 years, 11 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 (13 years, 11 months ago) by gkuan
added some comments in unify.sml
Revision 2465 - Directory Listing
Modified Mon Apr 30 04:36:48 2007 UTC (13 years, 11 months ago) by dbm
updated DEVNOTES/primop3-revisions
Revision 2464 - Directory Listing
Modified Mon Apr 30 04:35:37 2007 UTC (13 years, 11 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 (13 years, 11 months ago) by gkuan
bug589.sml nonstrict type abbrev unification fix
Revision 2458 - Directory Listing
Modified Fri Apr 27 22:48:38 2007 UTC (13 years, 11 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 (13 years, 11 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 (13 years, 11 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 (13 years, 11 months ago) by dbm
modified sigmatch.sml to eliminate secondary error
Revision 2454 - Directory Listing
Modified Thu Apr 26 03:52:12 2007 UTC (13 years, 11 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 (13 years, 11 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 (13 years, 11 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 (13 years, 11 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 (13 years, 11 months ago) by gkuan
reverting num-scan, bug1294 used wrong format
Revision 2443 - Directory Listing
Modified Mon Apr 23 14:56:50 2007 UTC (13 years, 11 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 (13 years, 11 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 (14 years 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 (14 years ago) by gkuan
single structure spec in inferred signature prints better
Revision 2433 - Directory Listing
Modified Thu Apr 19 03:42:03 2007 UTC (14 years ago) by dbm
added primop3-revisions in DEVNOTES
Revision 2432 - Directory Listing
Modified Thu Apr 19 03:14:38 2007 UTC (14 years 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 (14 years 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 (14 years ago) by gkuan
Eliminated spurious getdeclorder ERRORtyc message
Revision 2429 - Directory Listing
Modified Thu Apr 19 00:12:47 2007 UTC (14 years ago) by dbm
filling description of FLINT files
Revision 2428 - Directory Listing
Modified Wed Apr 18 21:53:03 2007 UTC (14 years 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 (14 years ago) by gkuan
reversed open decl inferred signature decl order
Revision 2424 - Directory Listing
Modified Wed Apr 18 17:14:31 2007 UTC (14 years ago) by dbm
adding FLINT/MAP and FLINT/INDEX (incomplete)
Revision 2423 - Directory Listing
Modified Wed Apr 18 16:51:39 2007 UTC (14 years ago) by gkuan
Restored printing of exceptions
Revision 2422 - Directory Listing
Modified Wed Apr 18 16:35:19 2007 UTC (14 years 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 (14 years 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 (14 years 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 (14 years 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 (14 years ago) by gkuan
removed elabtype diagnostic printing
Revision 2415 - Directory Listing
Modified Tue Apr 17 19:39:03 2007 UTC (14 years 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 (14 years 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 (14 years 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 (14 years ago) by gkuan
fixed inferred signature printing
Revision 2407 - Directory Listing
Modified Fri Apr 13 04:27:56 2007 UTC (14 years ago) by gkuan
fixed pretty printing of signatures
Revision 2402 - Directory Listing
Modified Wed Apr 11 21:34:42 2007 UTC (14 years 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 2399 - Directory Listing
Modified Wed Apr 11 19:55:16 2007 UTC (14 years ago) by gkuan
spurious debugging output turned out
Revision 2398 - Directory Listing
Modified Wed Apr 11 18:54:53 2007 UTC (14 years ago) by dbm
fixed final bootstrap bug -- successful boot
Revision 2397 - Directory Listing
Modified Wed Apr 11 14:46:59 2007 UTC (14 years ago) by gkuan
initial checkin parallel bootstrap build script
Revision 2396 - Directory Listing
Modified Tue Apr 10 22:15:30 2007 UTC (14 years 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 (14 years ago) by gkuan
transtype LT.TCENV exception handlers removed
Revision 2394 - Directory Listing
Modified Tue Apr 10 21:34:29 2007 UTC (14 years ago) by gkuan
translate mkVBs prim intrinsic and occty type equality test bug fix
Revision 2390 - Directory Listing
Modified Tue Apr 10 18:14:20 2007 UTC (14 years 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 (14 years 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 (14 years ago) by dbm
various small edits
Revision 2385 - Directory Listing
Modified Wed Apr 4 19:51:56 2007 UTC (14 years ago) by gkuan
turned off lt_eqv debug printout
Revision 2384 - Directory Listing
Modified Tue Apr 3 00:44:28 2007 UTC (14 years 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 (14 years, 2 months ago) by dbm
documentation update in DEVNOTES
Revision 2295 - Directory Listing
Modified Thu Feb 1 00:35:10 2007 UTC (14 years, 2 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 (14 years, 2 months ago) by dbm
kernel documentation, minor edits in ltykernel.sml
Revision 2293 - Directory Listing
Modified Wed Jan 31 22:17:18 2007 UTC (14 years, 2 months ago) by dbm
added kernel file to compiler/DEVNOTES
Revision 2268 - Directory Listing
Modified Fri Jan 26 22:37:53 2007 UTC (14 years, 2 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 (14 years, 2 months ago) by dbm
added DEVNOTES directory
Revision 2264 - Directory Listing
Modified Thu Jan 25 23:20:45 2007 UTC (14 years, 2 months ago) by dbm
updated debugging printing from uncommitted primop2 files
Revision 2223 - Directory Listing
Modified Tue Nov 28 22:13:51 2006 UTC (14 years, 4 months ago) by blume
II -> PrimOpId in amd64 code
Revision 2222 - Directory Listing
Modified Tue Nov 28 22:02:39 2006 UTC (14 years, 4 months ago) by blume
merged all changes from primop-branch-2
Revision 2221 - Directory Listing
Modified Tue Nov 28 21:56:55 2006 UTC (14 years, 4 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 (14 years, 6 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 (14 years, 6 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 (14 years, 6 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 (14 years, 7 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 (14 years, 7 months ago) by georgekuan
Narrowed down num-scan.sml type error
Revision 2058 - Directory Listing
Modified Tue Sep 5 14:38:20 2006 UTC (14 years, 7 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 (14 years, 7 months ago) by macqueen
various debugging changes
Revision 2056 - Directory Listing
Modified Tue Aug 29 17:37:39 2006 UTC (14 years, 7 months ago) by macqueen
fixed parser2.sml problem
Revision 2055 - Directory Listing
Modified Tue Aug 29 14:05:14 2006 UTC (14 years, 7 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 (14 years, 7 months ago) by macqueen
added further debugging instrumentation
Revision 2053 - Directory Listing
Modified Mon Aug 28 05:12:11 2006 UTC (14 years, 7 months ago) by macqueen
switched all pretty printing to use PrettyPrintNew
Revision 2052 - Directory Listing
Modified Sun Aug 27 18:50:10 2006 UTC (14 years, 7 months ago) by macqueen
updating pplexp.sml to use new pretty printing
Revision 2051 - Directory Listing
Modified Fri Aug 25 23:03:04 2006 UTC (14 years, 7 months ago) by macqueen
partially finished rpplexp.sml to replace pplexp.sml
Revision 2050 - Directory Listing
Modified Thu Aug 24 23:03:10 2006 UTC (14 years, 7 months ago) by macqueen
refining debugging instrumentation
Revision 2049 - Directory Listing
Modified Thu Aug 24 19:28:42 2006 UTC (14 years, 7 months 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 (14 years, 7 months ago) by georgekuan
pplexp uses new pplty/pptkind pretty printers
Revision 2047 - Directory Listing
Modified Thu Aug 24 19:09:41 2006 UTC (14 years, 7 months 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 (14 years, 7 months ago) by georgekuan
improved error reporting in chkplexp
Revision 2045 - Directory Listing
Modified Thu Aug 24 17:47:43 2006 UTC (14 years, 7 months ago) by georgekuan
*** empty log message ***
Revision 2044 - Directory Listing
Modified Thu Aug 24 17:45:04 2006 UTC (14 years, 7 months 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 (14 years, 7 months ago) by macqueen
updated kind check, ppLty
Revision 2042 - Directory Listing
Modified Thu Aug 24 14:56:24 2006 UTC (14 years, 7 months ago) by macqueen
added printer for kind environments
Revision 2041 - Directory Listing
Modified Thu Aug 24 12:20:15 2006 UTC (14 years, 7 months ago) by macqueen
adding ltykindchk.sml
Revision 2040 - Directory Listing
Modified Wed Aug 23 23:44:18 2006 UTC (14 years, 7 months ago) by macqueen
debugging kind check error
Revision 2039 - Directory Listing
Modified Tue Aug 22 22:54:10 2006 UTC (14 years, 7 months ago) by macqueen
continued instrumentation and commenting for tcc_env bug
Revision 2038 - Directory Listing
Modified Mon Aug 21 23:07:07 2006 UTC (14 years, 7 months ago) by macqueen
debugging plambda type checking
Revision 2037 - Directory Listing
Modified Mon Aug 21 20:40:35 2006 UTC (14 years, 7 months ago) by georgekuan
newlines for transtypes warnings
Revision 2036 - Directory Listing
Modified Mon Aug 21 20:38:36 2006 UTC (14 years, 7 months ago) by georgekuan
fixed TC_IND/normalized AX_FLAG bug
Revision 2035 - Directory Listing
Modified Fri Aug 18 23:54:34 2006 UTC (14 years, 8 months ago) by georgekuan
chkplexp compiles
Revision 2034 - Directory Listing
Modified Fri Aug 18 23:43:02 2006 UTC (14 years, 8 months ago) by georgekuan
Kind checking exceptions re-exported through LtyExtern
Revision 2033 - Directory Listing
Modified Fri Aug 18 22:58:46 2006 UTC (14 years, 8 months ago) by macqueen
adding kind checking to chkplexp.sml
Revision 2032 - Directory Listing
Modified Fri Aug 18 21:19:55 2006 UTC (14 years, 8 months 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 (14 years, 8 months ago) by georgekuan
lty kind checker
Revision 2030 - Directory Listing
Modified Fri Aug 18 17:28:28 2006 UTC (14 years, 8 months ago) by georgekuan
kind checker moved to lty.sml
Revision 2029 - Directory Listing
Modified Fri Aug 18 16:24:18 2006 UTC (14 years, 8 months ago) by georgekuan
kind checker unfolds teBinder list from tycEnv
Revision 2028 - Directory Listing
Modified Fri Aug 18 14:58:19 2006 UTC (14 years, 8 months ago) by georgekuan
added TC_ENV checking to kind checker
Revision 2027 - Directory Listing
Modified Thu Aug 17 23:13:14 2006 UTC (14 years, 8 months ago) by macqueen
preparing for kind checking
Revision 2026 - Directory Listing
Modified Thu Aug 17 21:55:48 2006 UTC (14 years, 8 months ago) by georgekuan
tycEnv representation change propagated through ltykernel.sml
Revision 2025 - Directory Listing
Modified Thu Aug 17 21:26:26 2006 UTC (14 years, 8 months ago) by georgekuan
tycEnv representation change propagated through pplty.sml
Revision 2024 - Directory Listing
Modified Thu Aug 17 21:08:37 2006 UTC (14 years, 8 months ago) by georgekuan
lty.sml typos
Revision 2023 - Directory Listing
Modified Thu Aug 17 21:00:37 2006 UTC (14 years, 8 months ago) by georgekuan
lty.sml typos
Revision 2022 - Directory Listing
Modified Thu Aug 17 20:54:13 2006 UTC (14 years, 8 months 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 (14 years, 8 months ago) by macqueen
new representation and interface for tycEnv
Revision 2020 - Directory Listing
Modified Thu Aug 17 19:54:34 2006 UTC (14 years, 8 months ago) by georgekuan
kind checking
Revision 2019 - Directory Listing
Modified Thu Aug 17 15:36:17 2006 UTC (14 years, 8 months ago) by georgekuan
beginning full FLINT kind checker
Revision 2018 - Directory Listing
Modified Wed Aug 16 23:25:03 2006 UTC (14 years, 8 months ago) by macqueen
completed prototype kind checker
Revision 2017 - Directory Listing
Modified Tue Aug 15 23:01:32 2006 UTC (14 years, 8 months 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 (14 years, 8 months ago) by macqueen
added lty.sig, lty.sml in FLINT/kernel
Revision 2015 - Directory Listing
Modified Mon Aug 14 21:42:33 2006 UTC (14 years, 8 months ago) by macqueen
added kindch directory
Revision 2014 - Directory Listing
Modified Fri Aug 11 20:42:24 2006 UTC (14 years, 8 months ago) by macqueen
broke ltykernel into lty and ltykernel, improved pplty
Revision 2013 - Directory Listing
Modified Fri Aug 11 04:09:23 2006 UTC (14 years, 8 months ago) by georgekuan
Narrowed down where bad suspension was built
Revision 2012 - Directory Listing
Modified Tue Aug 8 19:32:53 2006 UTC (14 years, 8 months 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 (14 years, 8 months ago) by georgekuan
cleaned up pplty tyc part
Revision 2010 - Directory Listing
Modified Mon Aug 7 03:52:33 2006 UTC (14 years, 8 months ago) by georgekuan
made plambda lexp printout dependent on debugging flag
Revision 2009 - Directory Listing
Modified Sun Aug 6 06:05:09 2006 UTC (14 years, 8 months 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 (14 years, 8 months ago) by georgekuan
pplty updated to pretty priint rectycs more sensibly
Revision 2007 - Directory Listing
Modified Thu Aug 3 03:11:32 2006 UTC (14 years, 8 months ago) by georgekuan
(mutually-)rectype arity checking done
Revision 2006 - Directory Listing
Modified Wed Aug 2 20:59:42 2006 UTC (14 years, 8 months ago) by georgekuan
*** empty log message ***
Revision 2005 - Directory Listing
Modified Tue Aug 1 23:01:55 2006 UTC (14 years, 8 months ago) by georgekuan
new pretty printer pputil-new
Revision 2004 - Directory Listing
Modified Tue Aug 1 23:01:19 2006 UTC (14 years, 8 months ago) by macqueen
added rule comments to ltykernel.sml
Revision 2003 - Directory Listing
Modified Mon Jul 31 23:29:46 2006 UTC (14 years, 8 months ago) by georgekuan
pp for prim, transtype IBOUND case a bug
Revision 2002 - Directory Listing
Modified Mon Jul 31 19:07:10 2006 UTC (14 years, 8 months ago) by georgekuan
added more PP.break's to PPLTy
Revision 2001 - Directory Listing
Modified Mon Jul 31 18:50:45 2006 UTC (14 years, 8 months 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 (14 years, 8 months ago) by georgekuan
PPLty complete at least for printing Ltycs
Revision 1999 - Directory Listing
Modified Mon Jul 31 16:05:41 2006 UTC (14 years, 8 months ago) by georgekuan
more work on pplty -- ppTyc complete
Revision 1998 - Directory Listing
Modified Fri Jul 28 22:26:08 2006 UTC (14 years, 8 months ago) by georgekuan
started LTy pretty printer using SMLNJ-lib
Revision 1997 - Directory Listing
Modified Wed Jul 26 22:34:58 2006 UTC (14 years, 8 months ago) by georgekuan
flintnm debug printouts refined
Revision 1996 - Directory Listing
Modified Wed Jul 26 21:56:37 2006 UTC (14 years, 8 months ago) by georgekuan
flintnm debug printouts -- call trace info
Revision 1995 - Directory Listing
Modified Wed Jul 26 21:28:29 2006 UTC (14 years, 8 months 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 (14 years, 8 months 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 (14 years, 8 months ago) by macqueen
further debugging code
Revision 1992 - Directory Listing
Modified Wed Jul 26 15:22:19 2006 UTC (14 years, 8 months 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 (14 years, 8 months ago) by macqueen
added questions to notes, touched up sigmatch
Revision 1990 - Directory Listing
Modified Mon Jul 24 23:10:58 2006 UTC (14 years, 8 months ago) by georgekuan
debugging printouts
Revision 1989 - Directory Listing
Modified Mon Jul 24 23:10:26 2006 UTC (14 years, 8 months ago) by georgekuan
temporary stand-in for primopid pretty printer
Revision 1988 - Directory Listing
Modified Mon Jul 24 23:08:58 2006 UTC (14 years, 8 months 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 (14 years, 8 months ago) by georgekuan
debugging info flintnm and translate
Revision 1986 - Directory Listing
Modified Mon Jul 24 22:38:55 2006 UTC (14 years, 8 months ago) by macqueen
minor edits -- comments, etc.
Revision 1985 - Directory Listing
Modified Tue Jul 18 19:46:35 2006 UTC (14 years, 9 months ago) by georgekuan
debug printout
Revision 1984 - Directory Listing
Modified Tue Jul 18 14:39:28 2006 UTC (14 years, 9 months ago) by georgekuan
more debugging printouts
Revision 1983 - Directory Listing
Modified Tue Jul 18 14:15:36 2006 UTC (14 years, 9 months 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 (14 years, 9 months ago) by georgekuan
commented out some Translator and TypesUtil debugging info
Revision 1981 - Directory Listing
Modified Tue Jul 18 02:03:32 2006 UTC (14 years, 9 months 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 (14 years, 9 months 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 (14 years, 9 months 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 (14 years, 9 months ago) by macqueen
further specification of types of InLine bindings
Revision 1977 - Directory Listing
Modified Thu Jul 13 21:10:44 2006 UTC (14 years, 9 months 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 (14 years, 9 months ago) by macqueen
primoptypemap added
Revision 1975 - Directory Listing
Modified Thu Jul 13 20:12:25 2006 UTC (14 years, 9 months ago) by macqueen
fixes for new primop scheme
Revision 1974 - Directory Listing
Modified Thu Jul 13 18:21:39 2006 UTC (14 years, 9 months ago) by georgekuan
*** empty log message ***
Revision 1973 - Directory Listing
Modified Wed Jul 12 22:02:12 2006 UTC (14 years, 9 months ago) by macqueen
added some error printing to lt_inst
Revision 1972 - Directory Listing
Modified Wed Jul 12 15:52:38 2006 UTC (14 years, 9 months 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 (14 years, 9 months 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 (14 years, 9 months ago) by macqueen
further primop hacking -- getting close to compile
Revision 1969 - Directory Listing
Modified Tue Jul 11 15:35:49 2006 UTC (14 years, 9 months ago) by georgekuan
Use strPrimInfo instead of strPrimElem
Revision 1968 - Directory Listing
Modified Tue Jul 11 15:10:15 2006 UTC (14 years, 9 months ago) by georgekuan
*** empty log message ***
Revision 1967 - Directory Listing
Modified Mon Jul 10 22:27:13 2006 UTC (14 years, 9 months ago) by macqueen
further changes to primops, starting on translate.sml
Revision 1966 - Directory Listing
Modified Mon Jul 10 14:30:48 2006 UTC (14 years, 9 months ago) by georgekuan
some more updating of tdp-instrument
Revision 1965 - Directory Listing
Modified Mon Jul 10 14:22:34 2006 UTC (14 years, 9 months 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 (14 years, 9 months 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 (14 years, 9 months ago) by georgekuan
elabdata builds again, fixed prim.sml
Revision 1962 - Directory Listing
Modified Fri Jul 7 21:32:42 2006 UTC (14 years, 9 months ago) by georgekuan
fixed some typesutil syntax and signature specs
Revision 1961 - Directory Listing
Modified Fri Jul 7 21:06:11 2006 UTC (14 years, 9 months ago) by macqueen
fixup matchTypes in sigmatch, VALvar in many files
Revision 1960 - Directory Listing
Modified Fri Jul 7 20:38:45 2006 UTC (14 years, 9 months 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 (14 years, 9 months 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 (14 years, 9 months 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 (14 years, 9 months ago) by georgekuan
ElabData work on moduleutil.sml mainly
Revision 1956 - Directory Listing
Modified Thu Jul 6 20:13:39 2006 UTC (14 years, 9 months 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 (14 years, 9 months ago) by macqueen
revised primopid.sml/sig
Revision 1954 - Directory Listing
Modified Thu Jul 6 16:35:38 2006 UTC (14 years, 9 months 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 (14 years, 9 months 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 (14 years, 9 months ago) by georgekuan
Moved matchTypes to TypeUtils
Revision 1951 - Directory Listing
Modified Wed Jul 5 21:31:22 2006 UTC (14 years, 9 months ago) by macqueen
hacking on sigmatch.sml - primops and type instantiation
Revision 1949 - Directory Listing
Modified Wed Jun 28 00:02:59 2006 UTC (14 years, 9 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 (14 years, 9 months ago) by macqueen
updated primop-list, modified translate.sml
Revision 1947 - Directory Listing
Modified Wed Jun 21 21:14:42 2006 UTC (14 years, 9 months ago) by macqueen
added to notes
Revision 1946 - Directory Listing
Modified Tue Jun 20 22:15:23 2006 UTC (14 years, 10 months ago) by macqueen
further primop changes
Revision 1945 - Directory Listing
Modified Tue Jun 20 17:09:18 2006 UTC (14 years, 10 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 (14 years, 10 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 (14 years, 10 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 (14 years, 10 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 (14 years, 10 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 (14 years, 10 months ago) by georgekuan
Fixed some syntax errors
Revision 1939 - Directory Listing
Modified Mon Jun 19 22:29:00 2006 UTC (14 years, 10 months ago) by macqueen
update of InlInfo
Revision 1938 - Directory Listing
Modified Thu Jun 15 22:28:07 2006 UTC (14 years, 10 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 (14 years, 10 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 (15 years, 8 months 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 (15 years, 11 months ago) by macqueen
minor edits
Revision 1658 - Directory Listing
Modified Wed Oct 20 21:07:54 2004 UTC (16 years, 6 months ago) by mblume
merge changes from main trunk
Revision 1657 - Directory Listing
Modified Wed Oct 20 20:05:45 2004 UTC (16 years, 6 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 (16 years, 6 months ago) by mblume
merging changes from main trunk
Revision 1628 - Directory Listing
Modified Wed Sep 15 20:58:05 2004 UTC (16 years, 7 months ago) by mblume
merge changes from main trunk
Revision 1627 - Directory Listing
Modified Wed Sep 15 20:58:05 2004 UTC (16 years, 7 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 (16 years, 8 months 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 (16 years, 8 months 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 (16 years, 8 months 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 (16 years, 8 months ago) by macqueen
editing notes, MAP
Revision 1558 - Directory Listing
Modified Thu Jul 22 22:30:55 2004 UTC (16 years, 8 months ago) by macqueen
editing notes, sigmatch.sml
Revision 1556 - Directory Listing
Modified Wed Jul 21 21:54:54 2004 UTC (16 years, 9 months ago) by macqueen
working on eqvTnspTy
Revision 1555 - Directory Listing
Modified Tue Jul 20 21:40:36 2004 UTC (16 years, 9 months ago) by macqueen
revised eqvTnspTy
Revision 1543 - Directory Listing
Modified Tue Jul 13 22:19:50 2004 UTC (16 years, 9 months ago) by mblume
another merge from main trunk
Revision 1542 - Directory Listing
Modified Tue Jul 13 22:19:50 2004 UTC (16 years, 9 months 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 (16 years, 9 months ago) by mblume
merge changes from main trunk
Revision 1535 - Directory Listing
Modified Tue Jul 13 05:00:35 2004 UTC (16 years, 9 months ago) by mblume
merge changes from main trunk
Revision 1534 - Directory Listing
Modified Tue Jul 13 05:00:35 2004 UTC (16 years, 9 months 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 (16 years, 10 months ago) by mblume
merge changes from main trunk
Revision 1516 - Directory Listing
Modified Fri Jun 18 19:52:04 2004 UTC (16 years, 10 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 (16 years, 10 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 (16 years, 10 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 (16 years, 10 months ago) by mblume
merge changes from main trunk
Revision 1493 - Directory Listing
Modified Tue May 18 21:19:57 2004 UTC (16 years, 11 months ago) by mblume
merged changes from main trunk
Revision 1492 - Directory Listing
Modified Tue May 18 21:19:57 2004 UTC (16 years, 11 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 (16 years, 11 months ago) by mblume
merge changes from main trunk
Revision 1483 - Directory Listing
Modified Sat Apr 24 13:30:51 2004 UTC (16 years, 11 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 (17 years 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 (17 years ago) by macqueen
notes and added comments
Revision 1474 - Directory Listing
Modified Sun Apr 4 21:29:18 2004 UTC (17 years 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 (17 years 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 (17 years 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 (17 years, 2 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 (17 years, 2 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 (17 years, 2 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 (17 years, 2 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 (17 years, 2 months ago) by mblume
sync of devel branch
Revision 1450 - Directory Listing
Modified Sat Jan 31 14:24:42 2004 UTC (17 years, 2 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 (17 years, 3 months ago) by mblume
added copyright notices
Revision 1441 - Directory Listing
Modified Thu Jan 15 23:01:21 2004 UTC (17 years, 3 months ago) by mblume
implemented readline stream
Revision 1440 - Directory Listing
Modified Wed Jan 14 23:26:22 2004 UTC (17 years, 3 months ago) by mblume
fixed problem with not having linked curses
Revision 1439 - Directory Listing
Modified Wed Jan 14 22:55:24 2004 UTC (17 years, 3 months ago) by mblume
added readline example to ml-nlffi-lib
Revision 1434 - Directory Listing
Modified Thu Dec 11 23:23:44 2003 UTC (17 years, 4 months ago) by mblume
snapshot of plugin hacking
Revision 1430 - Directory Listing
Modified Wed Nov 26 06:34:28 2003 UTC (17 years, 4 months ago) by mblume
exported Unify from elaborate.cm
Revision 1429 - Directory Listing
Modified Mon Nov 24 20:34:21 2003 UTC (17 years, 4 months ago) by mblume
undo last attempted change
Revision 1428 - Directory Listing
Modified Fri Nov 21 19:49:33 2003 UTC (17 years, 4 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 (17 years, 5 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 (17 years, 5 months ago) by mblume
print ast/absyn earlier
Revision 1416 - Directory Listing
Modified Thu Nov 6 18:44:37 2003 UTC (17 years, 5 months ago) by mblume
merged changes from main trunk
Revision 1412 - Directory Listing
Modified Tue Nov 4 19:07:43 2003 UTC (17 years, 5 months ago) by mblume
merge changes from main trunk
Revision 1410 - Directory Listing
Modified Mon Nov 3 22:32:01 2003 UTC (17 years, 5 months ago) by mblume
merge changes from main trunk
Revision 1408 - Directory Listing
Modified Tue Oct 28 22:28:00 2003 UTC (17 years, 5 months ago) by mblume
merged changes from main trunk
Revision 1406 - Directory Listing
Modified Thu Oct 23 22:09:13 2003 UTC (17 years, 5 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 (17 years, 6 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 (17 years, 6 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 (17 years, 6 months ago) by mblume
more plugin hacking
Revision 1402 - Directory Listing
Modified Thu Oct 2 16:09:02 2003 UTC (17 years, 6 months ago) by mblume
started implementation of plugin support
Revision 1401 - Directory Listing
Modified Thu Oct 2 16:09:02 2003 UTC (17 years, 6 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 (17 years, 7 months ago) by macqueen
VARexp changed to take whole instantiated type
Revision 1373 - Directory Listing
Modified Mon Sep 15 22:16:26 2003 UTC (17 years, 7 months ago) by macqueen
eliminating type from primop info
Revision 1372 - Directory Listing
Modified Mon Sep 15 22:16:26 2003 UTC (17 years, 7 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 (18 years, 10 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 (18 years, 10 months ago) by blume
added sml-basis.idl (for reference)
Revision 1244 - Directory Listing
Modified Wed Jun 12 20:25:34 2002 UTC (18 years, 10 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 (18 years, 10 months ago) by blume
more filling of gaps
Revision 1239 - Directory Listing
Modified Tue Jun 11 15:26:11 2002 UTC (18 years, 10 months ago) by blume
provided implementations for fromUnixPath and toUnixPath
Revision 1237 - Directory Listing
Modified Mon Jun 10 20:08:08 2002 UTC (18 years, 10 months ago) by blume
provided scan and fromString in IEEEReal
Revision 1236 - Directory Listing
Modified Fri Jun 7 18:52:21 2002 UTC (18 years, 10 months ago) by blume
fixed and exported various missing slice modules
Revision 1235 - Directory Listing
Modified Thu Jun 6 20:10:03 2002 UTC (18 years, 10 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 (18 years, 10 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 (18 years, 10 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 (18 years, 10 months ago) by blume
merged all changes from main trunk
Revision 1231 - Directory Listing
Modified Mon Jun 3 18:32:08 2002 UTC (18 years, 10 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 (19 years, 1 month 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 (19 years, 4 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 (19 years, 4 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 (19 years, 5 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 (19 years, 7 months 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 (19 years, 7 months 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 (19 years, 9 months 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 (19 years, 9 months 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 (19 years, 9 months 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 (19 years, 9 months ago) by blume
dealing with OS and IO issues
Revision 868 - Directory Listing
Modified Tue Jul 3 15:05:32 2001 UTC (19 years, 9 months ago) by blume
begun to do something about Time
Revision 867 - Directory Listing
Modified Mon Jul 2 20:14:11 2001 UTC (19 years, 9 months 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 (19 years, 9 months ago) by blume
more fixup work
Revision 865 - Directory Listing
Modified Sat Jun 30 03:40:12 2001 UTC (19 years, 9 months ago) by dbm
latest idl version for sml-basis*.sml
Revision 864 - Directory Listing
Modified Fri Jun 29 19:50:25 2001 UTC (19 years, 9 months ago) by blume
map signatures in MONO_VECTOR_SLICE fixed(?)
Revision 863 - Directory Listing
Modified Thu Jun 28 20:41:28 2001 UTC (19 years, 9 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 (19 years, 9 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 (19 years, 9 months ago) by blume
CharArray.vector added; Real64ArraySlice is back
Revision 860 - Directory Listing
Modified Wed Jun 27 21:51:46 2001 UTC (19 years, 9 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 (19 years, 9 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 (19 years, 9 months ago) by dbm
adding list-sig.sml, SML90-sig.sml
Revision 857 - Directory Listing
Modified Wed Jun 27 21:03:15 2001 UTC (19 years, 9 months ago) by dbm
adding sml-basis files
Revision 856 - Directory Listing
Modified Wed Jun 27 20:19:03 2001 UTC (19 years, 9 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 (19 years, 9 months ago) by dbm
adding isSubstring
Revision 851 - Directory Listing
Modified Mon Jun 25 21:06:39 2001 UTC (19 years, 9 months ago) by dbm
adding new -sig files
Revision 850 - Directory Listing
Modified Mon Jun 25 19:42:31 2001 UTC (19 years, 9 months ago) by dbm
adding new files
Revision 849 - Directory Listing
Modified Mon Jun 25 19:29:29 2001 UTC (19 years, 9 months ago) by dbm
adding array-slice-sig.sml
Revision 848 - Directory Listing
Modified Mon Jun 25 19:29:29 2001 UTC (19 years, 9 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 (19 years, 11 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 (20 years, 11 months ago) by monnier
*** empty log message ***
Revision 611 - Directory Listing
Modified Mon Apr 10 19:03:03 2000 UTC (21 years 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 (21 years 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 (21 years, 1 month 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 (21 years, 1 month 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 (21 years, 1 month 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 (21 years, 4 months ago) by monnier
version 110.25.1
Revision 500 - Directory Listing
Modified Tue Dec 7 15:59:36 1999 UTC (21 years, 4 months ago) by monnier
version 110.25
Revision 498 - Directory Listing
Modified Tue Dec 7 15:44:50 1999 UTC (21 years, 4 months ago) by monnier
version 110.25
Revision 497 - Directory Listing
Modified Tue Dec 7 15:44:50 1999 UTC (21 years, 4 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 (21 years, 5 months ago) by monnier
version 110.24
Revision 474 - Directory Listing
Modified Wed Nov 10 22:59:58 1999 UTC (21 years, 5 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 (21 years, 5 months ago) by monnier
version 110.23
Revision 469 - Directory Listing
Modified Wed Nov 10 22:42:52 1999 UTC (21 years, 5 months ago) by monnier
version 110.23
Revision 468 - Directory Listing
Modified Wed Nov 10 22:42:52 1999 UTC (21 years, 5 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 (21 years, 7 months ago) by monnier
version 110.22
Revision 439 - Directory Listing
Modified Wed Sep 15 16:37:27 1999 UTC (21 years, 7 months ago) by monnier
version 110.22
Revision 438 - Directory Listing
Modified Wed Sep 15 16:37:27 1999 UTC (21 years, 7 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 (21 years, 7 months ago) by monnier
version 110.21
Revision 428 - Directory Listing
Modified Wed Sep 8 09:47:00 1999 UTC (21 years, 7 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 (21 years, 7 months ago) by monnier
version 110.20
Revision 418 - Directory Listing
Modified Fri Sep 3 23:51:27 1999 UTC (21 years, 7 months ago) by monnier
version 110.20
Revision 417 - Directory Listing
Modified Fri Sep 3 23:51:27 1999 UTC (21 years, 7 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 (21 years, 7 months ago) by monnier
version 110.19
Revision 411 - Directory Listing
Modified Fri Sep 3 00:25:03 1999 UTC (21 years, 7 months ago) by monnier
version 110.19
Revision 410 - Directory Listing
Modified Fri Sep 3 00:25:03 1999 UTC (21 years, 7 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 (21 years, 11 months ago) by monnier
version 110.17
Revision 288 - Directory Listing
Modified Sat May 22 21:01:25 1999 UTC (21 years, 11 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 (21 years, 11 months ago) by monnier
version 110.16.1
Revision 263 - Directory Listing
Modified Thu May 6 06:52:06 1999 UTC (21 years, 11 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 (22 years ago) by monnier
version 110.16
Revision 247 - Directory Listing
Modified Sat Apr 17 18:47:13 1999 UTC (22 years ago) by monnier
version 110.16
Revision 245 - Directory Listing
Modified Sat Apr 17 18:47:12 1999 UTC (22 years ago) by monnier
version 110.16
Revision 243 - Directory Listing
Modified Sat Apr 17 18:41:51 1999 UTC (22 years ago) by monnier
version 110.16
Revision 242 - Directory Listing
Modified Sat Apr 17 18:41:51 1999 UTC (22 years 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 (22 years ago) by monnier
version 110.15
Revision 238 - Directory Listing
Modified Sat Apr 17 18:29:24 1999 UTC (22 years 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 (22 years ago) by monnier
version 110.14
Revision 234 - Directory Listing
Modified Sat Apr 17 18:21:47 1999 UTC (22 years 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 (22 years ago) by monnier
version 110.13
Revision 230 - Directory Listing
Modified Sat Apr 17 18:14:18 1999 UTC (22 years 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 (22 years ago) by monnier
version 110.12
Revision 226 - Directory Listing
Modified Sat Apr 17 17:15:03 1999 UTC (22 years 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 (22 years ago) by monnier
version 110.11
Revision 222 - Directory Listing
Modified Sat Apr 17 16:27:01 1999 UTC (22 years 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 (22 years, 3 months ago) by monnier
version 110.10
Revision 209 - Directory Listing
Modified Fri Jan 15 16:00:20 1999 UTC (22 years, 3 months ago) by monnier
version 110.10
Revision 207 - Directory Listing
Modified Fri Jan 15 15:54:19 1999 UTC (22 years, 3 months ago) by monnier
version 110.10
Revision 206 - Directory Listing
Modified Fri Jan 15 15:54:19 1999 UTC (22 years, 3 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 (22 years, 5 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 (22 years, 5 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 (22 years, 5 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 (22 years, 5 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 (22 years, 5 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 (22 years, 5 months ago) by monnier
version $version
Revision 167 - Directory Listing
Modified Sat Nov 7 20:11:41 1998 UTC (22 years, 5 months ago) by monnier
version $version
Revision 166 - Directory Listing
Modified Sat Nov 7 20:11:41 1998 UTC (22 years, 5 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 (22 years, 7 months ago) by monnier
Release_110_8_1
Revision 141 - Directory Listing
Modified Mon Sep 7 21:37:09 1998 UTC (22 years, 7 months ago) by monnier
110.8
Revision 139 - Directory Listing
Modified Mon Sep 7 21:11:35 1998 UTC (22 years, 7 months ago) by monnier
110.8
Revision 138 - Directory Listing
Modified Mon Sep 7 21:11:35 1998 UTC (22 years, 7 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 (22 years, 7 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 (22 years, 7 months ago) by monnier
Release_110_8
Revision 130 - Directory Listing
Modified Mon Sep 7 19:39:22 1998 UTC (22 years, 7 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 (22 years, 7 months ago) by monnier
Release_110_7_3
Revision 125 - Directory Listing
Modified Mon Sep 7 18:14:32 1998 UTC (22 years, 7 months ago) by monnier
Release_110_7_2
Revision 123 - Directory Listing
Modified Mon Sep 7 16:19:55 1998 UTC (22 years, 7 months ago) by monnier
Release_110_7_1
Revision 116 - Directory Listing
Modified Fri Jun 5 20:15:29 1998 UTC (22 years, 10 months ago) by monnier
removed deleted files
Revision 113 - Directory Listing
Modified Fri Jun 5 19:41:21 1998 UTC (22 years, 10 months ago) by monnier
110.7
Revision 112 - Directory Listing
Modified Fri Jun 5 19:41:21 1998 UTC (22 years, 10 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 (22 years, 10 months ago) by monnier
removed files from older versions
Revision 106 - Directory Listing
Modified Thu May 28 21:30:17 1998 UTC (22 years, 10 months ago) by monnier
110.6
Revision 105 - Directory Listing
Modified Thu May 28 21:30:17 1998 UTC (22 years, 10 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 (22 years, 11 months ago) by monnier
110.5.1 from Zhong
Revision 99 - Directory Listing
Modified Thu May 14 04:56:46 1998 UTC (22 years, 11 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 (22 years, 11 months ago) by monnier
*** empty log message ***
Revision 91 - Directory Listing
Modified Tue May 12 21:55:42 1998 UTC (22 years, 11 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 (22 years, 11 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 (23 years ago) by monnier
*** empty log message ***
Revision 67 - Directory Listing
Modified Fri Apr 3 00:06:42 1998 UTC (23 years 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 (23 years, 1 month ago) by monnier
*** empty log message ***
Revision 43 - Directory Listing
Modified Sun Mar 22 20:10:57 1998 UTC (23 years, 1 month 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 (23 years, 1 month 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 (23 years, 1 month ago) by monnier
*** empty log message ***
Revision 27 - Directory Listing
Modified Thu Mar 12 01:05:57 1998 UTC (23 years, 1 month 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 (23 years, 1 month ago) by monnier
*** empty log message ***
Revision 22 - Directory Listing
Modified Thu Mar 12 00:49:56 1998 UTC (23 years, 1 month 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 (23 years, 1 month 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 (23 years, 1 month 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 (23 years, 3 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 (23 years, 3 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 (23 years, 3 months ago) by monnier
*** empty log message ***
Revision 4 - Directory Listing
Modified Sat Oct 4 23:33:46 1997 UTC (23 years, 6 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 (23 years, 6 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 (23 years, 6 months ago) by
New repository initialized by cvs2svn.
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |