/[mojave]/metaprl/refiner/reflib/Files
ViewVC logotype

Log of /metaprl/refiner/reflib/Files

Parent Directory Parent Directory | Revision Log Revision Log


Links to HEAD: (view) (download) (annotate)
Sticky Revision:

Revision 2520 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 29 23:28:38 1998 UTC (22 years, 6 months ago) by nogin
File length: 326 byte(s)
Diff to previous 2494
Added the bi-directional Term_copy module
written by Yegon Bryukhov <yegor@lpcs.math.msu.ru>

This version is undebugged and is very slow:
it seems to be quadratic and also it becomes much slower
after each invocation.


Revision 2494 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 13 01:14:08 1998 UTC (22 years, 8 months ago) by jyh
File length: 257 byte(s)
Diff to previous 2443
I changed all the obvious places of Nuprl-Light, NL, nl, or any
other instance to MetaPRL, MP, or mp, etc.  The docs may be broken
but I'll fix them soon.  As usual, let me know if anything breaks.


Revision 2443 - (view) (download) (annotate) - [select for diffs]
Modified Mon Aug 24 13:43:48 1998 UTC (22 years, 10 months ago) by jyh
File length: 257 byte(s)
Diff to previous 2356
Slightly better Ensemble scheduling.
Native-code compiler has trouble marshaling functions--
its probably a problem with the marshaler.

Added Nl_num, a ML-only implementation of bignums.
This is slower than the C version used by OCaml, but
we can marshal the Nl_nums.  Most of the files changed
are just replacements of Num.* with Nl_num.*.


Revision 2356 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jul 24 21:11:12 1998 UTC (22 years, 11 months ago) by nogin
File length: 254 byte(s)
Diff to previous 2291
Functorized the Simple_print module over the Refiner module


Revision 2291 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jul 3 22:06:15 1998 UTC (22 years, 11 months ago) by jyh
File length: 235 byte(s)
Diff to previous 2284
IO terms are now in term_std format.


Revision 2284 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jul 2 22:25:40 1998 UTC (22 years, 11 months ago) by jyh
File length: 235 byte(s)
Diff to previous 2256
Created term_copy module to copy and normalize terms.


Revision 2256 - (view) (download) (annotate) - [select for diffs]
Modified Wed Jun 17 13:18:33 1998 UTC (23 years ago) by jyh
File length: 223 byte(s)
Diff to previous 2222
Added ml_term.


Revision 2222 - (view) (download) (annotate) - [select for diffs]
Modified Tue Jun 9 20:53:04 1998 UTC (23 years ago) by jyh
File length: 213 byte(s)
Diff to previous 2195
Propagated refinement changes.
New tacticals module.


Revision 2195 - (view) (download) (annotate) - [select for diffs]
Added Fri May 29 00:42:17 1998 UTC (23 years ago) by jyh
File length: 229 byte(s)
File listings.


This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

  ViewVC Help
Powered by ViewVC 1.1.26