ViewVC logotype

Log of /metaprl/theories/mc/tests/mp_mc_test_connect_base.ml

Parent Directory Parent Directory | Revision Log Revision Log

Sticky Revision:
(Current path doesn't exist after revision 4482)

Revision 3589 - (view) (download) (annotate) - [select for diffs]
Modified Sat Apr 27 04:44:46 2002 UTC (19 years, 1 month ago) by emre
File length: 5544 byte(s)
Diff to previous 3580
Adding yet another term that I forgot for the FIR.

Revision 3580 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 19 08:09:21 2002 UTC (19 years, 2 months ago) by emre
File length: 5491 byte(s)
Diff to previous 3562
Comitting more changes to reflect the ever changing MC FIR.

Revision 3562 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 3 08:37:31 2002 UTC (19 years, 2 months ago) by emre
File length: 3396 byte(s)
Diff to previous 3551
So, I've defined the compile function in Mp_mc_compile to actually
take an Fir.prog, convert the function definitions to terms,
and then back again, in one big identity operation.  The current
term representation of the FIR functions is a bit of a hack that
will need to be cleaned up if anything non-trivial is to be done.
(Each individual function is fine I hope.  It's the program as a whole
that's represented rather poorly.  It's essentially a (term SymbolTable.t),
one term for each fundef in the original Fir.prog.prog_funs.)
Though, this should be sufficient for basic testing I think.

Revision 3551 - (view) (download) (annotate) - [select for diffs]
Modified Sun Mar 31 02:48:35 2002 UTC (19 years, 2 months ago) by emre
File length: 3343 byte(s)
Diff to previous 3483
Test cases for the "connection" code are pretty much complete.
I've fixed a few bugs that cropped up (including a major one
in Mp_mc_term_op).  What's needed now is the final set of functions
to take an entire MC Fir.prog to some sort of MetaPRL term.

Revision 3483 - (view) (download) (annotate) - [select for diffs]
Modified Tue Jan 29 01:51:50 2002 UTC (19 years, 4 months ago) by emre
File length: 7233 byte(s)
Diff to previous 3482
Adding more test cases.  Some of the cases
have already hilighted some bugs (which
I need to track down and fix).

Revision 3482 - (view) (download) (annotate) - [select for diffs]
Modified Mon Jan 28 09:59:33 2002 UTC (19 years, 4 months ago) by emre
File length: 6871 byte(s)
Diff to previous 3479
Adding test cases for the MC connect code.
Slight change to INCPATH in Conscript to ensure
that the MC std. lib. is included first
(if we're compiling with MC).

Revision 3479 - (view) (download) (annotate) - [select for diffs]
Added Thu Jan 24 05:49:15 2002 UTC (19 years, 5 months ago) by emre
File length: 1269 byte(s)
Two changes essentially:
1) Moved more files in theories/mc to have
   the mp_mc_ prefix.
2) Added theories/mc/tests/  The files there are
   pretty empty right now, but the idea is to put
   code there for a simple test program to test
   the mp_mc_connect modules.

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