/[mojave]/metaprl/mllib
ViewVC logotype

Index of /metaprl/mllib

Files shown:134
Directory revision: 3591 (of 13286)
Sticky Revision:


File Rev. Age Author Last log entry
 Parent Directory        
Conscript  3576  19 years  emre   These updates to the Conscripts allow for a compiles, started in the MC source t…
Makefile  3519  19 years  nogin   String_util cleanup: - Removed some duplicated and unused string code. - Remove…
array_linear_set.ml  2590  22 years  nogin   Added the Linear_set implementation based on arrays (the same as was used before…
array_linear_set.mli  2590  22 years  nogin   Added the Linear_set implementation based on arrays (the same as was used before…
array_sig.ml  2649  22 years  jyh   Added an initial incomplete version of the distributed marshaler.
array_util.ml  2969  21 years  nogin   Fixed a bug in red_black_set - it forgot to sort the list and get rid of duplica…
array_util.mli  2969  21 years  nogin   Fixed a bug in red_black_set - it forgot to sort the list and get rid of duplica…
bitset.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
bitset.mli  2307  23 years  nogin   Removed $Log messages from all NL files.
comment_parse.mli  3057  20 years  jyh   This jumbo update is a documentation update. There are no logical changes. I d…
comment_parse.mll  3591  19 years  nogin   - Added an option to be have "THEORIES=all" in mk/config (instead of THEORIES="l…
cycle_dag.ml  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
cycle_dag.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
dag.mlz  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
debug_string_sets.ml  3142  20 years  nogin   Removed some duplicated printing code.
debug_string_sets.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
debug_tables.ml  3284  20 years  nogin   Got rid of annoying extra set (or 'arg) type argument in table functors.
debug_tables.mli  3284  20 years  nogin   Got rid of annoying extra set (or 'arg) type argument in table functors.
env_arg.ml  3410  19 years  nogin   - Merged the Ocaml 3.02 changes - Now http server is compiled in by default, bu…
env_arg.mli  3027  21 years  nogin   Backported some of Jason's changes.
file_base.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
file_base.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
file_base_type.ml  2785  22 years  jyh   Filter creates .prlb file from .prla if it does not exist. Fixed prec_rel term f…
file_type_base.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
file_type_base.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
file_util.ml  3444  19 years  nogin   Code cleanup: I looked (using the code I've put into macro.ml) for places where…
file_util.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
filename_util.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
filename_util.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
flist.ml  3444  19 years  nogin   Code cleanup: I looked (using the code I've put into macro.ml) for places where…
flist.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
fun_splay_set.ml  2894  21 years  nogin   Prefixed the Failure messages with the module name.
fun_splay_set.mli  2968  21 years  nogin   Better error message.
getrusage.ml  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
getrusage.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
hash_set.ml  2522  22 years  nogin   Fixed some "this expression should have type unit" Ocaml-2.01 warnings
hash_set.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
hash_with_gc.ml  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
hash_with_gc.mli  2671  22 years  nogin   OK, here is the updated code for the weak-pointers based Term_copy modules The …
hash_with_gc_sig.ml  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
hashtbl_util.ml  3031  21 years  jyh   Fixed the problem with loading multiple theories that share a common theory (BUG…
hashtbl_util.mli  3031  21 years  jyh   Fixed the problem with loading multiple theories that share a common theory (BUG…
http_server.ml  3444  19 years  nogin   Code cleanup: I looked (using the code I've put into macro.ml) for places where…
http_server.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
imp_dag.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
imp_dag.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
index.html  3039  21 years  nogin   Even shorter URLs: http://cvs.metaprl.org:12000/cvsweb/~checkout~/meta-prl/doc/h
infinite_ro_array.ml  2587  22 years  nogin   This module gives an ro-array-like interface based on splay trees It may be usef…
infinite_ro_array.mli  2586  22 years  nogin   There is no need for separate .mlz file
int_util.ml  2659  22 years  nogin   - Fixed a bug in Term_ds: The code responsible for renaming bound variables was …
int_util.mli  2649  22 years  jyh   Added an initial incomplete version of the distributed marshaler.
large_array.ml  2649  22 years  jyh   Added an initial incomplete version of the distributed marshaler.
large_array.mli  2649  22 years  jyh   Added an initial incomplete version of the distributed marshaler.
large_weak_array.ml  2649  22 years  jyh   Added an initial incomplete version of the distributed marshaler.
large_weak_array.mli  2649  22 years  jyh   Added an initial incomplete version of the distributed marshaler.
linear_set.mlz  2590  22 years  nogin   Added the Linear_set implementation based on arrays (the same as was used before…
list_neq_append.ml  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
list_neq_append.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
list_util.ml  3341  20 years  nogin   Had to increase the bytecode stack size so that bytecode can handle large .prla …
list_util.mli  3027  21 years  nogin   Backported some of Jason's changes.
marshal_buf.ml  2728  22 years  eli   Forgot to commit this also.
marshal_buf.mli  2649  22 years  jyh   Added an initial incomplete version of the distributed marshaler.
marshal_shared.ml  2723  22 years  eli   marshal_shared.ml uses macro.ml now.
marshal_shared.mli  2659  22 years  nogin   - Fixed a bug in Term_ds: The code responsible for renaming bound variables was …
marshal_sig.mlz  2668  22 years  jyh   Added ML side-conditions, so that rewrites and rules can be defined with ML code…
memo.ml  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
memo.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
memo_sig.ml  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
mmap.ml  2659  22 years  nogin   - Fixed a bug in Term_ds: The code responsible for renaming bound variables was …
mmap.mli  2659  22 years  nogin   - Fixed a bug in Term_ds: The code responsible for renaming bound variables was …
mmap_pipe.ml  2659  22 years  nogin   - Fixed a bug in Term_ds: The code responsible for renaming bound variables was …
mmap_pipe.mli  2659  22 years  nogin   - Fixed a bug in Term_ds: The code responsible for renaming bound variables was …
mp_big_int.ml  3429  19 years  nogin   - Made sure that div by zero and mod zero raise proper exceptions in Mp_big_int,…
mp_big_int.mli  3429  19 years  nogin   - Made sure that div by zero and mod zero raise proper exceptions in Mp_big_int,…
mp_debug.ml  3434  19 years  jyh   Added mc directory.
mp_debug.mli  3410  19 years  nogin   - Merged the Ocaml 3.02 changes - Now http server is compiled in by default, bu…
mp_id.ml  2729  22 years  nogin   There is no need to use String_util.concat instead of String.concat
mp_id.mli  2649  22 years  jyh   Added an initial incomplete version of the distributed marshaler.
mp_inet.ml  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
mp_inet.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
mp_num.ml  3429  19 years  nogin   - Made sure that div by zero and mod zero raise proper exceptions in Mp_big_int,…
mp_num.mli  3429  19 years  nogin   - Made sure that div by zero and mod zero raise proper exceptions in Mp_big_int,…
mp_pervasives.ml  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
mp_pervasives.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
mp_term.ml  3240  20 years  nogin   Use terminal width for output in a more consistent manner.
mp_term.mli  3240  20 years  nogin   Use terminal width for output in a more consistent manner.
permutations.ml  2846  21 years  nogin   A simle implementation of data structure and functions for list permutations.
permutations.mli  2846  21 years  nogin   A simle implementation of data structure and functions for list permutations.
precedence.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
precedence.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
punix.ml  2578  22 years  nogin   Fixed some of "this expression should have type unit" warnings
punix.mli  2578  22 years  nogin   Fixed some of "this expression should have type unit" warnings
readline.ml  3029  21 years  jyh   Added readline input handling.
readline.mli  3029  21 years  jyh   Added readline input handling.
red_black_set.ml  3444  19 years  nogin   Code cleanup: I looked (using the code I've put into macro.ml) for places where…
red_black_set.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
red_black_table.ml  3444  19 years  nogin   Code cleanup: I looked (using the code I've put into macro.ml) for places where…
red_black_table.mli  3284  20 years  nogin   Got rid of annoying extra set (or 'arg) type argument in table functors.
red_black_test.ml  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
red_black_test.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
ref_util.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
ref_util.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
register.mlz  2564  22 years  jyh   This is the version of the distributed prover used in the CADE-16 original paper…
remote_lazy_queue.ml  2550  22 years  jyh   Fixed some problems with Ensemble. The closure marshaler was marshaling huge clo…
remote_lazy_queue.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
remote_lazy_queue_sig.ml  2550  22 years  jyh   Fixed some problems with Ensemble. The closure marshaler was marshaling huge clo…
remote_queue_null.ml  2550  22 years  jyh   Fixed some problems with Ensemble. The closure marshaler was marshaling huge clo…
remote_queue_null.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
remote_queue_sig.ml  2550  22 years  jyh   Fixed some problems with Ensemble. The closure marshaler was marshaling huge clo…
set_sig.mlz  3292  20 years  nogin   *** IMPORTANT: before doing "cvs update" see warning below *** This commit impl…
simplehash_sig.ml  2659  22 years  nogin   - Fixed a bug in Term_ds: The code responsible for renaming bound variables was …
simplehashtbl.ml  2659  22 years  nogin   - Fixed a bug in Term_ds: The code responsible for renaming bound variables was …
simplehashtbl.mli  2659  22 years  nogin   - Fixed a bug in Term_ds: The code responsible for renaming bound variables was …
small_set.ml  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
small_set.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
splay_linear_set.ml  3444  19 years  nogin   Code cleanup: I looked (using the code I've put into macro.ml) for places where…
splay_linear_set.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
splay_table.ml  3444  19 years  nogin   Code cleanup: I looked (using the code I've put into macro.ml) for places where…
splay_table.mli  3284  20 years  nogin   Got rid of annoying extra set (or 'arg) type argument in table functors.
string_set.ml  2969  21 years  nogin   Fixed a bug in red_black_set - it forgot to sort the list and get rid of duplica…
string_set.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
string_util.ml  3519  19 years  nogin   String_util cleanup: - Removed some duplicated and unused string code. - Remove…
string_util.mli  3519  19 years  nogin   String_util cleanup: - Removed some duplicated and unused string code. - Remove…
table_util.ml  3284  20 years  nogin   Got rid of annoying extra set (or 'arg) type argument in table functors.
table_util.mli  3284  20 years  nogin   Got rid of annoying extra set (or 'arg) type argument in table functors.
thread_event.ml  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
thread_event.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
thread_util.ml  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
thread_util.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
unix_util.ml  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
unix_util.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
weak_memo.ml  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
weak_memo.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
weak_memo_sig.ml  3284  20 years  nogin   Got rid of annoying extra set (or 'arg) type argument in table functors.

Properties

Name Value
svn:ignore .consign .#* *~ *.cm* *.ppo dag.ml dag.mli Makefile.dep file_base_type.ml file_base_type.mli gmon.out mp_set.ml mp_set.mli register.ml register.mli hash_with_gc_sig.ml hash_with_gc_sig.mli comment_parse.ml comment_parse.output

  ViewVC Help
Powered by ViewVC 1.1.26